Reposted by leo
There's life before and after you discover Radiohead
May 13, 2025 at 12:40 PM
There's life before and after you discover Radiohead
Reposted by leo
A gonad is just a gonoid in the category of endofunctors.
April 3, 2025 at 12:39 PM
A gonad is just a gonoid in the category of endofunctors.
Reposted by leo
I may be tired and a little hoarse, but as I said again and again on the Senate floor, this is a moment where we cannot afford to be silent, when we must speak up.
April 2, 2025 at 1:09 AM
I may be tired and a little hoarse, but as I said again and again on the Senate floor, this is a moment where we cannot afford to be silent, when we must speak up.
Reposted by leo
What the actual fuck:
March 27, 2025 at 6:45 PM
What the actual fuck:
Learning Rocq/Coq has been, hands down, the most fun coding experience I've ever had
February 26, 2025 at 2:14 PM
Learning Rocq/Coq has been, hands down, the most fun coding experience I've ever had
Reposted by leo
A short 30 years later, here we are.
December 18, 2024 at 12:31 PM
A short 30 years later, here we are.