Top New Best Ask Show Jobs

jesuslop

646 karma · joined April 20, 2014

A software engineer during the day, the rest of time an amateur mathematician as the own word says: doing something nobody pays me to do, and something that I love.

submissions comments

An Operational Semantics of Simply-Typed Lambda Calculus with String Diagrams

golem.ph.utexas.edu·3 pts·jesuslop·

Attention ArXiv users: Re-implemented RSS

blog.arxiv.org·12 pts·jesuslop·

Markov categories, causal theories, and the do-calculus

arxiv.org·3 pts·jesuslop·

MSCI considers blanket removal of Russia across indices

etfstream.com·3 pts·jesuslop·

‘The Character of Physical Law’: Richard Feynman’s Legendary Course, 1964

openculture.com·2 pts·jesuslop·

Aspects of Categorical Recursion Theory

arxiv.org·85 pts·jesuslop·

Linguistics Using Category Theory (2018)

golem.ph.utexas.edu·108 pts·jesuslop·

Miles Davis Iconic 1959 Album Kind of Blue Turns 60

openculture.com·2 pts·jesuslop·

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

arxiv.org·4 pts·jesuslop·

Linguistics Using Category Theory (2018)

golem.ph.utexas.edu·2 pts·jesuslop·

Ask HN: Computational Linguistics online forum?

4 pts·jesuslop·

[Arxiv 1703.04368] Symbol Grounding via Chaining of Morphisms

1 pts·jesuslop·

Addressing Pieces of State with Profunctors

blog.sigfpe.com·2 pts·jesuslop·