News

  1. Computer Animator and Amiga fanatic Dick Van Dyke turns 100 (news.ycombinator.com)
  2. Doxers posing as cops are tricking big tech firms into sharing people's data (www.wired.com)
  3. Apple has locked my Apple ID, and I have no recourse. A plea for help (hey.paris)
  4. Google removes Sci-Hub domains from U.S. search results due to dated court order (torrentfreak.com)
  5. The Checkerboard (99percentinvisible.org)
  6. OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI (simonwillison.net)
  7. 50 years of proof assistants (lawrencecpaulson.github.io)
  8. Gatineau – Ottawa: A Big Day Out (gochugarugirl.com)
  9. Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig (github.com)
  10. Capsudo: Rethinking sudo with object capabilities (ariadne.space)
  11. GNU Unifont (unifoundry.com)
  12. macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt (developer.apple.com)
  13. Rats Play DOOM (ratsplaydoom.com)
  14. Year One of My Entrepreneurial Journey (debamitro.github.io)
  15. No Quarter + PyLadiesCon (jamiepalatnik.com)
  16. String theory inspires a brilliant, baffling new math proof (www.quantamagazine.org)
  17. Sick of smart TVs? Here are your best options (arstechnica.com)
  18. Freeing a Xiaomi humidifier from the cloud (0l.de)
  19. Analyzing an email dump with BigQuery and Gemini (corinfaife.co)
  20. I'm moving to Berlin (captnemo.in)
  21. time with friends on KEXP (brian.abelson.live)
  22. Post-Mortem: hamy.xyz returning 404s (2025.11) (hamy.xyz)
  23. Ensuring a National Policy Framework for Artificial Intelligence (www.whitehouse.gov)
  24. Show HN: I made a spreadsheet where formulas also update backwards (victorpoughon.github.io)
  25. PX: from laptop to cloud cluster within seconds (amontalenti.com)
  26. zenith (olu.online)
  27. Pouch Issue 3 is coming Spring 2026 🌸 (vrklovespaper.substack.com)
  28. Setup Mistral vibe in Zed using ACP (kracekumar.com)
  29. Notes on Gamma (poniesandlight.co.uk)
  30. Birthday Blues (brianagude.substack.com)
  31. Pg_ClickHouse: A Postgres extension for querying ClickHouse (clickhouse.com)
  32. Typeclasses vs Modules (sm2n.ca)
  33. If AI can code, what will Software Engineers do? (hamy.xyz)
  34. Hello World of AI Agents (debamitro.github.io)
  35. Beautiful Abelian Sandpiles (eavan.blog)
  36. Techlore Interview (BusKill, Interdiction, and OpSec) (tech.michaelaltfield.net)
  37. Are Two Heads Better Than One? (eieio.games)
  38. Happy endings as collective action problem (liquidbrain.net)
  39. Seasonal Sudoku (blog.veitheller.de)
  40. The Creation of a Skilled Tycoon (commoncog.com)
  41. Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
  42. The cheapest items at IKEA (exclav.es)
  43. So What Should We Call This – A Grue Jay? (cns.utexas.edu)
  44. yep (olu.online)
  45. Tips from using Lean 4 for Advent of Code (sm2n.ca)
  46. Autobibliography: December 2025 (hannahilea.com)
  47. We're back (blog.johnkrauss.com)