## Go Read Gabriel Weinberg's "Traction Book" right now

My review of Gabriel Weinberg's Traction Book. In short: buy it and read it.

more ...My review of Gabriel Weinberg's Traction Book. In short: buy it and read it.

more ...Scalaz Task - the missing documentation

Cache efficient functional algorithms

Scalaz 7.10 is now released.

A Principled Approach to Operating System Construction in Haskell

The Unspoken Rules of Favela Construction.

Unspoken Ground Assumptions of Discussion. A very important insight:

more ......someone proposing a really insightful possibility …

A while back I had a problem - a spike in latency on the east coast. Log messages on the east coast were taking 50ms, whereas west coast messages were under 1ms. This was bad. I started probing for the answer, poking around my east coast servers and looking for the …

more ...I've recently become motivated to learn Portuguese. Mulheres bonitas sao muito motivado. It's not the first time this has happened to me - in the past I've attempted to learn Spanish, Farsi and Konkani. But it is the first time I've made significant progress and it's the first time that I …

more ...The Ellsberg paradox is a puzzle concerning human rationality. It postulates a scenario involving an urn with 90 balls inside - 30 red ones, while the remaining 60 can be yellow or black. A player gets to draw a ball from the urn, and receives a payoff dependent on the color …

more ...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 ...A book on Procedural Content Generation in Games. Very nice.

The Myth of Schemaless.

A classic from the MIT AI lab - Hakmem.

Cache coherency primer, about cpu caching.

Favor Disjuction over Validation when handling errors in Scala.

A Lispers first impression of Julia. I'm not a …

more ...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 ...Mapping sets in Scala using Coyoneda

Why Dependently Typed Programming Will (One Day) Rock Your World. Related thoughts on type errors in mathematics education.

Constructions vs Specifications.

How to use Treelog, and the underlying github page.

Frequentist inference only seems easy.

A stochastic diﬀusion process for the Dirichlet distribution. Some …

more ...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.