| | Models of (Dependent) Type Theory (bartoszmilewski.com) |
| 2 points by ibobev 6 hours ago | past | discuss |
|
| | (Weak) Factorization Systems (bartoszmilewski.com) |
| 3 points by ibobev 40 days ago | past |
|
| | Homotopy Equivalences (bartoszmilewski.com) |
| 80 points by ibobev 77 days ago | past | 25 comments |
|
| | Fibrations and Cofibrations (bartoszmilewski.com) |
| 2 points by ibobev 3 months ago | past |
|
| | Category Theory: Subfunctor Classifier (bartoszmilewski.com) |
| 4 points by ghuntley 4 months ago | past |
|
| | Subobject Classifier (bartoszmilewski.com) |
| 3 points by ibobev 5 months ago | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 3 points by xk3 6 months ago | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 1 point by sebg 6 months ago | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 3 points by ibobev 6 months ago | past |
|
| | Understanding Yoneda (bartoszmilewski.com) |
| 5 points by thunderbong 6 months ago | past |
|
| | The Fall of the Ski Civilization (bartoszmilewski.com) |
| 3 points by fanf2 9 months ago | past |
|
| | Sieves and Sheaves (bartoszmilewski.com) |
| 1 point by lapnect 9 months ago | past |
|
| | Covering Sieves (bartoszmilewski.com) |
| 1 point by ibobev 10 months ago | past |
|
| | Sheaves as Virtual Objects (bartoszmilewski.com) |
| 1 point by ibobev 10 months ago | past |
|
| | Coverages and Sites (bartoszmilewski.com) |
| 1 point by ibobev 11 months ago | past |
|
| | Sheaves and Topology (bartoszmilewski.com) |
| 1 point by ibobev on Aug 19, 2024 | past |
|
| | Presheaves and Topology (bartoszmilewski.com) |
| 1 point by ibobev on Aug 7, 2024 | past |
|
| | Topology as a Dietary Choice (bartoszmilewski.com) |
| 2 points by ibobev on July 12, 2024 | past |
|
| | Understanding Yoneda (2013) (bartoszmilewski.com) |
| 9 points by soloist11 on June 18, 2024 | past |
|
| | Neural Networks, Pre-Lenses, and Triple Tambara Modules, Part II (bartoszmilewski.com) |
| 1 point by ibobev on March 24, 2024 | past |
|
| | Neural Networks, Pre-Lenses, and Triple Tambara Modules (bartoszmilewski.com) |
| 1 point by ibobev on March 22, 2024 | past |
|
| | Linear Lenses in Haskell (bartoszmilewski.com) |
| 4 points by ingve on Feb 8, 2024 | past |
|
| | Linear Lenses in Haskell (bartoszmilewski.com) |
| 5 points by ghuntley on Feb 7, 2024 | past |
|
| | Exercise in Coherence (bartoszmilewski.com) |
| 3 points by ibobev on Sept 20, 2023 | past |
|
| | Math is your insurance policy (bartoszmilewski.com) |
| 3 points by ibobev on Dec 22, 2022 | past |
|
| | Teaching optics through conspiracy theories (bartoszmilewski.com) |
| 1 point by ibobev on April 6, 2022 | past |
|
| | Categories for the Working C++ Programmer (bartoszmilewski.com) |
| 1 point by amar-laksh on March 28, 2022 | past |
|
| | Symmetries and Redundancies (bartoszmilewski.com) |
| 1 point by xk3 on Dec 20, 2021 | past |
|
| | Functorio (bartoszmilewski.com) |
| 304 points by shepherdjerred on Nov 21, 2021 | past | 74 comments |
|
| | The Fall of the Ski Civilization (bartoszmilewski.com) |
| 2 points by brobdingnagians on July 27, 2021 | past |
|
|
| More |
