A timeline of all posts on this site, grouped by year.

2026

• May 03
  Advanced Git Internals: Packfile Mechanics, Merge Strategies, and the Wire Protocol
  Version Control — git internals plumbing packfiles merge-strategies protocol performance
• May 03
  Git Internals: Objects, Refs, and the Machinery Behind the Porcelain
  Version Control — git internals plumbing objects refs distributed-systems
• April 25
  Emacs Keybindings: A Comprehensive Reference from Basics to Advanced
  Editors — emacs keybindings productivity magit eglot org-mode
• April 24
  TLA+ Data Structures: Sets, Functions, Sequences, Records, and Beyond
  Formal Methods — tla-plus pluscal formal-verification distributed-systems data-structures model-checking
• April 24
  TLA+ in Practice: Refinement, Composition, and Real Protocol Verification
  Formal Methods — tla-plus pluscal formal-verification distributed-systems model-checking refinement consensus
• April 12
  Property-Based Testing with Hypothesis and fast-check
  Testing — property-based-testing hypothesis fast-check python typescript testing formal-methods
• April 12
  YubiKey PINs, Credentials, and Lockout Behavior: A Complete Reference
  Security — yubikey hardware-security authentication fido2 openpgp piv
• April 11
  TLA+ and PlusCal: Formal Verification for Distributed Systems
  Formal Methods — tla-plus pluscal formal-verification distributed-systems model-checking
• April 11
  From Power Button to Desktop: How Linux, Xorg, and GNOME Actually Connect
  Linux — linux-kernel xorg gnome boot-process drm dbus integration
• April 11
  Building a Linux Desktop from Scratch: Kernel, Xorg, and GNOME Compiled from Source
  Linux — linux-kernel xorg gnome compilation from-scratch
• April 10
  Advanced GPG: Web of Trust, Subkey Rotation, Offline Primary Keys, and Hardened Configuration
  Security — gpg web-of-trust subkeys encryption key-rotation advanced
• April 10
  Advanced YubiKey 5C: PIV, FIDO2 Resident Keys, Attestation, and Multi-Machine Workflows
  Security — yubikey piv fido2 attestation ssh advanced
• April 10
  GPG Primary Keys, Subkeys, and YubiKey Integration
  Security — gpg yubikey encryption subkeys openpgp
• April 10
  YubiKey 5C Modules: Functionalities and How to Secure Them
  Security — yubikey hardware-security authentication fido2 openpgp

2025

• April 05
  Welcome to My Portfolio
  General — introduction portfolio