Grigore showed that Java generics are Turing complete by describing a
reduction from Turing machines to Java subtyping. We apply Grigore's algorithm
to Python type hints and deduce that they are Turing complete. In addition, we
present an alternative redu... (more…)
Read more »
Performance Cliffs
A common bad property of many different JIT compilers is that of a "performance
cliff": A seemingly reasonable code change, leading to massively reduced
performance due to hitting s... (more…)
Read more »
Benford’s Law After watching a Netflix documentary about Benford’s Law, i got really interested in it because it can help detect fraud in e.g. balance sheets. So i searched my favorite programming languages and detected that there is n... (more…)
Read more »
Data Structures and Information Retrieval in Python is an introduction to data structures and algorithms using a web search engine as a motivating example.
It is based in part on Think Data Structures, which uses Java. (more…)
Read more »
