Skip to content

Instantly share code, notes, and snippets.

@kt3k

kt3k/bucketlist.md

Last active December 14, 2020 06:30
Show Gist options
  • Save kt3k/92fb3e09cf10401141989274b9f87c57 to your computer and use it in GitHub Desktop.
Save kt3k/92fb3e09cf10401141989274b9f87c57 to your computer and use it in GitHub Desktop.
Download ZIP
My bucket list
Raw
bucketlist.md

Bucket List:

  • Get PhD in mathematics
  • Create a language for expressing mathematical theorems and proofs efficiently and naturally (I didn't like matamath or Coq because they didn't look like "mathematics")
  • Release a cross-platform artistic game app in both iOS App Store and Google Play
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment