• 326 Is Mozilla trying hard to kill itself? (infosec.press)
  by pabs3 3 hours ago | 279 comments
• 670 AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury 15 hours ago | 342 comments
• 48 TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture 4 hours ago | 4 comments
• 806 alpr.watch (alpr.watch)
  by theamk 19 hours ago | 379 comments
• 683 No Graphics API (sebastianaaltonen.com)
  by ryandrake 17 hours ago | 121 comments
• 11 Modern SID chip substitutes [video] (youtube.com)
  by vismit2000 3 days ago | discuss
• 639 Announcing the Beta release of ty (astral.sh)
  by gavide 15 hours ago | 119 comments
• 36 AI's real superpower: consuming, not creating (msanroman.io)
  by firefoxd 4 hours ago | 25 comments
• 18 Playing Santa changed Bob Rutan profoundly (esquire.com)
  by Lightbody 4 days ago | 4 comments
• 453 GPT Image 1.5 (openai.com)
  by charlierguo 18 hours ago | 209 comments
• 677 Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david 19 hours ago | 741 comments
• 369 No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex94 14 hours ago | 215 comments
• 42 Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
  by YeGoblynQueenne 4 days ago | 27 comments
• Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
  5 hours ago   job
• 70 VA Linux: The biggest dotcom IPO (dfarq.homeip.net)
  by giuliomagnifico 6 days ago | 27 comments
• 458 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox a day ago | 179 comments
• 24 Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
  by simplychris 6 days ago | 7 comments
• 528 Thin desires are eating life (joanwestenberg.com)
  by mitchbob a day ago | 192 comments
• 526 Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline a day ago | 794 comments
• 181 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer 13 hours ago | 107 comments
• 14 P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com)
  by Davidbrcz 4 hours ago | 2 comments
• 82 Introduction to Software Development Tooling (2024) (bernsteinbear.com)
  by vismit2000 11 hours ago | 11 comments
• 10 Living Particle System (creative-art-points.vercel.app)
  by lovegrenoble 5 days ago | discuss
• 211 Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
  by rgovostes a day ago | 185 comments
• 41 Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
  by soham_byte 6 days ago | 22 comments
• 260 Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
  by wicket a day ago | 41 comments
• 5 Show HN: Mephisto – A RAM-only, ad-free disposable email PWA built with React (mephistomail.site)
  by benmxrt 2 hours ago | 3 comments
• 138 The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  by thatoneengineer 2 days ago | 169 comments
• 218 Nvidia Nemotron 3 Family of Models (research.nvidia.com)
  by ewt-nv 2 days ago | 42 comments
• 22 Various locale mismatch scenarios in Windows clipboard text format synthesis (devblogs.microsoft.com)
  by ibobev 5 days ago | 7 comments