endofunktor

[endofunktor]

Oh yeah no, L∃∀N and in particular mathlib isn't readable as far as I am aware. I myself have merely dabbled in L∃∀N.

But I feel like if one wanted to build such a site it can only be on top of a formal theorem prover in order to not mess up dependencies.

This could even be a new usecase for formal theorem proves.

Although this would also probably be a didactical nightmare due to the maximal abstraction (and thus applicability) pursued by mathlib. Sometimes one would simply want to learn about vector spaces rather than modules over semirings that happen to be rings that happen to be fields.

Vision: A mathematical wiki which tracks a dependency graph for each theorem. You can click on the theorem and it builds a path from foundations to that theorem for you as a big long page you can scroll through to learn it, and it automatically inserts little suggestions of examples to look at along the way.

[endofunktor]

Can I interest you in L∃∀N's mathlib?

Vision: A mathematical wiki which tracks a dependency graph for each theorem. You can click on the theorem and it builds a path from foundations to that theorem for you as a big long page you can scroll through to learn it, and it automatically inserts little suggestions of examples to look at along the way.

[endofunktor]

Still the greatest magazine cover of all time. Why are they framed in shadow. Why is the text so stark. Why is this being framed like the poster with the villains on it for a superhero movie. This summer: a new sexual identity emerges. The bisexuals will change the hierarchy of the DC Universe forever

[endofunktor]

[endofunktor]

The Destroyer. Signed large and small fine art prints are back, while supplies last!

[endofunktor]

I like to think I understand basic calculus quite well. But on a deep intuitive level I think it still eludes me.

For example, I was packing today, and I thought, oh they're just socks, each one is so small it effectively takes up no space. If I take very many socks, they also won't take up any space.

This, to my dismay, is not true.

Similarly, deep down I feel I should never have to buy olive oil more than once. After all, I barely use any each time I use it. These small amounts should never add up to a big whole.

Maybe one day I'll have a true intuitive grasp of integration.

[endofunktor]

You can't cut soft cheese in thin slices or wedges because it just gets squished, but you can with hard cheese, cause the protein holds it together. Casein point:

[endofunktor]

They should block chatgpt on uni WiFi the way they used to block coolmathgames

[endofunktor]

can I come over and look at you like this

[endofunktor]

What a lovely duck!

[endofunktor]

[endofunktor]

[endofunktor]

whoever writes the nyt connections categories is experiencing joan of arc type visions & hallucinations

[endofunktor]

Paralives is out December 8, 2025 in Early Access!! which means…some features will be available right away and others will be added overtime as free updates ⚙️🛠️

[endofunktor]

like just very frankly this whole idea that misogyny is a result of young boys being exposed to porn on the internet is ridiculous and it is fucking embarrassing how many people who claim to have materialist politics still parrot it. do you think that guy grew up to be a misogynist because of xhamster or do you think watching the way his father treated his mother and being increasingly materially rewarded for going along with the disenfranchisement of women and living in an economic system which functions off of the abuse of women and the heavily gendered exploitation of labor had anything to do with it