Blog

Essays and technical notes on programming language theory, semantics, formal methods, and practical engineering.

2026

The Two Modes of Thinking: How Divergent and Convergent Thinking Drive Research and Innovation January 20, 2026

Branded Types in TypeScript: From Structural to Nominal Typing January 6, 2026

Building a View Counter for Static Sites with Supabase and Astro January 3, 2026

2025

Learning with the Strangler Fig Pattern: Replace Your Skills Gradually December 28, 2025

The End of 'Sorry, I Didn't Understand': How AI Agents Are Replacing Old Chatbots December 25, 2025

Unveiling the Shadow Play: Simplifying Complex Data with Vector Projection September 11, 2025

Operational Semantics: Adding Variables, Functions and Conditionals February 14, 2025

Operational Semantics: A Formal Approach to Arithmetic Expressions February 13, 2025

Strengthening Connections: A Hebbians Lens on Love and Relationships February 6, 2025

A Beginner's Guide to Functional Programming with OCaml January 15, 2025

2024

Algorithms: What are they? February 24, 2024

2023

Filtering Sensitive Data in Ruby on Rails with ActiveSupport::ParameterFilter August 20, 2023

2019

How I became a Software Engineer/Programmer March 19, 2019