Hello, I’m Sunil Murthy Software Engineer with 8+ years of experience in enterprise software development, device management, and distributed systems. Currently working on client device management ...

This is my Miryoku keymap reference for the Chocofi 36-key split keyboard. Miryoku assigns each layer a single purpose — base typing, navigation, numbers, symbols, function keys, and mouse — all ac...

The finished Chocofi — split halves flanking a trackpad, connected with a coiled aviator cable. Why a Split Keyboard I’d been curious about split ergonomic keyboards for a while. The idea of keep...

TLC is an explicit-state model checker — it enumerates every reachable state. The state space grows exponentially with variables, constants, and interleavings. At some point, every TLA+ practitione...

Raw TLA+ is the underlying mathematical specification language. PlusCal compiles down to it. Understanding raw TLA+ gives you maximum precision and unlocks refinement, module composition, and compl...

PlusCal is an algorithmic language that transpiles into TLA+. You write imperative-looking code, the translator generates the TLA+ spec underneath, and the model checker (TLC) exhaustively explores...

A recurring pattern in cryptography: you have one master key and need to derive multiple purpose-specific keys from it, or you need to prove that two keys are mathematically related without reveali...

The intermediate article covered the object model, refs, the index, and how merge and rebase work at a high level. This goes further — into the details that matter when you’re debugging performance...

Most git tutorials teach you the commands — commit, branch, merge, rebase. This post goes a level deeper into how git actually stores and tracks your code. Understanding the internals turns git fro...

This is the keybinding reference I wish I had when I started using Emacs seriously. It covers the built-in defaults, the package bindings I actually use daily, and the muscle memory that makes Emac...