Section 22.1 of Joe Armstrong's Programming Erlang is titled "The Road to the Generic Server", and the author himself calls it the most important section in the entire book. In it, he builds a small server framework — about 15 lines of Erlang — that handles spawning a process, receiving messages, and dispatching them to a callback module. Then he writes a name server...

SSZ (Simple Serialize) is the serialization and Merkleization format of Ethereum's consensus layer. Consensus clients encode beacon states and blocks in SSZ, and compute Merkle proofs over that data using SSZ hash tree roots. Until...

You already know more about mathematical proofs than you think. If you have ever written a function with a type signature, you have written something structurally identical to a formal proof. This fact stems from a deep theoretical result called the Curry-Howard correspondence, and is the foundation on which proof assistants like Lean 4 are built.

Cons...

We have been following closely the advancements in AI at LambdaClass. In the past few months, the jump in quality for coding agents has been impressive, and this requires a fundamental rethinking of how software is developed. Developers increasingly lean into agents like Claude code, Codex or Kimi for their everyday work; what was once used for menial tasks like adding tests ...

A deep dive into one of the two consensus mechanisms at the heart of leanConsensus: how the client picks the right chain and decides when a block is permanent.

This is a follow-up to our posts on introducing ethla...