This chart captures well why I’m digging into Applied Category Theory (#ACT). Can we aim higher without being burned by a thousand cuts? Can we avoid throwing people-power at the problem just long enough to get acquired?
August 18, 2025 at 4:20 PM
This chart captures well why I’m digging into Applied Category Theory (#ACT). Can we aim higher without being burned by a thousand cuts? Can we avoid throwing people-power at the problem just long enough to get acquired?
Another very interesting paper directly in my area of interest is "Towards a Unified Theory of Time-Varying Data" (https://arxiv.org/pdf/2402.00206 ).
July 15, 2025 at 10:38 PM
Another very interesting paper directly in my area of interest is "Towards a Unified Theory of Time-Varying Data" (https://arxiv.org/pdf/2402.00206 ).
"A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments" (www.lfcs.inf.ed.ac.uk/reports/86/E...)
June 15, 2025 at 10:17 PM
"A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments" (www.lfcs.inf.ed.ac.uk/reports/86/E...)