PostsPosts
- 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
