The propositions-as-types interpretation states that proofs are programs. How can functional programming help us understand calculus? (more…)
Read more »
put-me-on-a-watchlist - 👩‍💻 Put yourself on a watchlist by generating tons of dubious Google searches... (more…)
Read more »
There’s an amazing pattern in Python, called function decorators. It’s a set of declarations at the top of a function definition, that slightly … (more…)
Read more »
ImageSoup - A Python library designed for quick search and downloading images. (more…)
Read more »
Part 1 is dev-oriented. I talk about general optimizations that helped create the fastest image resize algorithm for x86 out there... (more…)
Read more »