Participated in first @code4rena formal verification contest with Certora, during the CNY. 🐺
I'm pretty excited about this space, I think if code is law, you'd better have some assurances. Formal verification is a way to get there because it can give you correctness guarantees.
>get stabbed by african
>Yookay police do nothing
>Make twitter account to vent
>Get arrested for hate speech and have your bank accounts frozen
The UK is some sort of Looney Tunes version of 1984
Britain had a moment of silence for George Floyd. Our politicians kneeled en masse to show their outrage at his killing. "I can't breathe" became a slogan.
George Floyd died on the other side of the world. He wasn't British.
Henry Nowak *was* British and his treatment by the police was shocking and negligent in the extreme. Yet there is no minute of silence. There is no coordinated public campaign. There is no kneeling at sporting events.
And we all know why.
During the summer of BLM, some people said "All Lives Matter". This was treated as the highest form of racism and anyone who said this was immediately cancelled. Why? Because the people in charge don't actually think all lives matter in the same way.
They have created a racial hierarchy of victimhood where a career criminal who died through mistreatment by police in a foreign country with 0 evidence of racism like George Floyd is automatically sanctified because of the colour of his skin.
And Henry Nowak, a British man, one of ours, is automatically dismissed and ignored because of the colour of his.
This is the ugly fruit of so-called "anti-racism", an obsession with race that has created a two-tier society which treats people differently because of the colour of their skin.
This needs to stop.
@phinance99@thdxr This is basically false because there's a lot of literal shit out there, we've its creators don't know it's bad so how can you, an outsider even be able to pick without trying for yourself