Nov 12, 2023 Canadian Summer, Type Theory, and Letters to Div: Part 1 Apr 1, 2023 Logistic regression in Julia (from scratch and with FluxML)