agreed, and you have to get the proofs perfect, in whatever language in which they are expressed, to be useful. like you have to get the code correct twice to make sure it works once.
i think having safe patterns/apis where the compiler can automatically spot classes of potential error is a better approach
strong typing "Limited" in Rust? hmm :)
is a joke based on that they can't even type rust without censoring the name "r*st" lol
Tauri gets us quite a long way there
the five eyes nations are all worried about china
it's mostly about stealing industrial and military secrets but i don't think they see china as an offensive threat
assassination is Trump's biggest fundraiser
i prefer the upgraded autocomplete analogy but yeah
i agree. without being the bullshit machine it was designed to be, it loses all its value
nice, i encourage satanic panics in software engineering too
i think it's more like a "significant" step in language design that could make a "huge" leap in software quality
true, although i thought maybe china would be first
is there one with Stalin at the top?