Hacker News

1.		Is Mozilla trying hard to kill itself? (infosec.press)
		24 points by pabs3 33 minutes ago \| hide \| discuss
2.		AI will make formal verification go mainstream (kleppmann.com)
		624 points by evankhoury 12 hours ago \| hide \| 322 comments
3.		alpr.watch (alpr.watch)
		779 points by theamk 17 hours ago \| hide \| 370 comments
4.		No Graphics API (sebastianaaltonen.com)
		633 points by ryandrake 14 hours ago \| hide \| 110 comments
5.		Announcing the Beta release of ty (astral.sh)
		591 points by gavide 13 hours ago \| hide \| 110 comments
6.		TLA+ Modeling Tips (muratbuffalo.blogspot.com)
		20 points by birdculture 2 hours ago \| hide \| discuss
7.		GPT Image 1.5 (openai.com)
		435 points by charlierguo 16 hours ago \| hide \| 203 comments
8.		Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
		35 points by YeGoblynQueenne 4 hours ago \| hide \| 20 comments
9.		Pricing Changes for GitHub Actions (resources.github.com)
		652 points by kevin-david 16 hours ago \| hide \| 706 comments
10.		Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
		17 points by simplychris 3 hours ago \| hide \| 3 comments
11.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		325 points by MrAlex94 12 hours ago \| hide \| 192 comments
12.		Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
		3 hours ago \| hide
13.		Venezuela explained in 10 maps and charts (aljazeera.com)
		43 points by Anon84 3 hours ago \| hide \| 26 comments
14.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		162 points by pbowyer 11 hours ago \| hide \| 98 comments
15.		P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)
		7 points by Davidbrcz 2 hours ago \| hide \| discuss
16.		VA Linux: The biggest dotcom IPO (homeip.net)
		58 points by giuliomagnifico 6 hours ago \| hide \| 18 comments
17.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		447 points by geox 20 hours ago \| hide \| 179 comments
18.		Thin desires are eating life (joanwestenberg.com)
		503 points by mitchbob 15 hours ago \| hide \| 181 comments
19.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		507 points by recvonline 20 hours ago \| hide \| 762 comments
20.		Introduction to Software Development Tooling (2024) (bernsteinbear.com)
		76 points by vismit2000 8 hours ago \| hide \| 9 comments
21.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		196 points by rgovostes 15 hours ago \| hide \| 174 comments
22.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		33 points by soham_byte 7 hours ago \| hide \| 20 comments
23.		Living Particle System (creative-art-points.vercel.app)
		5 points by lovegrenoble 1 hour ago \| hide \| discuss
24.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		257 points by wicket 21 hours ago \| hide \| 40 comments
25.		A Guide to Magnetizing N48 Magnets in Ansys Maxwell (ozeninc.com)
		24 points by peter_d_sherman 6 hours ago \| hide \| 1 comment
26.		Dafny: Verification-Aware Programming Language (dafny.org)
		78 points by handfuloflight 11 hours ago \| hide \| 25 comments
27.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		205 points by ewt-nv 18 hours ago \| hide \| 39 comments
28.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		128 points by thatoneengineer 16 hours ago \| hide \| 160 comments
29.		Various locale mismatch scenarios in Windows clipboard text format synthesis (devblogs.microsoft.com/oldnewthing)
		14 points by ibobev 5 hours ago \| hide \| 4 comments
30.		Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
		44 points by surprisetalk 9 hours ago \| hide \| 11 comments
		More