Morning Cup of Coding

Dependent types in Python, Understanding Convolution, Convexity Confusion