_doctor_love
- Karma
- 0
- Created
- ()
- Submissions
- 0
- White House debuts video games (apnews.com)
- Google Maps Renames Lake Ontario to Lake America (nytimes.com)
- Learning to Draw Again with AI (surya.website)
- The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net)
- When the Hard Part Stops Being Hard (proofsandintuitions.net)
- S. R. Ranganathan (en.wikipedia.org)
- Logic for Programmers (logicforprogrammers.com)
- Exotic phenomena in dimension 4 [video] (youtube.com)
- ICME Labs – formal proofs for agent work (docs.icme.io)
- The Brain Center at Whipple's (1964) (en.wikipedia.org)
- Reflections on Trusting Trust (1984) [pdf] (cs.cmu.edu)
- The University in the AI Era (htmx.org)
- Dark Software Factories Are Cool. What Comes After Them Is More Interesting (flummadiddle.bearblog.dev)
- Starting a VM from a macOS sandbox for AI agents (brentfitzgerald.com)
- Fourth Grade Product Thinking (brentfitzgerald.com)
- Blitzy AI charges by LOC generated (blitzy.com)
- How to build your own software factory (web.navan.dev)
- AI-Driven Design Automation (en.wikipedia.org)
- Don't Fear the Dark Factory (mattwynne.net)
- Vericoding: The End of "Trust Me Bro, The AI Wrote It" (blog.icme.io)
- A History of Live Programming (2013) (liveprogramming.github.io)
- Tools of Statecraft (fpri.org)
- AI and the Neurodivergent Unlock (jonoherrington.com)