bytes.zone

Posts

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