• Coursera to combine with Udemy
  • Learning the oldest programming language (2024)
  • AI will make formal verification go mainstream
  • Is Mozilla trying hard to kill itself?
  • TLA+ Modeling Tips
  • alpr.watch
  • No Graphics API
  • Announcing the Beta release of ty
  • Modern SID chip substitutes [video]
  • AI's real superpower: consuming, not creating
  • No AI* Here – A Response to Mozilla's Next Chapter
  • Pricing Changes for GitHub Actions
  • GPT Image 1.5
  • Playing Santa changed Bob Rutan profoundly
  • I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
  • Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025
  • Thin desires are eating life
  • Subsets (YC S23) is hiring engineers in Copenhagen, Denmark
  • 40 percent of fMRI signals do not correspond to actual brain activity
  • Mozilla appoints new CEO Anthony Enzor-Demeo
  • VA Linux: The biggest dotcom IPO
  • Living Particle System
  • Show HN: I built a WebMIDI sequencer to control my hardware synths
  • P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
  • Introduction to Software Development Tooling (2024)
  • Japan to revise romanization rules for first time in 70 years
  • Short-Circuiting Correlated Subqueries in SQLite
  • Ask HN: Has anyone been able to renew their IEEE this month?
  • Show HN: Titan – JavaScript-first framework that compiles into a Rust server
  • Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)