imarid

92 karma · joined June 20, 2017

imarid··on Bend – a language that blocks AI mistakes via proof and runs on GPUs

He got 80k+ followers on Twitter (x), tracking his progress on Bend, why sus?

imarid··on Loneliness is a measure of self-understanding

Loneliness is a feeling, but since when locigal equations can equal to feelings, idk

imarid··on Apple will notify users about state-sponsored cybersecurity threats

I know of one case of a Polish prosecutor who does not obey (do not want to bend the law) Zbigniew Ziobro, who is both the minister of justice and the prosecutor general. She received a notification from Apple just today.

Source: https://mobile.twitter.com/e_wrzosek/status/1463551631648251...

imarid··on Why thieves love to steal catalytic converters

You are wrong. In most EU countries self defense has to be proportional to attack, and to be used only when necessary. So if you exceeding limits of self-defense and you kill or damage someone using forces disproportionate to the danger you can go to jail.

imarid··on Why thieves love to steal catalytic converters

It just baffles me that in mostly christian country like US any kind of money is more important than human life.

imarid··on THW: Germany′s army of volunteers for disaster relief

It isnt unique, in Poland there is also bunch of volunteer fire departments, much more than fire departments with regular salary. https://pl.m.wikipedia.org/wiki/Ochotnicza_stra%C5%BC_po%C5%...

imarid··on Ford, Google form 'strategic partnership' on cloud services, Android

It may be problem with car infotaiment handling of Android Auto, not with Android Auto itself. Bugs in Carplay or Android Auto were very rare in contrast to infotaiment bugs that were causing CarPlay, Android Auto or Baidu Carlife unusable.