Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		272 points by evankhoury 3 hours ago \| hide \| 146 comments
2.		No Graphics API (sebastianaaltonen.com)
		389 points by ryandrake 5 hours ago \| hide \| 67 comments
3.		alpr.watch (alpr.watch)
		602 points by theamk 8 hours ago \| hide \| 296 comments
4.		Announcing the Beta release of ty (astral.sh)
		269 points by gavide 4 hours ago \| hide \| 56 comments
5.		GPT Image 1.5 (openai.com)
		299 points by charlierguo 6 hours ago \| hide \| 158 comments
6.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		43 points by pbowyer 2 hours ago \| hide \| 7 comments
7.		Pricing Changes for GitHub Actions (resources.github.com)
		466 points by kevin-david 7 hours ago \| hide \| 552 comments
8.		Midjourney is alemwjsl (aadillpickle.com)
		42 points by aadillpickle 2 hours ago \| hide \| 15 comments
9.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		64 points by MrAlex94 2 hours ago \| hide \| 38 comments
10.		Americans overestimate how many social media users post harmful content (oup.com)
		22 points by bikenaga 1 hour ago \| hide \| 31 comments
11.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		388 points by geox 11 hours ago \| hide \| 168 comments
12.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		408 points by recvonline 11 hours ago \| hide \| 628 comments
13.		Dafny: Verification-Aware Programming Language (dafny.org)
		17 points by handfuloflight 2 hours ago \| hide \| 2 comments
14.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		45 points by nulbyte 3 hours ago \| hide \| 10 comments
15.		Thin desires are eating life (joanwestenberg.com)
		295 points by mitchbob 6 hours ago \| hide \| 121 comments
16.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		78 points by tempodox 5 hours ago \| hide \| 46 comments
17.		MIT professor shot at his Massachusetts home dies (bbc.com)
		156 points by mosura 3 hours ago \| hide \| 70 comments
18.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		106 points by rgovostes 6 hours ago \| hide \| 82 comments
19.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		83 points by thatoneengineer 6 hours ago \| hide \| 102 comments
20.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		215 points by wicket 11 hours ago \| hide \| 33 comments
21.		Can I use HTTPS RRs? (netmeister.org)
		18 points by zdw 1 hour ago \| hide \| 7 comments
22.		Artie (YC S23) Is Hiring Senior Enterprise AES (ycombinator.com)
		7 hours ago \| hide
23.		FVWM-95 (2001) (sourceforge.net)
		107 points by mghackerlady 7 hours ago \| hide \| 80 comments
24.		Letta Code (letta.com)
		50 points by ascorbic 4 hours ago \| hide \| 24 comments
25.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		133 points by ewt-nv 9 hours ago \| hide \| 25 comments
26.		Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
		113 points by MaxTeabag 8 hours ago \| hide \| 14 comments
27.		Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
		51 points by furcyd 5 hours ago \| hide \| 60 comments
28.		Rust GCC backend: Why and how (guillaume-gomez.fr)
		164 points by ahlCVA 11 hours ago \| hide \| 89 comments
29.		30 years of <br> tags (artmann.co)
		149 points by FragrantRiver 8 hours ago \| hide \| 50 comments
30.		Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers (amohan.dev)
		21 points by rcarmo 3 hours ago \| hide \| 5 comments
		More