derdi

14 ms·

211.
by derdi 2y ago
That person might want to become constitutional commander in chief and hope that the executive will follow their unconstitutional orders.
212.
by derdi 2y ago
> This cycle, which was recognized by Polybius and called anacyclosis, played itself out in both Athens and Rome in antiquity. Could you be more explicit about Rome please? From what I know, the transition from Roman kings to the Republi
213.
by derdi 2y ago
Thanks, I know that history, and nobody is denying the influence. The broader context are your claims about "a lot of commonalities here". There are commonalities, but they are shallow.
214.
by derdi 2y ago
> Nothing will warn you that the variable wasn't declared because that's also a normal thing to do. Minor nitpick regarding an otherwise good answer: Prolog systems will warn you about "singleton variables", that is,
215.
by derdi 2y ago
You're reading too much into that quote. This is in a section titled "early experiments". It was an initial goal. There is a lot of historical connection to Prolog, due to the original implementation, and there are syntactic
216.
by derdi 2y ago
> this suggests a different generative-testing approach: generatively inject behavioral perturbations which don't violate equivalence, attempting to provoke failures in client code There is a compiler fuzzing method called "equ
217.
by derdi 2y ago
> For instance, interpreting double-quoted strings differently from what the standard prescribes is not an extension in the sense the standard defines it, but a modification of the standard. Agreed, but also minor as you can and should s
218.
by derdi 2y ago
It generated a list stuffed with distinct logical variables. Any list of length 3 is unifiable with this list. Or in other words, this is the unique (up to variable renaming) most general list of length 3. Whether this is a "yes"
219.
by derdi 2y ago
I acknowledge that you also included your nice talking point in a paper you published on arXiv. Citing yourself doesn't convince me any more of the credibility of this argument. > is there even the slightest doubt about the importan
220.
by derdi 2y ago
> adherence to industry standards is of great importance for warranty reasons among others This is mostly a nice talking point rather than an actual thing, right? Scryer's license contains the usual all-caps NO WARRANTY and NO FITNE
221.
by derdi 2y ago
To be even more precise, Prolog programs only ever run forward because the order of evaluation is fixed as top-down, left-to-right. These notions of "forward" and "backward" are very unhelpful and should be given up. Beg
222.
by derdi 2y ago
GraalVM's Truffle languages try to make this easier. You still have to write a parser and an interpreter. But from these you get a compiler for free. Plus tools like a debugger, I think maybe a language server as well. And your languag
223.
by derdi 2y ago
Or maybe the GGP was wrong about performance? Some default settings in SWI are not ISO-compliant (for example, it uses a string type that does not exist in ISO). But these are minor things that won't usually trip you up when feeding it
224.
by derdi 2y ago
There are classes of infinite loops that are harder to spot for beginners, it takes a while to really understand the execution model. Prolog variables can have two states at runtime: unbound or bound. A bound variable refers to some value,
225.
by derdi 2y ago
> My Prolog programming assignment #4, a Prolog "nehcihsahA" detector (maternal uncle: a mother's brother, or any equivalent relative) seemed designed to make me hate Prolog with a passion, involving bending over backwards
226.
by derdi 2y ago
> Sometimes I wonder if it's the money per se, or what brings in the money, or both. There is a correlation between age and happiness. People of retirement age are generally happier than people in their forties. It's probably s
227.
by derdi 2y ago
> First the :) means I was somewhat joking. Sure, but about what? To me it came across as "I acknowledge my kids' right to privacy and chose to phrase this humorously". Now it sounds more like "I deny my kids' ri
228.
by derdi 2y ago
> Yes - I agree (I am a parent) that the law is stupid. If a kid doesn't want their parents to know something they should do it the old fashion way and lie as I did and my parents did before me etc:) The law seems to be about making
229.
by derdi 2y ago
Sure. There is no magic source of free money. My point was that, even if there were a magic source of free money for the UBI, "don't give money to the rich" would still be implemented in the most simple way as "do give m
230.
by derdi 2y ago
The simple possession of money by a hungry person causes that money to flow by encouraging the person to spend the money on food. That causes work to happen at the food producers. Maybe even so much more work that they're willing to hi
231.
by derdi 2y ago
What's wrong with the word "income" for "a lump sum of money that everybody gets every month"?
232.
by derdi 2y ago
> When people start talking about UBI, they are really talking about a guaranteed minimum income. No. A guaranteed minimum income means that you can make 500 Euros scrubbing toilets, and welfare bureaucracy will top that up to 1000 Euros
233.
by derdi 2y ago
I think you misunderstood the parent. If you speak of a number in the range 0-15 stored in 4 bits, we can all agree that "4 bit digit" is the appropriate term for it. But what about a number also stored in 4 bits but restricted to
234.
by derdi 2y ago
Sophisticated reducers like C-Reduce do know things like that parens go in pairs. C-Reduce has many transformation operations, and while some are syntax agnostic (delete a few characters or tokens), others use Clang to try to parse the inpu
235.
by derdi 2y ago
As the article says, right at the top: "The plan is to demonstrate techniques that “everyone knows” because everyone, in fact, does not already know them."