@typeoff Boom!

@typeoff Boom!

This topic did indeed come up at the first type conference after the discovery. Surprisingly, only in one of the talks tho.