• 61 Is Mozilla trying hard to kill itself? (infosec.press)
  by pabs3 an hour ago | 23 comments
• 628 AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury 13 hours ago | 325 comments
• 26 TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture 2 hours ago | discuss
• 781 alpr.watch (alpr.watch)
  by theamk 17 hours ago | 373 comments
• 636 No Graphics API (sebastianaaltonen.com)
  by ryandrake 15 hours ago | 113 comments
• 592 Announcing the Beta release of ty (astral.sh)
  by gavide 14 hours ago | 112 comments
• 437 GPT Image 1.5 (openai.com)
  by charlierguo 16 hours ago | 203 comments
• 655 Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david 17 hours ago | 714 comments
• 330 No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex94 12 hours ago | 193 comments
• 35 Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
  by YeGoblynQueenne 4 days ago | 20 comments
• 19 Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
  by simplychris 6 days ago | 6 comments
• 46 Venezuela explained in 10 maps and charts (aljazeera.com)
  by Anon84 3 days ago | 34 comments
• Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
  3 hours ago   job
• 8 P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com)
  by Davidbrcz 3 hours ago | discuss
• 163 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer 12 hours ago | 98 comments
• 59 VA Linux: The biggest dotcom IPO (dfarq.homeip.net)
  by giuliomagnifico 6 days ago | 19 comments
• 448 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  by geox 21 hours ago | 179 comments
• 508 Thin desires are eating life (joanwestenberg.com)
  by mitchbob a day ago | 182 comments
• 508 Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  by recvonline 20 hours ago | 765 comments
• 76 Introduction to Software Development Tooling (2024) (bernsteinbear.com)
  by vismit2000 9 hours ago | 10 comments
• 198 Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
  by rgovostes a day ago | 175 comments
• 33 Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
  by soham_byte 6 days ago | 20 comments
• 257 Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
  by wicket 21 hours ago | 40 comments
• 5 Living Particle System (creative-art-points.vercel.app)
  by lovegrenoble 5 days ago | discuss
• 24 A Guide to Magnetizing N48 Magnets in Ansys Maxwell (blog.ozeninc.com)
  by peter_d_sherman 6 hours ago | 1 comments
• 16 Various locale mismatch scenarios in Windows clipboard text format synthesis (devblogs.microsoft.com)
  by ibobev 5 days ago | 4 comments
• 78 Dafny: Verification-Aware Programming Language (dafny.org)
  by handfuloflight 12 hours ago | 25 comments
• 207 Nvidia Nemotron 3 Family of Models (research.nvidia.com)
  by ewt-nv 2 days ago | 39 comments
• 128 The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  by thatoneengineer a day ago | 161 comments
• 44 Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
  by surprisetalk 5 days ago | 12 comments