Human folly for 02016-05-31

older newer index

• Theorems (docs.idris-lang.org):

  #sbp #formal-methods #Idris #tutorial #formal-methods

• Tactics (docs.idris-lang.org):

  #sbp #formal-methods #Idris #formal-methods

• Patterns (docs.idris-lang.org):

  #sbp #Idris #formal-methods

• Proof terms in Idris (dafoster.net):

  #sbp #formal-methods #Idris #formal-methods

• Idris tutorial (eb.host.cs.st-andrews.ac.uk):

  #sbp #formal-methods #Idris #tutorial #pdf #formal-methods

• 39 software foundations Idris (blog.cppcabrera.com):

  #formal-methods #sbp #Idris #formal-methods

• Universes (adam.chlipala.net):

  #sbp #Idris #formal-methods

• 48 logic proofs with Agda Coq Idris (blog.cppcabrera.com):

  #formal-methods #sbp #Idris

• (helm.cs.unibo.it):

  #sbp #Idris #formal-methods

• Search (webcache.googleusercontent.com):

  #sbp #Idris #pdf #formal-methods

• Idris metaprogramming hello world (jeremywsherman.com):

  of the #Idris tutorials, this “was the most fun to play along with” #sbp #formal-methods

• Tauchain (idni.org):

  A programming language similar to #Idris language in a blockchain with RDF and N3, from the “Intelligent decentralized networks initiative”. “We aim to generalize the concept as much as we find, and give users the ability to implement virtually any P2P network over tau-chain.” #formal-methods

• Tutorial (cl.cam.ac.uk):

  #pdf #tutorial on the HOL-light theorem proving system, which is an embedded DSL for OCaml. #formal-methods #toread

• Fmsd (cs.toronto.edu):

  “#Formal-Methods of Software Design” an online course by Eric Hehner: “using mathematics to write error-free programs”.

• This guys arrogance takes your breath away (medium.com):

  the 1979 correspondence between Backus and #Dijkstra. “I propose to discuss with you as a friend the sad impairment of your great abilities…that result from your powerful and self-indulgent ego.” Includes photos and transcriptions. Handwritten flamewar.