cacm.acm.org: 80 stories from 50 submitters

  1. 23
    FoundationDB: A Distributed Key-Value Store databases cacm.acm.org
    eatonphil avatar via eatonphil 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  2. 8
    Limited Success Generating a Binary Search ☶ ai cacm.acm.org
    jmiven avatar via jmiven 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 23 comments
  3. 10
    Extracting the Essential Simplicity of the Internet networking cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 12
    What Do ChatGPT and AI-based Automatic Program Generation Mean for the Future of Software ai cacm.acm.org
    kir0ul avatar via kir0ul 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  5. 54
    The Go Programming Language and Environment go cacm.acm.org
    s-video avatar via s-video 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  6. 14
    Static Analysis at GitHub formalmethods cacm.acm.org
    sanxiyn avatar via sanxiyn 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  7. 8
    Reimagining Chess with AlphaZero ai cacm.acm.org
    xcombelle avatar via xcombelle 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 13
    Fifty Years of P vs. NP and the Possibility of the Impossible compsci math performance cacm.acm.org
    Corbin avatar via Corbin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  9. 3
    What Serverless Computing Is and Should Become: The Next Phase of Cloud Computing distributed web cacm.acm.org
    adamshaylor avatar via adamshaylor 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  10. 7
    The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform formalmethods testing cacm.acm.org
    kiniry avatar via kiniry 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 10
    Program Verification: Vision and Reality formalmethods cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 2
    Collusion Rings Threaten the Integrity of Computer Science Research compsci culture cacm.acm.org
    sigint avatar via sigint 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 4
    The Robustness Principle Reconsidered (2011) ☶ programming cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 6
    Automata Modulo Theories compsci cacm.acm.org
    Anon84 avatar via Anon84 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 20
    Everything VPN Is New Again networking cacm.acm.org
    cadey avatar via cadey 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 2
    Hazardous Enthusiasm and How Eagerness Can Kill A Project (2019) culture cacm.acm.org
    rele avatar via rele 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 17
    Safe Systems Programming in Rust plt rust cacm.acm.org
    brendan avatar via brendan 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 27
    The Decline of Computers as a General Purpose Technology programming cacm.acm.org
    zge avatar via zge 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 32
    50 Years of Pascal historical programming cacm.acm.org
    Walterion avatar via Walterion 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  20. 12
    Let's Not Dumb Down the History of Computer Science historical science cacm.acm.org
    sjamaan avatar via sjamaan 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  21. 7
    A Review of the Semantic Web Field web cacm.acm.org
    gerikson avatar via gerikson 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 17
    What Everyone Knows and What No One Knows education math cacm.acm.org
    hwayne avatar via hwayne 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 23 comments
  23. 13
    Discovery: User Manual of the Oldest Surviving Computer in the World historical cacm.acm.org
    pushcx avatar via pushcx 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  24. 11
    Keeping CALM: When Distributed Consistency Is Easy databases distributed cacm.acm.org
    redblackbit avatar via redblackbit 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 2
    Neuromorphic Chips Take Shape hardware cacm.acm.org
    mooreds avatar via mooreds 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
Page 2 >>