Skip to content

Instantly share code, notes, and snippets.



Last active Dec 10, 2015
What would you like to do?
New Year's resolutions

New Year's Resolutions

A list of nest years resolutions and an accounting of this years success/failures


  1. Publish
  2. Pass 281a
  3. Be more patient


  1. [✓] Read/Grok chapters >= 9 in Types and Programming Languages
  2. [] Read Software Foundations / Learn Coq
  3. [] Read GEB
  4. [✓] Write shorter blog posts more frequently to facilitate learning

Number one might take me the rest of the year by itself :(

2012 (retro)

  1. [✓] Go to the gym (3 hand stand pushups, 6:20 mile, 65lb weighted pullup)
  2. [✓] Get into grad school (should hear back this month)
  3. [✓] Do something with math (Category theory, Operational Semantics blog posts)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.