> ## Documentation Index
> Fetch the complete documentation index at: https://docs.alchemicalchef.io/llms.txt
> Use this file to discover all available pages before exploring further.

# Blog

> Security insights, tool updates, research, rambling, and technical guides

## 2026

<CardGroup cols={2}>
  <Card title="Specification-First AI Development" icon="microchip" href="/blog/specification-first-ai-development">
    How formal models and machine-checkable specifications make AI write better code, and what happens when the proofs have gaps.
  </Card>
</CardGroup>

## 2025

<CardGroup cols={2}>
  <Card title="OODA Loops for Incident Response" icon="arrows-spin" href="/blog/ooda-loops-incident-response">
    How John Boyd's military decision-making framework can transform your security team's incident response workflows.
  </Card>

  <Card title="Formal Methods for Binary Analysis" icon="binary" href="/blog/formal-methods-binary-part1">
    A three-part series on symbolic execution, SMT solving, and abstract interpretation for reverse engineering.
  </Card>

  <Card title="Hybrid Identity Compromise Recovery" icon="shield-halved" href="/blog/hybrid-identity-recovery">
    A comprehensive playbook for evicting threat actors from hybrid identity environments with modern commands and hardening recommendations.
  </Card>

  <Card title="Information Asymmetry in Cybersecurity" icon="scale-unbalanced" href="/blog/information-asymmetry">
    Why the battle between attackers and defenders isn't about technology, it's about who knows what, and when.
  </Card>

  <Card title="Cloud Identity Hardening" icon="cloud" href="/blog/cloud-identity-hardening">
    Best practices for securing cloud identity infrastructure.
  </Card>
</CardGroup>