surfingcomplexity.blog: 21 stories from 11 submitters

  1. 15
    You’re missing your near misses practices surfingcomplexity.blog
    typesanitizer avatar via typesanitizer 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  2. 10
    The Canva outage: another tale of saturation and resilience distributed performance surfingcomplexity.blog
    amw-zero avatar via amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  3. 8
    Quick takes on the latest Cloudflare public incident write-up distributed surfingcomplexity.blog
    azhenley avatar via azhenley 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  4. 3
    Reading the Generalized Isolation Level Definitions paper with Alloy databases formalmethods surfingcomplexity.blog
    eatonphil avatar via eatonphil 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 10
    Specifying serializability in TLA+ formalmethods surfingcomplexity.blog
    danlamanna avatar via danlamanna 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 4
    A liveness example in TLA+ formalmethods surfingcomplexity.blog
    txxnano avatar via txxnano 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 2
    Linearizability! Refinement! Prophecy distributed formalmethods surfingcomplexity.blog
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 8
    Modeling B-trees in TLA+ databases formalmethods surfingcomplexity.blog
    hwayne avatar via hwayne 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 5
    Dirty writes databases surfingcomplexity.blog
    azhenley avatar via azhenley 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  10. 25
    What if everybody did everything right? devops practices surfingcomplexity.blog
    hwayne avatar via hwayne 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  11. 4
    Consistency programming surfingcomplexity.blog
    noncrab avatar via noncrab 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 5
    On chains and complex systems programming surfingcomplexity.blog
    azhenley avatar via azhenley 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 9
    Cache invalidation really is one of the hardest problems in computer science programming surfingcomplexity.blog
    azhenley avatar via azhenley 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 1
    Writing docs well: why should a software engineer care? programming surfingcomplexity.blog
    azhenley avatar via azhenley 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 7
    Software engineering in-the-large: the coordination challenge programming surfingcomplexity.blog
    azhenley avatar via azhenley 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 21
    Coding as a tool of thought formalmethods practices surfingcomplexity.blog
    hwayne avatar via hwayne 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  17. 4
    How did software get so reliable without proof? formalmethods practices surfingcomplexity.blog
    minimax avatar via minimax 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments