Computer Scientist specialising in programming languages, compilers and program verification. @inkytonik on Twitter. Homepage: https://inkytonik.github.io.
Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade