# Misc

### Academia

Here are some materials I’ve collected about working in academia. A quote from the first link:

*“Read and listen to lots of advice from individuals, but ignore most of it.”*

- How to live in Paradise, by David Evans.
- Writing and Speaking with style, a course by Benjamin Pierce and Rajeev Alur.
- How to give talks:
- A talk by Patrick Winston.
- Another talk by Javier Esparza.
- A video and slides by Simon Peyton Jones.
- 10 ways to start a presentation and engage your audience.
- and some extra tips by David Evans.

- How to review: slides by Bob Atkey.
- How to write a research grant proposal: video / slides by Simon Peyton jones
- Time management: a lecture by Randy Pausch.
- Mental health in academia: How Can I Academia When My Brain Can’t Even, a talk by Kenny Foner.

### Poster

I made a poster for the *journées nationales du GDR IM 2018*, about an unpublished result relating the combinatorial paths in a cube, and the chromatic subdivision of a simplex. Details can be found in Section 4.2.2 of my PhD thesis.

### Pop Science

In 2015, Tito Nguyễn and I wrote some articles for the French maths magazine *Tangente* aimed at undergraduate students and math enthusiasts: the Curry-Howard correspondence and Homotopy Type Theory.

### Vaguely funny math-related stuff

- A presentation of λ-calculus in terms of alligators.
- A cartoon proof of Löb’s theorem.
- A self-referential multiple choice test by Jim Propp.
- The blue-eyed logicians puzzle.
- The hydra game (a blog post by Andrej Bauer).
- Who can name the biggest number?
- Research paper generators: maths and computer science. See also the mLab.
- Webcomics I enjoy: xkcd, smbc and the rather silly adventures of Dr. McNinja.