News
Feb 03, 2026
Riak as a Reference Implementation of Dynamo-Style Leaderless Databases
A retrospective of Riak database, covering its Dynamo design, Erlang implementation, consistency options, MapReduce support, and B...
Dec 31, 2025
The 1980s Code Powering Modern Reliability—and the Mistakes It Still Makes
We audit Erlang/OTP’s decades-old C and NIF code with PVS-Studio, surfacing logic bugs, buffer risks, undefined behavior, and leak...
