The critique of formal methods in the original LinkedIn post seems generally true for provable security as pointed out by Koblitz and Menezes in their "another look" papers. Moreover, it always seems hard to communicate honestly when 1) non-experts are involved 2) financial incentives are involved.

name every polynomial

Graphic ⚠️
More than 2 years of this.

Even for experts, the idea of machine consciousness is radical like nothing before, and has many negative consequences. Also consider that most experts are not vegan despite knowing that animals are sentient beings. Hence comparing anti-AI leftists to anti-vaxxers seems rather harsh.

do we tho? We don't even know how our gut works. While we know a surprising lot about how the brain works, the expert opinion is that we know rather little compared to what's there to know. Anyway it's a hard thing to measure for any sciences; the issue is that we don't even know what we don't know.

Getting off US Tech disconnect.blog/getting-off-...