computer.org: 8 stories from 6 submitters

  1. 26
    Testing Numbs Us to Our Loss of Intellectual Control (2020) practices testing computer.org
    matklad avatar via matklad 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  2. 6
    Formally Verifying Industry Cryptography cryptography formalmethods computer.org
    df avatar via df 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 4
    The Specification, Verification, and Implementation of Data Structure in ACL2 (2013) ☶ pdf formalmethods lisp programming computer.org
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 3
    Famous Graphics Chips: NEC µPD7220 Graphics Display Controller graphics hardware historical computer.org
    trn avatar via trn 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 2
    A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler (1976) ☶ pdf compilers historical computer.org
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 5
    Some Thoughts About the Social Implications of Accessible Computing (1965) pdf culture historical privacy computer.org
    trn avatar via trn 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 6
    Do-it-yourself fabrication of electronic devices pdf hardware computer.org
    mjn avatar via mjn 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 6
    Software Engineering: An Idea Whose Time Has Come and Gone? pdf practices computer.org
    pushcx avatar via pushcx 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments