NaNofuzz: A Usable Tool for Automatic Test Generation [pdf](cmumatt.github.io)32 points by luu 3 years ago | 6 comments
Mathematical Intimidation: Driven by the data (2011) [pdf](ams.org)58 points by dedalus 2 years ago | 2 comments
Fifth Circuit: Some Federal Officials Violated 1A via Social Media Censorship [pdf](ca5.uscourts.gov)29 points by Georgelemental 3 years ago | 1 comments