The DAO Proving Ground
An Engineering Approach to Building Aligned Organizations
Freedom-Adjusted Life Years
Are We Solving the Right Problems?
A Market for 'Truth'
Using Bets to Find a Shared Truth
The Rain Protocol
A Framework for Verifiable Promises
Entropism
The Universe's Burning Ambition
Intelligent Immunity
What if intelligence evolved within the immune system?
Pilot waves
The classical alternative to quantum mechanics?
Language models are all you need
for SMILES-based chemistry
Automatic integration
Like automatic differentiation, but for integration
The future of environmental sciences?
What could the profession of environmental engineering look like?
Wish list of psychological metrics
What if we could accurately measure {INSERT}?
Inference via interference
Learning by controlling the propagation speed of signals.
Automated science
Model-based reinforcement learning, symbolic AI, and the limits of efficient learning.
Unsupervised skip connections
How can we use ladder nets in the unsupervised setting?
Tax optimisation as an adversarial game
A new perspective on tax law
Policy search engine
Motivating a tool for tracking the effects of policies.
Conserved complexity
A conservation law for algorithms?
A functional type of non-linear algebra?
Functional programming plus neural network architectures.