Yes, you don't understand. I have a schizoid brother. He never worked for a living his whole life (he's 46). He lives off my mum's income, and spends his day in front of the computer screen. He has no friends and no…
It would be interesting to see if this new counting method has any implications to counting 2SAT or parity-counting of 2SAT. Since problem posed in XORSAT and 2SAT clauses is NP-complete, this could have implications…
> The companies were always trying to get coworkers together and have events (on company time) that got teams mixing and socializing across departments. Really depends. These are people in the same social class. But I…
I don't think he believes in Antichrist, the same way Elon Musk doesn't believe we'll go to Mars. I think these are calculated statements to manipulate people. (The U.S. oligarchs find some of the more gullible…
Why is everyone so hang on determinism? Monte Carlo methods are nondeterministic but still programming. We use random generators in many programs.
If I was brainwashed - maybe (hypnosis is sometimes called programming). But I am not, and AI agent is - it's trained to follow instructions, cannot help itself but do it. Another difference is the binary code - I can…
Some compilers can do that, but only in a shy way. For example Haskell's deriving or inference of the correct method called on typeclass. Or the Prolog/Datalog/SQL - they will also fill in many details on how to arrive…
I think this might be a false dichotomy, because for instance, I think LLMs are programmable in natural language, and they act as compilers, I even think they can replace programmers; but still I agree with Dijkstra,…
Claude also checks well-formedness - if you give it gibberish instructions, it will respond that it is gibberish and do nothing. On the other hand, there exist programming languages (like Jot, a certain encoding of…
Of course instructing agent is programming; the agent is an interpreter (albeit in some cases nondeterministic, but that's true for most programming languages that have a function to get current time) of the natural…
I don't think this is a productive discussion, I tried to make my point clearly, and never said anything about beaches.
At the end of the day, the program was asked for by somebody, and that person described what they wanted. Whatever the program does, it can only be as much correct as much unambiguous was the description that conceived…
If you're able to detect where you use these hard-to-analyse functions, then yes. This is feasible on source level, and maybe known compiler binary level. I think ultimately people will want to validate properties of…
Actually, bugs might surface during such restructuring. If the statement you're proving can be greatly simplified to something reasonable, if we omit this one weird special case, that indicates a bug in the…
While I completely agree with 3uru, where it can get stuck is if your system contains a pseudorandom generator or some other cryptographic shenanigans. These are programs deliberately made difficult to analyze and…
Except COBOL systems are often easier to formally verify than modern systems. They're often simpler, and whole classes of security vulnerabilities are mitigated by design. My favorite example is SQL injection mitigated…
The ecosystem migration (usually to higher latitudes) due to climate change is quite well-documented. And you want to do it back and forth? I am not saying I have all the answers, I am just not convinced that…
I agree, I believe I would disagree with most of the Hammurabi's code, and I also happen to disagree with the majority of the ten commandments. (I am an atheist leftist humanist, cosmopolitan liberal socialist.)
> while having way less diversity of answers to that question than humans would Isn't that to be somewhat expected due to https://en.wikipedia.org/wiki/Aumann%27s_agreement_theorem ?
"Going back to 1.5 actually means less damage than not going back." That's a different claim, but also no. Let's imagine we go 1.5 -> 2 -> 1.5 in a few decades (and keep in mind capture is more difficult, so the 2nd…
Large enough context window is enough. Yes, the md files can be filled back in, but other stuff (unneeded details) can be swapped out.
Yes, but we are really talking about LRMs not LLMs. They can emulate working memory so well that many people even recommend using bunch of .md files (as a sort of out-of-context notes) instead of RAG based on vector…
It was suggested by TFA: "The urgent task is to ensure that global warming remains below the 2°C threshold, with the aim of returning to 1.5°C by the end of the century." I disagree it's impossible but I agree it is…
I disagree. LLMs might create incoherence not because of context size limit is too low, but because it's too high. The limit is vastly higher than for humans. But to overcome the limit, one needs to adopt simpler, more…
That's not what I am saying at all, I am just pointing out that venturing to 2 degrees (or more) and back to 1.5 degrees incures the cost. Maybe it's well-known at this point, and I am just stating the obvious; but it's…
Yes, you don't understand. I have a schizoid brother. He never worked for a living his whole life (he's 46). He lives off my mum's income, and spends his day in front of the computer screen. He has no friends and no…
It would be interesting to see if this new counting method has any implications to counting 2SAT or parity-counting of 2SAT. Since problem posed in XORSAT and 2SAT clauses is NP-complete, this could have implications…
> The companies were always trying to get coworkers together and have events (on company time) that got teams mixing and socializing across departments. Really depends. These are people in the same social class. But I…
I don't think he believes in Antichrist, the same way Elon Musk doesn't believe we'll go to Mars. I think these are calculated statements to manipulate people. (The U.S. oligarchs find some of the more gullible…
Why is everyone so hang on determinism? Monte Carlo methods are nondeterministic but still programming. We use random generators in many programs.
If I was brainwashed - maybe (hypnosis is sometimes called programming). But I am not, and AI agent is - it's trained to follow instructions, cannot help itself but do it. Another difference is the binary code - I can…
Some compilers can do that, but only in a shy way. For example Haskell's deriving or inference of the correct method called on typeclass. Or the Prolog/Datalog/SQL - they will also fill in many details on how to arrive…
I think this might be a false dichotomy, because for instance, I think LLMs are programmable in natural language, and they act as compilers, I even think they can replace programmers; but still I agree with Dijkstra,…
Claude also checks well-formedness - if you give it gibberish instructions, it will respond that it is gibberish and do nothing. On the other hand, there exist programming languages (like Jot, a certain encoding of…
Of course instructing agent is programming; the agent is an interpreter (albeit in some cases nondeterministic, but that's true for most programming languages that have a function to get current time) of the natural…
I don't think this is a productive discussion, I tried to make my point clearly, and never said anything about beaches.
At the end of the day, the program was asked for by somebody, and that person described what they wanted. Whatever the program does, it can only be as much correct as much unambiguous was the description that conceived…
If you're able to detect where you use these hard-to-analyse functions, then yes. This is feasible on source level, and maybe known compiler binary level. I think ultimately people will want to validate properties of…
Actually, bugs might surface during such restructuring. If the statement you're proving can be greatly simplified to something reasonable, if we omit this one weird special case, that indicates a bug in the…
While I completely agree with 3uru, where it can get stuck is if your system contains a pseudorandom generator or some other cryptographic shenanigans. These are programs deliberately made difficult to analyze and…
Except COBOL systems are often easier to formally verify than modern systems. They're often simpler, and whole classes of security vulnerabilities are mitigated by design. My favorite example is SQL injection mitigated…
The ecosystem migration (usually to higher latitudes) due to climate change is quite well-documented. And you want to do it back and forth? I am not saying I have all the answers, I am just not convinced that…
I agree, I believe I would disagree with most of the Hammurabi's code, and I also happen to disagree with the majority of the ten commandments. (I am an atheist leftist humanist, cosmopolitan liberal socialist.)
> while having way less diversity of answers to that question than humans would Isn't that to be somewhat expected due to https://en.wikipedia.org/wiki/Aumann%27s_agreement_theorem ?
"Going back to 1.5 actually means less damage than not going back." That's a different claim, but also no. Let's imagine we go 1.5 -> 2 -> 1.5 in a few decades (and keep in mind capture is more difficult, so the 2nd…
Large enough context window is enough. Yes, the md files can be filled back in, but other stuff (unneeded details) can be swapped out.
Yes, but we are really talking about LRMs not LLMs. They can emulate working memory so well that many people even recommend using bunch of .md files (as a sort of out-of-context notes) instead of RAG based on vector…
It was suggested by TFA: "The urgent task is to ensure that global warming remains below the 2°C threshold, with the aim of returning to 1.5°C by the end of the century." I disagree it's impossible but I agree it is…
I disagree. LLMs might create incoherence not because of context size limit is too low, but because it's too high. The limit is vastly higher than for humans. But to overcome the limit, one needs to adopt simpler, more…
That's not what I am saying at all, I am just pointing out that venturing to 2 degrees (or more) and back to 1.5 degrees incures the cost. Maybe it's well-known at this point, and I am just stating the obvious; but it's…