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