- 100 Developing provably correct Rust code with Verus (amazon.science)
- 196 Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
- 52 A 32-year-old bug walks into a Telnet server (labs.watchtowr.com)
- 190 The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
- 84 The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)
- 134 OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
- 88 PCB is brought to you by Fable 5 (a6mzero.com)
- 370 AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
- 113 HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
- 2148 Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com)