Posts

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