Skip to content

Instantly share code, notes, and snippets.

@johnbender

johnbender/resolution.md

Last active December 10, 2015 10:38
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save johnbender/4421983 to your computer and use it in GitHub Desktop.
Save johnbender/4421983 to your computer and use it in GitHub Desktop.
Download ZIP
New Year's resolutions
Raw
resolution.md

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