The term was coined by an OpenAI co-founder. No idea, if I would call the OpenAI folks "serious", but it's not just a derogatory term, like you might think.
Ephera
joined 5 years ago
Huh, framed like that, that seems like a wild statement considering he later went on to formulate his ontological "proof", which attempts to prove God's existence without relying on axioms (and in my not-so-humble opinion fails to do so, because it assumes "good" and "evil" to exist).
But what I'm reading about his incompleteness theorems, it does seem to be a rather specific maths thing, so would've been a big leap to then be discouraged in general from trying to do proofs without axioms.
Especially, if you're allergic.
Well, it's not allowed to be sold in countries that have a requirement for crash tests in their laws (and in particular for not obliterating pedestrians in those crash tests)...
Ah yeah, my comment was caveated as such, because I assumed those bacteria to have mostly gotten there via food. Then again, no idea if any even survive going through the stomach acid...
I mean, yeah, but if Proton is doing an absolutely flawless job, then it has 0 performance penalty compared to Windows. All the actual gains still do come from Linux having less overhead. So, both are true, that Proton is killing it and that the gains come from Linux.
I guess, some bacteria might have made it into your body in other ways, but might still be considered part of you in the wider sense...?
Oh yeah, I wouldn't use that for scripts. I wouldn't use zsh for scripts either.
I mean, I believe, it's generally compatible with bash, but just throwing a shebang like #!/bin/sh or #!/bin/bash into the first line of the script will make it execute with sh or bash, even when you run it from zsh.
I believe, zsh supports that.
The thing is, your attempts at eliminating boilerplate can be pretty bad and take pretty long before they're worse than writing out the boilerplate in full.
Boilerplate code is by itself a problem. If it's just scaffolding, i.e. you're not duplicating logic, then it still makes code harder to read and annoying to maintain.
If you are duplicating logic, then it's a maintenance nightmare. You fix a bug in one version of it, now you gotta update 14 other versions which the LLM dutifully generated with the same bug.
Or worse, it wasn't dutiful (much like a human typically isn't), so now you've got different bugs in different versions of it, as well as different fixes over time, and you quickly lose track which version is the good one.