Submissions by relyio

The Herbrand Manifesto: Thinking Inside the Box

Automatic Git conflict resolution on logs and sets

Jacquard by Google transforms clothing

Ideal Money and Asymptotically Ideal Money (1997) [pdf]

Trusted Third Parties Are Security Holes (2001)

Bitcoin is unstable without the block reward (2016)

Blockchains and voting

If I'd Known What We Were Starting

Cure53 Browser Security White Paper [pdf]

Rewriting 0install from Python to OCaml: Retrospective

Hagelin HC-520: Pocket electronic cipher machine

Building Blocks for Theoretical Computer Science

Cultivating Sapling: Faster Zk-SNARKs

Programming with Finite Fields (2014)

An Incremental Approach to Compiler Construction [pdf]