Writing

Academic Posts

Master Thesis

• (Q)M-Types and Coinduction in Hott/CTT

Hacspec

• Hacspec - (coming soon)
• SSProve - (coming soon)
• ConCert - (coming soon)

Workflow Improvements

TODO Teaching

Writing

• Stenography plover
  • Learn steno
  • Learn plover
  • StenoTray
  • Type type
• Keyboard
  • Charachorder one
  • crkbd (Kailh Choc Light Blue Switches)
  • redox

Productivity / Scheduling

• Kanban (org-mode) / agile for one

Emacs config

• https://github.com/cmester0/.emacs

Sparetime / For fun posts

Land of Ling

• Collision detection
• World generation

Racebile

• Racebile Simulation

Piet

• Esolang page: Piet
• My Piet compiler github page
• Description of Piet compiler