Ongoing

• One blog post per month.

Long term

• Hack on systems:
  • programming language systems
    • type theory
    • compilers
    • runtime systems / gc
  • operating systems
  • distributed systems and database systems.
• Design and implement (a non-trivial) programming language.
• Understand module systems and integrate into a practical programming language.

Lifetime

• Contentment