What we have learned at OpenShell applying formal methods to control AI agents
Online hate researcher keeps hammering X despite deportation threat / Center for Countering Digital Hate founder Imran Ahmed sued to challenge an immigration policy targeting researchers monitoring the biggest US platforms.
