- 332 AI will make formal verification go mainstream (martin.kleppmann.com)
- 631 alpr.watch (alpr.watch)
- 427 No Graphics API (sebastianaaltonen.com)
- 332 Announcing the Beta release of ty (astral.sh)
- 76 Midjourney is alemwjsl (aadillpickle.com)
- 319 GPT Image 1.5 (openai.com)
- 108 No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
- 493 Pricing Changes for GitHub Actions (resources.github.com)
- Sei AI (YC W22) Is Hiring (ycombinator.com)
job - 72 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
- 397 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
- 423 Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
- 6 CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
- 29 Dafny: Verification-Aware Programming Language (dafny.org)
- 10 Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
- 320 Thin desires are eating life (joanwestenberg.com)
- 51 Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
- 10 Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (github.com)
- 118 Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
- 191 MIT professor shot at his Massachusetts home dies (bbc.com)
- 222 Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
- 85 Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
- 87 The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
- 143 Nvidia Nemotron 3 Family of Models (research.nvidia.com)
- 15 Show HN: Learn Japanese contextually while browsing (lingoku.ai)
- 64 Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
- 21 Can I use HTTPS RRs? (netmeister.org)
- 54 Letta Code (letta.com)
- 113 FVWM-95 (2001) (fvwm95.sourceforge.net)
- 117 Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)