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 Java’s and Python’s sorting algorithm is broken http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/#sec3 2 comments
- Proving that Android’s, Java’s and Python’s sorting algorithm is broken http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ 140 comments
- Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it) http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ 4 comments webdev
- 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
- Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it) http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ 13 comments compsci
- Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it) http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ 19 comments java
- Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it) http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ 273 comments programming
Linking pages
- Why LINQ (well, C#) is Broken - ielliott.io http://blog.ielliott.io/why-LINQ-is-broken/ 29 comments
- KeY: Deductive Verification of Software | Envisage: Engineering Virtualized Services http://envisage-project.eu/key-deductive-verification-of-software/ 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments