jesuslop's submissions

1.		An Operational Semantics of Simply-Typed Lambda Calculus with String Diagrams (utexas.edu)
		3 points by jesuslop on July 10, 2024 \| past \| 1 comment
2.		Attention ArXiv users: Re-implemented RSS (arxiv.org)
		12 points by jesuslop on Jan 31, 2024 \| past
3.		Markov categories, causal theories, and the do-calculus (arxiv.org)
		3 points by jesuslop on April 12, 2022 \| past \| 1 comment
4.		MSCI considers blanket removal of Russia across indices (etfstream.com)
		3 points by jesuslop on March 1, 2022 \| past
5.		‘The Character of Physical Law’: Richard Feynman’s Legendary Course, 1964 (openculture.com)
		2 points by jesuslop on Dec 8, 2021 \| past
6.		Aspects of Categorical Recursion Theory (arxiv.org)
		85 points by jesuslop on Jan 18, 2020 \| past \| 10 comments
7.		Linguistics Using Category Theory (2018) (utexas.edu)
		108 points by jesuslop on Aug 21, 2019 \| past \| 30 comments
8.		Miles Davis Iconic 1959 Album Kind of Blue Turns 60 (openculture.com)
		3 points by jesuslop on Aug 20, 2019 \| past
9.		Seven Sketches in Compositionality: An Invitation to Applied Category Theory (arxiv.org)
		4 points by jesuslop on March 15, 2018 \| past
10.		Linguistics Using Category Theory (2018) (utexas.edu)
		2 points by jesuslop on Feb 6, 2018 \| past
11.		Ask HN: Computational Linguistics online forum?
		4 points by jesuslop on April 13, 2017 \| past
12.		[Arxiv 1703.04368] Symbol Grounding via Chaining of Morphisms
		1 point by jesuslop on March 14, 2017 \| past
13.		Addressing Pieces of State with Profunctors (sigfpe.com)
		2 points by jesuslop on Jan 7, 2017 \| past