XBSTRXCT https://xbstrxct.com Heidegger and Software https://xbstrxct.com/posts/heidegger.html 2025-01-15 https://xbstrxct.com/posts/heidegger.html What Might Simondon Think About Software And Programming? https://xbstrxct.com/posts/simondon.html 2025-02-01 https://xbstrxct.com/posts/simondon.html Formal Methods in Ancient Greece https://xbstrxct.com/posts/formal-methods-ancient-greece.html 2025-02-15 https://xbstrxct.com/posts/formal-methods-ancient-greece.html Meaningless Symbols in Twentieth Century Symbolic Reasoning https://xbstrxct.com/posts/symbolic-reasoning-math-logic-cs.html 2025-03-01 https://xbstrxct.com/posts/symbolic-reasoning-math-logic-cs.html Early Mechanical Reasoning and the Dream of Universal Calculation https://xbstrxct.com/posts/lull-leibniz.html 2025-03-15 https://xbstrxct.com/posts/lull-leibniz.html Locke, Abstraction, and the Programmer’s Toolbox https://xbstrxct.com/posts/abstraction-lock-sicp.html 2025-04-01 https://xbstrxct.com/posts/abstraction-lock-sicp.html