Hacker News
- Modeling CRDTs in Alloy – Counters https://bytes.zone/posts/modeling-crdts-in-alloy-counters/ 3 comments
- Modeling CRDTs in Alloy – the importance of idempotence https://bytes.zone/posts/modeling-crdts-in-alloy-introduction-and-the-importance-of-idempotence/ 8 comments
- Modeling Git Internals in Alloy, Part 2: Commits and Tags https://bytes.zone/posts/modeling-git-internals-in-alloy-part-2-commits-and-tags/ 17 comments
- What is the randomart image for? https://bytes.zone/posts/what-is-the-randomart-image-for/ 44 comments
- Digital Gardening in Obsidian https://bytes.zone/posts/digital-gardening-in-obsidian/ 51 comments
- State-Transition Tables https://bytes.zone/posts/state-transition-tables 13 comments
- Reducing Asset Size with Subsetting https://bytes.zone/posts/reducing-asset-size-with-subsetting/ 6 comments
Lobsters
- Modeling in-flight requests in Alloy https://bytes.zone/posts/modeling-in-flight-requests-in-alloy/ 2 comments formalmethods
- Modeling Git Internals in Alloy, Part 1: Blobs and Trees https://bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/ 12 comments formalmethods
- aligning Markdown tables in Helix https://bytes.zone/posts/aligning-markdown-tables-in-helix/ 13 comments programming
- what is the randomart image for? https://bytes.zone/posts/what-is-the-randomart-image-for/ 7 comments art , security
- Advice you might as well take https://bytes.zone/posts/advice-you-might-as-well-take/ 7 comments practices
- Modeling Database Tables in Alloy https://bytes.zone/posts/modeling-database-tables-in-alloy/ 4 comments formalmethods
- tree-grepper https://bytes.zone/posts/tree-grepper/ 3 comments release
- nix-script https://bytes.zone/posts/nix-script/ 2 comments devops , haskell
- state-transition tables https://bytes.zone/posts/state-transition-tables 2 comments practices
- tmux-session https://bytes.zone/posts/tmux-session 4 comments programming , show
- Reducing Asset Size With Subsetting https://bytes.zone/posts/reducing-asset-size-with-subsetting 7 comments web