HN Explorer

jesuslop

↗ HN profile [ 105 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. An Operational Semantics of Simply-Typed Lambda Calculus with String Diagrams (golem.ph.utexas.edu)
    3 points 1
  2. Markov categories, causal theories, and the do-calculus (arxiv.org)
    3 points 1
  3. MSCI considers blanket removal of Russia across indices (etfstream.com)
    3 points 0
  4. ‘The Character of Physical Law’: Richard Feynman’s Legendary Course, 1964 (openculture.com)
    2 points 0
  5. Aspects of Categorical Recursion Theory (arxiv.org)
    85 points 10
  6. Linguistics Using Category Theory (2018) (golem.ph.utexas.edu)
    108 points 30
  7. Seven Sketches in Compositionality: An Invitation to Applied Category Theory (arxiv.org)
    4 points 0
  8. Linguistics Using Category Theory (2018) (golem.ph.utexas.edu)
    2 points 0
  9. Ask HN: Computational Linguistics online forum?

    Is there a good mailing list, Google group, etc, of research/academic level focused on Computational Linguistics? Something like the categories mailing list.

    4 points 0
  10. [Arxiv 1703.04368] Symbol Grounding via Chaining of Morphisms

    Ben Goertzel is a vocal AGI advocate whose work I don't know much (nor the et al's), but he can answer the 'show me the code' probe with his opencog work -though I think still is no AGI. In [1] I commented about…

    1 points 0
  11. Addressing Pieces of State with Profunctors (blog.sigfpe.com)
    2 points 0