DoomConf November 2021
* When is it?
Nov 13, 11:00-13:00 gmt
* Where is it?
[[https://gather.town/app/mBoGYw5h4UuaniNJ/doom-conf-2021]]
The password will be shared a few hours before the event in the [[doom discord]] #doom-conf channel.
* Talks
People are welcome to present but please be mindful not to interrupt the current speaker.
[[Recording of the event (whole screen this time)]]
** Mentioned Topics & Priority
- [[Spinnerette]] by rushsteve1
- [[Jane Fondations of Mathematics]] by flugo
- [[Compiler verification in Lean]] by Mayo
- [[Org Knit]] by Tecosaur