Otávio Carvalho

otavio.cat

Personal blog of Otávio Carvalho — Distributed Systems engineer writing about distributed systems, formal verification, and software engineering.

why we picked it

A personal blog by Otávio Carvalho, a distributed systems engineer. Writing covers distributed systems, formal verification, and software engineering. Suitable for developers interested in rigorous systems design.

Checked with Google Web Risk · 2 hours ago

Visit otavio.cat ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026