Home
Posts
Résumé
Quotes
To Read
Posts archive [
RSS
]
05 May 2022
—
Curry-Howard-Lambek-Marx correspondence
08 Apr 2022
—
If you're designing a new programming language
25 Mar 2021
—
Uphold Marxism-Leninism-Maoism-Stallmanism!