Hacker News

1.		Coursera to combine with Udemy (coursera.com)
		82 points by throwaway019254 55 minutes ago \| hide \| 26 comments
2.		Learning the oldest programming language (2024) (uncenter.dev)
		9 points by lioeters 15 minutes ago \| hide \| 2 comments
3.		AI will make formal verification go mainstream (kleppmann.com)
		695 points by evankhoury 16 hours ago \| hide \| 355 comments
4.		Is Mozilla trying hard to kill itself? (infosec.press)
		483 points by pabs3 4 hours ago \| hide \| 418 comments
5.		TLA+ Modeling Tips (muratbuffalo.blogspot.com)
		60 points by birdculture 5 hours ago \| hide \| 14 comments
6.		alpr.watch (alpr.watch)
		826 points by theamk 20 hours ago \| hide \| 386 comments
7.		No Graphics API (sebastianaaltonen.com)
		710 points by ryandrake 18 hours ago \| hide \| 129 comments
8.		Announcing the Beta release of ty (astral.sh)
		684 points by gavide 16 hours ago \| hide \| 130 comments
9.		Modern SID chip substitutes [video] (youtube.com)
		27 points by vismit2000 3 hours ago \| hide \| 1 comment
10.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		401 points by MrAlex94 15 hours ago \| hide \| 233 comments
11.		AI's real superpower: consuming, not creating (msanroman.io)
		87 points by firefoxd 5 hours ago \| hide \| 68 comments
12.		Pricing Changes for GitHub Actions (resources.github.com)
		708 points by kevin-david 20 hours ago \| hide \| 762 comments
13.		GPT Image 1.5 (openai.com)
		472 points by charlierguo 19 hours ago \| hide \| 223 comments
14.		Playing Santa changed Bob Rutan profoundly (esquire.com)
		33 points by Lightbody 4 hours ago \| hide \| 10 comments
15.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		197 points by pbowyer 14 hours ago \| hide \| 115 comments
16.		Thin desires are eating life (joanwestenberg.com)
		564 points by mitchbob 19 hours ago \| hide \| 202 comments
17.		Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
		50 points by YeGoblynQueenne 8 hours ago \| hide \| 35 comments
18.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		466 points by geox 23 hours ago \| hide \| 181 comments
19.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		541 points by recvonline 23 hours ago \| hide \| 814 comments
20.		VA Linux: The biggest dotcom IPO (homeip.net)
		81 points by giuliomagnifico 9 hours ago \| hide \| 39 comments
21.		Short-Circuiting Correlated Subqueries in SQLite (emschwartz.me)
		6 points by emschwartz 2 hours ago \| hide \| discuss
22.		The Coupang data breach that hit two-thirds of South Korea (ft.com)
		3 points by zdw 1 hour ago \| hide \| 2 comments
23.		Living Particle System (creative-art-points.vercel.app)
		22 points by lovegrenoble 5 hours ago \| hide \| discuss
24.		Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
		29 points by simplychris 7 hours ago \| hide \| 13 comments
25.		P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org)
		21 points by Davidbrcz 5 hours ago \| hide \| 4 comments
26.		Introduction to Software Development Tooling (2024) (bernsteinbear.com)
		90 points by vismit2000 12 hours ago \| hide \| 13 comments
27.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		227 points by rgovostes 19 hours ago \| hide \| 195 comments
28.		Ask HN: Has anyone been able to renew their IEEE this month?
		19 points by chrisaycock 2 hours ago \| hide \| 3 comments
29.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		47 points by soham_byte 10 hours ago \| hide \| 25 comments
30.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		270 points by wicket 1 day ago \| hide \| 41 comments
		More