Mathematician Eugenia Cheng: ‘Yes, I am an anarchist’ t theguardian.com 9 btat1 9 years ago 16 comments
Oh the things Vim could teach Silicon Valley's code slingers t theregister.co.uk 7 btat1 9 years ago 2 comments
Dafny – A programming language with a program verifier g github.com 165 btat1 9 years ago 58 comments
The Forgotten Prisoner of a Spyware Deal Gone Wrong m motherboard.vice.com 2 btat1 9 years ago 0 comments
The Newest Linux Operating Systems and Who Should Try Them m makeuseof.com 2 btat1 9 years ago 0 comments
Viruses like HIV have been attacking immune systems for half a BILLION years d dailymail.co.uk 1 btat1 9 years ago 0 comments