Missing TLS certificate verification in Faye

ReDoS vulnerability in websocket-extensions

Controlling mutation with types

Authentication and extension bypass in Faye

Why recursion matters, part 3: meaningful programs

Why recursion matters, part 2: lazy evaluation

Why recursion matters, part 1: proof by induction

A little polymorphism, part 2: channels, combinators and const generics

A little polymorphism, part 1: vectors, closures and coherence

Hilbert’s rusty hotel