buttondown.email: 72 stories from 32 submitters

  1. 4
    Formalizing Stability and Resilience Properties formalmethods buttondown.email
    iv avatar via iv 20 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 13
    Teaching Implication Better compsci education formalmethods buttondown.email
    jryans avatar via jryans 29 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  3. 26
    Programming AIs worry me ai buttondown.email
    azhenley avatar via azhenley 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 27 comments
  4. 50
    Maybe people do care about performance and reliability performance practices buttondown.email
    EvanHahn avatar via EvanHahn 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 51 comments
  5. 5
    Creatively Misusing TLA+ formalmethods testing buttondown.email
    amw-zero avatar via amw-zero 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 42
    Tag Systems programming buttondown.email
    hwayne avatar authored by hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  7. 1
    Performance of NIST DRBGs cryptography buttondown.email
    atoponce avatar via atoponce 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 22
    Funny programming languages programming buttondown.email
    azhenley avatar via azhenley 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  9. 9
    In Defense of Testing Mocks testing buttondown.email
    azhenley avatar via azhenley 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  10. 104
    Microfeatures I'd like to see in more languages plt buttondown.email
    hwayne avatar authored by hwayne 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 100 comments
  11. 6
    Why Modeling Finds Bugs formalmethods buttondown.email
    amw-zero avatar via amw-zero 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 23
    Bugs that literally cost money programming buttondown.email
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  13. 64
    I am disappointed by dynamic typing programming buttondown.email
    azhenley avatar via azhenley 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 99 comments
  14. 70
    Why do we call it "boilerplate code?" historical buttondown.email
    hwayne avatar authored by hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  15. 18
    Why UML "Really" Died (2021) practices buttondown.email
    gerikson avatar via gerikson 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  16. 28
    Why do arrays start at 0? programming rant buttondown.email
    azhenley avatar via azhenley 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 27 comments
  17. 64
    I have complicated feelings about TDD testing buttondown.email
    pondidum avatar via pondidum 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 31 comments
  18. 72
    Excel is Pretty Dang Cool programming buttondown.email
    hwayne avatar authored by hwayne 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 32 comments
  19. 25
    Search less, browse more practices programming buttondown.email
    telemachus avatar via telemachus 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  20. 28
    Monorepos and Forced Migrations practices vcs buttondown.email
    hwayne avatar via hwayne 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 30 comments
  21. 55
    Six Programming Languages I'd Like to See compsci programming buttondown.email
    telemachus avatar via telemachus 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 60 comments
  22. 8
    10 key lessons from my first engineering job programming buttondown.email
    bhupesh avatar authored by bhupesh 10 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 47
    You can automate more than you think practices buttondown.email
    hwayne avatar authored by hwayne 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  24. 6
    The Esotech Lit Gap culture education buttondown.email
    sjamaan avatar via sjamaan 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 10
    The Parable of the Crow (essay about teaching) philosophy programming buttondown.email
    fstamour avatar via fstamour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
Page 2 >>