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!

All original text, such as blog posts and essays, is available under the Creative Commons Attribution-ShareAlike 4.0 International.

All original code, as well as any inline documentation, is available under the terms of the GNU General Public License Version 3 or later.