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

Strict Positiveness

POSITIVE VIBES ONLY🤗🤗🤗🤗🤗 Why do we enforce it 🤔🤔???

Sep 8, 2025

math/PL

🤓

Maths (or PL) Related Stuff

Nerdmaxxing

May 10, 2024

math/PL