Hacker News with Generative AI

AI will make formal verification go mainstream (kleppmann.com)
alpr.watch (alpr.watch)
No Graphics API (sebastianaaltonen.com)
Announcing the Beta release of ty (astral.sh)
GPT Image 1.5 (openai.com)
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
Midjourney is alemwjsl (aadillpickle.com)
Pricing Changes for GitHub Actions (github.com)
No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
Mozilla appoints new CEO Anthony Enzor-Demeo (mozilla.org)
Dafny: Verification-Aware Programming Language (dafny.org)
Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
Thin desires are eating life (joanwestenberg.com)
MIT professor shot at his Massachusetts home dies (bbc.com)
Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
Can I use HTTPS RRs? (netmeister.org)
Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (github.com/TheAuditorTool)
FVWM-95 (2001) (sourceforge.net)
Letta Code (letta.com)
Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
Nvidia Nemotron 3 Family of Models (nvidia.com)
Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/Maxteabag)
WikiFlix shows us what Netflix would have been like 100 years ago (toolforge.org)
Windows 11 will ask consent before sharing personal files with AI after outrage (windowslatest.com)
Rust GCC backend: Why and how (guillaume-gomez.fr)