Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		356 points by evankhoury 5 hours ago \| hide \| 187 comments
2.		alpr.watch (alpr.watch)
		644 points by theamk 10 hours ago \| hide \| 325 comments
3.		No Graphics API (sebastianaaltonen.com)
		441 points by ryandrake 7 hours ago \| hide \| 81 comments
4.		Announcing the Beta release of ty (astral.sh)
		350 points by gavide 6 hours ago \| hide \| 72 comments
5.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		128 points by MrAlex94 4 hours ago \| hide \| 80 comments
6.		Midjourney is alemwjsl (aadillpickle.com)
		84 points by aadillpickle 4 hours ago \| hide \| 34 comments
7.		GPT Image 1.5 (openai.com)
		330 points by charlierguo 8 hours ago \| hide \| 174 comments
8.		Pricing Changes for GitHub Actions (resources.github.com)
		504 points by kevin-david 9 hours ago \| hide \| 589 comments
9.		CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
		15 points by vismit2000 1 hour ago \| hide \| discuss
10.		Sei AI (YC W22) Is Hiring (ycombinator.com)
		1 hour ago \| hide
11.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		76 points by pbowyer 4 hours ago \| hide \| 45 comments
12.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		398 points by geox 13 hours ago \| hide \| 176 comments
13.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		431 points by recvonline 13 hours ago \| hide \| 670 comments
14.		Dafny: Verification-Aware Programming Language (dafny.org)
		34 points by handfuloflight 4 hours ago \| hide \| 14 comments
15.		More than 100 rally against data centers at Michigan Capitol (lansingstatejournal.com)
		23 points by rmason 3 hours ago \| hide \| 11 comments
16.		Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
		14 points by surprisetalk 2 hours ago \| hide \| 2 comments
17.		Thin desires are eating life (joanwestenberg.com)
		331 points by mitchbob 8 hours ago \| hide \| 137 comments
18.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		128 points by rgovostes 8 hours ago \| hide \| 105 comments
19.		Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (github.com/theauditortool)
		11 points by ThailandJohn 2 hours ago \| hide \| 3 comments
20.		Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola (arstechnica.com)
		4 points by PaulHoule 1 hour ago \| hide \| discuss
21.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		227 points by wicket 13 hours ago \| hide \| 34 comments
22.		MIT professor shot at his Massachusetts home dies (bbc.com)
		200 points by mosura 5 hours ago \| hide \| 98 comments
23.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		89 points by thatoneengineer 8 hours ago \| hide \| 110 comments
24.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		88 points by tempodox 8 hours ago \| hide \| 53 comments
25.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		149 points by ewt-nv 11 hours ago \| hide \| 29 comments
26.		Show HN: Learn Japanese contextually while browsing (lingoku.ai)
		20 points by englishcat 2 hours ago \| hide \| 7 comments
27.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		54 points by nulbyte 5 hours ago \| hide \| 11 comments
28.		Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
		74 points by furcyd 7 hours ago \| hide \| 91 comments
29.		Locked out: How a gift card purchase destroyed an Apple account (appleinsider.com)
		16 points by nonfamous 57 minutes ago \| hide \| 4 comments
30.		Can I use HTTPS RRs? (netmeister.org)
		23 points by zdw 3 hours ago \| hide \| 6 comments
		More