Home
Lucas Marques
Cancel

quint-connect, model-based testing for Elixir with Quint

Most test suites check examples. You write a function, write tests against the inputs you happened to think of, and ship. The bug you find in production is usually the one you did not think to test...

A style harness for AI coding agents

Coding agents write whatever you give them. Give them nothing and they default to averages from their training data. Give them your style and they write your style. That gap is where I have been sp...

Kaizen, a feedback loop for agentic coding

A coding agent that wastes tokens looks fine from the outside. Tests pass. The PR opens. You read the diff and it works. What you do not see is the thirty tool calls it took to get there, the file ...

Essential metrics for Observability

Observability is a powerful technique that allows you to monitor the internal state of your application using external tools. Simply put, it’s like having an electrocardiogram to monitor your syste...

Introduction to bitshift operations

Introduction Bitshift is the action of shift a bit from one position to another in order to multiply or divide a binary number. For example, if I want to perform a multiplication on number 0001 I’l...