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