Hacker News
- Proving that Android’s, Java’s and Python’s sorting algorithm is broken (2015) http://www.envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ 8 comments
- Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it) http://www.envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ 11 comments coding
- The World’s First Object-Oriented Program – from October 1st 1965 http://www.envisage-project.eu/?p=919 12 comments programming