Human folly for 02019-01-22

older newer index

• OS Rust (infoq.com):

  Bryan Cantrill on writing #kernels (and other OS components) in #Rust

• Why don t people use formal methods (lobste.rs):

  discussion of #formal-methods with #Hillel-Wayne

• Uncle Bob (hillelwayne.com):

  #Hillel-Wayne on #Uncle-Bob (Robert Martin, Robert C. Martin) promoting ignorance

• The surprising security benefits of end to end formal proofs (cccblog.org):

  #Adam-Chlipala on how you have to prove that your software doesn’t do undefined things like buffer overflows in order to prove anything at all about it with #formal-methods

• Formal methods Amazon (lamport.azurewebsites.net):

  #PDF #paper on how AWS found serious bugs using TLA+ for system design modeling #formal-methods