Writing

Academic Posts

PhD Thesis

• High Assurance Cryptographic Software using Rust and Rocq
  • no color,
  • no margin symbols,
  • no color or margin symbols

Master Thesis

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

Workflow Improvements

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
• My strange dream setup

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