cacm.acm.org: 77 stories from 48 submitters

  1. 12
    What Do ChatGPT and AI-based Automatic Program Generation Mean for the Future of Software ai cacm.acm.org
    kir0ul avatar via kir0ul 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  2. 54
    The Go Programming Language and Environment go cacm.acm.org
    s-video avatar via s-video 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  3. 14
    Static Analysis at GitHub formalmethods cacm.acm.org
    sanxiyn avatar via sanxiyn 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  4. 8
    Reimagining Chess with AlphaZero ai cacm.acm.org
    xcombelle avatar via xcombelle 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  5. 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
  6. 3
    What Serverless Computing Is and Should Become: The Next Phase of Cloud Computing distributed web cacm.acm.org
    adamshaylor avatar via adamshaylor 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  7. 7
    The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform formalmethods testing cacm.acm.org
    kiniry avatar via kiniry 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 10
    Program Verification: Vision and Reality formalmethods cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 2
    Collusion Rings Threaten the Integrity of Computer Science Research compsci culture cacm.acm.org
    sigint avatar via sigint 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 4
    The Robustness Principle Reconsidered (2011) ☶ programming cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 6
    Automata Modulo Theories compsci cacm.acm.org
    Anon84 avatar via Anon84 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 20
    Everything VPN Is New Again networking cacm.acm.org
    cadey avatar via cadey 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 2
    Hazardous Enthusiasm and How Eagerness Can Kill A Project (2019) culture cacm.acm.org
    rele avatar via rele 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 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
  15. 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
  16. 32
    50 Years of Pascal historical programming cacm.acm.org
    Walterion avatar via Walterion 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  17. 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
  18. 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
  19. 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
  20. 13
    Discovery: User Manual of the Oldest Surviving Computer in the World historical cacm.acm.org
    pushcx avatar via pushcx 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  21. 11
    Keeping CALM: When Distributed Consistency Is Easy databases distributed cacm.acm.org
    redblackbit avatar via redblackbit 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 2
    Neuromorphic Chips Take Shape hardware cacm.acm.org
    mooreds avatar via mooreds 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 7
    Picking Locks with Audio Technology security cacm.acm.org
    crazyloglad avatar via crazyloglad 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 9
    Three proposals to change how we teach computing in order to reduce inequality: An urgent call to action for online teaching education cacm.acm.org
    bjg avatar via bjg 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 40 comments
  25. 29
    Will RISC-V Revolutionize Computing? assembly hardware cacm.acm.org
    ethoh avatar via ethoh 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 58 comments
Page 2 >>