>>16621382
>their one hero
Vlad was early and had ambition and ideas of formalization of his algtop stuff, got in contact with the type theory crowd (Adwody etc.), who at a similar time discovered the importance of groupoids (the key thing in Vlad's complicated equality).
But he very quickly found the projects taken over by type theorists (who knew no algtop), and he disavowed the book project. Before he offed himself. For this reason, he at several points very strongly emphasized how his project is "Univalent Foundations" and how HoTT is the CS spinoff.

The tranny stuff is true, albeit the animosity towards trannies is over the top in right winged math grad circles. The tranny coders often are, indeed, smartasses. But that's just like any scala kids who learn about monads and the Yoneda lemma without knowing the first two terms of the exponential function (not hyperbole.)
But the haskell types to be smarter than your average coder also. Donno if that makes for good programs.

Back | Go to board

Board:

/sci/

Thread:

What went wrong?