- 189AI will make formal verification go mainstream (martin.kleppmann.com)
- 568alpr.watch (alpr.watch)
- 319No Graphics API (sebastianaaltonen.com)
- 188Ty: A fast Python type checker and LSP (astral.sh)
- 267GPT Image 1.5 (openai.com)
- 37540 percent of fMRI signals do not correspond to actual brain activity (tum.de)
- 387Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
- 116MIT professor shot at his Massachusetts home dies (bbc.com)
- 70Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
- 76The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
- 86Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
- 29Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
- 269Thin desires are eating life (joanwestenberg.com)
- 36Letta Code (letta.com)
- 207Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
- 425GitHub will begin charging for self-hosted action runners on March 2026 (github.blog)
- 103Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)
- 122Nvidia Nemotron 3 Family of Models (research.nvidia.com)
- Artie (YC S23) Is Hiring Senior Enterprise AES (ycombinator.com)
job - 159Rust GCC backend: Why and how (blog.guillaume-gomez.fr)
- 7Tumbleweed aerodynamics inspire hybrid robots for harsh terrains (techxplore.com)
- 3I Ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5h (simonwillison.net)
- 13830 Years of <Br> Tags (artmann.co)
- 11The Beauty of Dissonance (plough.com)
- 49Creating custom yellow handshake emojis with zero-width joiners (blog.alexbeals.com)
- 51How geometry is fundamental for chess (lichess.org)
- 10No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
- 136Vibe coding creates fatigue? (tabulamag.com)
- 186Full Unicode Search at 50× ICU Speed with AVX‑512 (ashvardanian.com)
- 62Pizlix: Memory Safe Linux from Scratch (fil-c.org)