This blog exists for three reasons:

  1. Agent infrastructure — I’m building aide.sh, an infrastructure layer for AI agents. Think Docker for agents: skill system, trust model, persistent memory. There’s a lot to write about.

  2. AI safety research — Software verification, supply chain security, formal methods applied to LLM systems. Academic papers are necessary but insufficient — some ideas need a less formal medium.

  3. Quantitative trading — Taiwan stocks and crypto. Backtesting frameworks, strategy research, lessons from blowing up.

The theme you’re looking at is kfa-default, built for this blog. It will eventually ship with a crypto tipping widget via kfa.sh.

No analytics. No cookies. No fluff.