Discussion & Related
Bernoulli Types: A New Foundation for Approximate and Oblivious Computing
Introducing Bernoulli types as a unified type-theoretic foundation for probabilistic data structures, approximate computing, and oblivious computation with information-theoretic privacy guarantees.
October 14, 2025 · 3 min read
Cipher Maps: When Category Theory Meets Oblivious Computing
Using category theory to formalize oblivious computing through cipher maps and algebraic cipher types, enabling functorial composition of privacy-preserving transformations.
October 14, 2025 · 5 min read