/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
Coverages and Sites | Bartosz Milewski's Programming Cafe
| | blog.sigfpe.com
A Neighborhood of Infinity: Some thoughts on reasoning and monads
13.3 parsecs away

Travel
| | [AI summary] The post explores the relationship between Haskell's do-notation and category theory, arguing that it serves as an internal language for reasoning within categories equipped with monads.
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
14.5 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.
| | cronokirby.com
Categorical Graphs - Cronokirby
14.3 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | mmph.wordpress.com
TeX on the cloud | Mathematically Minded Physicist
35.7 parsecs away

Travel
| The recent post on cloud computing and Google Docs made me ask myself whether Google Docs supports (La)TeX. It turned out you can insert LaTeX equations into your Google doc (as discussed in more detail e.g. here) but that's that for now. There exists a LaTeX Lab project aspiring to develop a web-based LaTeX editor...