Feb 14, 2026 Building Mycelium: A Digital Garden Theme for People Who Actually Write Why I built a digital garden theme around how I actually think and write #obsidian #astro #digital-garden
Feb 9, 2026 Building Bourbaki: A Math Agent That Can Check Its Own Work How I built an autonomous agent for mathematical reasoning with SymPy, Lean 4, and structured proof techniques, and what I learned along the way #ai-agents #agentic-engineering #program-synthesis
Feb 8, 2026 Make an Honest Resume for Your Coding Agent Why giving your coding agent an honest map of what you know and don't know changes everything about how it helps you #ai-agents #agentic-engineering #claude-code
Feb 6, 2026 Building Erdős Navigator: Claude Code as a Theorem Proving Assistant How program synthesis led me down a rabbit hole through HoTT and algebraic topology, and back out through LLMs and a toolkit for 1,179 unsolved math problems #ai-agents #agentic-engineering #program-synthesis
Feb 5, 2026 The Missing Toolbox: Civil Engineering, Ethics, and Creative Writing Classes Why agent builders need lateral thinking from civil engineering, creative writing, and ethics #ai-agents #agentic-engineering #engineering
Jan 29, 2026 OWASP Top 10 for LLMs: A Pentester's Guide to Attacking and Defending How to not get pwned building with LLMs. A red teamer's take on the new threat landscape. #security #llm #owasp
Jan 24, 2026 Agent Sandboxes and the Proxmox Rabbit Hole How my obsession with home labs led me to understand why coding agents need isolation #claude-code #ai-agents #virtualization
Jan 22, 2026 Video Games Were Training Us for This How puzzles, strategy games, and chemical mixing in Resident Evil prepared me for coding agents #claude-code #ai-agents #video-games
Jan 20, 2026 Coding Agent Cheat Codes CLI flags, environment variables, and proxy tricks for agentic engineering (or vibe coding, whatever you call it) #claude-code #ai-agents #environment-variables
Jan 16, 2026 Coding Agents Made Me a Better Programmer Why AI coding tools forced me to think at a higher level of abstraction #claude-code #ai-agents #programming
Jan 16, 2026 Whether You're Vibing or Not, You're Going to Use Coding Agents Counterintuitive things after 125 active repositories and 50k+ commits later in 2025 #claude-code #ai-agents #programming
Dec 15, 2025 Red-Teaming GPT-OSS-20B: Lessons from the Kaggle Competition I tested 158 attack prompts against an open-source LLM and found a 27% success rate. Here's the methodology. #security #llm #red-teaming
February 14, 2026 · Seedling · 6 min read Building Mycelium: A Digital Garden Theme for People Who Actually Write Why I built a digital garden theme around how I actually think and write #obsidian #astro #digital-garden #open-source #tools
February 9, 2026 · Seedling · 16 min read Building Bourbaki: A Math Agent That Can Check Its Own Work How I built an autonomous agent for mathematical reasoning with SymPy, Lean 4, and structured proof techniques, and what I learned along the way #ai-agents #agentic-engineering #program-synthesis #theorem-proving #math #claude-code
February 8, 2026 · Budding · 8 min read Make an Honest Resume for Your Coding Agent Why giving your coding agent an honest map of what you know and don't know changes everything about how it helps you #ai-agents #agentic-engineering #claude-code #learning
February 6, 2026 · Budding · 12 min read Building Erdős Navigator: Claude Code as a Theorem Proving Assistant How program synthesis led me down a rabbit hole through HoTT and algebraic topology, and back out through LLMs and a toolkit for 1,179 unsolved math problems #ai-agents #agentic-engineering #program-synthesis #theorem-proving #math #claude-code
February 5, 2026 · Seedling · 8 min read The Missing Toolbox: Civil Engineering, Ethics, and Creative Writing Classes Why agent builders need lateral thinking from civil engineering, creative writing, and ethics #ai-agents #agentic-engineering #engineering #ethics #civil-engineering
January 29, 2026 · Budding · 10 min read OWASP Top 10 for LLMs: A Pentester's Guide to Attacking and Defending How to not get pwned building with LLMs. A red teamer's take on the new threat landscape. #security #llm #owasp #coding-agents #pentesting
January 24, 2026 · Seedling · 10 min read Agent Sandboxes and the Proxmox Rabbit Hole How my obsession with home labs led me to understand why coding agents need isolation #claude-code #ai-agents #virtualization #proxmox #security #home-lab
January 22, 2026 · Seedling · 9 min read Video Games Were Training Us for This How puzzles, strategy games, and chemical mixing in Resident Evil prepared me for coding agents #claude-code #ai-agents #video-games #learning
January 20, 2026 · Seedling · 8 min read Coding Agent Cheat Codes CLI flags, environment variables, and proxy tricks for agentic engineering (or vibe coding, whatever you call it) #claude-code #ai-agents #environment-variables #proxies #vibe-coding
January 16, 2026 · Budding · 8 min read Coding Agents Made Me a Better Programmer Why AI coding tools forced me to think at a higher level of abstraction #claude-code #ai-agents #programming
January 16, 2026 · Budding · 7 min read Whether You're Vibing or Not, You're Going to Use Coding Agents Counterintuitive things after 125 active repositories and 50k+ commits later in 2025 #claude-code #ai-agents #programming #vibe-coding
December 15, 2025 · Evergreen · 5 min read Red-Teaming GPT-OSS-20B: Lessons from the Kaggle Competition I tested 158 attack prompts against an open-source LLM and found a 27% success rate. Here's the methodology. #security #llm #red-teaming #kaggle #pentesting