For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | btat1's submissionsregister
1.
The Mathematician in the Asylum – Providentia (drvitelli.typepad.com)
2 points by btat1 on March 12, 2017 | past
2.
Mathematician Eugenia Cheng: ‘Yes, I am an anarchist’ (theguardian.com)
9 points by btat1 on Feb 26, 2017 | past | 16 comments
3.
Oh the things Vim could teach Silicon Valley's code slingers (theregister.co.uk)
7 points by btat1 on Jan 25, 2017 | past | 2 comments
4.
A Modularity Bug in Java 8 (arXiv Article) (arxiv.org)
1 point by btat1 on Jan 19, 2017 | past
5.
Dafny – A programming language with a program verifier (github.com/microsoft)
165 points by btat1 on Jan 19, 2017 | past | 58 comments
6.
The Forgotten Prisoner of a Spyware Deal Gone Wrong (vice.com)
2 points by btat1 on Jan 19, 2017 | past
7.
It’s Time to Rethink the Algorithm (SocialTimes) (adweek.com)
3 points by btat1 on Jan 11, 2017 | past
8.
The Newest Linux Operating Systems and Who Should Try Them (makeuseof.com)
2 points by btat1 on Jan 11, 2017 | past
9.
L'affaire Kennedy, une vérité inaudible Slate.fr (slate.fr)
1 point by btat1 on Jan 11, 2017 | past
10.
Viruses like HIV have been attacking immune systems for half a BILLION years (dailymail.co.uk)
1 point by btat1 on Jan 10, 2017 | past
11.
Memoizing recursive functions via the fixed point Y combinator (might.net)
3 points by btat1 on Dec 6, 2016 | past
12.
My Top 100 Programming, Computer and Science Books Part One (catonmat.net)
3 points by btat1 on Dec 6, 2016 | past | 1 comment
13.
Simple Scheme, for Android (bryanchadwick.com)
2 points by btat1 on Dec 5, 2016 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You