<script type="text/javascript"> (function() { var po = document.createElement('script'); po.type = 'text/javascript'; po.async = true; po.src = 'https://apis.google.com/js/plusone.js'; var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(po, s); })(); </script> <div class="g-plusone" data-size="small"></div> <g:plusone size="small"></g:plusone> <span style="padding-left: 4.4em">|</span><!-- quotes | docs | repo | golang | sam | man | acme | Glenda | 9times | harmful | 9P | cat-v.org Related sites: | site updates | site map | cat -v harmful stuff › Blog/ › cat v/ › economics/ › films/ › journalism/ › people/ › political correctness/ › science/ › security theater/ › society/ » software/ › GCC › GNU/ › OO programming/ › SAP › andy tanenbaum » c++/ › I did it for you all › coders at work › linus › rms › csh › dynamic linking/ › e...