News for hackers. Stuff that matters.
Re:Why is it worth spending time on type theory? by JonChesterfield on Wednesday August 06, 2025 @04:02PM (#44816999)
I watched these https://www.youtube.com/@hottlectures5237, at least up to the point where they seemed to be diverging from things I could see application in. There's an associated book which is fairly tough going but enlightening (easier after watching some of the videos).

There are no comments on this comment yet.