1·
29 days ago@maxprime same lol. Somehow the whole os feels like one gigantic advertisement… That is trying it’s best to not let you use your computer
Shitposting, if anything
Fucking around and finding out (mathematical)
Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don’t even really need to be round)
Haskell in the streets, agda in the sheets.
- 0 Posts
- 2 Comments
Joined 2 years ago
Cake day: December 9th, 2022
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
@maxprime same lol. Somehow the whole os feels like one gigantic advertisement… That is trying it’s best to not let you use your computer