bytes.zone: 15 stories from 4 submitters

  1. 12
    modeling CRDTs in Alloy - counters distributed formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 5 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 15
    modeling CRDTs in Alloy - the importance of idempotence formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 8
    Modeling in-flight requests in Alloy formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 5
    Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees formalmethods bytes.zone
    brianhicks avatar via brianhicks 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 14
    Modeling Git Internals in Alloy, Part 2: Commits and Tags formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 28
    Modeling Git Internals in Alloy, Part 1: Blobs and Trees formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  7. 39
    aligning Markdown tables in Helix programming bytes.zone
    brianhicks avatar authored by brianhicks 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  8. 59
    what is the randomart image for? art security bytes.zone
    brianhicks avatar authored by brianhicks 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  9. 38
    Advice you might as well take practices bytes.zone
    hwayne avatar via hwayne 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  10. 21
    Modeling Database Tables in Alloy formalmethods bytes.zone
    brianhicks avatar authored by brianhicks 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  11. 36
    tree-grepper release bytes.zone
    adamshaylor avatar via adamshaylor 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  12. 28
    nix-script devops haskell bytes.zone
    friendlysock avatar via friendlysock 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 12
    state-transition tables practices bytes.zone
    brianhicks avatar authored by brianhicks 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 7
    tmux-session show programming bytes.zone
    brianhicks avatar authored by brianhicks 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  15. 10
    Reducing Asset Size With Subsetting web bytes.zone
    brianhicks avatar authored by brianhicks 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments