6 karma · joined November 8, 2019
It seems like there is a big difference between a "mathematical certainty that certain bugs will not occur" if you play by the rules and just be a better programmer so that you don't write errors. Not that you won't have bugs in Rust but it seems like we should move towards having our tooling do more of the heavy lifting in ensuring correctness. I don't believe you will ever have the bug count drop to zero. I do believe in mathematical certainties though.
I am going to take your point about a reduction in sexism in other fields at face value since it seems you are more read up on that than I am. I'm not sure if this is a rebuttal to my argument though. A reduction in sexism in other fields would in fact complement an increase in sexism in computer science. I'm not sure if it is possible to distinguish the effects of each, especially if they compound on top of each other. It might be a little ironic to choose trial lawyers as an example since I don't think they have that much better of a percentage. I would also like to point out that your conclusion of "field of their choice", in my eyes, is heavily influenced by social factors.
I tend to think that people are not as logical as they like to think they are, myself included. Not to say there isn't good reasoning, just that much of our decision making is emotional and habitual over some pure sense of logic.
Systems like BERT seem perfectly rational to me. Are they not just following a set of rules on a given input to modify a state?(In the most simplistic sense of computation). I think the confusion is more over what the goal of these programs are and how do we encode that. This reminds me of the ai system that would pause the game of tetris so that it could never lose. Not we it's programmers intended but still accomplished it's "goal".
I think by "user" it was meant the average user which by my estimation is not super technical and mostly sticks to larger apps anyways. Are smaller developers being held to a stricter standard though than larger developers on notarization?