https://github.com/timakro/vim-searchant
http://www.scs.stanford.edu/16wi-cs240h/slides/rts-lecture-annot.pdf
https://blog.jle.im/entry/automatic-propagation-of-uncertainty-with-ad.html
http://michaelxavier.net/posts.html
http://www4.di.uminho.pt/~jno/ps/pdbc_part.pdf
https://www.cs.virginia.edu/~weimer/p/nanomaly-icfp16.pdf
https://github.com/cstrahan/wiwinwln/blob/master/tutorial.md
http://lists.science.uu.nl/pipermail/nix-dev/2015-June/017347.html
https://github.com/bjornfor/nixos-config/blob/master/configuration.nix
https://github.com/chaoflow/nixos-configurations/blob/master/configuration-eve.nix
https://github.com/bernerdschaefer/dotfiles/blob/master/nixos/configuration.nix
https://github.com/nixkoans/nixkoans
Late binding in nix: http://r6.ca/blog/20140422T142911Z.html
https://github.com/bluescreen303/bluenix
http://chriswarbo.net/projects/nixos/useful_hacks.html