gnyman's avatargnyman's Twitter Archive—№ 519

  1. RT @ID_AA_Carmack: Contract law should be turned into a formal language, with static analyzers and solvers. More Haskell, less Perl.
    Retweet