Bartosz Milewski's Programming Cafe bartoszmilewski.com

Modeling Identity Types

bartoszmilewski.com·17w·

Discuss: Hacker News, Hacker News

Identity Types

bartoszmilewski.com·20w·

Discuss: Lobsters, Hacker News, r/programming

Models of (Dependent) Type Theory

bartoszmilewski.com·23w·

Discuss: Hacker News

(Weak) Factorization Systems

bartoszmilewski.com·29w·

Discuss: Hacker News

(Weak) Homotopy Equivalences

bartoszmilewski.com·34w·

Discuss: Hacker News

Fibrations and Cofibrations

bartoszmilewski.com·37w·

Discuss: Hacker News

Subfunctor Classifier

bartoszmilewski.com·42w·

Discuss: Hacker News

Subobject Classifier

bartoszmilewski.com·47w·

Discuss: Hacker News

Understanding Attention in LLMs

bartoszmilewski.com·49w·

Discuss: Hacker News

Legalizing Comonad Composition

bartoszmilewski.com·58w

Sieves and Sheaves

bartoszmilewski.com·65w·

Discuss: Hacker News

Covering Sieves

bartoszmilewski.com·67w·

Discuss: Hacker News

Sheaves as Virtual Objects

bartoszmilewski.com·68w·

Discuss: Hacker News

Coverages and Sites

bartoszmilewski.com·70w

Sheaves and Topology

bartoszmilewski.com·77w

Presheaves and Topology

bartoszmilewski.com·79w

Topology as a Dietary Choice

bartoszmilewski.com·83w

Neural Networks, Pre-lenses, and Triple Tambara Modules, Part II

bartoszmilewski.com·98w

Neural Networks, Pre-Lenses, and Triple Tambara Modules

bartoszmilewski.com·99w