<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"><channel><title>Liberalis</title><description>Liberalis is where Tim Wilcoxson writes about Applied AI and Security, and essays on technology and society.</description><link>https://timwilcoxson.com/</link><item><title>Amodei: Prophet of Doom or AI Optimist?</title><link>https://timwilcoxson.com/posts/amodei-prophet-of-doom-or-ai-optimist/</link><guid isPermaLink="true">https://timwilcoxson.com/posts/amodei-prophet-of-doom-or-ai-optimist/</guid><description>Doom marketing, Machines of Loving Grace, and the limits of a CEO’s optimism</description><pubDate>Thu, 16 Jul 2026 00:00:00 GMT</pubDate><category>Technology &amp; Society</category></item><item><title>LeanGuard: a Lean-verified policy that gates a coding agent&apos;s tool calls</title><link>https://timwilcoxson.com/posts/leanguard/</link><guid isPermaLink="true">https://timwilcoxson.com/posts/leanguard/</guid><description>A Claude Code plugin that gates every tool call, built on a Lean-verified engine that proves the agent cannot disable its own guard for any policy.</description><pubDate>Thu, 16 Jul 2026 00:00:00 GMT</pubDate><category>ML/AI &amp; Security</category></item><item><title>Why You&apos;re Almost Certainly Not Doing Threat Modeling Right</title><link>https://timwilcoxson.com/posts/threat-modeling-right/</link><guid isPermaLink="true">https://timwilcoxson.com/posts/threat-modeling-right/</guid><description>Threat modeling is harder than most teams want it to be, so they simplify the model where the work is difficult: it becomes too abstract to support security reasoning, too local to support product-wide analysis, or too stale to match the deployed system.</description><pubDate>Thu, 16 Jul 2026 00:00:00 GMT</pubDate><category>ML/AI &amp; Security</category></item><item><title>SecureFlow: multi-agent triage for product security review</title><link>https://timwilcoxson.com/posts/secureflow/</link><guid isPermaLink="true">https://timwilcoxson.com/posts/secureflow/</guid><description>A GitHub Action that screens feature requests for security, privacy, and GRC risk and routes each one to the right team.</description><pubDate>Sun, 12 Jul 2026 00:00:00 GMT</pubDate><category>ML/AI &amp; Security</category></item><item><title>Memora MCP: wiring Microsoft Research&apos;s Memora into a coding agent</title><link>https://timwilcoxson.com/posts/memora-mcp/</link><guid isPermaLink="true">https://timwilcoxson.com/posts/memora-mcp/</guid><description>An experiment wiring Memora, Microsoft Research&apos;s memory representation that searches on compact cues and returns detail verbatim, into coding agents over MCP.</description><pubDate>Sat, 11 Jul 2026 00:00:00 GMT</pubDate><category>ML/AI &amp; Security</category></item><item><title>Threat Model Suite: (Mostly) Autonomous Threat Modeling</title><link>https://timwilcoxson.com/posts/threat-model-suite/</link><guid isPermaLink="true">https://timwilcoxson.com/posts/threat-model-suite/</guid><description>A Claude Code suite that threat-models a real system, then checks its own output with a reference-free eval harness.</description><pubDate>Fri, 10 Jul 2026 00:00:00 GMT</pubDate><category>ML/AI &amp; Security</category></item></channel></rss>