Detailing my experience and lessons-learned in writing a rust heat equation solver in WGPU to run on a browser, with a truncation error and fourier stability analysis derivation of the explicit RK2 FTCS method for the heat equation. Written in a pedagogical tone so it can be used as a tutorial.
The written notes for a talk on matrix groups, group theory, and Lie groups, all from an exclusively matrix point of view.
The written notes for a talk on type theory, topology, and homotopy type theory, as designed for a programmer audience.
Introduction to numerical techniques for efficient solution of $Ax = b$ systems, particularly where $A$ is symmetric positive definite. We provide a full theoretical and intuitive description of how one arrives at the Conjugate Gradient algorithm, as well as extremely efficient and effective methods which seem poorly understood or poorly known in popular circles, such as Joly-Meurant Conjugate Gradient
The written notes for a talk on measure theory and the formal grounding of probability theory.
The written notes for a talk on tensor algebra aimed at demystifying the topic.