- 236AI will make formal verification go mainstream (martin.kleppmann.com)
- 586alpr.watch (alpr.watch)
- 363No Graphics API (sebastianaaltonen.com)
- 228Announcing the Beta release of ty (astral.sh)
- 284GPT Image 1.5 (openai.com)
- 443Pricing Changes for GitHub Actions (resources.github.com)
- 42No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
- 24Midjourney is alemwjsl (aadillpickle.com)
- 38540 percent of fMRI signals do not correspond to actual brain activity (tum.de)
- 401Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
- 18I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
- 137MIT professor shot at his Massachusetts home dies (bbc.com)
- 11Americans overestimate how many social media users post harmful content (academic.oup.com)
- 9Dafny: Verification-Aware Programming Language (dafny.org)
- 286Thin desires are eating life (joanwestenberg.com)
- 38Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
- 74Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
- 82The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
- 99Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
- 211Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
- 46Letta Code (letta.com)
- 128Nvidia Nemotron 3 Family of Models (research.nvidia.com)
- 110Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)
- 48Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
- 163Rust GCC backend: Why and how (blog.guillaume-gomez.fr)
- 57Creating custom yellow handshake emojis with zero-width joiners (blog.alexbeals.com)
- 14330 years of <br> tags (artmann.co)
- 19Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers (amohan.dev)
- 66Pizlix: Memory Safe Linux from Scratch (fil-c.org)
- 52How geometry is fundamental for chess (lichess.org)