Meme Washer

Noah Sussman's blog

« links for 2010-02-14 | Main | links for 2010-02-16 »

links for 2010-02-15

  • Mac OS X 10.5 Leopard: the Ars Technica review
    (tags: time machine backup automation review mac hd hard drive explanation)
  • concatenate strings in bash » from the desk of stinkpot
    (tags: bash string concatenation concatenate strings text munge join print dereference variable shell script tips useful linux)
  • P. Cousot, Introductions to Abstract Interpretation on the WEB
    Abstract Interpretation is a type of Static Analysis, that has been used to prove a program is free of runtime errors
    (tags: abstract interpretation static analysis software testing paper)
  • A few papers on Caml
    (tags: caml programing paper ocaml implementation history)

Posted by Noah Sussman on February 15, 2010 11:01 PM | Permalink