Articles by _doctor_love
55

Logic for Programmers (logicforprogrammers.com)

3

CO, FL, GA schools testing pepper-spraying Mithril drones to stop shooters (cbsnews.com)

1

Exotic phenomena in dimension 4 [video] (youtube.com)

1

ICME Labs – formal proofs for agent work (icme.io)

4

The Brain Center at Whipple's (1964) (wikipedia.org)

1

Reflections on Trusting Trust (1984) [pdf] (cmu.edu)

1

The University in the AI Era (htmx.org)

2

Dark Software Factories Are Cool. What Comes After Them Is More Interesting (flummadiddle.bearblog.dev)

2

Starting a VM from a macOS sandbox for AI agents (brentfitzgerald.com)

6

Fourth Grade Product Thinking (brentfitzgerald.com)

1

Blitzy AI charges by LOC generated (blitzy.com)

2

How to build your own software factory (navan.dev)

1

AI-Driven Design Automation (wikipedia.org)

2

Don't Fear the Dark Factory (mattwynne.net)

2

Vericoding: The End of "Trust Me Bro, The AI Wrote It" (icme.io)

1

A History of Live Programming (2013) (liveprogramming.github.io)

1

Tools of Statecraft (fpri.org)

1

AI and the Neurodivergent Unlock (jonoherrington.com)

6

Philz Coffee retreats from controversial plan (sfchronicle.com)

2

Follow Tracker making NHL players rethink social media (nytimes.com)

3

Ask HN: What's your cool use case for ChatGPT Containers?

1

The Putney Debates (1647) (putneydebates.com)

2

Intersubjectivity (wikipedia.org)

1

Unnecessariat (2016) (morecrows.wordpress.com)