Hacker News with Generative AI

AI will make formal verification go mainstream (kleppmann.com)

289 points by evankhoury 4 hours ago | 154 comments

alpr.watch (alpr.watch)

606 points by theamk 8 hours ago | 306 comments

No Graphics API (sebastianaaltonen.com)

398 points by ryandrake 6 hours ago | 70 comments

Announcing the Beta release of ty (astral.sh)

284 points by gavide 5 hours ago | 57 comments

GPT Image 1.5 (openai.com)

303 points by charlierguo 7 hours ago | 161 comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)

51 points by pbowyer 3 hours ago | 15 comments

Midjourney is alemwjsl (aadillpickle.com)

47 points by aadillpickle 6 days ago | 19 comments

Pricing Changes for GitHub Actions (github.com)

478 points by kevin-david 8 hours ago | 558 comments

No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)

71 points by MrAlex94 3 hours ago | 39 comments

40 percent of fMRI signals do not correspond to actual brain activity (tum.de)

388 points by geox 12 hours ago | 170 comments

Mozilla appoints new CEO Anthony Enzor-Demeo (mozilla.org)

411 points by recvonline 12 hours ago | 633 comments

Dafny: Verification-Aware Programming Language (dafny.org)

20 points by handfuloflight 3 hours ago | 7 comments

Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)

47 points by nulbyte 4 hours ago | 10 comments

Thin desires are eating life (joanwestenberg.com)

302 points by mitchbob 1 day ago | 125 comments

MIT professor shot at his Massachusetts home dies (bbc.com)

165 points by mosura 4 hours ago | 70 comments

Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)

109 points by rgovostes 16 hours ago | 88 comments

Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)

78 points by tempodox 10 hours ago | 48 comments

Can I use HTTPS RRs? (netmeister.org)

20 points by zdw 4 days ago | 6 comments

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)

216 points by wicket 12 hours ago | 33 comments

The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)

83 points by thatoneengineer 1 day ago | 102 comments

Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (github.com/TheAuditorTool)

4 points by ThailandJohn 12 hours ago | 0 comments

FVWM-95 (2001) (sourceforge.net)

110 points by mghackerlady 8 hours ago | 82 comments

Letta Code (letta.com)

52 points by ascorbic 5 hours ago | 25 comments

Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)

55 points by furcyd 6 days ago | 61 comments

Nvidia Nemotron 3 Family of Models (nvidia.com)

135 points by ewt-nv 1 day ago | 26 comments

Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/Maxteabag)

114 points by MaxTeabag 1 day ago | 15 comments

WikiFlix shows us what Netflix would have been like 100 years ago (toolforge.org)

3 points by jnord 1 hour ago | 0 comments

Windows 11 will ask consent before sharing personal files with AI after outrage (windowslatest.com)

15 points by jinxmeta 56 minutes ago | 7 comments

Rust GCC backend: Why and how (guillaume-gomez.fr)

166 points by ahlCVA 12 hours ago | 90 comments