seebs@plethora.net writes:

> Also, remember that you will be asked thousands of times what OS you run; you
> can save a letter every time if you pick NetBSD.  Within fifteen years, you

Heehee!

-- 
Stefan Kahrs in [Kah96] discusses the
   notion of completeness--programs which never go wrong can be
   type-checked--which complements Milner's notion of
   soundness--type-checked programs never go wrong [Mil78].