CS People: anyone with formal proof experience? We're toying with some research into #DeepSpec style formal proofs of architectures and language and I'm looking for some good survey papers to get up to speed. Any suggestions?
bofa
@trayofbees QOTO doesnt silence any instance. But I can say that after seeing the way bofa is moderated that if any instance deserves a silence its bofa.
Thoughts about the fediverse
It seems like instance admins should look at Postel's law when thinking about their social responsibilities as an admin.
If you want the fediverse to be an engaging and robust tool for the exchange of ideas you need to moderate users on your instance strictly by your code of conduct but accept pretty much anything save technical attacks and illegal content from other instances and let the local users moderate their own feeds.
peccavi