FLoC

I am presently at FLoC, the "Federated Logic Conference", and hope to post something relevant or interesting for your listening pleasure.