For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Polynomial Functors: A Mathematical Theory of Interaction [pdf] (topos.site)
49 points by solomonb on July 9, 2023 | past | 36 comments
Polynomial Functors: A General Theory of Interaction (topos.site)
2 points by adamnemecek on June 1, 2023 | past
Dana Scott: Seventy Years Using Fixed Points (topos.site)
2 points by hackandthink on April 2, 2023 | past | 1 comment
Polynomial Functors: A General Theory of Interaction [pdf] (topos.site)
2 points by adamnemecek on March 8, 2023 | past
Statement on Topos and the FTX Foundation (topos.site)
1 point by mathgenius on Nov 19, 2022 | past
The MathFoldr Project (topos.site)
1 point by nabla9 on July 13, 2021 | past
The MathFoldr Project (topos.site)
3 points by mathgenius on July 12, 2021 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You