Introducing `guser`: A CLI Tool for Git User-Switching

September 7, 2020839 words 5 minutes
Introducing `guser`, a small CLI tool that helps make Git user-switching a tiny bit easier by remembering user/email combinations you've used in the past.

Clearing macOS Update Notification Badges

October 12, 2019222 words 1 minute
Clearing intrusive System Preferences update badge notifications via an alaised shell command

A Thorough Introduction to Git's Interactive Patch Mode

July 28, 20191,957 words 12 minutes
Using git interactive patch mode to isolate and stage hunks. Covers common usage patterns, commands, intent-to-add, and workflow considerations.

Solving Every Skyscraper Puzzle: Part Two

July 20, 20194,184 words 25 minutes
Puzzle-solving with constraint propagation and backtracking search in Javascript. Covers clue elimination using sequence filtration, a form of constrained search.

Solving Every Skyscraper Puzzle: Part One

July 15, 20194,441 words 26 minutes
Puzzle-solving with constraint propagation and backtracking search in Javascript. Covers approach, architecture, and first three forms of inference.