- zkVM part III: from trace to polynomials
- zkVM Part II: The Executor
- zkVM Part I: Why R0VM?
- learning more by trying less
- why why why do we not have good flashcard software?
- tackling complexity
- what is an instruction? (for computers)
- ownership in rust super simple edition
- blade runner (2049)
- [short story] untitled wedding
- nuphy air 75v2 qmk
- discipline vs motivation
- vscode + vim
- [article] doing nothing takes an eternity
- Argument
- Church
- GNU/Linux
- Life in Cambridge
- The fellowship of Bitcoin
- Welcome to my blog!