jesuslop

20 ms·

1. 211.▲
   by jesuslop 7y ago

   This includes a fresh take on the foundations of the correspondence between cartesian closed categories with simply typed lambda calculus that underlies the beautiful work of Conal Elliott in http://conal.net/papers/com
2. 212.▲
   Aspects of Categorical Recursion Theory(arxiv.org)

   85 points by jesuslop 7y ago|10 comments
3. 213.▲
   by jesuslop 7y ago

   Give yourself a breath, forget entrepreneurship for a moment and palate some good old English comedy from P. G. Wodehouse. Any Bertie Wooster story would do.
4. 214.▲
   by jesuslop 7y ago

   The examples are more varied and developed than in other treatments I've seen, it's a good library addition. Thanks to Perrone for taking the effort. I'm liking the section relating univeresal contruction with representable f
5. 215.▲
   by jesuslop 7y ago

   Also released today, "Notes on Category Theory with examples from basic mathematics" by Paolo Perrone. (preprint state). arXiv:1912.10642v1
6. 216.▲
   by jesuslop 7y ago

   Holly cow! The separation is sort of perfect! Thanks for the demo.
7. 217.▲
   by jesuslop 7y ago

   True
8. 218.▲
   by jesuslop 7y ago

   The problem is with hw vendors and their 16:9 aspect mania. That's way afar from what olden motherfuking screen glory was to begin with. Look at the ridiculous small space gmail leaves you to actually write your stuff.
9. 219.▲
   by jesuslop 7y ago

   Thought i'd heard of von Neumann, Nash and game theoretic equilibria.
10. 220.▲
    by jesuslop 7y ago

    Callibre has a decent EPUB->PDF converter
11. 221.▲
    by jesuslop 7y ago

    I have one (DPT-S1) for years after a kindle DX screen felt too small, and still use it for reading technical papers and books. Papers are a pleasure to read. The weight is light-feather. The price was extravaganza-level but haven't re
12. 222.▲
    by jesuslop 7y ago

    That colloquium looked nice, I assume no slides are available? Barker is anouncing another seminar on deep learning and semantics, that looks intriguing from the attached public materials. I think that compsci furnishes ideas from formal la
13. 223.▲
    Linguistics Using Category Theory (2018)(golem.ph.utexas.edu)

    108 points by jesuslop 7y ago|30 comments
14. 224.▲
    Miles Davis Iconic 1959 Album Kind of Blue Turns 60(openculture.com)

    2 points by jesuslop 7y ago|0 comments
15. 225.▲
    by jesuslop 7y ago

    I liked that RSS support tops Elementary requirements list.
16. 226.▲
    by jesuslop 7y ago

    link?
17. 227.▲
    by jesuslop 7y ago

    If you happen to read Spanish, professional philolospher Fernando Zalamea has finally finished his book on Grothendiek planed as a guidebook for someone overwhelmed by the huge extension of G's production. "A. Grothendieck, una gu
18. 228.▲
    by jesuslop 7y ago

    Thanks for all responses, a lot to explore!
19. 229.▲
    by jesuslop 7y ago

    Not directly related, but do you know of recent achievements with a wow factor in the physical modelling synthesis field [1]? Just as some offline rendered 3d scenes are amazing, It'd be nice to have a pure virtual instrument with its
20. 230.▲
    by jesuslop 7y ago

    This is a good real example of applied category theory.
21. 231.▲
    by jesuslop 7y ago

    You can look at the HOTT program to see what a synthesis of (Higher) Category Theory and Type Theory would look like (homotopytypetheory.org).
22. 232.▲
    by jesuslop 7y ago

    What do you thing on using an Odroid XU4 for that? (with a big USB3 HDD with multimedia basically)?
23. 233.▲
    by jesuslop 8y ago

    Much are, a good travel path is to follow the plan in the Awodey's book they start with complemented with the other items as needed, because in CT examples and alternative viewpoints of the same topic are much helpful.
24. 234.▲
    by jesuslop 8y ago

    absolutely, because it's dirtly comparatively cheaper. Period.
25. 235.▲
    by jesuslop 8y ago

    Lacks randomize()
26. 236.▲
    by jesuslop 8y ago

    What remains, hustling?
27. 237.▲
    by jesuslop 8y ago

    Gallo et al. expressed functional dependencies via them here https://www.sciencedirect.com/science/article/pii/0166218X93...
28. 238.▲
    by jesuslop 8y ago

    call us poorly monetizable instead please
29. 239.▲
    by jesuslop 8y ago

    Very nice. The current rendering of this would be to formulate with relay/resistors the 2 gate NOR as universal gate giving arbirary boolean functions and the 2 NOR crossed feedback setup as RS-flip/flop or elementary memory bit.
30. 240.▲
    by jesuslop 8y ago

    And Penrose diagrams (tensor networks) became a prominent example of String Diagram in the monoidal category of vector spaces over a field.