Probably actually reading/writing
2020-03-05 — 2026-04-28
Wherein a personal index of works-in-progress is maintained, spanning AI safety, cooperative AI, ethics, and complexity theory, with publication status noted for each entry therein.
Stuff I’m currently reading or otherwise working on. If you’re looking at this and you’re not me, maybe you should reconsider your hobbies.
1 Currently writing
Not all of it is published yet.
Ecology of agency
What even is “agency”?This approach is dead- Agency under bounded compute and information
- What are human values?
Embedded agencyNot what I thought. done.- Homunculi all the way down
- Boundaries and blankets
- Intrinsic motivation
- Utility as a local linearization of fitness
- What use is utility?
- Bayesian epistemics
Opponent shaping- Big history
- Intelligence in big history
- Human collective agency
- Coalition games
- Generic collective agency
- Multi-scale agency
- Commitment
Run-ups at bounded cognition. Three notebooks I keep starting and not finishing on the same underlying problem — what cognition can be when both information and compute are bounded by the agent’s substrate. None subsumes the others; that I keep failing to merge them is, I think, telling me something about the answer. Or the question.
- Agency under bounded compute and information — the foundational why-must-the-agent-compress angle.
- Homunculi all the way down — compute split across self, other, and reflective sub-models.
- Generalized economics of compute and cognition — compute as a substitutable factor of production.
Epistemic community design
- Knowledge collapse and the epistemic commons
- Learning from the madness of crowds
- Scientific community
- Messenger shooting
- Experimental ethics and surveillance
- Steps to an ecology of mind
- Epistemic bottlenecks is probably in this series too.
- Ensemble strategies at the population level. I don’t need to guess right; we need a society in which people in aggregate guess in a calibrated way.
- Truth-effectiveness heat pumps
- Formal models of science-as-enterprise
- Strategic ignorance
- Public sphere business models
AI Safety and society
Cooperative AI. Building machines that work with us and each other.
Ethics. I’m sceptical of utilitarianism as an ultimate moral framework (although at the margins it is fine). Nonetheless, I need to make decisions under uncertainty. What to do?
Steps to an ecology of mind
Moral orbits.
Where does utilitarianism even come from?
- Where do preferences come from
- The moral wetware
Coalitional fairness
- Shapley values
- Am I getting fucked?
- When does the GDP measure importance
- Coalition games
- Economics of growth
AI Safety Esp gradual disempowerment
-
- Causal hierarchy
- Causal inference in learning to act
History-based RL generalises RL from POMDPs to even less tractable settings.
Economics of innovation, progress, automation The nexus where growth theory, the economics of cognition, and the political economy of AI meet.
Economics of growth
When does the GDP measure importance
Social license for AI Safety
Evolving a just society
A social divide I’ve seen a lot recently: people who value cheap signalling highly versus those who view it negatively.
Emancipating my tribe: the cruelty of collectivism (and why I love it anyway)
Nationalism
Authoritarianism and resilience against it
Complexity theory revival (Santa Fe Institute detritus)
-
- Moral orbits.
- Revisit Probability collectives
- Movement design
- Returns on hierarchy
- Effective collectivism
- Alignment
- Institutions for angels
- Institutional alignment
- Beliefs and rituals of tribes
- Where to deploy taboo
- The Great Society will never feel great; it’ll merely be better than the alternatives
- Player versus game
Something about the fungibility of hipness and cash- Monastic traditions
- Returns to scale in technological society
Bayes-meets-neural-nets
Bayes about logical statements
Quantum probability
Other ProbML stuff
Classification and society series
- Constructivist rationalism
- Affirming the consequent and evaporative tribalism
- Classifications are not very informative
- Adversarial categorization
- AUC and collateral damage
- Bias and base rates
- Decision theory
- Decision theory and prejudice
- Is academic literary studies actually distinct from the security discipline of studying side-channel attacks?
Shouting at each other on the internet series (Teleological liberalism)
- Modern politics seems excellent at reducing the vast spectrum of policy options to two mediocre choices, then arguing about which is worse. What is this tendency called?
- The Activist and decoupling games, and game-changing
Lived evidence deductions and/orad hominem for discussing genetic arguments.- Diffusion of responsibility — is this distinct from messenger shooting?
- Iterative game theory of communication styles
- Invasive arguments
- Coalition games
All We Need Is Hate- Speech standards
Pluralism✅
Human learner series
Is “is” “ought”?
Correlation construction
-
- Burkean conservatism is about identifying when moral training data is out-of-distribution.
- Something about universal grammar and its learnable local approximations versus universal ethics and their learnable local approximations. Morality by template; the computational difficulty of moral identification. Leading by example of necessity.
Akrasia in stochastic processes: what time-integrated happiness should we optimise?
Comfort traps✅ Good enough for nowMyths✅ a few notes are enough
When is computation “statistical”? I mean this in the sense that, as in statistical mechanics, we know some bulk statistics of a population of solutions even when we can’t do the calculations for everything (like: air pressure doesn’t require simulating every molecule). It seems that machine learning sometimes behaves like this in a certain sense. I’m not sure of the scope of this idea — maybe I’m reinventing computational mechanics — so let’s use some examples to flesh it out:
- Trading equities. We can’t know every trade, but we can price options well under no-arbitrage assumptions, even though traders’ calculations can be far more complex than ours. No-arbitrage assumptions aren’t strictly true, but the returns from extra complexity to find arbitrage opportunities seem to diminish with compute, so in the wash it’s pretty similar.
- Statistical mechanics of statistics
- Scaling laws: we can’t know the exact computations an LLM will do, but we can predict its performance remarkably well given a data-parameter-train-compute budget.
- Algorithmic statistics and pseudorandomness study the statistical behaviours of some classes of algorithms, where they become near-indistinguishable from randomness in technical senses.
- Computational mechanics
- …
How to do house stuff (renovation etc)
Learning in context
- Interaction effects are what we want
- Interpolation is what we want
- Optimal conditioning is what we want
- Correlation construction is easier than causation learning
Funny-shaped learning
- Causal attention
Graphical ML- Gradient message passing
- All inference is already variational inference
Tail risks and epistemic uncertainty
Economic dematerialization via
- Enclosing the intellectual commons
- Creative economy jobs
Haunting and exchangeability. Connection to interpolation, individuation, legibility and nonparametrics.
X is Yer than Z
Is residual prediction different from adversarial prediction?
2 Music skills
3 Music
Nestup / cutelabnyc/nested-tuplets: Fancy javascript for manipulating nested tuplets.
4 SDEs, optimization and gradient flows
Nguyen and Malinsky (2020)
Statistical Inference via Convex Optimization.
Conjugate functions illustrated.
Francis Bach on the use of geometric sums and a different take by Julyan Arbel.
Tutorial to approximating differentiable control problems. An extension of this is universal differential equations.
