calmer news

  1. AI will make formal verification go mainstream (kleppmann.com)
  2. alpr.watch (alpr.watch)
  3. No Graphics API (sebastianaaltonen.com)
  4. Announcing the Beta release of ty (astral.sh)
  5. GPT Image 1.5 (openai.com)
  6. Pricing Changes for GitHub Actions (resources.github.com)
  7. VA Linux: The biggest dotcom IPO (homeip.net)
  8. Introduction to Software Development Tooling (2024) (bernsteinbear.com)
  9. I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  10. Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
  11. No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  12. 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  13. Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  14. Thin desires are eating life (joanwestenberg.com)
  15. Sei AI (YC W22) Is Hiring (ycombinator.com)
  16. Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
  17. Dafny: Verification-Aware Programming Language (dafny.org)
  18. Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
  19. Various locale mismatch scenarios in Windows clipboard text format synthesis (devblogs.microsoft.com/oldnewthing)
  20. Show HN: Learn Japanese contextually while browsing (lingoku.ai)
  21. Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
  22. The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  23. Nvidia Nemotron 3 Family of Models (nvidia.com)
  24. Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  25. Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  26. Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola (arstechnica.com)
  27. A Guide to Magnetizing N48 Magnets in Ansys Maxwell (ozeninc.com)
  28. Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
  29. Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents (github.com/theauditortool)
  30. Rust GCC backend: Why and how (guillaume-gomez.fr)