How to make a Java daemon with start-stop-daemon
November 21, 2015

Companies that are using Clojure
August 20, 2015

OAuth2 is easy - illustrated in 50 lines of Clojure
July 30, 2015

A formal prover for certain programs in the Javascript programming language
This thesis is concerned with developing an automatic system for sound formal proofs of programs written in a certain imperative subset of Javascript with logical annotations.
July 6, 2015