HNHacker News
TopNewBestAskShowJobs

btat1

96 karma · joined October 31, 2016

submissionscomments

The Mathematician in the Asylum – Providentia

drvitelli.typepad.com·2 pts·btat1·
0

Mathematician Eugenia Cheng: ‘Yes, I am an anarchist’

theguardian.com·9 pts·btat1·
16

Oh the things Vim could teach Silicon Valley's code slingers

theregister.co.uk·7 pts·btat1·
2

A Modularity Bug in Java 8 (arXiv Article)

arxiv.org·1 pts·btat1·
0

Dafny – A programming language with a program verifier

github.com·165 pts·btat1·
58

The Forgotten Prisoner of a Spyware Deal Gone Wrong

motherboard.vice.com·2 pts·btat1·
0

It’s Time to Rethink the Algorithm (SocialTimes)

adweek.com·3 pts·btat1·
0

The Newest Linux Operating Systems and Who Should Try Them

makeuseof.com·2 pts·btat1·
0

L'affaire Kennedy, une vérité inaudible Slate.fr

m.slate.fr·1 pts·btat1·
0

Viruses like HIV have been attacking immune systems for half a BILLION years

dailymail.co.uk·1 pts·btat1·
0

Memoizing recursive functions via the fixed point Y combinator

matt.might.net·3 pts·btat1·
0

My Top 100 Programming, Computer and Science Books Part One

catonmat.net·3 pts·btat1·
1

Simple Scheme, for Android

bryanchadwick.com·2 pts·btat1·
0