• 389 Is Mozilla trying hard to kill itself? (infosec.press)
  by pabs3 3 hours ago | 326 comments
• 676 AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury 15 hours ago | 346 comments
• 49 AI's real superpower: consuming, not creating (msanroman.io)
  by firefoxd 4 hours ago | 34 comments
• 18 Modern SID chip substitutes [video] (youtube.com)
  by vismit2000 3 days ago | discuss
• 49 TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture 5 hours ago | 7 comments
• 811 alpr.watch (alpr.watch)
  by theamk 20 hours ago | 381 comments
• 691 No Graphics API (sebastianaaltonen.com)
  by ryandrake 17 hours ago | 122 comments
• 657 Announcing the Beta release of ty (astral.sh)
  by gavide 16 hours ago | 122 comments
• 24 Playing Santa changed Bob Rutan profoundly (esquire.com)
  by Lightbody 4 days ago | 7 comments
• 378 No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex94 15 hours ago | 220 comments
• 685 Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david 19 hours ago | 746 comments
• 461 GPT Image 1.5 (openai.com)
  by charlierguo 19 hours ago | 212 comments
• 185 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer 14 hours ago | 108 comments
• 45 Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
  by YeGoblynQueenne 4 days ago | 32 comments
• 76 VA Linux: The biggest dotcom IPO (dfarq.homeip.net)
  by giuliomagnifico 6 days ago | 31 comments
• 463 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox a day ago | 181 comments
• Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
  6 hours ago   job
• 531 Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline a day ago | 798 comments
• 539 Thin desires are eating life (joanwestenberg.com)
  by mitchbob a day ago | 193 comments
• 25 Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
  by simplychris 6 days ago | 8 comments
• 11 Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React (mephistomail.site)
  by benmxrt 3 hours ago | 9 comments
• 15 Living Particle System (creative-art-points.vercel.app)
  by lovegrenoble 5 days ago | discuss
• 16 P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com)
  by Davidbrcz 5 hours ago | 2 comments
• 216 Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
  by rgovostes a day ago | 187 comments
• 85 Introduction to Software Development Tooling (2024) (bernsteinbear.com)
  by vismit2000 11 hours ago | 12 comments
• 42 Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
  by soham_byte 6 days ago | 24 comments
• 261 Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
  by wicket a day ago | 41 comments
• 141 The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  by thatoneengineer 2 days ago | 172 comments
• 225 Nvidia Nemotron 3 Family of Models (research.nvidia.com)
  by ewt-nv 2 days ago | 43 comments
• 71 US threatens EU digital services market access (twitter.com)
  by heisenbit 5 hours ago | 69 comments