The Curious Engineer

All blogs / Software / engineering practice

bytes.zone

bytes.zone

Software / engineering practiceDistributed systems / cloudFunctional / PL theoryDevOps / SRE / infrastructure

Posts
133 from 16 Jun 2017 to 11 Feb 2026
Posting
now and then (3 in the last year)
Kind
personal blog
Feed
https://bytes.zone/index.xml

2026 1

  1. Winter Pinball League

2025 10

  1. Software estimation that doesn't suck
  2. Horizon Investments
  3. Should we design for iffy internet?
  4. LFFS update, June 2025
  5. a dilemma, or is it a conundrum? Maybe it's a dilendrum!
  6. some time tracking results
  7. Local-First Foundations
  8. LFFS: both a TUI and a GUI?
  9. Depth Year - January
  10. early thoughts on using beeps

2024 39

  1. LFFS: Simplicity vs Efficiency
  2. Local-First From Scratch, part 1
  3. Local-First From Scratch
  4. CRDTs for tinyping
  5. doing in a day what I could not in 6 months
  6. you can try tinyping, if you want
  7. platform engineers work on the meta-product
  8. what is platform engineering?
  9. platform engineer at PayNearMe
  10. Notes from setting up Nomad
  11. Kubernetes whoops
  12. tinyping's stack
  13. tinyping and scrub moves
  14. tinyping
  15. elm-duet 0.1.0
  16. Stopping thing-a-month
  17. elm-duet
  18. tinyping month 2
  19. Kratky in the basement
  20. elm-duet
  21. seeing the forest through the trees
  22. app architecture
  23. what's between two pings?
  24. messing around with statistics
  25. wrapping up month 0
  26. thing-a-month (awareness)
  27. sourcing secrets from 1Password
  28. running this blog on Kubernetes
  29. Ukulele seems nice
  30. getting back off the CI train
  31. getting on the CI train
  32. moving Kubernetes to New Jersey
  33. first light on HTTP
  34. a Kubernetes shopping list
  35. shopping for a scheduler
  36. thing-a-month
  37. kicking off thing-a-month
  38. meta: micro posts are in the feed now
  39. thing-a-month (meta)

2023 41

  1. modeling CRDTs in Alloy - counters
  2. sticky table headers with bottom borders
  3. engineering design systems at Vendr
  4. modeling CRDTs in Alloy - introduction and the importance of idempotence
  5. Modeling in-flight requests in Alloy
  6. growing hydroponic lettuce
  7. Tsort
  8. Trying and Failing to Implement Artificial Ignorance
  9. crunch_str
  10. once p is true, it's always true
  11. montage
  12. launch ftw, part 13
  13. moving genrules to library rules
  14. buck2 basics
  15. Do I want to learn Dafny?
  16. launch ftw, part 12
  17. launch ftw, part 11
  18. launch ftw, part 10
  19. launch ftw, part 9
  20. launch ftw, part 8
  21. launch ftw, part 7
  22. launch ftw, part 6
  23. launch ftw, part 5
  24. launch ftw, part 4
  25. launch ftw, part 3
  26. launch ftw, part 2
  27. launch ftw, part 1
  28. Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees
  29. Modeling Git Internals in Alloy, Part 2: Commits and Tags
  30. Modeling Git Internals in Alloy, Part 1: Blobs and Trees
  31. aligning Markdown tables in Helix
  32. how to add weak fairness on actions
  33. give aliases when inverting relations
  34. what is the randomart image for?
  35. fields as sets
  36. signing commits with SSH keys
  37. What does expect 1 mean in Alloy?
  38. advice you might as well take
  39. pagerank for my Obsidian notes
  40. The Value of a Model is More Making than Having
  41. Modeling Database Tables in Alloy

2022 7

  1. Digital Gardening in Obsidian
  2. Scope in the TH element
  3. Bold
  4. Alloy
  5. learning Alloy
  6. home recycling
  7. being the wandering toolmaker

2021 15

  1. tree-grepper
  2. The Four Rules of Simple Design: In Conclusion
  3. Rule 4: Code for Now
  4. Rule 3: Centralize Behavior
  5. Rule 2: Clarify Your Intent
  6. Rule 1: Simplify When the Program Works
  7. My Take on the Four Rules of Simple Design
  8. Rbt
  9. Trying (and Failing) to Speed Up String.startsWith
  10. nix-script
  11. elm-csv, package and talk
  12. elm-csv: be as boring—and as fast—as possible
  13. elm-csv
  14. Should Elm files be long or short?
  15. Learning Requires Effort

2020 17

  1. Tracking and Lasting
  2. time-to-horse
  3. Phantom ID Types
  4. Bang Shortcuts
  5. the hyper key
  6. elo-anything
  7. Tradeoffs of Custom ID Types in Elm
  8. Renaming Files with Braces
  9. state-transition tables
  10. clown computing
  11. Fuzzy Finding with Levenstein Distance
  12. callCabal2nix
  13. git root
  14. bad-datalog
  15. tmux-session
  16. Reducing Asset Size With Subsetting
  17. a batch at the Recurse Center

2019 2

  1. Robot Buttons from Mars
  2. Joyful Particles in Elm

2017 1

  1. The State of Elm 2017 (Extended Edition)