ecmm

I like to build tools for language designers *and* languages. I am passionate about optimizing compilers, syntax analysis and type theory.

2023-04-04 What are type systems?

introduces type systems and their role in programming languages and logic
2023-03-31 A brief introduction to information theory in computer science

introduces concepts like entropy and self-information and their link with data structures