1The role of AI companies in large formalisation projects (opens in new tab)(leanprover.zulipchat.com)3mti3mo ago0Save
5Search term spirited away from Google search results (opens in new tab)(tsurupeta.info)2mti12y ago0Save
6Cracks In The Tech Bubble (That Doesn't Exist) (opens in new tab)(testosteronepit.com)2mti12y ago0Save
7The Day The Bubble Became Official, And Everyone Was Happy (opens in new tab)(testosteronepit.com)1mti12y ago0Save
9Assange, RSF: Why European nations must protect Edward Snowden (opens in new tab)(en.rsf.org)3mti12y ago0Save
10James Clapper made 'least untruthful' answer possible on data collection (opens in new tab)(nymag.com)12mti13y ago0Save
