Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederbartoszmilewski.com
Bartosz Milewski's Programming Cafe
Get the latest updates from Bartosz Milewski's Programming Cafe directly as they happen.
Follow now 68 followers
Latest posts
Last updated about 21 hours ago
Modeling Identity Types
about 21 hours ago
Previously: Identity Types. Let me first explain why the naive categorical model...
Identity Types
27 days ago
Previously: Models of (Dependent) Type Theory. There is a deep connection between...
Models of (Dependent) Type Theory
about 1 month ago
Previously: (Weak) Factorization Systems. It’s been known since Lambek that typed lambda...
(Weak) Factorization Systems
3 months ago
Previously (Weak) Homotopy Equivalences. An average function between sets, is neither surjective...
(Weak) Homotopy Equivalences
4 months ago
Previously: Fibrations and Cofibrations. In topology, we say that two shapes are...
Fibrations and Cofibrations
5 months ago
We are used to thinking of a mapping as either being invertible...
Subfunctor Classifier
6 months ago
Previously: Subobject Classifier. In category theory, objects are devoid of internal structure...
Subobject Classifier
7 months ago
Proviously Sieves and Sheaves. We have seen how topology can be defined...
Understanding Attention in LLMs
8 months ago
There are many excellent AI papers and tutorials that explain the attention...
Legalizing Comonad Composition
10 months ago
The yearly Advent of Code is always a source of interesting coding...
Sieves and Sheaves
11 months ago
Previously: Covering Sieves. We’ve seen an intuitive description of presheaves as virtual...
Covering Sieves
12 months ago
Previously: Sheaves as Virtual Objects. In order to define a sheaf, we...