https://bytes.zone/ https://bytes.zone/colophon/ https://bytes.zone/feature-proofing-checklist/ https://bytes.zone/kitchen-sink/ https://bytes.zone/micro/ https://bytes.zone/micro/crdts-for-tinyping/ 2024-10-07 https://bytes.zone/micro/dafny-001/ 2023-07-28 https://bytes.zone/micro/depth-year-january/ 2025-01-07 https://bytes.zone/micro/doing-in-a-day-what-i-could-not-in-six-months/ 2024-10-04 https://bytes.zone/micro/elm-duet-0-1-0/ 2024-05-07 https://bytes.zone/micro/kubernetes-whoops/ 2024-06-10 https://bytes.zone/micro/launchftw-001/ 2023-06-14T17:18:00-05:00 https://bytes.zone/micro/launchftw-002/ 2023-06-15T05:54:00-05:00 https://bytes.zone/micro/launchftw-003/ 2023-06-20 https://bytes.zone/micro/launchftw-004/ 2023-06-22 https://bytes.zone/micro/launchftw-005/ 2023-06-26 https://bytes.zone/micro/launchftw-006/ 2023-06-27 https://bytes.zone/micro/launchftw-007/ 2023-07-02 https://bytes.zone/micro/launchftw-008/ 2023-07-04 https://bytes.zone/micro/launchftw-009/ 2023-07-05 https://bytes.zone/micro/launchftw-010/ 2023-07-06 https://bytes.zone/micro/launchftw-011/ 2023-07-09 https://bytes.zone/micro/launchftw-012/ 2023-07-19 https://bytes.zone/micro/launchftw-013/ 2023-08-14 https://bytes.zone/micro/lffs-001/ 2024-12-17 https://bytes.zone/micro/lffs-002/ 2024-12-26 https://bytes.zone/micro/lffs-003/ 2025-01-07 https://bytes.zone/micro/lffs-004/ 2025-01-13 https://bytes.zone/micro/lffs-005/ 2025-01-29 https://bytes.zone/micro/lffs-006/ 2025-02-27 https://bytes.zone/micro/lffs-007/ 2025-06-15 https://bytes.zone/micro/meta-micro-posts-in-feed/ 2024-02-06T00:00:00-06:00 https://bytes.zone/micro/notes-from-setting-up-nomad/ 2024-06-17 https://bytes.zone/micro/stopping-thing-a-month/ 2024-05-06 https://bytes.zone/micro/thing-a-month-02-01/ 2024-02-06T00:01:00-06:00 https://bytes.zone/micro/thing-a-month-02-02/ 2024-02-07 https://bytes.zone/micro/thing-a-month-02-03/ 2024-02-08T06:12:53-06:00 https://bytes.zone/micro/thing-a-month-02-04/ 2024-02-14 https://bytes.zone/micro/thing-a-month-02-05/ 2024-02-15 https://bytes.zone/micro/thing-a-month-02-06/ 2024-02-19 https://bytes.zone/micro/thing-a-month-02-07/ 2024-02-20 https://bytes.zone/micro/thing-a-month-02-08/ 2024-02-23 https://bytes.zone/micro/thing-a-month-02-09/ 2024-03-04T00:00:00-06:00 https://bytes.zone/micro/thing-a-month-03-01/ 2024-03-05T07:00:00-06:00 https://bytes.zone/micro/thing-a-month-03-02/ 2024-03-05T13:00:00-06:00 https://bytes.zone/micro/thing-a-month-03-03/ 2024-03-06T12:44:04-06:00 https://bytes.zone/micro/thing-a-month-03-04/ 2024-03-15 https://bytes.zone/micro/thing-a-month-04-01/ 2024-04-01 https://bytes.zone/micro/thing-a-month-04-02/ 2024-04-23 https://bytes.zone/micro/tinyping-and-scrub-moves/ 2024-05-13 https://bytes.zone/micro/tinypings-stack/ 2024-05-28 https://bytes.zone/micro/ukulele/ 2024-02-23 https://bytes.zone/micro/you-can-try-tinyping-if-you-want/ 2024-09-23 https://bytes.zone/open-invitation/ https://bytes.zone/posts/ https://bytes.zone/posts/advice-you-might-as-well-take/ 2023-01-22 https://bytes.zone/posts/aligning-markdown-tables-in-helix/ 2023-03-13 https://bytes.zone/posts/alloy/ 2022-12-12 https://bytes.zone/posts/bang-shortcuts/ 2020-12-08 https://bytes.zone/posts/buck2-basics/ 2023-08-07 https://bytes.zone/posts/callcabal2nix/ 2020-09-22 https://bytes.zone/posts/clown-computing/ 2020-10-12 https://bytes.zone/posts/crunch-str/ 2023-09-11 https://bytes.zone/posts/custom-id-types/ 2020-10-26 https://bytes.zone/posts/digital-gardening-in-obsidian/ 2022-12-26 https://bytes.zone/posts/elm-csv-package-and-talk/ 2021-02-15 https://bytes.zone/posts/elo-anything/ 2020-11-24 https://bytes.zone/posts/fields-as-sets/ 2023-02-13 https://bytes.zone/posts/git-root/ 2020-09-10 https://bytes.zone/posts/give-aliases-when-inverting-relations/ 2023-02-27 https://bytes.zone/posts/how-to-add-weak-fairness-on-actions/ 2023-03-06 https://bytes.zone/posts/hyper-key/ 2020-12-02 https://bytes.zone/posts/kratky-in-the-basement/ 2024-04-01 https://bytes.zone/posts/learning-requires-effort/ 2021-01-05 https://bytes.zone/posts/local-first-foundations/ 2025-01-22 https://bytes.zone/posts/modeling-crdts-in-alloy-counters/ 2023-11-27 https://bytes.zone/posts/modeling-crdts-in-alloy-introduction-and-the-importance-of-idempotence/ 2023-10-09 https://bytes.zone/posts/modeling-database-tables-in-alloy/ 2023-01-02 https://bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/ 2023-04-03 https://bytes.zone/posts/modeling-git-internals-in-alloy-part-2-commits-and-tags/ 2023-04-10 https://bytes.zone/posts/modeling-git-internals-in-alloy-part-3-operations-on-blobs-and-trees/ 2023-04-24 https://bytes.zone/posts/modeling-in-flight-requests-in-alloy/ 2023-10-02 https://bytes.zone/posts/montage/ 2023-08-21 https://bytes.zone/posts/moving-genrules-to-library-rules/ 2023-08-14 https://bytes.zone/posts/my-take-on-the-four-rules-of-simple-design/ 2021-06-15 https://bytes.zone/posts/nix-script/ 2021-02-23 https://bytes.zone/posts/once-p-is-true-its-always-true/ 2023-08-28 https://bytes.zone/posts/pagerank-for-my-obsidian-notes/ 2023-01-17 https://bytes.zone/posts/platform-engineers-work-on-the-meta-product/ 2024-09-23 https://bytes.zone/posts/projects/ 2022-12-14 https://bytes.zone/posts/reducing-asset-size-with-subsetting/ 2020-03-03 https://bytes.zone/posts/renaming-files/ 2020-10-19 https://bytes.zone/posts/reusable-phantom-id-types/ 2020-12-14 https://bytes.zone/posts/rule-1-simplify-when-the-program-works/ 2021-06-22 https://bytes.zone/posts/rule-2-clarify-your-intent/ 2021-06-29 https://bytes.zone/posts/rule-3-centralize-behavior/ 2021-07-06 https://bytes.zone/posts/rule-4-code-for-now/ 2021-07-13 https://bytes.zone/posts/scope-in-the-th-element/ 2022-12-19 https://bytes.zone/posts/should-elm-files-be-long-or-short/ 2021-01-11 https://bytes.zone/posts/should-we-design-for-iffy-internet/ 2025-06-16 https://bytes.zone/posts/signing-commits-with-ssh-keys/ 2023-02-06 https://bytes.zone/posts/similar-sort/ 2020-10-06 https://bytes.zone/posts/software-estimation/ 2025-12-04 https://bytes.zone/posts/sourcing-secrets-from-opw/ 2024-02-27 https://bytes.zone/posts/state-transition-tables/ 2020-10-13 https://bytes.zone/posts/sticky-table-headers-with-bottom-borders/ 2023-11-13 https://bytes.zone/posts/the-four-rules-of-simple-design-conclusion/ 2021-08-25 https://bytes.zone/posts/the-value-of-a-model-is-more-making-than-having/ 2023-01-09 https://bytes.zone/posts/time-to-horse/ 2020-12-22 https://bytes.zone/posts/tmux-session/ 2020-04-16 https://bytes.zone/posts/tracking-and-lasting/ 2020-12-29 https://bytes.zone/posts/tree-grepper/ 2021-08-31 https://bytes.zone/posts/trying-and-failing-to-implement-artificial-ignorance/ 2023-09-18 https://bytes.zone/posts/trying-and-failing-to-speed-up-string-beginswith/ 2021-03-01 https://bytes.zone/posts/tsort/ 2023-09-25 https://bytes.zone/posts/what-does-expect-1-mean-in-alloy/ 2023-01-30 https://bytes.zone/posts/what-is-platform-engineering/ 2024-09-09 https://bytes.zone/posts/what-is-the-randomart-image-for/ 2023-02-20 https://bytes.zone/projects/ https://bytes.zone/projects/2026-winter-pinball-league/ 2026-02-11 https://bytes.zone/projects/attend-recurse-center-m1-2020/ 2020-01-10 https://bytes.zone/projects/bad-datalog/ 2022-06-14 https://bytes.zone/projects/being-the-wandering-toolmaker/ 2023-10-13 https://bytes.zone/projects/bold/ 2023-01-15 https://bytes.zone/projects/elm-csv/ 2021-11-23 https://bytes.zone/projects/elm-duet/ 2024-05-07 https://bytes.zone/projects/home-recycling/ 2022-07-01 https://bytes.zone/projects/horizon/ 2025-12-03 https://bytes.zone/projects/hydroponics/ 2025-12-04 https://bytes.zone/projects/learning-alloy/ 2023-10-09 https://bytes.zone/projects/local-first-from-scratch/ 2025-12-04 https://bytes.zone/projects/platform-engineer-at-paynearme/ 2025-11-19 https://bytes.zone/projects/rbt/ 2022-12-14 https://bytes.zone/projects/staff-engineer-at-vendr/ 2024-08-30 https://bytes.zone/projects/thing-a-month-awareness/ 2024-05-06 https://bytes.zone/projects/thing-a-month-meta/ 2024-02-06T00:00:00-06:00 https://bytes.zone/projects/thing-a-month/ 2024-05-06 https://bytes.zone/projects/tinyping/ 2024-05-13 https://bytes.zone/series/ https://bytes.zone/talks/ https://bytes.zone/talks/elm-csv-be-as-boring-and-as-fast-as-possible/ 2021-02-09 https://bytes.zone/talks/joyful-particles-in-elm/ 2019-02-21 https://bytes.zone/talks/robot-buttons-from-mars/ 2019-04-26 https://bytes.zone/talks/the-state-of-elm-2017/ 2017-06-16