News

  1. Apple Maps claims it's 29,905 miles away (mathstodon.xyz)
  2. AI and the ironies of automation – Part 2 (www.ufried.com)
  3. Kimi K2 1T model runs on 2 512GB M3 Ultras (twitter.com)
  4. The Gorman Paradox: Where Are All the AI-Generated Apps? (codemanship.wordpress.com)
  5. Europeans' health data sold to US firm run by ex-Israeli spies (www.ftm.eu)
  6. Lean theorem prover mathlib (github.com)
  7. An Implementation of J (1992) (www.jsoftware.com)
  8. Closures as Win32 Window Procedures (nullprogram.com)
  9. Linux Sandboxes and Fil-C (fil-c.org)
  10. An off-grid, flat-packable washing machine (www.positive.news)
  11. Recovering Anthony Bourdain's Li.st's (sandyuraz.com)
  12. I fed 24 years of my blog posts to a Markov model (susam.net)
  13. I tried Gleam for Advent of Code (blog.tymscar.com)
  14. Another Visit to Hamilton College's TV Club (palomakop.tv)
  15. Gatineau – Ottawa: A Big Day Out (gochugarugirl.com)
  16. Year One of My Entrepreneurial Journey (debamitro.github.io)
  17. No Quarter + PyLadiesCon (jamiepalatnik.com)
  18. Analyzing an email dump with BigQuery and Gemini (corinfaife.co)
  19. I'm moving to Berlin (captnemo.in)
  20. time with friends on KEXP (brian.abelson.live)
  21. Post-Mortem: hamy.xyz returning 404s (2025.11) (hamy.xyz)
  22. PX: from laptop to cloud cluster within seconds (amontalenti.com)
  23. zenith (olu.online)
  24. Pouch Issue 3 is coming Spring 2026 🌸 (vrklovespaper.substack.com)
  25. Setup Mistral vibe in Zed using ACP (kracekumar.com)
  26. Notes on Gamma (poniesandlight.co.uk)
  27. Useful patterns for building HTML tools (simonwillison.net)
  28. Birthday Blues (brianagude.substack.com)
  29. Typeclasses vs Modules (sm2n.ca)
  30. If AI can code, what will Software Engineers do? (hamy.xyz)
  31. Hello World of AI Agents (debamitro.github.io)
  32. Go Proposal: Secret Mode (antonz.org)
  33. Techlore Interview (BusKill, Interdiction, and OpSec) (tech.michaelaltfield.net)
  34. Using e-ink tablet as monitor for Linux (alavi.me)
  35. Are Two Heads Better Than One? (eieio.games)
  36. Happy endings as collective action problem (liquidbrain.net)
  37. Theme selector (macwright.com)
  38. Seasonal Sudoku (blog.veitheller.de)
  39. The Creation of a Skilled Tycoon (commoncog.com)
  40. Mystery Science Theater 3000: The Definitive Oral History of a TV Masterpiece (www.wired.com)
  41. Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
  42. The cheapest items at IKEA (exclav.es)
  43. A brief history of specifiers and protocols (macwright.com)
  44. yep (olu.online)