/reading

reading

https://2.bp.blogspot.com/-DiKZgs4Nc84/VyEjcINJkKI/AAAAAAAAUZg/mdn_G6DdefkF34aFbs4QrSbd-n8bOBU0ACLcB/s1600/painters-and-hackers.jpeg

https://github.com/timakro/vim-searchant

Haskell

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

https://github.com/jwbuurlage/category-theory-programmers/raw/master/doc/categories_for_programmers.pdf

http://www4.di.uminho.pt/~jno/ps/pdbc_part.pdf

Types

https://www.cs.virginia.edu/~weimer/p/nanomaly-icfp16.pdf

Nix

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

DDD/CQRS/ES

http://yuppiechef.github.io/cqrs-server/

Vi

https://www.youtube.com/watch?v=MGmIJyTf8pg