2 ms·

Obligatory warning: Strange Loop 2023 will be the last. If you haven’t been, it’s a good excuse to go.