345 karma · joined February 3, 2014
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/...
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.
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.
Also, who gives a f*ck what Putin says?!?