/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 bartoszmilewski.com
Products and Coproducts | Bartosz Milewski's Programming Cafe
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
2.7 parsecs away

Travel
| | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.
| | jackkelly.name
Monoids in the Category of... | Blog | jackkelly.name
3.8 parsecs away

Travel
| |
| | cronokirby.com
Categorical Graphs - Cronokirby
2.9 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | countingfromzero.blog
Scholarship guidelines | Counting From Zero
19.6 parsecs away

Travel
| In academia, at least, it's a rare privilege to write the criteria by which your work will be evaluated. That was, in fact, one of my major tasksfor the 2015-16 academic year, and part of my backlog of blog topics. Why is it on my mind right now?While I am being reviewed for tenure at...