Automated theorem provers
Coq a.k.a. Rocq
justina colmena ~biz
Does the FBI know what it’s doing?
A general purpose intelligence agency?
Police brutality and corruption
The grinch that stole Christmas
Labor union serving itself coffee
Who spiked the coffee pot at work?
The ProPublica PillPushers
Police brutality and drug dealing
AI researcher found dead in apartment
Death ruled suicide
The security gig
Hired guns
Lula’s brain surgery
Are left-wing psychiatrists operating on political dissidents?
Anti-capitalist with a manifesto?
The healthcare CEO killing
Anti-catholic?
Does being anti-communist and anti-socialist make one anti-catholic?