Articles tagged with verification

setsum provides a checksum that operates on unordered sets of byte strings.

Setsum and mani can be combined together to track the setsum for a rich data structure.

The first quarter of my upcoming book in which I articulate how I think about building systems.

A post in which we explore adding a type system to a stack-based language as an exercise in verification.