blog

a general blog about my projects, or anything. Reply at [email protected]

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
2024-12-09-poetry-to-prose.md		2024-12-09-poetry-to-prose.md
2024-12-12-calculus-calculi.md		2024-12-12-calculus-calculi.md
2024-12-13-fame.md		2024-12-13-fame.md
2024-12-14-logic.md		2024-12-14-logic.md
2024-12-20-infinity.md		2024-12-20-infinity.md
2024-12-23-tweets-on-trees.md		2024-12-23-tweets-on-trees.md
2024-12-27-linear-algebra.md		2024-12-27-linear-algebra.md
2024-12-31-watchword.md		2024-12-31-watchword.md
2025-01-02-semantics.md		2025-01-02-semantics.md
2025-01-05-type-inference.md		2025-01-05-type-inference.md
2025-01-06-diagonal.md		2025-01-06-diagonal.md
2025-01-17-arrogance.md		2025-01-17-arrogance.md
2025-02-03-POPL-PEPM.md		2025-02-03-POPL-PEPM.md
25-01-25-engineering.md		25-01-25-engineering.md
README.md		README.md

Provide feedback