1A case study in hunting for network integer arithmetic flaws (opens in new tab)(securitylab.github.com)1bleakgadfly5y ago0
3Damn Cool Algorithms: Log structured storage (2009) (opens in new tab)(blog.notdot.net)2bleakgadfly7y ago0
8Katahdin: a programming language where syntax, semantics are mutable at runtime (opens in new tab)(chrisseaton.com)4bleakgadfly8y ago0
9To Protect Voting, Use Open-Source Software (opens in new tab)(mobile.nytimes.com)228bleakgadfly8y ago229
10Ivory Language: a safer C, embedded in Haskell (opens in new tab)(ivorylang.org)2bleakgadfly8y ago0
