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: How Can I Academia When My Brain Can’t Even, 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?
• The mLab.
• Webcomics I enjoy: xkcd, smbc and the rather silly adventures of Dr. McNinja.