Discussion & Related
Compositional Abstractions for Computing Under Ignorance: Or, What I Learned by Analyzing My Own Research as Data
A meta-analysis of my own research as data, tracing how compositional abstractions for computing under ignorance connect oblivious computing, information theory, and existential risk.
October 15, 2025 · 9 min read
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
Rethinking Encrypted Search: From Access Pattern Leakage to Information-Theoretic Privacy
Rethinking encrypted search through oblivious types that provide information-theoretic privacy guarantees against access pattern leakage, without relying on computational hardness assumptions.
October 14, 2025 · 4 min read