Hacker News

1.		Coursera to combine with Udemy (coursera.com)
		14 points by throwaway019254 14 minutes ago \| hide \| 4 comments
2.		Is Mozilla trying hard to kill itself? (infosec.press)
		425 points by pabs3 3 hours ago \| hide \| 365 comments
3.		AI will make formal verification go mainstream (kleppmann.com)
		682 points by evankhoury 15 hours ago \| hide \| 349 comments
4.		TLA+ Modeling Tips (muratbuffalo.blogspot.com)
		53 points by birdculture 4 hours ago \| hide \| 9 comments
5.		Modern SID chip substitutes [video] (youtube.com)
		22 points by vismit2000 2 hours ago \| hide \| discuss
6.		alpr.watch (alpr.watch)
		815 points by theamk 20 hours ago \| hide \| 382 comments
7.		No Graphics API (sebastianaaltonen.com)
		696 points by ryandrake 17 hours ago \| hide \| 123 comments
8.		Announcing the Beta release of ty (astral.sh)
		669 points by gavide 16 hours ago \| hide \| 125 comments
9.		Playing Santa changed Bob Rutan profoundly (esquire.com)
		27 points by Lightbody 3 hours ago \| hide \| 8 comments
10.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		385 points by MrAlex94 14 hours ago \| hide \| 224 comments
11.		AI's real superpower: consuming, not creating (msanroman.io)
		66 points by firefoxd 4 hours ago \| hide \| 51 comments
12.		GPT Image 1.5 (openai.com)
		463 points by charlierguo 18 hours ago \| hide \| 214 comments
13.		Pricing Changes for GitHub Actions (resources.github.com)
		691 points by kevin-david 19 hours ago \| hide \| 750 comments
14.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		192 points by pbowyer 14 hours ago \| hide \| 112 comments
15.		VA Linux: The biggest dotcom IPO (homeip.net)
		79 points by giuliomagnifico 9 hours ago \| hide \| 33 comments
16.		Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
		46 points by YeGoblynQueenne 7 hours ago \| hide \| 33 comments
17.		Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
		6 hours ago \| hide
18.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		464 points by geox 23 hours ago \| hide \| 181 comments
19.		Thin desires are eating life (joanwestenberg.com)
		549 points by mitchbob 18 hours ago \| hide \| 194 comments
20.		Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React (mephistomail.site)
		15 points by benmxrt 3 hours ago \| hide \| 14 comments
21.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		533 points by recvonline 23 hours ago \| hide \| 805 comments
22.		Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
		27 points by simplychris 6 hours ago \| hide \| 9 comments
23.		Ask HN: Has anyone been able to renew their IEEE this month?
		10 points by chrisaycock 1 hour ago \| hide \| 1 comment
24.		Living Particle System (creative-art-points.vercel.app)
		18 points by lovegrenoble 4 hours ago \| hide \| discuss
25.		P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)
		16 points by Davidbrcz 5 hours ago \| hide \| 2 comments
26.		Introduction to Software Development Tooling (2024) (bernsteinbear.com)
		85 points by vismit2000 11 hours ago \| hide \| 13 comments
27.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		219 points by rgovostes 18 hours ago \| hide \| 189 comments
28.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		43 points by soham_byte 10 hours ago \| hide \| 24 comments
29.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		266 points by wicket 23 hours ago \| hide \| 41 comments
30.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		141 points by thatoneengineer 18 hours ago \| hide \| 175 comments
		More