| | Modeling Identity Types (bartoszmilewski.com) |
| 2 points by ibobev 13 days ago | past | discuss |
|
| | Modeling Identity Types (bartoszmilewski.com) |
| 2 points by ingve 14 days ago | past |
|
| | Identity Types (bartoszmilewski.com) |
| 1 point by thunderbong 37 days ago | past |
|
| | Identity Types (bartoszmilewski.com) |
| 49 points by matt_d 39 days ago | past | 41 comments |
|
| | Identity Types (bartoszmilewski.com) |
| 17 points by ibobev 39 days ago | past | 2 comments |
|
| | Models of (Dependent) Type Theory (bartoszmilewski.com) |
| 4 points by ibobev 56 days ago | past |
|
| | (Weak) Factorization Systems (bartoszmilewski.com) |
| 3 points by ibobev 3 months ago | past |
|
| | Homotopy Equivalences (bartoszmilewski.com) |
| 80 points by ibobev 4 months ago | past | 25 comments |
|
| | Fibrations and Cofibrations (bartoszmilewski.com) |
| 2 points by ibobev 5 months ago | past |
|
| | Category Theory: Subfunctor Classifier (bartoszmilewski.com) |
| 4 points by ghuntley 6 months ago | past |
|
| | Subobject Classifier (bartoszmilewski.com) |
| 3 points by ibobev 7 months ago | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 3 points by xk3 7 months ago | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 1 point by sebg 7 months ago | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 3 points by ibobev 8 months ago | past |
|
| | Understanding Yoneda (bartoszmilewski.com) |
| 5 points by thunderbong 8 months ago | past |
|
| | The Fall of the Ski Civilization (bartoszmilewski.com) |
| 3 points by fanf2 10 months ago | past |
|
| | Sieves and Sheaves (bartoszmilewski.com) |
| 1 point by lapnect 11 months ago | past |
|
| | Covering Sieves (bartoszmilewski.com) |
| 1 point by ibobev on Oct 31, 2024 | past |
|
| | Sheaves as Virtual Objects (bartoszmilewski.com) |
| 1 point by ibobev on Oct 24, 2024 | past |
|
| | Coverages and Sites (bartoszmilewski.com) |
| 1 point by ibobev on Oct 7, 2024 | 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 |
|
|
| More |
