Zendo

John Dvorak

9:00 AM

I'll be hard pressed to see it formulate a rule, though

Wen1now

Oh yeah, the rule part might be a bit... difficult

ffao

<posts network>: WHATEVER PASSES THIS SIMPLE SET OF RULES

Wen1now

But if the confidence (and correctness) level is high, then I can just test examples by myself

micsthepick

(back)

John Dvorak

A set of weights doesn't count unless you also release the neural network engine in a format the master can use

boboquack

9:01 AM

Sorry

Wen1now

A set of weights, I think, would count as a valid rule...

boboquack

AAABBABBABBA is true

Wen1now

As long as you had like a round function on the result

John Dvorak

in which case the AI player might as well fully run at the master's side

Sp3000

Welp, I guess it's ffao's turn then

John Dvorak

9:02 AM

yay, a gem

boboquack

I had to attend to some more matters

John Dvorak

@ffao

ffao

mondo AAABBABBABBAB, guess false

micsthepick

guess false

Wen1now

That rule always confuses me - why are they called gems when only one person gets one (and stones otherwise)? Is it because they are extra rare, that way? And the two-guesses-for-one thing for gems is overpowered

John Dvorak

9:03 AM

guess false

Sp3000

guess true

John Dvorak

what do you mean, two guesses for one?

micsthepick

there is a B at the end

Wen1now

guess true

I have no idea for the rule right now

John Dvorak

gem vs. stone is just flavor. I don't think there's a special rule for it.

boboquack

9:05 AM

AAABBABBABBAB is false

ffao

guess #A >= #B

John Dvorak

sniped

boboquack

Counterexample: BAB is true

John Dvorak

huh

Wen1now

This is where it gets interesting

ffao

9:06 AM

I got us an interesting counterexample

I'm happy

John Dvorak

Aye

@micsthepick

micsthepick

no remaining stones for ffao?

John Dvorak

oops, sorry

ffao

no

micsthepick

ohh

1 min ago, by ffao

I'm happy

so

master: ABBA

boboquack

9:08 AM

ABBA is true

pass

master AABBBB

AABBBB is true

guess: false iff odd number of B and even number of A

Wen1now

@boboquack?

I've gtg soon

boboquack

9:11 AM

counterexample: BABABAB is false

Wen1now

I just want to take one swing at the rule

pass

mondo ABB guess true

false

false

9:11 AM

guess true

boboquack

@Sp3000 how's your battery going?

(starts timer)

Wen1now

I've gtg really soon

boboquack

OK

ABB is true

John Dvorak

vote skip

micsthepick

second

boboquack

9:13 AM

too late :P

Wen1now

Guess: # of Bs is a multiple of the # of As

Correct

nice

Okay cya later

(that didn't last as long as I intended :P)

ffao

9:14 AM

I would take much longer to get that

John Dvorak

Who wants to master?

boboquack

Checker function used:

def check(x):return float(x.count('B')//x.count('A'))==x.count('B')/x.count('A')

ffao

good thing Wen1now doesn't do maths so he can't figure out these rules

John Dvorak

for my previous rule:

f = -> *a{! a.any?{|x| a.any?{|y| (x-y) % 12 == 6}}}

Sp3000

@boboquack Weirdly, thanks to power saver mode, new messages weren't loading as fast as they should have (having said that I think I'll just spectate for a bit until I get home in an hour)

as4s4hetic

9:15 AM

I've thought of a rule but it's incredibly ridiculous

boboquack

o/ to play again

John Dvorak

O/

micsthepick

incredibly ridiculous but guessable?

'O/' means willing to Master

o/

boboquack

I learnt yesterday that concatenation in strings of 2 letters is equivalent to multiplication of 2x2 matrices with determinant 1

so that's why I did strings in two letters

I'll spare y'all from working out the determinants of matrices

John Dvorak

"SHA256 of the koan is divisible by 3" probably wouldn't be a good rule :P

ffao

9:17 AM

probably not.

boboquack

ffao's next rule - SHA256 of the koan is composed of only 0x0s, 0xAs and 0xFs

John Dvorak

Hopefully not :P

as4s4hetic

it's a very linguistics nerdy rule

micsthepick

good luck finding an example

John Dvorak

It would be difficult to find positive examples for that rule, though

micsthepick

9:18 AM

as I said, ^

John Dvorak

Mine's easier, just 3 attempts average :P

boboquack

anyway, John defending?

John Dvorak

OK

boboquack

I always thought your profile picture was a bat, John

this is the first time I've clicked on it

@as4 playing?

John Dvorak

Valid koans: words. Example: moon, counterexample: wolf

Who plays?

micsthepick

9:20 AM

o/

John Dvorak

@bobo, @ffao playing?

not sure yet

Anyways, Mics starts

I am

Turn order: Mics, Bobo, ?

micsthepick

9:22 AM

3: toot

wait

wrong game :P

boboquack

Order: mics, bobo, [ffao], [as4], [sp3]

contact 3

master toot

toot is true

master indeed

indeed is true

9:23 AM

true indeed

@ffao

spectating for now

@as4s

master: rain

@JohnDvorak you only need 3 characters

John Dvorak

9:24 AM

rain is false

boboquack

Order: mics, bobo, as4

mondo: llama

guess true

guess true

guess false

@Sp3000 playing?

11 mins ago, by Sp3000

@boboquack Weirdly, thanks to power saver mode, new messages weren't loading as fast as they should have (having said that I think I'll just spectate for a bit until I get home in an hour)

John Dvorak

9:26 AM

llama is true

Do you wish to guess?

boboquack

Guessing

Guess: has a double letter

Correct

aww really?

wait, really?

Should I pick something harder the next time?

as4s4hetic

9:28 AM

;-;

certainly!

WOah

sorry ;-;

'Has a double letter' is something I just made up as an example to demonstrate to some people how to play

boboquack

Can I go again, or would someone else prefer to go?

Wen1now

9:29 AM

Like literally, just then

While I was gone

as4s4hetic

go for it!

micsthepick

Have a crack at it!

boboquack

Valid koans: Strings in two letters (A and B)

as4s4hetic

@Wen1now I thought you went to write your essay >_>

boboquack

(again)

Wen1now

9:30 AM

I can multitask - I mean play zendo while writing essays. I left for dinner

boboquack

ABAA is true

BBBABB is false

Wen1now

writes a program to convert these to matrices

boboquack

Order: John Dvorak, as4s4hetic, Wen1now, micsthepick

@Wen1now I'd actually like to know the bijection

I mean, I could work it out myself

but that's too much effort

Wen1now

Oh. I thought it was easily googlable

boboquack

(I think the matrices were with positive integers)

John Dvorak

9:33 AM

master: BABB

sorry for the delay

Wen1now

Meanwhile, I haven't learnt any interesting facts recently

BABB is true

master: AAABAA

AAABAA is false

master: A

9:35 AM

A is true

micsthepick

hmm

I see nothing so far

mondo ABBA

guess true

boboquack

Btw I'm not keeping a sheet because I'm multitasking with a science report. So someone else should

Wen1now

guess false

John Dvorak

false

micsthepick

@boboquack Already doing so

boboquack

9:36 AM

@as4s4hetic?

as4s4hetic

guess true

boboquack

ABBA is false

John Dvorak

I'm basically rolling dice here

boboquack

? why wouldn't you flip a coin?

micsthepick

you won that roll/toss.

John Dvorak

9:37 AM

Dice are easier to manipulate

micsthepick

true

boboquack

List of guessing stones: John Dvorak, Wen1now

micsthepick

but I don't have one next to me

Wen1now

Who here isn't multitasking?

micsthepick

me

John Dvorak

9:38 AM

me

unless you count Subway Surfers

micsthepick

that counts

Wen1now

I'm sorry but that counts.

John Dvorak

oh

but, it's on different devices

boboquack

@John your turn

micsthepick

so it is your turn

John Dvorak

9:40 AM

oh. Sorry.

micsthepick

(I couldn't guess)

John Dvorak

mondo baab

guess false

guess false

.-. guess true

BAAB is false

9:42 AM

guess true

boboquack

See edit

John Dvorak

pass

micsthepick

I lost on my coin toss :(

as4s4hetic

master: B

boboquack

B is true

as4s4hetic

9:44 AM

pass

micsthepick

@wen1

Wen1now

master: AB

pass

boboquack

Is there a name for this part of a syringe?

AB is true

as4s4hetic

plunger right

micsthepick

but the flaps are also circled

boboquack

9:45 AM

List of guessing stones: John Dvorak x2, Wen1now x2

thanks

ffao

how do you multitask subway surfers? are you so good at the game that you can pause and return without dying?

boboquack

@ASCII-only want to play? @ffao?

ffao

still spectating

John Dvorak

I concede, I'm not. I was reading a newspaper ATM though

ASCII-only

Okay

So do I just join midgame

boboquack

9:47 AM

Yes

Wen1now

Sure

boboquack

Order: John Dvorak, as4s4hetic, Wen1now, micsthepick, ASCII-only

ASCII-only

Also: what does everyone think of a bot that keeps track of the true/false guesses

John Dvorak

+1

micsthepick

That sounds good

Wen1now

9:48 AM

Just for reference, could somebody post a list of true/false things?

as4s4hetic

^

micsthepick

T:
A
AB
**ABBA**
BABB
B

F:
AAABAA
ABBA
BAAB
**BBBABB**

boboquack

Also, @micsthepick it's your turn

@micsthepick multilines break markdown formatting on chat

micsthepick

stop editing uneccesarily, each time I get pinged!

John Dvorak

generating the turn order might be more interesting than keeping a list of examples, though

boboquack

9:49 AM

Hi @mith, want to play?

sorry

micsthepick

mondo AAABBB

ASCII-only

@JohnDvorak For the bot?

micsthepick

guess false

as4s4hetic

guess false

John Dvorak

@ASCII-only yes

false

Wen1now

9:50 AM

insufficient data

I mean guess true

Mithrandir

@boboquack sorry, still not available

ASCII-only

Guess false because everyone is guessing false :P

boboquack

AAABBB is true

John Dvorak

@Wen1now use a neural network then

ASCII-only

@boboquack He already guessed

ffao

9:51 AM

@JohnDvorak that was the joke, I think

boboquack

edited

List of guessing stones: John Dvorak x2, Wen1now x3

Wen1now

Yay, I got a gem

Gems are so nice

ASCII-only

@micsthepick wait wat why is ABBA both true and false

@JohnDvorak hey isn't it my turn :P

micsthepick

I got the provided example wrong

John Dvorak

oops, sorry

boboquack

9:52 AM

@ASCII-only ABBA is false, for clarification

micsthepick

the one that is wrong in true should read ABAA

ASCII-only

master ABABABABAB

boboquack

ABABABABAB is false

Wen1now

This is confusing

ASCII-only

T: 1/11/112/33 F: 121/312/1111111111 if anyone wants runlengths

Wen1now

9:55 AM

nearly non-decreasing

I mean non-decreasing is nearly the rule

master ABBAA

ABBAA is true

master AABBAA

AABBAA is false

(pass?)

master AABB, then pass

boboquack

9:58 AM

AABB is true

ASCII-only

@micsthepick your turn

micsthepick

my turn?

mondo BBAA

true

guess false

true

9:59 AM

guess true

as4s4hetic

true

boboquack

@ASCII-only ?

BBAA is true

ASCII-only

@boboquack Look at the timestamps :P

Wen1now

They've guessed

Transcript for