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.
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.
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.
Yeah, maybe I would need to get used to ASCII more, too. I just find it particularly tricky in crowded fights to know which monster is where. Like, I can work it out with a bit of time, but I can't just look at it once and see immediately that the C next to me is a cyclops, which I should be getting away from ASAP. I guess, you'd probably memorize letters/colors like that sooner rather than later, when actually playing with ASCII, though...
Yeah, I think it's interesting to play it in ASCII. It makes you actually read the text logs and use your imagination, which feels more like a book. But it also makes it harder to actually know what's going on, so I really don't know about it being more fun...
Well, and there's also just lots of webpages implemented as an SPA – Single-Page Application.
Which you might be able to register in your browser as a PWA – Progressive Web App.
And which are just generally equally as interactive as an app, so good luck explaining the difference to folks who don't care about implementation specifics...
I think, it's mainly just companies trying to get their foot into the market. If Microsoft can establish LLMs as alternative to search, then it's Google that loses market share. And once they control a share of the market, then they figure out how to capitalize on that.
At the very least, they can use it to control what information is available to the public and how it's framed. But they can also integrate things like the LLM generating an affiliate link when asked about a product, or just generally weaving ad placements into the generated answers.
This is pretty much the biggest reason why I like fish. It automatically runs Ctrl+R as soon as you start typing and shows it as auto-completion suggestion.
You would not believe all the things past-me has run in their terminal, that I would never think to Ctrl+R. It's like the AI stuff the whole IT world rages about, except past-me has real intelligence.
I was wondering, if it's perhaps relatively common between nations for passports to be red, but from some very quick image searching that doesn't really seem to be the case:
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.