Human folly for 02015-08-25

older newer index

• Passwordstorage (trustedsec.com):

  a #history of the #security of password storage.

• Download (citeseerx.ist.psu.edu):

  "Morris and Thompson 1978" on password storage #security.

• 2015 08 25 building a probabilisitic interpreter (zinkov.com):

  A simple #probabilistic-programming language #interpreter in #haskell.

• Queryselectorall from an element probably doesnt do what you think it does (lvh.io):

  another somewhat confusing #JS API

• Coqasm (research.microsoft.com):

  The #formal-methods paper on #Coq for programming in #asm, "Coqasm".

• Basics (cis.upenn.edu):

  Benjamin Pierce’s #introduction to #Coq for #formal-methods, part of an #ebook on the subject. At least the beginning of this chapter seems pretty approachable, much more so than the stuff I’ve seen about ATS and whatnot.