Miguel Magalhães

magamig.github.io

Personal blog of Miguel Magalhães, featuring posts on cinema, personal finance, and distributed systems, including a year-end film recap and notes on TLA+.

why we picked it

A personal blog with essays on cinema, personal finance, and distributed systems, including a year-end film recap and notes on modeling with TLA+.

Checked with Google Web Risk · 1 hour ago

Visit magamig.github.io ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: August 2026