Outer Web | Explore

/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		www.jeremykun.com Universal Properties \| Math Programming
\|	\|	rakhim.org Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org	2.9 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.	2.9 parsecs away Travel
\|	\|	bartoszmilewski.com Function Types \| Bartosz Milewski's Programming Cafe	1.7 parsecs away Travel
\|	\|	This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b...	1.7 parsecs away Travel
\|	\|	cronokirby.com Categorical Graphs - Cronokirby	3.2 parsecs away Travel
\|	\|	- Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/	3.2 parsecs away Travel
\|	\|	www.greyblake.com Rust Knowledge Refinement \| Serhii Potapov (greyblake)	16.3 parsecs away Travel
\|		A blog about software development.	16.3 parsecs away Travel