Zendo

micsthepick

2:07 AM

o/

Wen1now

2:28 AM

@micsthepick Just guess; I'll say T/F when I get round to it

John Dvorak

log dump please

Wen1now

Nov 10 at 1:40, by boboquack

John Dvorak

oh, found it

thanks

Wen1now

Latest one, which is 3/4/5 clues behind

micsthepick

master 14

@Wen1now

Wen1now

2:35 AM

14 is False I think

wow, big surprise

... "I think"?

(\s)

master 491

Since my computer program has disappeared into the mists of time, I'm doing this by hand

John Dvorak

2:36 AM

oh, ok

Wen1now

491 is False I think

micsthepick

I would keep my zendo program in a dedicated file...

Wen1now

Yep I've found it

Although it is pretty short

micsthepick

ooh, hints!

a rule that is easy to program (or at least short)

John Dvorak

Well, MD5::Digest(input).chars.last.ord % 2 == 0 is pretty short and easy to program, too

Wen1now

2:39 AM

Anyway 491 is False

micsthepick

guess: false if even or in [ 11
13
19
91
151
211
551
2017
113311
123456789 ]

John Dvorak

master or mondo first

micsthepick

master 2384

John Dvorak

although, I shouldn't be the one complaining about breaking flow

Wen1now

Does anybody have any stones left

2384 is False

micsthepick

2:40 AM

I think I amassed a few

Wen1now

Okay, I'll give a counterexample

Do you have any counterexample preferences? I may/may not satisfy them

micsthepick

If possible, give a true case that is even

Wen1now

IMO that'll reveal too much

micsthepick

:(

Wen1now

IMO that gives away too much

micsthepick

2:42 AM

well I guess we are getting another odd false example then

Wen1now

Oh the last message sent

John Dvorak

That suggests there is such a case :P

micsthepick

yes it did

Wen1now

*if they exist that is

micsthepick

(actually I can't tell)

Wen1now

2:43 AM

101 is False

John Dvorak

master 911

Wen1now

911 is False

micsthepick

what was our domain again?

Z+?

master 7331

Wen1now

Yep

7331 is False

John Dvorak

Should I treat the game as free-flow now?

mondo 81, true

micsthepick

2:48 AM

guess false

Wen1now

81 is False

micsthepick

what was 10?

(if we have not done ten then master 10)

Wen1now

10 is False

Just assume everything is False. True examples don't even exist anymore

^That's a lie. Ignore that

John Dvorak

master 497

Wen1now

False

micsthepick

2:52 AM

master 18

Wen1now

18 is False

I don't get why it allows sending the same message twice unintentionally but not intentionally

micsthepick

because the client glitches

it must not be a server side restriction

master 39

master 27 afterwards

After what

2:56 AM

after you say what 39 is

John Dvorak

after my autopass

Wen1now

Sorry I missed that

39 is False

Wow 27 is True

micsthepick

wow, how did I know!

John Dvorak

mondo 0, true

micsthepick

Z+ does not include 0

Wen1now

2:59 AM

I don't think 0 was ever included in the list of allowed things

John Dvorak

oh, oops

mondo 819, true

guess false :P

819 is True

ooh, interesting

guess: palindrome in binary

Wen1now

3:01 AM

That's weird. I wonder how that happened

Palindrome in binary is correct!

John Dvorak

wow

Wen1now

I think that is the longest successful defense

def c(n):i=bin(n)[2:];return i==i[::-1]

John Dvorak

that's because of low participation :P

Wen1now

Still... I should get a trophy. Or a hat.

John Dvorak

def c n;i=n.to_s(2);n==n.reverse;end

Ruby

micsthepick

3:03 AM

I like to think that I could switch to ruby easily

but I probably would need a good reason

John Dvorak

Valid koans are non-empty binary strings. 0 is false, 1 is true

master 000

000 is false

master 111

111 is true

3:05 AM

master 101

Wen1now

Yay I've gotten one truth. One step closer to enlightenment

101 is false

master 11

11 is true

mondo 1111

3:06 AM

guess True

guess true

1111 is true

yay.

pass?

guess: contains sequence of 1's solely

Wen1now

3:07 AM

Are you using a guessing stone yet

John Dvorak

oh.

counter-example: 110 is true

Wen1now

My computer is on like a 10-second message lag. Sorry if my messages are far behind

mondo 11111 guess True

Free stones, I hope

guess true

11111 is true

and you get a stone!

3:09 AM

guess: True iff starts with a bunch of at least one 1s, then ends with a bunch of zeroes

autopassafterwards

micsthepick

that is not well defined

does a bunch just mean a sequence?

John Dvorak

In either case: 010 is true

"at least one" is unambiguous and absent from the second half.

Also, at least one zero has several known counterexamples.

Mics' turn

micsthepick

master 0011

John Dvorak

(but yes, do use unambiguous language)

0011 is false

micsthepick

(pass)

@Wen1now

Wen1now

3:14 AM

1+0* = my last stone usage I think

John Dvorak

Giving a 5-second timeout to someone on a 10-second lag is kinda unfair ;-)

micsthepick

true

John Dvorak

You had two.

You have one stone now and you are to master or mondo

Wen1now

master 011

John Dvorak

011 is false

micsthepick

3:16 AM

master 10

John Dvorak

hold on. Pass?

Wen1now

yep, autopass for me unless I say otherwise

John Dvorak

10 is true

OK

micsthepick

the countdown would have lasted more than 10 seconds though

Wen1now

It's not exactly 10 seconds

master 11111110000

John Dvorak

3:17 AM

does Mics also auto-pass?

micsthepick

umm

for the next 5. Let me know when it stops

John Dvorak

11111110000 is true

Wen1now

I think it's a client-side issue; I receive messages in real time (because you guys reply as soon as my messages send) but the messages take a while to send

I mean I can see when the message has sent and when it hasn't. At least I think I can

micsthepick

It goes from green to black?

my messages do so almost instantly

master 01

John Dvorak

01 is false

Wen1now

3:19 AM

@micsthepick Yep

master 00

I think that's undone

00 is false

master 1010

1010 is true

hmm. Give me a second

John Dvorak

Is that an autopass abort for Mics?

micsthepick

3:21 AM

no

John Dvorak

ok

Wen1now

master 10101010

micsthepick

In fact renew the autopass thing untill I manually disable

Wen1now

Does anybody have a datadump

John Dvorak

ok, easier for me to track :-)

micsthepick

3:21 AM

yes

coming

True:
1
11
10
111
110
1111
1010
11111
10101010
11111110000
010

False:
101
0
00
01
000

John Dvorak

10101010 is true

Wen1now

@micsthepick your turn

Oops sorry disregard that false ping

micsthepick

huh?

master 011

John Dvorak

011 is false

known false, that is

please retry

micsthepick

oops, missed it in my list

Wen1now

3:24 AM

I have a cool idea for my next game. But it might be too difficult. Oh well

John Dvorak

I also have an idea pending, but I need a self-test first.

master 1011

1011 is false

master 100

100 is true

3:26 AM

master 001

John Dvorak

001 is false

Wen1now

master 10000000000000000000

John Dvorak

10000000000000000000 is true

micsthepick

10101010 seems to ruin things...

master 1{0}*999999999999999

Wen1now

What does it ruin...

^^What is that supposed to be

micsthepick

3:28 AM

1 followed by 999999999999999 zeroes

John Dvorak

... I refuse to put this number into my calculator

Wen1now

I think that's a valid refusation

micsthepick

but it is a valid koan...

John Dvorak

Indeed. And it's true.

but still worthy of a swat

Wen1now

I don't think all valid koan need necessarily to be accepted

...okay that last sentence parsed badly

master 00000000000000000001

John Dvorak

3:30 AM

00000000000000000001 is false

Wen1now

I like how I have an intuitive understanding of what is True and what is False without being able to formalise it

micsthepick

like a subconscious intuition?

I sort of had that for a bit on your game

Wen1now

:) binary numbers are weirdly recursive/fractalike

micsthepick

master 0010

John Dvorak

0010 is false

Wen1now

3:34 AM

master 1010101

1010101 is false

master 0100

0100 is true

master 1001

oops, disable autopass

John Dvorak

3:36 AM

1001 is false

micsthepick

master 10010

Wen1now

Does there a dump data nearby

John Dvorak

10010 is false

micsthepick

wait a sec

True:
1
11
10
111
110
100
010
1111
1010
0100
11111
10101010
11111110000
10000000000000000000
1{0}*999999999999999

False:
101
1011
1001
10010
1010101
0
00
01
011
001
000
0010
00000000000000000001

John Dvorak

Autopass disabled for Mics. Both players have one stone.

Wen1now

3:37 AM

I'd nearly have a guess

John Dvorak

Is that an autopass disable?

micsthepick

guess: true iff a string we have seen to be true, or such string with an arbitrary amount of zeroes appended to right end

Wen1now

What about (10)*

John Dvorak