I’m Tim Disney. I write code and things.

I mostly work on programming languages and web security (we have to be better at the cyber).

If you’d like to talk to me:

Profile Picture

Some stuff I made

I’m @disnet on GitHub.

  • Sweet.js: hygienic macros for JavaScript.
  • Contracts.coffee: higher-order contracts for CoffeeScript. No longer maintained but it was fun experiment.

Some papers I wrote

The highlights. There are others.