With trinket.io, you can run python scripts in your browser. Even cooler is that they also run on your phone. (more…)

A system for Python that generates static type annotations by collecting runtime types - Instagram/MonkeyType... (more…)

I thought it would be fun to write about Python’s value-or operator (sometimes affectionately known as the “walrus operator”) because it… (more…)

When it comes to programming, I have a belt and suspenders philosophy. Anything that can help me avoid errors early is worth looking into. The type annotati... (more…)

The mmgroup package is a python implementation of Conway’s construction [Con85] of the monster group \(\mathbb{M}\). In mathematics the monster group \(\mathbb{M}\) is the largest sporadic finite simple group. The group \(\mathbb{M}\) has order... (more…)