Hacker News

1.		Is Mozilla trying hard to kill itself? (infosec.press)
		177 points by pabs3 1 hour ago \| hide \| 128 comments
2.		AI will make formal verification go mainstream (kleppmann.com)
		642 points by evankhoury 13 hours ago \| hide \| 332 comments
3.		TLA+ Modeling Tips (muratbuffalo.blogspot.com)
		34 points by birdculture 2 hours ago \| hide \| 1 comment
4.		alpr.watch (alpr.watch)
		792 points by theamk 18 hours ago \| hide \| 373 comments
5.		No Graphics API (sebastianaaltonen.com)
		657 points by ryandrake 15 hours ago \| hide \| 115 comments
6.		Announcing the Beta release of ty (astral.sh)
		608 points by gavide 14 hours ago \| hide \| 114 comments
7.		Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger (esquire.com)
		5 points by Lightbody 1 hour ago \| hide \| discuss
8.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		349 points by MrAlex94 12 hours ago \| hide \| 204 comments
9.		GPT Image 1.5 (openai.com)
		443 points by charlierguo 16 hours ago \| hide \| 206 comments
10.		AI's real superpower: consuming, not creating (msanroman.io)
		9 points by firefoxd 2 hours ago \| hide \| 1 comment
11.		Pricing Changes for GitHub Actions (resources.github.com)
		662 points by kevin-david 17 hours ago \| hide \| 728 comments
12.		Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
		38 points by YeGoblynQueenne 5 hours ago \| hide \| 22 comments
13.		Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
		20 points by simplychris 4 hours ago \| hide \| 6 comments
14.		Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
		3 hours ago \| hide
15.		VA Linux: The biggest dotcom IPO (homeip.net)
		63 points by giuliomagnifico 7 hours ago \| hide \| 22 comments
16.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		450 points by geox 21 hours ago \| hide \| 179 comments
17.		Thin desires are eating life (joanwestenberg.com)
		515 points by mitchbob 16 hours ago \| hide \| 183 comments
18.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		515 points by recvonline 21 hours ago \| hide \| 771 comments
19.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		168 points by pbowyer 12 hours ago \| hide \| 100 comments
20.		P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)
		9 points by Davidbrcz 3 hours ago \| hide \| 1 comment
21.		Introduction to Software Development Tooling (2024) (bernsteinbear.com)
		78 points by vismit2000 9 hours ago \| hide \| 10 comments
22.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		203 points by rgovostes 16 hours ago \| hide \| 180 comments
23.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		38 points by soham_byte 8 hours ago \| hide \| 22 comments
24.		Living Particle System (creative-art-points.vercel.app)
		7 points by lovegrenoble 2 hours ago \| hide \| discuss
25.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		257 points by wicket 21 hours ago \| hide \| 41 comments
26.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		132 points by thatoneengineer 16 hours ago \| hide \| 166 comments
27.		Dafny: Verification-Aware Programming Language (dafny.org)
		78 points by handfuloflight 12 hours ago \| hide \| 26 comments
28.		A Guide to Magnetizing N48 Magnets in Ansys Maxwell (ozeninc.com)
		25 points by peter_d_sherman 7 hours ago \| hide \| 1 comment
29.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		213 points by ewt-nv 19 hours ago \| hide \| 41 comments
30.		Various locale mismatch scenarios in Windows clipboard text format synthesis (devblogs.microsoft.com/oldnewthing)
		18 points by ibobev 6 hours ago \| hide \| 7 comments
		More