|
|
| 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 | |
|
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
