Bartosz Milewski's Programming Cafe bartoszmilewski.com

Profunctor Equipment

bartoszmilewski.com·2w·Hacker News

The Axiom of Univalence

bartoszmilewski.com·9w·Hacker News

Modeling Identity Types

bartoszmilewski.com·29w·Hacker News, Hacker News

Identity Types

bartoszmilewski.com·33w·Lobsters, Hacker News, r/programming

Models of (Dependent) Type Theory

bartoszmilewski.com·35w·Hacker News

(Weak) Factorization Systems

bartoszmilewski.com·41w·Hacker News

(Weak) Homotopy Equivalences

bartoszmilewski.com·46w·Hacker News

Fibrations and Cofibrations

bartoszmilewski.com·49w·Hacker News

Subfunctor Classifier

bartoszmilewski.com·55w·Hacker News

Subobject Classifier

bartoszmilewski.com·60w·Hacker News

Understanding Attention in LLMs

bartoszmilewski.com·62w·Hacker News

Legalizing Comonad Composition

bartoszmilewski.com·70w

Sieves and Sheaves

bartoszmilewski.com·77w·Hacker News

Covering Sieves

bartoszmilewski.com·80w·Hacker News

Sheaves as Virtual Objects

bartoszmilewski.com·81w·Hacker News

Coverages and Sites

bartoszmilewski.com·83w

Sheaves and Topology

bartoszmilewski.com·90w

Presheaves and Topology

bartoszmilewski.com·92w

Topology as a Dietary Choice

bartoszmilewski.com·95w

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

bartoszmilewski.com·111w

Log in to enable infinite scrolling