Skills Without a Wiki Is an Agent With Hands and No Head
Skills give your agent procedural memory, an LLM wiki gives it declarative memory, you need both, and Obsidian is where they meet
Archive
AI Writes Better Code Than You but Only Math Can Prove It's Right
Why using model checkers like Quint, TLA+, and Alloy can reduce bugs and make your LLM-generated code more reliable
Reverse Engineering Apple's Battery Health Metrics for a Free Replacement
How I used IOKit and the SMC to get a free battery replacement before my AppleCare expired