News

  1. Last fifty years of integer linear programming: Recent practical advances (inria.hal.science)
  2. SIMD-friendly algorithms for substring searching (0x80.pl)
  3. Filedb: Disk-based key-value store inspired by Bitcask (github.com)
  4. Endometriosis is an interesting disease (www.owlposting.com)
  5. Implementing Logic Programming (btmc.substack.com)
  6. Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)
  7. Self-Adapting Language Models (arxiv.org)
  8. I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)
  9. Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)
  10. strace tips for better debugging (rrampage.github.io)
  11. The Hat, the Spectre and SAT Solvers (2024) (www.nhatcher.com)
  12. Struggling to pay attention? Try this. (thelabyrinth.substack.com)
  13. 100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (research.mietek.io)
  14. The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (www.wsj.com)
  15. Horatio Nelson, Melville, nematodes, &vocab (todaythings.substack.com)
  16. The TX16W is alright (blog.jacobvosmaer.nl)
  17. If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)
  18. Building a Playdate Game in Rust (missfunmi.com)
  19. Frequent reauth doesn't make you more secure (tailscale.com)
  20. Paris – (Food) Window Shopping (gochugarugirl.com)
  21. What's this wordplay? (cceckman.com)
  22. The international standard for identifying postal items (www.akpain.net)
  23. Exploring phonics with OpenAI (george.mand.is)
  24. What I talk about when I talk about IRs (bernsteinbear.com)
  25. Whatever Happened to Sandboxfs? (blogsystem5.substack.com)
  26. Reflections on Vibecoding (gianluca.ai)
  27. Ireland is failing Palestine (blog.paulbiggar.com)
  28. Lab note #070 Vibe-coding is half a skill issue (interjectedfuture.com)
  29. Cursor AI Best Practices: Using the Gold Standard Files Workflow for Precise Results (nmn.gl)
  30. From Layoff to Offer: What I Did With My Gap Time (sitongpeng.com)
  31. Future-proofing my blog for an AI audience (george.mand.is)
  32. Student discovers fungus predicted by Albert Hoffman (wvutoday.wvu.edu)
  33. Liquid Glass – WWDC25 [video] (developer.apple.com)
  34. TimeGuessr (timeguessr.com)
  35. Using `make` to compile C programs (for non-C-programmers) (jvns.ca)
  36. Paris – Eating Out (gochugarugirl.com)