Abstract: Static type inference is an effective way to maintain the safety of programs written in a dynamically typed language. However, foreign functions implemented in another programming language ...

Abstract: This paper considers the basic question of how strong of a probabilistic guarantee can a hash table, storing $n(1+\Theta(1))\log n$-bit key/value pairs ...

Python -O won’t magically make every script faster, but in the right workloads it’s a free win—here’s how to test it safely.