quint-connect is an Elixir library that runs Quint specifications as model-based tests on real code, turning state-space exploration into ExUnit assertions.

A language-agnostic style harness for AI coding agents — one source of truth that installs into Claude Code, Cursor, and others so they write your style.

Kaizen turns coding-agent transcripts into a feedback loop — instrument the harness, surface wasted tokens, and improve the rules the agent runs under.

The three pillars of observability (metrics, traces, logs) and the essential metrics every backend service should emit to stay debuggable in production.

A friendly introduction to bitshift operations, why shifting bits multiplies or divides by powers of two, with worked examples in base 10 and base 2.