Lysxia's blog blog.poisson.chat

Alpha-beta pruning is just minimax in a lattice of clamping functions

blog.poisson.chat·23w

Twentyseven 1.0.0

blog.poisson.chat·28w·

Discuss: Hacker News

Unfolding trees breadth-first in Haskell

blog.poisson.chat·45w·

Discuss: Hacker News

Unicode shenanigans: Martine écrit en UTF-8

blog.poisson.chat·71w

Where does the name "algebraic data type" come from?

blog.poisson.chat·56w·

Discuss: Lobsters

Programming Turing machines with regexes

blog.poisson.chat·86w

Abstract nonsense

blog.poisson.chat·127w

From delimited continuations to algebraic effects in Haskell

blog.poisson.chat·162w

The quantified constraint trick

blog.poisson.chat·177w

Formalizing finite sets

blog.poisson.chat·194w

The pro-PER meaning of "proper"

blog.poisson.chat·201w

On proving lists infinite

blog.poisson.chat·224w

Initial and final encodings of free monads

blog.poisson.chat·225w