hkopp
Joined 5 years ago
Karma
229
Submissions
47
Member since
Jul 21
Recent submissions
Comment · 1 year ago
The notation is really not that frightening, once you get it. Just read the wikipedia article: https://en.wikipedia.org/wiki/Algebraic_notation_(chess)
Don't bother with that large table at the bottom.
Comment · 2 years ago
The title should probably be "Is TikTok safe?" to reduce clickbait.
Comment · 3 years ago
I think it is due to the homotopy type theory book. There is an elegant connection between category theory and type theory. I guess most of the people submitting category theory to hacker news (or any graduate math) just do it to flex and seem clever.
Comment · 3 years ago
I have studied math and was in some lectures about category theory. I still don't get what the project is about and that fact intrigues me.
https://twitter.com/bananabunny6