Hacker News

1.		Is Mozilla trying hard to kill itself? (infosec.press)
		313 points by pabs3 2 hours ago \| hide \| 262 comments
2.		AI will make formal verification go mainstream (kleppmann.com)
		668 points by evankhoury 14 hours ago \| hide \| 342 comments
3.		TLA+ Modeling Tips (muratbuffalo.blogspot.com)
		46 points by birdculture 3 hours ago \| hide \| 4 comments
4.		Modern SID chip substitutes [video] (youtube.com)
		10 points by vismit2000 1 hour ago \| hide \| discuss
5.		alpr.watch (alpr.watch)
		804 points by theamk 19 hours ago \| hide \| 378 comments
6.		No Graphics API (sebastianaaltonen.com)
		680 points by ryandrake 16 hours ago \| hide \| 120 comments
7.		Announcing the Beta release of ty (astral.sh)
		637 points by gavide 15 hours ago \| hide \| 119 comments
8.		AI's real superpower: consuming, not creating (msanroman.io)
		32 points by firefoxd 3 hours ago \| hide \| 23 comments
9.		Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger (esquire.com)
		17 points by Lightbody 2 hours ago \| hide \| 3 comments
10.		GPT Image 1.5 (openai.com)
		452 points by charlierguo 17 hours ago \| hide \| 208 comments
11.		Pricing Changes for GitHub Actions (resources.github.com)
		677 points by kevin-david 18 hours ago \| hide \| 738 comments
12.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		368 points by MrAlex94 13 hours ago \| hide \| 215 comments
13.		Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
		41 points by YeGoblynQueenne 6 hours ago \| hide \| 25 comments
14.		VA Linux: The biggest dotcom IPO (homeip.net)
		68 points by giuliomagnifico 8 hours ago \| hide \| 27 comments
15.		Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
		4 hours ago \| hide
16.		Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
		23 points by simplychris 5 hours ago \| hide \| 7 comments
17.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		456 points by geox 22 hours ago \| hide \| 179 comments
18.		Thin desires are eating life (joanwestenberg.com)
		527 points by mitchbob 17 hours ago \| hide \| 191 comments
19.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		526 points by recvonline 22 hours ago \| hide \| 791 comments
20.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		179 points by pbowyer 13 hours ago \| hide \| 105 comments
21.		P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)
		14 points by Davidbrcz 4 hours ago \| hide \| 2 comments
22.		Living Particle System (creative-art-points.vercel.app)
		10 points by lovegrenoble 3 hours ago \| hide \| discuss
23.		Introduction to Software Development Tooling (2024) (bernsteinbear.com)
		82 points by vismit2000 10 hours ago \| hide \| 11 comments
24.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		211 points by rgovostes 17 hours ago \| hide \| 183 comments
25.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		41 points by soham_byte 9 hours ago \| hide \| 21 comments
26.		Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React (mephistomail.site)
		5 points by benmxrt 2 hours ago \| hide \| 3 comments
27.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		260 points by wicket 22 hours ago \| hide \| 41 comments
28.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		137 points by thatoneengineer 17 hours ago \| hide \| 169 comments
29.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		218 points by ewt-nv 20 hours ago \| hide \| 42 comments
30.		A Guide to Magnetizing N48 Magnets in Ansys Maxwell (ozeninc.com)
		30 points by peter_d_sherman 8 hours ago \| hide \| 2 comments
		More