Add spaces-as-models

This commit is contained in:
2026-04-17 12:30:42 -04:00
parent 643068c4ef
commit 87159e568a
4 changed files with 129 additions and 6 deletions

View File

@@ -5,7 +5,7 @@ date: 2023-06-27
Software engineer, aspiring polymath. I like to do a little bit of everything.
Interested in proving correctness, embedded systems, system design, genetic engineering, microscopy,
Interested in proving correctness, embedded systems, system design, genetic engineering, microscopy,
mechanical engineering, pure math (mostly algebra, category theory, number theory), operating systems design,
security, and more.