October 14, 2025
Bernoulli Types: A New Foundation for Approximate and Oblivious Computing
I’ve been working on a series of papers that develop a unified theoretical framework for approximate and oblivious computing, centered around what I call Bernoulli types. These papers explore how we can build rigorous foundations for systems …