karmacoma pfp
karmacoma
@karma
Play it while it's hot: SAT or NOT. The first frame game where *you* figure out if a random 3SAT instance is satisfiable (or not). https://sat-or-not.onrender.com
21 replies
48 recasts
124 reactions
karmacoma pfp
karmacoma
@karma
3SAT is an instance of the Boolean Satisfiability Problem, where each clause has 3 terms. Sounds simple, but it's actually an NP-complete problem. You get a formula made of boolean terms a, b, c and their negation, and you need to figure out if there is an assignment that makes the formula true aka SATisfiable
1 reply
0 recast
4 reactions
nicholas 🧨 pfp
nicholas 🧨
@nicholas
new levels of nerdiness on here!
1 reply
0 recast
4 reactions
0xkato pfp
0xkato
@0xkato
It happend a lot quicker then I thought😁
1 reply
0 recast
3 reactions
Roberto Bayardo 🎩 pfp
Roberto Bayardo 🎩
@bayardo.eth
Did 6 in a row they were all to SAT? Are you using the classic random 3-sat phase transition parametrization to make things hard? (Might not work for tiny instances...) I used to geek out on algos for SAT solving.
1 reply
1 recast
1 reaction
tschoerv.eth pfp
tschoerv.eth
@tschoerv.eth
that's actually quite satisfiable to play haha
1 reply
0 recast
1 reaction
5/9 pfp
5/9
@fiveoutofnine.eth
fire
1 reply
0 recast
1 reaction
Eric pfp
Eric
@plante.eth
any chance you’re keeping score of the longest and shortest streaks?
1 reply
0 recast
0 reaction
a16zcrypto pfp
a16zcrypto
@a16zcrypto
🧠
0 reply
0 recast
2 reactions
Mikefrancis pfp
Mikefrancis
@mikefrancis
Nice 🔥
0 reply
0 recast
1 reaction
ROLU🎩 pfp
ROLU🎩
@rolu
this is cool, great lil demo of frame possibilities 🤤
0 reply
0 recast
1 reaction
Juan Antonio Lleó 🎩 pfp
Juan Antonio Lleó 🎩
@jalleo
200 $DEGEN
0 reply
0 recast
1 reaction
Hachiman pfp
Hachiman
@kidojess
Cool game sir
0 reply
0 recast
1 reaction
avi pfp
avi
@avichalp
this is the content i am here for
0 reply
0 recast
1 reaction
Will Stumpf pfp
Will Stumpf
@willstumpf
hahaha reminds me of the scene in Silicon Valley "always blue" but "always SAT"
0 reply
0 recast
1 reaction
0xkato pfp
0xkato
@0xkato
I just ran thoughts 10 I think and all of them were SAT
1 reply
0 recast
0 reaction
Matthew Fox 🌐 pfp
Matthew Fox 🌐
@matthewfox
they are all true lol
0 reply
0 recast
0 reaction
prmck.eth (w☮️/acc) pfp
prmck.eth (w☮️/acc)
@prmck.eth
inb4 comments asking for their $3SAT airdrop
0 reply
0 recast
0 reaction
apep ツ pfp
apep ツ
@xjpeg.eth
69 $DEGEN
0 reply
0 recast
0 reaction
tyler ↑ pfp
tyler ↑
@trh
589 $degen I don’t understand any of it but have some coin
0 reply
0 recast
0 reaction