Viewing profile — MWil

my memory was that SMT was part of a more advanced SAT solver, as in if you want to be modern/use SOTA, your SAT solver is going to use SMT

i think that opportunity optimally exists separately in each niche community impacted, if only to break up the number needed to be reviewed. someone who loves Game of Life and is a…

Claude was persistent that I post there at the time, and even drafted an eprint brief for me, but I think it's defensible why I did not, never came forward or spoke of it in any wa…

SAT solvers run until they reach the "SAT" status, meaning "satisfied" or UNSAT. The harder the problem the longer you might be running the program - days, weeks even. Ideally, wha…

Several released versions and months ago, I asked Claude to figure out the MC (multiplicative complexity) of Conway's Game of Life and it pretty quickly arrived at k=7, despite no …

I vividly remember Sandstorm. It was very intuitive and easy to use for a non-technical user like myself.

And a certain director...

I know I'm being a Crichton/Spielberg fanboy when I ask for the lore equivalent of Occam's Razor - isn't it more likely my favorite creators did this most impressively??

Spielberg masterfully turned the 238/292 into the visual/explanation of the egg. I don't remember if the book has the "why" so much as the "at what scale" of the reality. The egg i…

I feel like I'm picking up on more intentional or if not, lore-compatible, examples of John Hammond's "spare no expense" going towards as much the illusion of control as any actual…

"There is a continuity error in the movie. See how the stack of PLI is facing left in this early shot." It occurs to me that Arnold would be likely to turn these to face him when s…

No, more like not waiting for drift/deviation to hit something load bearing or god forbid go on hitting unnoticed over time. Let it hit something trivial that is constantly being m…

have you considered implementing the addition of a leading canary sentinel that fires at the earliest/cheapest possible point instead of only on lag of some actual load-bearing con…

the author seems unaware of the SAT/SMT solver/analysis ecosystem

Opus 4.7 told me an open source program had a bug, but when i asked it for help crafting a PR or toy implementation it refused and told me i was violating Claudes TOS. I tried to p…

only if we crypto first

good god, lemon

Was using latest Chrome

The demo didn't finish loading on a 4090 after 5 minutes...

what you'd really need to do is actually a custom --style that is trained on her images specifically, which midjourney allows https://www.youtube.com/watch?v=Iy4d4UP7w2c

It gets even worse being MORE explicit about referencing THE '"Cat and Girl" online comic strip by Dorothy Gambrell'

this is what I get explicitly asking for "Cat and Girl" in the style of Dorothy Gambrell. https://cdn.discordapp.com/attachments/1098302916395270235/1...

"Ssssssssss," the basilisk said, with "seeming" approval.

You don't have a way to reach out on your profile but I'd be willing to scan and send you a csv of your collection for easy selling for a low flat rate