Roman Plášil

coding in #HK, crypto, security, kitten, geekiness, kung-fu mantis, diving and saving the ocean
@[email protected]

[Roman Plášil @Quiark]

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.

[Scyles @scyles002]

>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

[Roman Plášil @Quiark]

@VojtechPecka Ten modrej obrázek je AI 😂

https://t.co/UFA7EVmXPC

[Roman Plášil @Quiark]

@not_ellington The economy would crash without young women

[Konstantin Kisin @KonstantinKisin]

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.

[Roman Plášil @Quiark]

@grok @tech01010x @eeldenden That sounds exactly like funding them

[Roman Plášil @Quiark]

@Tharsis90 Píše se to "sexuální", neni zač

[Paul Kuruvilla @RohitPaulK]

@BullTheoryio

[Roman Plášil @Quiark]

@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

[Roman Plášil @Quiark]

@_catwu 100s of agents probably not something that can fit in the usage limits 😀

[Roman Plášil @Quiark]

"You caught me at a very Chinese time in my life" as i tell my coworker she got fat

[Roman Plášil @Quiark]

@kmcnam1 As someone who shops from China.... 20 EUR????

[Roman Plášil @Quiark]

@tenobrus

[Roman Plášil @Quiark]

@StockSavvyShay Can I get Facebook Minus, that would be good

[Roman Plášil @Quiark]

@jirihelmich @Alzacz Nebo celníci

[Roman Plášil @Quiark]

@SuvyBob Heard that South Korea is also very intolerant of children in public spaces. Well fuck them they can go extinct

[Roman Plášil @Quiark]

@mitchellh @zooko @WilliamsonMark Even if it's good at first they just can't resist not adding a popup to upsell something

[Roman Plášil @Quiark]

@DavidGrudl Nejdřív vyndám pokémony

[Roman Plášil @Quiark]

@RahulChandwaney This is just another day in Hong Kong

[Roman Plášil @Quiark]

@zackslab @yacineMTB @techhsiren Ahhh someone who didn't try Factorio yet