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!
Topics
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
- Learn TT
- The Little Typer
- Software Foundations
- Koka - Microsoft Research
- Eff
- Curry Lang
- Wyvern
- Programming language zoo
- Languages mentioned here
Applied Computer Science
Functional programming
- Haskell’s dimensional and safe-money
- Haskell’s lenses and optics
- Haskell’s servant
- Write You a Haskell
- Purely Functional Data Structures
- Programming Language Foundations in Agda
- Implementing a JIT Compiled Language with Haskell and LLVM
- Parser combinators like megaparsec
Rust
- Writing an OS in Rust and course on building an OS
- Let’s build a browser engine (in Rust)
- Learning Rust with Entirely Too Many Linked Lists
- Amethyst
- smartstring crate
- Rust WASM support
- Learn how Rust code coverage works internally (relevant PRs)
- rustc dev guide
- Learn about polonius
Linux & systems programming
- A short (and mostly wrong) history of computer networking
- What’s in a Linux executable
- Learning to use
perf
,tcpdump
and other similar Linux tools - A tour through (parts of) musl source code
- Learn to use
drgn
Compilers
Physics
Probability theory, statistics and ML
Theory
- Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
- Bayesian persuasion
- Too good to be true: when overwhelming evidence fails to convince
- Radically Elementary Probability Theory
Applied
- Spinning Up in Deep RL
- An Outsider’s Tour of Reinforcement Learning
- A Tutorial on Thompson Sampling
- The Book of Why
- PyMC tutorials
To be classified
- Philosophy of science
- Learn Q#. Quantum Katas, Q# Coding Contest.
- Serverless architecture (maybe follow Cloudflare Workers’ tutorials)
- Learn How To Draw
- Aumann’s agreement theorem
- Common knowledge (logic)
- Non-wellfounded set theory
- Raft algorithm (see a Byzantine failure IRL)
- Fair division procedures (experiments, Selfridge-Conway procedure, Stromquist procedure)
- d3.js tutorial by Observable
- CORE textbook on economics
- The Clowder Project
- Kerodon
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?