Posts I wrote

• The Note-Taking Trap - Why AI Could Save (or Destroy) How We Think June 30th, 2025

  An exploration of the fundamental problems with current note-taking systems and AI approaches that either lock users into rigid structures or make them dependent on black-box intelligence. Argues for...

• 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.

and 35 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.