Tim Disney

Hi! 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).

I am against fascists.

If you'd like to talk to me, I'm @disnet on twitter and tim@disnet.me on email.

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.