Things I want to learn about

· Pablo ·

Last updated: March 2022

This post compiles a list of things I want to learn along with some concrete technical things to read and try. It ranges from whole topics to concrete questions. The hope is that I will regularly update this list with the topics I stumble upon. If you have any suggestion on how to learn any of these topics please let me know!


This is a list of vague topics that seem interesting. I haven’t really researched any of these or what their prerequisites are.

  • Computable analysis
  • Distributed Algorithms
  • Game theory and Algorithmic game theory
  • Model theory
  • Natural language processing
  • Persistent homology
  • POMDPs as a model of rational agents (and MDPs)
  • Stochastic scheduling
  • Fully homomorphic encryption schemes
  • 20th century world history
  • Structural equation modeling
  • Item Response Theory
  • Unification algorithms
  • Multi-armed bandits applications
  • Bayesian networks
  • Homotopy type theory
  • Cache-oblivious algorithms
  • Simpson’s paradox
  • Linear types practical applications
  • Random walks
  • Modern Monetary Theory and monetary economics more generally
  • Geological periods, eras and eons

Concrete things to read and try

This is a list of concrete papers, technical books, libraries and reading lists I want to dive into at some point.

Theoretical computer science

Type theory and exotic PLs

Applied Computer Science

Functional programming


Linux & systems programming



Probability theory, statistics and ML



To be classified

Concrete questions

This is a list of concrete questions or clusters of related questions about a single specific topic. The questions might not be well-defined

  • How can one define a measure space on an arbitrary manifold? Is it related to the concept of pushforward measure? When the Radon-Nykodim derivative exists, what is it’s relation with the manifold atlas?
  • Given that 64.9% of philosophers surveyed here support the analytic–synthetic distinction, what are the remaining strongest arguments against logical positivism? If there are insurmountable hurdles to maintain logical positivism as a coherent theory, what are its strongest successors?
  • In computational complexity theory, why are oracle separations sometimes provided as evidence of unrelativized results?
  • What is, intuitively, a topos?
  • How can I interpret elasticity in economics?