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. social media

    (jcreedcmu.github.io)

  2. The Functional Programmer's -1/12 (2)

    (jcreedcmu.github.io)

  3. The Functional Programmer's -1/12

    (jcreedcmu.github.io)

  4. Jacobi Triple Product Identity

    (jcreedcmu.github.io)

  5. Coxeter Groups and Chebyshev Polynomials

    (jcreedcmu.github.io)

  6. Some Animation I Like

    (jcreedcmu.github.io)

  7. Thoughts on Braids

    (jcreedcmu.github.io)

  8. Modal Logic for the Kolmogorov Puzzle

    (jcreedcmu.github.io)

  9. Chromatic Type Polynomials

    (jcreedcmu.github.io)

  10. Semisimplicial Types

    (jcreedcmu.github.io)

  11. Map Colorings in Type Theory

    (jcreedcmu.github.io)

  12. Sealevel Logic

    (jcreedcmu.github.io)

  13. Differential Geometry On Cartographic Spaces

    (jcreedcmu.github.io)

  14. Surface Diagrams

    (jcreedcmu.github.io)

  15. Trees as Fibrations

    (jcreedcmu.github.io)

  16. Classical Logic in Intuitionistic Logic

    (jcreedcmu.github.io)

  17. Directed Spaces vs. Categories

    (jcreedcmu.github.io)

  18. Polynomials as $n$-cells

    (jcreedcmu.github.io)

  19. Some Thoughts on Story Games

    (jcreedcmu.github.io)

  20. lambda map drawer

    (jcreedcmu.github.io)

  21. cubetest

    (jcreedcmu.github.io)

  22. white noise generator

    (jcreedcmu.github.io)

  23. Orienting Simplices

    (jcreedcmu.github.io)

  24. Some More Thoughts About Types with Internal References

    (jcreedcmu.github.io)

  25. Types of DAG-like structures

    (jcreedcmu.github.io)

  26. A Graph Polynomial, Sort of

    (jcreedcmu.github.io)

  27. A Simple Matrix Game

    (jcreedcmu.github.io)

  28. Focusing and Ends

    (jcreedcmu.github.io)

  29. Two Warping Operations

    (jcreedcmu.github.io)

  30. Action/Proposition Logic

    (jcreedcmu.github.io)

  31. Towards a Judgmental Reconstruction of Dynamic Logic

    (jcreedcmu.github.io)

  32. Focusing and Category Variables

    (jcreedcmu.github.io)

  33. Cache Types

    (jcreedcmu.github.io)

  34. Feeling the Yoneda Lemma in my Guts

    (jcreedcmu.github.io)

  35. Creative Annealing

    (jcreedcmu.github.io)

  36. Focusing Dissection of Exponentials In Presheaf Categories

    (jcreedcmu.github.io)

  37. Depending on Category Variables, Dependently

    (jcreedcmu.github.io)

  38. Depending on Category Variables

    (jcreedcmu.github.io)

  39. Slices of Presheaf Categories

    (jcreedcmu.github.io)

  40. Everything I've Learned About Logic in the Last Decade or So, Part 4

    (jcreedcmu.github.io)

  41. Everything I've Learned About Logic in the Last Decade or So, Part 3

    (jcreedcmu.github.io)

  42. Everything I've Learned About Logic in the Last Decade or So, Part 2

    (jcreedcmu.github.io)

  43. Everything I've Learned About Logic in the Last Decade or So, Part 1

    (jcreedcmu.github.io)

  44. Wellen's Synthetic Differential Geometry

    (jcreedcmu.github.io)

  45. Doing $k$-means with intermediate points

    (jcreedcmu.github.io)