calmer news

  1. Prediction: AI will make formal verification go mainstream (kleppmann.com)
  2. alpr.watch (alpr.watch)
  3. No Graphics API (sebastianaaltonen.com)
  4. Ty: A fast Python type checker and LSP (astral.sh)
  5. GPT Image 1.5 (openai.com)
  6. 40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
  7. Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  8. Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  9. Thin desires are eating life (joanwestenberg.com)
  10. The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  11. MIT professor shot at his Massachusetts home dies (bbc.com)
  12. Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  13. Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
  14. Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
  15. Letta Code (letta.com)
  16. GitHub will begin charging for self-hosted action runners on March 2026 (github.blog)
  17. Artie (YC S23) Is Hiring Senior Enterprise AES (ycombinator.com)
  18. Nvidia Nemotron 3 Family of Models (nvidia.com)
  19. Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
  20. Creating custom yellow handshake emojis with zero-width joiners (alexbeals.com)
  21. Rust GCC back end: Why and how (guillaume-gomez.fr)
  22. How geometry is fundamental for chess (lichess.org)
  23. Show HN: Deterministic PCIe Diagnostics for GPUs on Linux (github.com/parallelarchitect)
  24. 30 Years of <Br> Tags (artmann.co)
  25. Pizlix: Memory Safe Linux from Scratch (fil-c.org)
  26. Vibe coding creates fatigue? (tabulamag.com)
  27. The Beauty of Dissonance (plough.com)
  28. Confuse some SSH bots and make botters block you (newsdump.org)
  29. Purrtran – ᓚᘏᗢ – A Programming Language for Cat People (github.com/cmontella)
  30. Full Unicode Search at 50× ICU Speed with AVX‑512 (ashvardanian.com)