Christian, husband, father, and software engineer. Shipping backend systems, real-time flows, and AI-powered tooling.

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags formal-methods

Tag

formal-methods 1

quint-connect, model-based testing for Elixir with Quint May 13, 2026

Recently Updated

Introduction to bitshift operations
Essential metrics for Observability
Kaizen, a feedback loop for agentic coding
A style harness for AI coding agents
quint-connect, model-based testing for Elixir with Quint

Trending Tags

ai-agents ai harness-engineering harness llm observability agentic-coding binary bitshift claude-code

© 2026 Lucas Marques. Some rights reserved.

Using the Jekyll theme Chirpy.

Trending Tags

ai-agents ai harness-engineering harness llm observability agentic-coding binary bitshift claude-code

A new version of content is available.