6 posts in total
2026
Type Theory Concepts: A to Z
Kleene Algebra, NetKAT, StacKAT, GKAT, CF-GKAT
2025
Managing Development Environments with conda, nvm, and rustup
2023
Nico Ritschel's Ph.D. Defense Summary
The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 Observations and Gained Insights
PNW PLSE Workshop 2023 Observations and Gained Insights