KeY: Deductive Verification of Software (re: Proving TimSort Bug in Java,Python)envisage-project.eu·2 pts·amund·0
Proving that Android’s, Java’s and Python’s sorting algorithm is brokenenvisage-project.eu·608 pts·amund·140
Update with 162 New Deep Learning Papers to Deeplearning.University Bibliographymemkite.com·2 pts·amund·0
Continuous Deployment for Python/Tornado with Jenkins, Selenium and PhantomJSatbrox.com·2 pts·amund·0