Tracking Reference Operator (C++ Component Extensions)
https://msdn.microsoft.com/en-us/library/8903062a.aspx
Sometimes a bug is hit only after code was executed 100 000 000 000 000 (100 trillion) times — Spotify’s underflow bug
https://labs.spotify.com/2015/08/27/underflow-bug/
paxos
This website explains the infamously difficult to understand Paxos consensus protocol using easy to understand invariants and code. http://paxos.systems/
libmill
http://libmill.org/
Damian Zaremba – ClueBot – wikipedia
https://github.com/DamianZaremba