Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		578 points by evankhoury 11 hours ago \| hide \| 301 comments
2.		alpr.watch (alpr.watch)
		759 points by theamk 16 hours ago \| hide \| 362 comments
3.		No Graphics API (sebastianaaltonen.com)
		604 points by ryandrake 13 hours ago \| hide \| 106 comments
4.		Announcing the Beta release of ty (astral.sh)
		553 points by gavide 12 hours ago \| hide \| 98 comments
5.		Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
		27 points by YeGoblynQueenne 3 hours ago \| hide \| 15 comments
6.		GPT Image 1.5 (openai.com)
		421 points by charlierguo 14 hours ago \| hide \| 196 comments
7.		Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
		11 points by simplychris 2 hours ago \| hide \| 2 comments
8.		Pricing Changes for GitHub Actions (resources.github.com)
		630 points by kevin-david 15 hours ago \| hide \| 692 comments
9.		Venezuela explained in 10 maps and charts (aljazeera.com)
		11 points by Anon84 1 hour ago \| hide \| discuss
10.		Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
		1 hour ago \| hide
11.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		301 points by MrAlex94 10 hours ago \| hide \| 175 comments
12.		VA Linux: The biggest dotcom IPO (homeip.net)
		54 points by giuliomagnifico 5 hours ago \| hide \| 12 comments
13.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		152 points by pbowyer 10 hours ago \| hide \| 91 comments
14.		Thin desires are eating life (joanwestenberg.com)
		472 points by mitchbob 14 hours ago \| hide \| 178 comments
15.		TLA+ Modeling Tips (muratbuffalo.blogspot.com)
		4 points by birdculture 52 minutes ago \| hide \| discuss
16.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		439 points by geox 19 hours ago \| hide \| 179 comments
17.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		496 points by recvonline 19 hours ago \| hide \| 754 comments
18.		Introduction to Software Development Tooling (2024) (bernsteinbear.com)
		71 points by vismit2000 7 hours ago \| hide \| 9 comments
19.		US threatens EU digital services market access (twitter.com/ustraderep)
		24 points by heisenbit 54 minutes ago \| hide \| 8 comments
20.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		32 points by soham_byte 6 hours ago \| hide \| 16 comments
21.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		183 points by rgovostes 14 hours ago \| hide \| 164 comments
22.		A Guide to Magnetizing N48 Magnets in Ansys Maxwell (ozeninc.com)
		23 points by peter_d_sherman 5 hours ago \| hide \| 1 comment
23.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		253 points by wicket 19 hours ago \| hide \| 39 comments
24.		Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
		41 points by surprisetalk 8 hours ago \| hide \| 7 comments
25.		Dafny: Verification-Aware Programming Language (dafny.org)
		72 points by handfuloflight 10 hours ago \| hide \| 25 comments
26.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		124 points by thatoneengineer 14 hours ago \| hide \| 145 comments
27.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		197 points by ewt-nv 17 hours ago \| hide \| 34 comments
28.		Various locale mismatch scenarios in Windows clipboard text format synthesis (devblogs.microsoft.com/oldnewthing)
		11 points by ibobev 4 hours ago \| hide \| 4 comments
29.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		114 points by tempodox 13 hours ago \| hide \| 68 comments
30.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		81 points by nulbyte 11 hours ago \| hide \| 15 comments
		More