Takeaways from building a language in Rust
Learnings and musings from building a language in Rust
Schrödinger's Discriminated Union
What can we learn from Mittens?
The Importance of Dimensions
How to avoid physics defying paradoxes
Typestates Would Have Saved the Roman Republic
How to prevent your republic from turning into an empire using typestates