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
22 replies
31 recasts
87 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
5 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
thinh9999 pfp
thinh9999
@thinheth
Any one help me understand this :)))
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
Juliana pfp
Juliana
@luckypoint
Done
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
Yogi Iskandar 🎩🍖 pfp
Yogi Iskandar 🎩🍖
@yogygills
Fire
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
Nana42391 pfp
Nana42391
@kelvin83
amazing
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
ZMS 🎩 pfp
ZMS 🎩
@zicomsinaga
nice game😀
0 reply
0 recast
1 reaction