MWil

5 ms·

1.
by MWil 1mo ago
Pricing pages haven't been updated yet, still advertises 4.5
2.
by MWil 1mo ago
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
3.
by MWil 1mo ago
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 also technically capable if they were so inclined, is more li
4.
by MWil 1mo ago
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 way (except for a private DM discussion on Discord if I e
5.
by MWil 1mo ago
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, what you want is a single SAT value among
6.
by MWil 1mo ago
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 previous literature on the topic. Let it run it throug
7.
by MWil 1mo ago
I vividly remember Sandstorm. It was very intuitive and easy to use for a non-technical user like myself.
8.
by MWil 2mo ago
And a certain director...
9.
by MWil 2mo ago
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??
10.
by MWil 2mo ago
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 is actually scarier - un
11.
by MWil 2mo ago
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 innovations/control. Are they colu
12.
by MWil 2mo ago
"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 sitting at Nedry's desk (unless we see a shot
13.
by MWil 4mo ago
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 monitored cheaply. A version of this I use is "no
14.
by MWil 4mo ago
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 constraint violation?
15.
by MWil 5mo ago
the author seems unaware of the SAT/SMT solver/analysis ecosystem
16.
by MWil 5mo ago
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 plead for it to give only the most innocuous example that co
17.
by MWil 5mo ago
only if we crypto first
18.
by MWil 2y ago
good god, lemon
19.
by MWil 2y ago
Was using latest Chrome
20.
by MWil 2y ago
The demo didn't finish loading on a 4090 after 5 minutes...
21.
by MWil 3y ago
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
22.
by MWil 3y ago
It gets even worse being MORE explicit about referencing THE '"Cat and Girl" online comic strip by Dorothy Gambrell'
23.
by MWil 3y ago
this is what I get explicitly asking for "Cat and Girl" in the style of Dorothy Gambrell. https://cdn.discordapp.com/attachments/1098302916395270235/1...
24.
by MWil 3y ago
"Ssssssssss," the basilisk said, with "seeming" approval.
25.
by MWil 3y ago
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
26.
We built an AI-powered Magic the Gathering card generator(txt.cohere.com)
130 points by MWil 3y ago|87 comments
27.
by MWil 3y ago
This is my test. Just got 5gbe fiber installed this week. https://imgur.com/a/fTG815R
28.
by MWil 3y ago
LK-99 really took this AMAZING story out of the mainstream...what a shame.
29.
by MWil 3y ago
I cannot for the life of me find the links but I feel like this happened with Monopoly or some other board game.
30.
by MWil 3y ago
https://jvwr-ojs-utexas.tdl.org/jvwr/article/view/287/241

More ›