Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		448 points by evankhoury 8 hours ago \| hide \| 218 comments
2.		alpr.watch (alpr.watch)
		694 points by theamk 12 hours ago \| hide \| 340 comments
3.		No Graphics API (sebastianaaltonen.com)
		498 points by ryandrake 10 hours ago \| hide \| 91 comments
4.		Announcing the Beta release of ty (astral.sh)
		423 points by gavide 8 hours ago \| hide \| 80 comments
5.		GPT Image 1.5 (openai.com)
		370 points by charlierguo 11 hours ago \| hide \| 184 comments
6.		Pricing Changes for GitHub Actions (resources.github.com)
		562 points by kevin-david 12 hours ago \| hide \| 638 comments
7.		VA Linux: The biggest dotcom IPO (homeip.net)
		15 points by giuliomagnifico 1 hour ago \| hide \| discuss
8.		Introduction to Software Development Tooling (2024) (bernsteinbear.com)
		46 points by vismit2000 4 hours ago \| hide \| 4 comments
9.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		17 points by soham_byte 2 hours ago \| hide \| 7 comments
10.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		106 points by pbowyer 6 hours ago \| hide \| 64 comments
11.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		196 points by MrAlex94 7 hours ago \| hide \| 118 comments
12.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		418 points by geox 15 hours ago \| hide \| 179 comments
13.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		462 points by recvonline 15 hours ago \| hide \| 717 comments
14.		Thin desires are eating life (joanwestenberg.com)
		391 points by mitchbob 11 hours ago \| hide \| 157 comments
15.		Sei AI (YC W22) Is Hiring (ycombinator.com)
		4 hours ago \| hide
16.		Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
		30 points by surprisetalk 4 hours ago \| hide \| 6 comments
17.		Dafny: Verification-Aware Programming Language (dafny.org)
		45 points by handfuloflight 6 hours ago \| hide \| 22 comments
18.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		154 points by rgovostes 11 hours ago \| hide \| 133 comments
19.		Show HN: Learn Japanese contextually while browsing (lingoku.ai)
		39 points by englishcat 4 hours ago \| hide \| 20 comments
20.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		238 points by wicket 16 hours ago \| hide \| 38 comments
21.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		102 points by thatoneengineer 11 hours ago \| hide \| 123 comments
22.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		170 points by ewt-nv 14 hours ago \| hide \| 30 comments
23.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		71 points by nulbyte 8 hours ago \| hide \| 12 comments
24.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		98 points by tempodox 10 hours ago \| hide \| 58 comments
25.		A Guide to Magnetizing N48 Magnets in Ansys Maxwell (ozeninc.com)
		4 points by peter_d_sherman 1 hour ago \| hide \| discuss
26.		Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola (arstechnica.com)
		10 points by PaulHoule 3 hours ago \| hide \| 3 comments
27.		Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents (github.com/theauditortool)
		17 points by ThailandJohn 5 hours ago \| hide \| 7 comments
28.		Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
		128 points by MaxTeabag 13 hours ago \| hide \| 19 comments
29.		Rust GCC backend: Why and how (guillaume-gomez.fr)
		173 points by ahlCVA 16 hours ago \| hide \| 98 comments
30.		FTX insider Caroline Ellison has been moved out of prison (businessinsider.com)
		10 points by harambae 48 minutes ago \| hide \| 1 comment
		More