Posts I wrote

• MCP is neat June 16th, 2025

  Using MCP to solve the 'activation energy' problem of creating Anki cards

• New Things June 3rd, 2025

  Big changes happening in my life. After almost a decade, today was my last day working at Shape Security / F5.

• Large AI Models Are Cultural and Social Technologies March 19th, 2025

  Large AI models are cultural and social technologies that are allowing humans to take advantage of information other humans have accumulated.

and 34 more

Stuff I made

• Sweet.js: hygienic macros for JavaScript.
• Contracts.coffee: higher-order contracts for CoffeeScript.

Papers I wrote

• Hygienic Macros for JavaScript: my doctoral dissertation showing how to adapt a hygienic macros system to JavaScript.
• Virtual Values for Language Extension (OOPSLA 2011): a generalization and formalization of existing meta-object systems with a particular application for JavaScript.
• Temporal Higher-Order Contracts (ICFP 2011): bringing temporal assertions to higher-order contracts.