These are some things I’ve wanted to build but haven’t gotten around to. If you see this list and are working on something similar, or got inspired from this, I’d love to know about your creation.

  • A decentralized Twitter built on top of RSS
  • A microblog alongside my main blog – enabled with a separate RSS feed and everything else. (maybe usememos/memos)
  • An interactive theorem prover (from scratch)
  • An Introduction to Coq
  • A course on using asyncio in Python
  • Something to make it easier to build my resume.
  • A post on something related to OCaml (building web apps in OCaml?)
  • Open-source chessbase alternative