Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		395 points by evankhoury 6 hours ago \| hide \| 199 comments
2.		alpr.watch (alpr.watch)
		663 points by theamk 11 hours ago \| hide \| 330 comments
3.		No Graphics API (sebastianaaltonen.com)
		463 points by ryandrake 8 hours ago \| hide \| 85 comments
4.		Announcing the Beta release of ty (astral.sh)
		379 points by gavide 7 hours ago \| hide \| 75 comments
5.		Midjourney is alemwjsl (aadillpickle.com)
		104 points by aadillpickle 5 hours ago \| hide \| 40 comments
6.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		153 points by MrAlex94 5 hours ago \| hide \| 92 comments
7.		GPT Image 1.5 (openai.com)
		348 points by charlierguo 9 hours ago \| hide \| 177 comments
8.		Pricing Changes for GitHub Actions (resources.github.com)
		523 points by kevin-david 10 hours ago \| hide \| 602 comments
9.		Why many Asian megacities are miserable places (economist.com)
		21 points by andsoitis 56 minutes ago \| hide \| 8 comments
10.		CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
		28 points by vismit2000 2 hours ago \| hide \| 3 comments
11.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		91 points by pbowyer 5 hours ago \| hide \| 54 comments
12.		Sei AI (YC W22) Is Hiring (ycombinator.com)
		2 hours ago \| hide
13.		More than 100 rally against data centers at Michigan Capitol (lansingstatejournal.com)
		45 points by rmason 4 hours ago \| hide \| 33 comments
14.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		404 points by geox 14 hours ago \| hide \| 177 comments
15.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		440 points by recvonline 14 hours ago \| hide \| 691 comments
16.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		4 points by soham_byte 1 hour ago \| hide \| 1 comment
17.		Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
		21 points by surprisetalk 3 hours ago \| hide \| 5 comments
18.		Thin desires are eating life (joanwestenberg.com)
		354 points by mitchbob 9 hours ago \| hide \| 144 comments
19.		Dafny: Verification-Aware Programming Language (dafny.org)
		37 points by handfuloflight 5 hours ago \| hide \| 19 comments
20.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		138 points by rgovostes 9 hours ago \| hide \| 113 comments
21.		Show HN: Learn Japanese contextually while browsing (lingoku.ai)
		30 points by englishcat 3 hours ago \| hide \| 12 comments
22.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		228 points by wicket 14 hours ago \| hide \| 37 comments
23.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		93 points by thatoneengineer 9 hours ago \| hide \| 112 comments
24.		Locked out: How a gift card purchase destroyed an Apple account (appleinsider.com)
		36 points by nonfamous 1 hour ago \| hide \| 15 comments
25.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		158 points by ewt-nv 12 hours ago \| hide \| 30 comments
26.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		91 points by tempodox 9 hours ago \| hide \| 53 comments
27.		Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola (arstechnica.com)
		6 points by PaulHoule 2 hours ago \| hide \| 1 comment
28.		Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans (electrek.co)
		37 points by hjouneau 1 hour ago \| hide \| 9 comments
29.		Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (github.com/theauditortool)
		12 points by ThailandJohn 3 hours ago \| hide \| 6 comments
30.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		58 points by nulbyte 6 hours ago \| hide \| 11 comments
		More