| user: | ishtu |
| created: | February 19, 2014 |
| karma: | 448 |
| about: | [ my public key: https://keybase.io/vadzimt; my proof: https://keybase.io/vadzimt/sigs/dyqQsGbRiIPfz6hlkDivlWjFhoZkYb2aWeBuBv92Kqw ] |
| 1. | Awesome OCaml(github.com) |
| 2. | Divisive Politics Are Destroying Open Source(youtube.com) |
| 3. | Rigorous Engineering of Mainstream Systems(cl.cam.ac.uk) |
| 4. | Deep spec: the science of deep specification(deepspec.org) |