- 250 AI will make formal verification go mainstream (martin.kleppmann.com)
- 370 No Graphics API (sebastianaaltonen.com)
- 591 alpr.watch (alpr.watch)
- 242 Announcing the Beta release of ty (astral.sh)
- 290 GPT Image 1.5 (openai.com)
- 52 No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
- 450 Pricing Changes for GitHub Actions (resources.github.com)
- 26 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
- 30 Midjourney is alemwjsl (aadillpickle.com)
- 14 Americans overestimate how many social media users post harmful content (academic.oup.com)
- 386 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
- 405 Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
- 12 Dafny: Verification-Aware Programming Language (dafny.org)
- 143 MIT professor shot at his Massachusetts home dies (bbc.com)
- 288 Thin desires are eating life (joanwestenberg.com)
- 39 Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
- 83 The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
- 74 Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
- 101 Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
- 211 Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
- Artie (YC S23) Is Hiring Senior Enterprise AES (ycombinator.com)
job - 49 Letta Code (letta.com)
- 128 Nvidia Nemotron 3 Family of Models (research.nvidia.com)
- 111 Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)
- 49 Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
- 163 Rust GCC backend: Why and how (blog.guillaume-gomez.fr)
- 57 Creating custom yellow handshake emojis with zero-width joiners (blog.alexbeals.com)
- 145 30 years of <br> tags (artmann.co)
- 189 Full Unicode Search at 50× ICU Speed with AVX‑512 (ashvardanian.com)
- 66 Pizlix: Memory Safe Linux from Scratch (fil-c.org)