9 posts in total

---

2026

08-31

Memory Models and Forward-Progress Guarantees

08-28

Understanding Lean's Type and Prop Through Python Metaclasses

05-23

Rust Crates and Python Packages

05-13

Type Theory Concepts: A to Z

04-15

Kleene Algebra, NetKAT, StacKAT, GKAT, CF-GKAT

2025

07-10

Managing Development Environments with conda, nvm, and rustup

2023

10-13

Nico Ritschel's Ph.D. Defense Summary

09-08

The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 Observations and Gained Insights

05-09

PNW PLSE Workshop 2023 Observations and Gained Insights