Raft Consensus with a Minority of Nodes
(news.ycombinator.com)
1.
2.
Can LLMs model real-world systems in TLA+?
(news.ycombinator.com)
3.
Show HN: Antfly: Distributed, Multimodal Search and Memory and Graphs in Go
(news.ycombinator.com)