Posts
All the articles I've posted.
-
Currying agents
How one can leverage partial application of agents - borrowing from the functional programming paradigm.
-
Linear Types for Agent Safety - An Approach to Trustworthy AI Systems
Discussing a type system that rejects unsafe code before it ever runs.
-
MarkyMarkov - Markov Chain-Based Code Guidance for LLM Agents and Humans Alike
MarkyMarkov - a PoC leveraging Markov chains for coding - shows that small, interpretable probabilistic models add high value to code workflows. By learning patterns from your own codebase, Markymarkov provides fast, explainable guidance that complements existing tools rather than replacing them.
-
Building Smarter AI Agents With Ideas From Philosophy
Updated:Philosophically informed agent design means explicitly modeling what an AI believes, how it knows things, and which moral and epistemic norms guide its decisions, so that its behavior becomes more reliable, inspectable, and aligned with human expectations.