Sealed execution environments for trustworthy AI agents. Cryptographically-verified workflows that enterprises can trust to run autonomously.
Distributed, encrypted storage cloud for streaming. Privacy-preserving data coordination across untrusted nodes.
Sealed computation with warrant-governed execution. Hardware attestation for trustworthy code execution. Submitted to IEEE S&P 2027.
Minimal, Python-ergonomic language with modifier-based type system and compile-safe SQL/HTML injection prevention. POPL 2027 submission.
Cross-chain, cross-domain claims protocol using RFC 8785 canonicalization and EIP-712 encoding. Full reference implementations in JS, PHP, Solidity.
Eventual consistency for decentralized economies via chilling-effect consensus. Accepted at DISC 2026.
Multi-chain payment protocol deployed across 8+ EVM mainnets. Economic coordination for distributed networks.
Open-source social OS reaching 7M+ downloads across 100+ countries. Powers Groups, Calendars, and community apps.
Event and community platforms for content creators and thought leaders.
Built on Qbix5M+ downloads across 100+ countries, zero marketing spend. Powers the Groups and Calendars apps, the latter featured in BBC and ArsTechnica. Data via AppFigures.
Decentralization Before It Was CoolPhilosophy shaped by conversations on surveillance and privacy, web3 and decentralization, and pioneers like Tim Berners-Lee. Encrypted, distributed systems are not idealisticβthey are necessary.
| ID | Category | Title | Links |
|---|---|---|---|
| 2606.09870 | βοΈ Distributed Systems | Safecloud: A Distributed, Encrypted Storage Cloud for Streaming | arXiv Code |
| 2606.00050 | π§ Knowledge Graphs | Grokers: Bottom-Up Inductive Comprehension and Write-Time Intelligence over Typed Knowledge Graphs | arXiv |
| 2605.23928 | π€ AI Agents | Context: Proactive Goal-Directed Intelligence via Composable Sandboxed Programs | arXiv |
| 2605.22830 | π Consensus | Intercloud: Eventual Consistency for Decentralised Economies | arXiv Code |
| 2605.04069 | β‘ Neural Networks | LAWS: Learning from Actual Workloads Symbolically | arXiv |
| 2604.15356 | π¦ Compression | Sequential KV Cache Compression via Probabilistic Language Tries | arXiv |
| 2604.06228 | π§ Execution | Probabilistic Language Tries: A Unified Framework | arXiv |
| IEEE S&P 2027 | π Sealed Computation | Safebox: Sealed Computation with Warrant-Governed Execution (HotCRP #153) |