Sam Altman defeats the Sexist Straw Man

Sam Altman recently wrote an article about sexism in technology. And while I don't dispute many of his factual claims, it's important to recognize the claims he didn't make, and to recognize that most of the article is merely attacking a straw man. Unfortunately, logical fallacy, emotional reasoning and argument …

more ...


Topology of decisionmaking - are you secretly managing by metric?

Suppose you have a method of making decisions that doesn't suck - i.e., one that is objective, consistent, and never leaves you guessing about what to do. The mathematical field of topology provides a wonderful theorem - if you have a good decision process, it is equivalent to managing by metric.

more ...


Costrong Comonads are Boring

Strength is a category theoretical property which is known to be boring - every Monad in Hask (and similarly Scal) satisfies it. The question arises - what about it's dual, Costrength? What would a Costrong Comonad look like? Is it interesting? It turns out the answer is no - every Comonad in Hask/Scal is Costrong. In this post I'll provide a brief tutorial on Comonads and show why every Comonad is also Costrong. You do NOT need to know much category theory to follow this post, but some familiarity with the everyday programming of Monads will be helpful.

more ...