1. 16
    Propane is a new language for configuring the network. networking propane-lang.org
    sergeyb avatar via sergeyb 6 months ago | cached | 5 comments
  2. 3
    Teaching software testing concepts using a mutation testing game education games testing code-defenders.org
    sergeyb avatar via sergeyb 9 months ago | cached | 4 comments
  3. 34
    Free books about formal methods and verification formalmethods testing github.com
    sergeyb avatar authored by sergeyb 11 months ago | cached | 9 comments
  4. 38
    Full text of "ML for the Working Programmer" now online! ml cl.cam.ac.uk
    sergeyb avatar via sergeyb 11 months ago | cached | 8 comments