Wed 12 Aug 2020

My Chromatopelma cyaneopubescens molted again

In the afternoon I noticed that the Chromatopelma cyaneopubescens I keep had molted. The common name for this tarantula is Green Bottle Blue, GBB for short, after the colors the adults have.

Chromatopelma cyaneopubescens freshly molted
Chromatopelma cyaneopubescens freshly molted.

The previous time this spider molted in my care was the 19th of June, 2020.

How we used Postgres extended statistics to achieve a 3000x speedup

Much like the DMV, the PostgreSQL query planner is a powerful, mysterious entity to whom we semi-blindly entrust our well-being. It has the crucial responsibility of picking the most efficient execution plan for every query. Here we’ll explore what data Postgres takes into account when creating query plans, and how we used that context to help the query planner come up with more efficient plans for some of our most important query patterns.

Source: How we used Postgres extended statistics to achieve a 3000x speedup, an article by Jared Rulison.

Inventing Monads

I got into a discussion about monads recently. On a search to find some resources to share, I realized that most essays explained them with type signatures and rules. A missing ingredient to grok them, I think, is to understand the intuition behind them. How could you end up inventing monads?

Source: Inventing Monads, an article by Stepan Parunashvili.

Python GUIs with DearPyGui

As Python programmers, we write scripts. Many times they are quick and dirty; never meant to be seen by others or even yourself after accomplishing it’s task. However, in some cases the script is meant to live on, perhaps being modified and shared regularly. It’s in this case that we often want to create a GUI for the script. There are a few options for Python which include Tkinter, PyQT/PySide, wxPython, Kivy, PySimpleGui, and so on. These are all great libraries which serve their respective purposes, but in a lot of cases they can be overkill, requiring just as much code and thought as the script it’s meant to wrap. This is where DearPyGui shines. So to start, you need to get DearPyGui…

Source: Python GUIs with DearPyGui, an article by Jonathan Hoffstadt.