News

  1. Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
  2. Ty: A fast Python type checker and LSP (astral.sh)
  3. No Graphics API (www.sebastianaaltonen.com)
  4. Vibe coding creates fatigue? (www.tabulamag.com)
  5. GPT Image 1.5 (openai.com)
  6. GitHub will begin charging for self-hosted action runners on March 2026 (github.blog)
  7. alpr.watch (alpr.watch)
  8. Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  9. Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
  10. 40 percent of fMRI signals do not correspond to actual brain activity (www.tum.de)
  11. Rust GCC back end: Why and how (blog.guillaume-gomez.fr)
  12. Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
  13. Thin desires are eating life (www.joanwestenberg.com)
  14. The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
  15. The Symbolic Life (thewitchofendor.com)
  16. Full Unicode Search at 50× ICU Speed with AVX‑512 (ashvardanian.com)
  17. Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com)
  18. Nvidia Nemotron 3 Family of Models (research.nvidia.com)
  19. the one where i throw quotes at you (clarionsong.substack.com)
  20. Statistics made simple (tonsky.me)
  21. Pizlix: Memory Safe Linux from Scratch (fil-c.org)
  22. Where to Put my Little Yops? (www.robbielyman.com)
  23. Purrtran – ᓚᘏᗢ – A Programming Language for Cat People (github.com)
  24. 30 Years of <Br> Tags (www.artmann.co)
  25. Another Visit to Hamilton College's TV Club (palomakop.tv)
  26. Gatineau – Ottawa: A Big Day Out (gochugarugirl.com)
  27. Year One of My Entrepreneurial Journey (debamitro.github.io)
  28. No Quarter + PyLadiesCon (jamiepalatnik.com)
  29. Analyzing an email dump with BigQuery and Gemini (corinfaife.co)
  30. I'm moving to Berlin (captnemo.in)
  31. time with friends on KEXP (brian.abelson.live)
  32. Post-Mortem: hamy.xyz returning 404s (2025.11) (hamy.xyz)
  33. PX: from laptop to cloud cluster within seconds (amontalenti.com)
  34. zenith (olu.online)
  35. Pouch Issue 3 is coming Spring 2026 🌸 (vrklovespaper.substack.com)
  36. Setup Mistral vibe in Zed using ACP (kracekumar.com)
  37. Notes on Gamma (poniesandlight.co.uk)
  38. Birthday Blues (brianagude.substack.com)
  39. Typeclasses vs Modules (sm2n.ca)
  40. If AI can code, what will Software Engineers do? (hamy.xyz)