Gave a talk today at the HoTT/UF 2020 workshop. Which this year means that I stood in my office in Bergen, and talked into a microphone which broadcasted my non-sense to the world.
How I attended and participated in the workshop!
Expecting a comment section? Feel free to e-mail me your comments, or
otherwise contact me to discuss the content of this site. See
my contact info. You can also write
your opinion on your own website, and link back here! ☺
Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺