Archives 2026 13 May quint-connect, model-based testing for Elixir with Quint 13 May A style harness for AI coding agents 12 May Kaizen, a feedback loop for agentic coding2024 10 Jan Essential metrics for Observability2023 26 Jan Introduction to bitshift operations