Skip to content

Instantly share code, notes, and snippets.

@johnbender johnbender/resolution.md
Last active Dec 10, 2015

Embed
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

2014

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

2013

  1. [✓] Read/Grok chapters >= 9 in Types and Programming Languages
  2. [] Read Software Foundations / Learn Coq http://www.cis.upenn.edu/~bcpierce/sf/Learn
  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.