News for hackers. Stuff that matters.
Re:Proof You Can Do Hard Things by georgeyw on Wednesday July 12, 2023 @06:54PM (#36702764)
This text comes to mind: https://math.mit.edu/~dspivak/CT4S.pdf

I've only read pieces of it, but I think this moves in the right direction towards making category theory useful to day-to-day life in non-trivial ways.

There are no comments on this comment yet.