Before AI it was super tedious to formally express your software models in Lean, with AI this is super easy. See formal verification of consensus core in Ultima Cluster: https://github.com/PeterKnego/ultima_cluster/blob/main/docs/...
https://github.com/peterknego/roost
Roost is scratching my long-term itch: loosing track (and connections) of all my remote coding sessions. I built it to be lightweight and to survive any interruptions: laptop sleep, browser tab close or even restart of roost itself. It has all bells and whistles I needed: file tree, preview/editor, diff and integrates natively with Claude: paste images/links, get notifications and more.I...
MCPs can potentially have great value if they cross multiple sources and combine results. For example at work we use an in-house MCP for log/metrics search across five different (legacy) systems. It finds correlation across events in different system within minutes.
Just released, alpha quality, need feedback/fine-tuning. Testing it now on my OSS repos.
UDB has full transactions, selectable persistence (in-memory, eventual, strict) and consistency (SI, SSI). A lot of time was spent on performance.
Written in Rust, with 8k line of code and 15k lines of tests, 96% coverage. Formal verification with Lean 4 is in progress (see /formal), also consistency checking with elle/jepsen is in progress.
So we already have an effective way to store heat which can work for decades without servicing and is also cheap to produce (in terms of money and energy consumption).
Planned lifespan of Starlink satellites is 5years.
Is supported on more platforms, has more developers, more jobs, more OSS projects, is more widely used (Tiobe 2024). Performance was historically better, but c# caught up.
Copyright laws have quite strict rules on what constitutes a copy, and this was tested in courts many times. This rules also apply to works produced by LLMs.
I code in Go mainly (also Java and Rust) and never experienced what you describe: simple addition of a field to a struct does nothing if not used in code. And the use is simply checked by compiler.
However, I did work alongside a Rails team which had major gripes with this. They called it brittle tests: whenever they made a simple change (like adding a field), half of their tests would fail. This really lowered devs' confidence in their codebase and slowed the changes to a halt.
For example, CAs present in Firefox, that might give you pause: Beijing Certificate Authority, China Financial CA, Guang Dong CA
The CA system in browsers is inherently broken and it allows state actors to MITM you and see all your traffic if they: 1. have ability to capture IP traffic (requires cooperation with ISP) 2. have ability to generate rogue certificate via cooperation with CA
It is SSR with Velocity templates.
1. "company is filled with timid people who are averse to change" - you have zero proof for this, and this is false narrative building for a strawman.
2. "<management> can safely siphon the profits" - it's a public company, the compensation was approved by shareholders. They are also regularly audited.
3. "inevitably drive the company into the ground" - under current CEO revenues grew (2015-2022) more than trifold (75B to 280B), net income went from 16B to 60B. They also have 170B in cash & investments.
4. "ad revenue dries up" - internet ad revenue has been growing 20% yoy in the last decade. They also make about 60B in non-ad revenue.
I grew up in a socialist country and can detect wanna-be revolutionaires like you from afar. You are pathetic.
The problem is that at that point liquid hydrogen already spent 70% of the energy stored in it (80% efficiency of electrolysis * 40% liquefying efficiency) .
Who the f* writes this articles?
So if US people want to change that they would need to focus on expelling money from election process: severely limiting donations, especially from business, compensating candidates for the election costs, and mandating equal access to media covering elections (most EU countries have that and it works pretty well). But, don't expect politicians and corporate owned media to support that in any way - you would need a major grass roots movement to change that. Unfortunately at the moment I don't see any major shift in this direction.