so you missed the huge amount of effort going into Servo recently?
can we get some kind of UN resolution telling russia that if they launch a nuke we will all kick their ass?
is there one with Stalin at the top?
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
nice, i encourage satanic panics in software engineering too
godamn C lovers
started playing with ubuntu around version 6, been using it for various things ever since
honestly never got in the way of me doing what i wanted