5ersi
Joined 12 years ago
Joined 12 years ago
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.
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/...