math/PL Blog Posts

Deriving Monad Comprehension Programmatically

comprehend 再多，却无可 comprehend 她的心。#油 #普信 #🤢

Jun 27, 2025

math/PL

Fixpoint is all you need

Bondage (I mean fixpoint) formalized. Isn’t that hot 🥵

Jul 11, 2024

math/PL

🤓

Maths (or PL) Related Stuff

Nerdmaxxing

May 10, 2024

math/PL