Recent papers and lectures:

- Logic and the 2-Simplicial Transformer preprint, September 2019 (code repository).
- Will Troiani’s masters thesis, May 2019, Simplicial sets are algorithms.
- Constructing A-infinity categories of matrix factorisations preprint, March 2019 (my working notes are available).
- The notes and videos for a course on Metric and Hilbert spaces (and video HOWTO).
- Albert Zhang’s masters thesis, October 2018, Vertex algebras, Hopf algebras and lattices (and talk slides).
- Derivatives of Turing machines in Linear Logic preprint with James Clift, May 2018.
- Encodings of Turing machines in Linear Logic preprint with James Clift, May 2018.
- James Clift’s masters thesis, October 2017, Turing machines and differential linear logic.
- Patrick Elliott’s masters thesis, October 2017, A-infinity categories and matrix factorisations over hypersurface singularities.

Slides from my recent talks:

- Monoidal bicategories of critical points, July 2019 (lecture notes)
- Constructing A-infinity categories of matrix factorisations, July 2019 at RRAGE (slides)
- Proof synthesis and differential linear logic, June 2019 at CARMA (slides | screencast)
- Derivatives of Turing machines and inductive inference, Novermber 2018 at Peking University (lecture notes)
- The computational content of Landau-Ginzburg models, November 2018 at BICMR, Beijing (lecture notes)
- Derivatives of Turing machines in linear logic, May 2018 in the Melbourne pure math seminar (lecture notes)
- Algebra and Artificial Intelligence, May 2018 in the Melbourne logic seminar (slides | video)
- Bar versus Koszul, April 2018 in the Melbourne topology seminar (lecture notes)
- Mini-course on A-infinity categories and matrix factorisations, September 2017 at the IBS in Korea (lecture 1, lecture 2, lecture 3).
- Turing machines and coalgebras, September 2017 at Neeman’s 60th conference at ANU (lecture notes).
- Clifford algebras and 2D defect topological field theory, June 2017 at Tensor Categories and Field Theory (lecture notes).
- A tour of well-generated triangulated categories, May 2017 at Neeman’s 60th conference (lecture notes).
- Derivatives of proofs in linear logic (joint with James Clift), May 2017 in Melbourne (slides and transcript).
- The cobordism category, October 2016 in the TFT seminar (lecture notes).
- The Curry-Howard principle, October 2016 in the CH seminar (lecture notes).
- The category of simply-typed lambda terms, September 2016 in the CH seminar (lecture 1, lecture 2).
- Sheaves of A-infinity algebras from matrix factorisations, September 2016 at the IPMU (lecture notes).
- Generalised orbifolding, September 2016 minicourse at the IPMU (lecture 1, lecture 2, lecture 3).
- Generalised orbifolding of simple singularities, August 2016 at Geometry at the ANU (lecture notes).
- Two odd things about computation, October 2015 in Vienna and August 2016 in Melbourne (slides and transcript).
- Topological Quantum Field Theory in two dimensions, July 2016 in the TFT seminar (slides).
- Spectral sequences for vertex algebras, July 2016 in Melbourne (lecture notes).
- Linear logic and deep learning (joint with Huiyi Hu), June 2016 at the AAL in Melbourne (slides and transcript).
- A-infinity algebras and matrix factorisations, June 2016 in Banff (lecture notes and video).
- The Landau-Ginzburg/Conformal Field Theory correspondence, May 2016 in Melbourne (lecture notes).
- The super-A-polynomial and knot differentials, May 2016 in Melbourne (lecture notes).
- A-infinity algebras and minimal models [Part 1], May 2016 in Melbourne (lecture notes and screencast).
- Reading group on proof-nets, April 2016 in the Melbourne logic seminar (handout 1, handout 2 and notes).
- Stratifications and complexity in linear logic, March 2016 in the Melbourne logic seminar (slides and screencast).
- An introduction to A-infinity algebras, November 2015 in Melbourne (lecture notes).

I gave a mini-course at the IBS in Korea in January 2016 on topological field theory with defects, specifically the fusion of defects in topological Landau-Ginzburg models. This included several computer demos, the source for which can be found on GitHub.

- Lecture 1: 2D TFT with defects and matrix factorisations (lecture notes and video).
- Lecture 2: The bicategory of Landau-Ginzburg models (lecture notes and video).
- Lecture 3: The cut operation and computing fusions (lecture notes and video).

These lectures were made with the excellent GoodNotes for the iPad Pro.