Posts

2024

platform engineers work on the meta-product, September 23, 2024

what is platform engineering?, September 9, 2024

Kratky in the basement, April 1, 2024

sourcing secrets from 1Password, February 27, 2024

2023

modeling CRDTs in Alloy - counters, November 27, 2023

sticky table headers with bottom borders, November 13, 2023

⭐️ modeling CRDTs in Alloy - introduction and the importance of idempotence, October 9, 2023

Modeling in-flight requests in Alloy, October 2, 2023

tsort, September 25, 2023

Trying and Failing to Implement Artificial Ignorance, September 18, 2023

crunch_str, September 11, 2023

once p is true, it's always true, August 28, 2023

montage, August 21, 2023

moving genrules to library rules, August 14, 2023

buck2 basics, August 7, 2023

Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees, April 24, 2023

Modeling Git Internals in Alloy, Part 2: Commits and Tags, April 10, 2023

Modeling Git Internals in Alloy, Part 1: Blobs and Trees, April 3, 2023

aligning Markdown tables in Helix, March 13, 2023

how to add weak fairness on actions, March 6, 2023

give aliases when inverting relations, February 27, 2023

⭐️ what is the randomart image for?, February 20, 2023

fields as sets, February 13, 2023

signing commits with SSH keys, February 6, 2023

What does expect 1 mean in Alloy?, January 30, 2023

⭐️ advice you might as well take, January 22, 2023

pagerank for my Obsidian notes, January 17, 2023

The Value of a Model is More Making than Having, January 9, 2023

⭐️ Modeling Database Tables in Alloy, January 2, 2023

2022

⭐️ Digital Gardening in Obsidian, December 26, 2022

Scope in the TH element, December 19, 2022

Projects, December 14, 2022

⭐️ Alloy, December 12, 2022

2021

⭐️ tree-grepper, August 31, 2021

The Four Rules of Simple Design: In Conclusion, August 25, 2021

Rule 4: Code for Now, July 13, 2021

Rule 3: Centralize Behavior, July 6, 2021

Rule 2: Clarify Your Intent, June 29, 2021

Rule 1: Simplify When the Program Works, June 22, 2021

My Take on the Four Rules of Simple Design, June 15, 2021

Trying (and Failing) to Speed Up String.startsWith, March 1, 2021

⭐️ nix-script, February 23, 2021

elm-csv, package and talk, February 15, 2021

Should Elm files be long or short?, January 11, 2021

Learning Requires Effort, January 5, 2021

2020

Tracking and Lasting, December 29, 2020

time-to-horse, December 22, 2020

Phantom ID Types, December 14, 2020

Bang Shortcuts, December 8, 2020

the hyper key, December 2, 2020

⭐️ elo-anything, November 24, 2020

Tradeoffs of Custom ID Types in Elm, October 26, 2020

Renaming Files with Braces, October 19, 2020

⭐️ state-transition tables, October 13, 2020

clown computing, October 12, 2020

Fuzzy Finding with Levenstein Distance, October 6, 2020

callCabal2nix, September 22, 2020

git root, September 10, 2020

tmux-session, April 16, 2020

Reducing Asset Size With Subsetting, March 3, 2020