ghusbands

20 ms·

241.
by ghusbands 4y ago
> There's a run-length encoding program in the "99 Prolog problems" and it also doesn't use cuts I tested them. p10, p11 and p13 all infloop when you ask what encodes to [[3,7], [2,8], {what 9 encoded to}]. p12 claims
242.
by ghusbands 4y ago
The sibling comment has a good general answer. In this particular case, if you use cut, it seems like it works, but then you try to solve rle([9,9,A,B,8,7], [[9,X], [8,Y], [7,1]]) or other bidirectional things and you find the cuts prevent
243.
by ghusbands 4y ago
I was lumping clpfd under metaprogramming, since it acts like an extra runtime or dsl and you can't use the prolog debugger to make sense of it. I'll readily admit that prolog+clpfd is very powerful; any goalpost-moving on my part
244.
by ghusbands 4y ago
Just try writing (without hacks/cuts) a run-length encoder that produces only one answer ([9,9,9,8,8,7] -> [[9,3], [8,2], [7,1]]) and works forwards and backwards and then tell me the execution model is not a limitation. It's t
245.
by ghusbands 4y ago
Given that the full technique apparently works well for userbinator, we can assume that this isn't a very significant issue. The chances of a phantom call instruction will be pretty low, and there's a fairly low maximum instructio
246.
by ghusbands 4y ago
Sure, if you fully predict all bugs in advance and compensate for them, nothing is complex, but that's not really feasible.
247.
by ghusbands 4y ago
I think I prefer this: foldr _ z [] = z foldr k z (x:xs) = k x $ foldr k z xs
248.
by ghusbands 4y ago
They are completely correct. If the DFA fits in RAM, following state transitions will be O(1) and using the DFA for a concatenated string of length N will be O(N). You simply missed a good solution.
249.
by ghusbands 4y ago
You sleep better by consciously breathing through your nose at night? Or during the day?
250.
by ghusbands 4y ago
The concept is what's important, here, since they were correcting the idea that git works mainly on diffs, which it doesn't. The diffs are merely a storage optimisation.
251.
by ghusbands 4y ago
All of the given techniques will produce visible artifacts on harder edges when viewed up close, because they apparently involve crossfading between multiple copies with different orientation/reflection. That might be why all the examp
252.
by ghusbands 4y ago
It's not just about the validation success, but about having only one bit of code consuming the looser input and producing a definitely-correct output. If you simply validate and preserve success, you still later need to produce the ou
253.
by ghusbands 4y ago
You're confusing CPTSD and PTSD. Your link talks about EMDR for PTSD, not CPTSD. The post you're replying to is talking about CPTSD. They can be quite different.
254.
by ghusbands 4y ago
> A lot of people have a terrible conception of what proper white is. Color is a perceptual phenomenon that is not independent of surroundings and is especially tricky when you're talking about emission. Just as a piece of white pap
255.
by ghusbands 4y ago
EMDR is fantastic for PTSD and helps with some C-PTSD, but for a lot of people with C-PTSD, it only retraumatises, and a lot of EMDR practitioners seem unaware of this. Internal family systems can be a better choice for C-PTSD sufferers.
256.
by ghusbands 4y ago
> should always be full > always have something to read from the queue In the first case, you've gone a bit far. To maximise utilisation, you want the queue to never be empty when polled.
257.
by ghusbands 4y ago
It's not limited to any era - it's a general-purpose tool that can perfectly reproduce bugs, even most race conditions. The lack of multi-threading will mostly just slow things down. Being able to perfectly reproduce a bug is imme
258.
by ghusbands 4y ago
You lose all client-side performance benefits if the components are only on the server. Ideally, you would improve the performance of hydration or only hydrate when necessary.
259.
by ghusbands 4y ago
I suspect it's to make clear to the peanut gallery that there is indeed a valid shortest path in the tests they were doing.
260.
by ghusbands 4y ago
While I use ChatGPT myself, its ability to invent true-seeming information is insidious. One of the early popular examples was asking ChatGPT what the downsides are of generics in TypeScript, and it cited that they're not compatible wi
261.
by ghusbands 4y ago
Some CDs are very scratched. Some CDs are CDRs with dye that hasn't aged well. Some CDs just don't read well (poor manufacturing tolerance, perhaps). Some drives silently return bad data on error. Some drives return a lot of error
262.
by ghusbands 4y ago
> so you can do things like partial library upgrades when there's breaking changes. Large migrations like python 2 to 3 wouldn't take O(10yr). That wouldn't quite work, though, as Python 2 and 3 have mutually-incompatible
263.
by ghusbands 4y ago
There's also the distance between the eyes not matching that of the cameras. And the fact that the 3d scene that isn't from the cameras does not have your eyes in the same position.
264.
by ghusbands 4y ago
> Not everyone uses the Julian calendar Almost nobody does. You probably mean the Gregorian calendar.
265.
by ghusbands 4y ago
To save others the effort of reading - this only discusses the proof and not the by-hand check or "about a dozen errors" mentioned in the parent post.
266.
by ghusbands 4y ago
This engine at least says it has "High DPI resolution & Canvas advanced auto scaling", so it might not have that issue.
267.
by ghusbands 4y ago
Which is fine until it very confidently tells you things that are untrue, but look true (because it's good at presenting things that look true). It hallucinates entire libraries and meanings for command line parameters.
268.
by ghusbands 4y ago
It wasn't in the training set - the puzzle was released today, as part of this year's advent of code. ChatGPT is eminently publishable and has demonstrably produced plenty of novel, if boring, code.
269.
by ghusbands 4y ago
The artistic output of things like DALL-E is also "incorrect" in varied and obvious ways, though. A lot of people with an artistic bent can't stand to inspect DALL-E output due to the clearly visible incoherency and inconsist
270.
by ghusbands 4y ago
A lot of time (runtime and profiling/optimization) is spent here on looking up variables by name at runtime. Even in an AST, you can fully resolve variable references at parse time to an integer index into the environment/stack. Y

More ›