Ideas & society2015 · shared on Hacker News
arxiv · 9405205
Explore arxiv · 9405205, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ygolol ·
Grothendieck’s use of equality
178 points129 comments
Yjasonrdsouza ·
The Algebra of Algebraic data types
136 points40 comments
Yisomorph ·
Calculus with types
123 points61 comments
Ybryanrasmussen ·
Representing Graphs by Knuth Trees (1974) [pdf]
100 points13 comments
Ypxeger1 ·
Taking the derivative of an algebraic data type [pdf]
1 points0 comments