notes

logic and type theory

mathematics

physics

probability

machine learning

other