Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		315 points by evankhoury 4 hours ago \| hide \| 168 comments
2.		alpr.watch (alpr.watch)
		620 points by theamk 9 hours ago \| hide \| 322 comments
3.		No Graphics API (sebastianaaltonen.com)
		416 points by ryandrake 6 hours ago \| hide \| 75 comments
4.		Announcing the Beta release of ty (astral.sh)
		315 points by gavide 5 hours ago \| hide \| 60 comments
5.		Midjourney is alemwjsl (aadillpickle.com)
		70 points by aadillpickle 3 hours ago \| hide \| 27 comments
6.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		93 points by MrAlex94 3 hours ago \| hide \| 46 comments
7.		GPT Image 1.5 (openai.com)
		314 points by charlierguo 7 hours ago \| hide \| 165 comments
8.		Sei AI (YC W22) Is Hiring (ycombinator.com)
		58 minutes ago \| hide
9.		Pricing Changes for GitHub Actions (resources.github.com)
		488 points by kevin-david 8 hours ago \| hide \| 562 comments
10.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		61 points by pbowyer 3 hours ago \| hide \| 31 comments
11.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		394 points by geox 12 hours ago \| hide \| 174 comments
12.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		418 points by recvonline 12 hours ago \| hide \| 642 comments
13.		CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
		4 points by vismit2000 32 minutes ago \| hide \| discuss
14.		Dafny: Verification-Aware Programming Language (dafny.org)
		29 points by handfuloflight 3 hours ago \| hide \| 14 comments
15.		Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (github.com/theauditortool)
		8 points by ThailandJohn 1 hour ago \| hide \| discuss
16.		Thin desires are eating life (joanwestenberg.com)
		312 points by mitchbob 7 hours ago \| hide \| 128 comments
17.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		49 points by nulbyte 4 hours ago \| hide \| 11 comments
18.		MIT professor shot at his Massachusetts home dies (bbc.com)
		182 points by mosura 4 hours ago \| hide \| 79 comments
19.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		115 points by rgovostes 7 hours ago \| hide \| 92 comments
20.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		83 points by tempodox 7 hours ago \| hide \| 48 comments
21.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		219 points by wicket 12 hours ago \| hide \| 33 comments
22.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		87 points by thatoneengineer 7 hours ago \| hide \| 108 comments
23.		Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
		4 points by surprisetalk 1 hour ago \| hide \| discuss
24.		FVWM-95 (2001) (sourceforge.net)
		113 points by mghackerlady 8 hours ago \| hide \| 82 comments
25.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		139 points by ewt-nv 10 hours ago \| hide \| 27 comments
26.		Letta Code (letta.com)
		52 points by ascorbic 5 hours ago \| hide \| 26 comments
27.		Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
		58 points by furcyd 6 hours ago \| hide \| 67 comments
28.		More than 100 rally against data centers at Michigan Capitol (lansingstatejournal.com)
		12 points by rmason 2 hours ago \| hide \| 1 comment
29.		Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
		115 points by MaxTeabag 9 hours ago \| hide \| 16 comments
30.		Can I use HTTPS RRs? (netmeister.org)
		20 points by zdw 2 hours ago \| hide \| 6 comments
		More