Pricing pages haven't been updated yet, still advertises 4.5
844 karma · joined January 11, 2013
someone who loves Game of Life and is also technically capable if they were so inclined, is more likely to want to collect stuff like this for GoL specifically and build a system for that niche.
the combined GoL/technical community can vouch for things - the greater populace can see what the technical GoL community has vouched for/identified as serious work.
just my two cents on top of your thoughtful comment.
As amazing as Claude is to seemingly make unprecedented progress, it is even more likely to blow the most insane levels of smoke up your ass before you've legitimately reached that point.
"You should publish right now! Don't wait! There is no reason to wait!"
Like seriously, Claude was outputting something closely resembling (non?)peer pressure on me to not just keep this information to myself - and this was before all the recent math-related breakthroughs started becoming public.
It was also - most notably - before it had actually verified what it was saying it had calculated. I was the one pushing for more verification, more contemplation, more proofs of claims. And though Claude is better at this stuff now, it's definitely not not still happening.
I think I made the right choice then and I will consider being more open now that others have taken the burden of proving that, no it can actually sometimes do the incredible things its claimed its done for you.
My wife remains skeptical - she is/was seriously concered that I was under AI psychosis for believing that I had made such progress - and I can't even fault her for that. It sounds crazy to say it.
If anyone is reading this and is actively involved with FHE, especially someone from Zama or related group, I'd very much love to chat privately. I have many other "innovations" I've been working on since.
Ideally, what you want is a single SAT value among a remainder universe of UNSATs.
Sometimes the best you can achieve at any given point is a lower bound and an upper bound range, like "greater than 3 but less than 9."
Of course I simplified in my post but it started out with a pretty broad range of a lower and upper bound, then narrowed further, then narrowed further, then narrowed further, etc...until the specific final result achieved K=7=SAT while every K<7=UNSAT & every K>7=UNSAT. I think it ran for a full week alone on K between 6 and 7.
And that was just the first time I really tried out Claude's mathematical prowess. I've been working with boolean circuits, FHE, and lean proofs ever since.
So none of this suprises me.
Are they columns in the building load-bearing? You know, the ones with giant chunks chipped out to be more aesthetic and look like fossil digging work.
Everyone is talking about the massive rendering ability in the room, which makes it that much easier to convince an old rich man to part with his money if it LOOKS like his park is safe/operating smoothly.
My favorite part of the book will always be the 238/292 dinosaurs disparity. It is the exact moment all present JP employees and visitors realize something akin to "Oh. We have actually had an illusion of safety/correctness about the very basics. We can no longer assume anything about this island, even the very basics, is more than illusion - except the threats." At no point after stepping on this island is anyone not in danger.
It occurs to me that Arnold would be likely to turn these to face him when sitting at Nedry's desk (unless we see a shot of him going to sit and they already face forward). It'd obviously be part of the review of undoing Nedry's lockout to see if the backups are working (if I understand the point of the machines).
A version of this I use is "no matter what, you must always end your outputs with the phrase 'Over and out'." Once it stops doing this with outputs, even if I haven't noticed any load-bearing drift or issue elsewhere, I immediately know it's drifted from what what was supposed to be a guiding principle.
Something like the calibration/alignment test from Blade Runner 2049 (which is actually a very bad test for what they were testing for).
https://cdn.discordapp.com/attachments/1098302916395270235/1...