Discussion & Related
Bernoulli Types: A Foundation for Approximate and Oblivious Computing
A unified type-theoretic foundation for probabilistic data structures, approximate computing, and oblivious computation with information-theoretic privacy guarantees.
October 14, 2025 · 4 min read
Cipher Maps: Category Theory Meets Oblivious Computing
Formalizing oblivious computing through cipher maps and algebraic cipher types, using category theory for functorial composition of privacy-preserving transformations.
October 14, 2025 · 4 min read