Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
← Înapoi la Urmăritori

jcreedcmu.github.io

jcreedcmu.github.io/rss.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 95

  1. A Small Modal Type Theory for Internal Parametricity

    (jcreedcmu.github.io)

  2. More Tiny Thoughts

    (jcreedcmu.github.io)

  3. One More Type in the Tiny Type Theory

    (jcreedcmu.github.io)

  4. A Simpler Proof-Irrelevant Tiny Object

    (jcreedcmu.github.io)

  5. A Proof-Irrelevant Tiny Object

    (jcreedcmu.github.io)

  6. More Graph Geometry

    (jcreedcmu.github.io)

  7. recipe

    (jcreedcmu.github.io)

  8. Graph Geometry

    (jcreedcmu.github.io)

  9. Thinking About Opetopes

    (jcreedcmu.github.io)

  10. More Thoughts on Braids

    (jcreedcmu.github.io)

  11. Another Parametricity Construction

    (jcreedcmu.github.io)

  12. Typed Geometry

    (jcreedcmu.github.io)

  13. Parametricity via Parametricity

    (jcreedcmu.github.io)

  14. An Imperfect Graph Representation

    (jcreedcmu.github.io)

  15. Parametricity and Comma Categories

    (jcreedcmu.github.io)

  16. Constructing Parametricity Gel Type as Pushout

    (jcreedcmu.github.io)

  17. An Almost Slice Category

    (jcreedcmu.github.io)

  18. An Exciting Internalized Parametricity Gotcha

    (jcreedcmu.github.io)

  19. A Postulate for Internalized Parametricity

    (jcreedcmu.github.io)

  20. Thoughts About a Directed Interval

    (jcreedcmu.github.io)

  21. The Pentagonal Icositetrahedron as a 24-sided Die

    (jcreedcmu.github.io)

  22. A Funny Definition of Groups

    (jcreedcmu.github.io)

  23. Maps and Knots

    (jcreedcmu.github.io)

  24. Three Lists in One

    (jcreedcmu.github.io)

  25. A Heuristic Argument for the Central Limit Theorem

    (jcreedcmu.github.io)

  26. Defining Fillets

    (jcreedcmu.github.io)

  27. Naive Topology Intuitions and Logic

    (jcreedcmu.github.io)

  28. Parametricity and Substructural Types

    (jcreedcmu.github.io)

  29. A Probability Distribution Puzzle

    (jcreedcmu.github.io)

  30. Type Combinators for Interactive Forms

    (jcreedcmu.github.io)

  31. A Signal-Processing Cheatsheet

    (jcreedcmu.github.io)

  32. Set-Theoretic Geometry

    (jcreedcmu.github.io)

  33. A Picture of Sheaves

    (jcreedcmu.github.io)

  34. What Type is a Deck of Cards?

    (jcreedcmu.github.io)

  35. Linear Logic and Algebraic Geometry

    (jcreedcmu.github.io)

  36. Cache Types, Part 2

    (jcreedcmu.github.io)

  37. Stretchable Edges in Graphs

    (jcreedcmu.github.io)

  38. Constructing the Cotangent Function

    (jcreedcmu.github.io)

  39. How to Invent Hyperbolic Geometry

    (jcreedcmu.github.io)

  40. How to Invent Topographs

    (jcreedcmu.github.io)

  41. A Bernoulli Number Identity

    (jcreedcmu.github.io)

  42. Type Manifolds

    (jcreedcmu.github.io)

  43. Understanding the Hook Length Formula

    (jcreedcmu.github.io)

  44. Do Univalent Universes Arise from Higher Adjoints?

    (jcreedcmu.github.io)

  45. Attention for Type Theorists

    (jcreedcmu.github.io)

  46. Somewhat-Topology-Preserving Hex Map Reduction

    (jcreedcmu.github.io)

  47. Rigid String Diagrams

    (jcreedcmu.github.io)

  48. The Higher-Dimensional Graph Game

    (jcreedcmu.github.io)

  49. chicken sandwich

    (jcreedcmu.github.io)

  50. piranesi

    (jcreedcmu.github.io)