Zendo

micsthepick

1:05 AM

o/

boboquack

o/

Wen1now

I had a really ~~weird~~ cool idea for a zendo rule

John Dvorak

o/

boboquack

whee, that's enough

who's up? @wen?

Wen1now

Um

boboquack

1:11 AM

You had a really ~~weird~~ cool idea for a zendo rule

Wen1now

I'd prefer to do it at home because I might need to unexpectedly leave

boboquack

ok, @mics?

micsthepick

perhaps

okay

A valid koan is a triplet of real numbers:

True: 1, 2, 3

False: 3, 7, 6

John Dvorak

master 3,4,5

boboquack

Order: John, Wen, bobo

micsthepick

1:15 AM

okay

boboquack

Guessing stones: John 0, Wen 0, bobo 0

micsthepick

3, 4, 5 is True

Wen1now

Does okay = true?

master 2017,2018,2019

John Dvorak

you hear a faint gear-grinding noise

micsthepick

2017, 2018, 2019 is True

Wen1now

1:18 AM

Hmmm

Pythagorean triples maybe?

Since 3,4,5 was true

John Dvorak

You don't have a guessing stone

micsthepick

therefore it is @boboquack's turn

boboquack

master: 2,7,293

micsthepick

2,7,293 is False

Wen1now

I wasn't making a guess though

boboquack

1:19 AM

Hi @Quartata, want to play?

John Dvorak

master 10,15,20

micsthepick

10, 15, 20 is True

quartata

@boboquack just watching for now because I don't know what this game is

Wen1now

mondo 100,101,102 guess true

John Dvorak

Checked the pinned rules

guess true

boboquack

1:21 AM

guess true

micsthepick

100,101,102 is True

guessing stones for everyone!

John Dvorak

yay!

Wen1now

Lemme guess

boboquack

Guessing stones: John 1, Wen 0, bobo 1

Wen1now

The three numbers form an AP in some order?

micsthepick

1:23 AM

counterexample: 1, 3, 2 is False

Wen1now

Well, I am fairly certain the game is going to be over before my next turn...

boboquack

mondo 11,10,9 - guess true

true

guess true

11, 10, 9 is True

1:24 AM

Guessing

True iff the numbers are positive integers x,y,z such that 2y=x+z

micsthepick

counterexample: 1, 10, 100 is True

boboquack

Guessing again perhaps

True iff the numbers are positive integers x,y,z such that 2y=x+z or y^2=xz

micsthepick

Guess correct!

boboquack

Yay

micsthepick

But I'm sad, because everyone used integers

When they could have used any real number

Wen1now

1:27 AM

Integers are so much more nicely behaved

They also give so much more information

John Dvorak

Now imagine we tossed you a set of three square root expressions. How fast can you multiply?

micsthepick

I have a checker:

boboquack

W|A?

micsthepick

def check(a, b, c):
    return b**2 == a*c or 2*b == a+c

Wen1now

Floating point precision and all that

John Dvorak

1:28 AM

check(0.1, 0.2, 0.3)

micsthepick

^ works fine

boboquack

check(0.600000000000000000000000000000003,0.700000000000000000000000000000006,0.800000000000000000000000000000009)

Wen1now

check(-1.0000000000000000000000000000000000000000000000000000001,0,1)

quartata

that's just cheating, those don't fit in doubles

Wen1now

I think if I added a bunch more zeroes then it would break

boboquack

1:30 AM

@quartata any real numbers

John Dvorak

check(0.1, 0.15, 0.2)

boboquack

@quartata what's a double? the code's python

John Dvorak

this should break

micsthepick

yeah

boboquack

>>> 0.15*2==0.1+0.2
False

micsthepick

1:31 AM

Anyway, its Boboquack's turn

John Dvorak

Pro-tip: use math.isclose

micsthepick

abs(b**2-a*c) < 1.0/2**3 or abs(2*b - a+c) < 1.0/2**3

boboquack

ok, thinking

micsthepick

@JohnDvorak I'm only running python 2 :(

boboquack

Valid phrases: words

John Dvorak

1:35 AM

check(0.1, 0.1, 0.2)

boboquack

True: CAT

False: KITTEN

John Dvorak

turn order?

boboquack

Order: Wen, mics, John, Deusovi

Guessing stones: Wen 0, mics 0, John 0, Deusovi 0

@wen you're up

Wen1now

Ooh, I'm first

master: TREE

boboquack

TREE is false

micsthepick

1:38 AM

master: KIT

boboquack

KIT is true

John Dvorak

mondo puppy, guess false

Wen1now

guess true

micsthepick

guess true

boboquack

puppy is false

John would you like to guess?

John Dvorak

1:40 AM

yay. Double letter = false?

boboquack

Counterexample: CHICKEN is false

Out of stones

master: HE

can I join?

yep

1:41 AM

HE is true

Deusovi

(add me in the turn order somewhere?)

micsthepick

who is true? .-.

boboquack

@Deusovi edit in the order and Guessing stones then

you can go after John

John Dvorak

Did you mean master who? :P

boboquack

@micsthepick are you going to have your turn?

Wen1now

1:43 AM

Well, I'm leaving now...

micsthepick

mondo ALPHABET guess true

guess false

false

ALPHABET is false

(btw, we could steal rules from current 'what is a __ word' stuff)

boboquack

1:44 AM

Order: mics, John, Deusovi

Guessing stones: mics 0, John 1, Deusovi 1

master kappa

kappa is false

guess or pass?

guess

every letter is unique

Deusovi

that's what I was going to say

John Dvorak

1:45 AM

as in, no double letter, even separated

boboquack

counterexample: FROG is false

John Dvorak

huh...

no stones

mondo A, guess true

true

guess false

1:48 AM

A is true

Deusovi

pass

boboquack

Guessing stones: mics 1, John 2, Deusovi 3

(if I slip up with counting stones, tell me)

mondo I, guess true

true

true

1:50 AM

I is true

pass

master pup

pup is true

guess: str.length <= 3

boboquack

counterexample: ORC is false

John Dvorak

1:52 AM

pass

boboquack

Guessing stones: mics 1, John 1, Deusovi 3

Deus' turn

Deusovi

master: BIG

boboquack

BIG is true

micsthepick

Does someone have a list?

Deusovi

pass

(I don't - might actually leave. Have to get dinner)

John Dvorak

1:54 AM

a
big
cat
he
i
kit
pup

alphabet
chicken
frog
kitten
orc
puppy
tree

boboquack

(note: capitalisation isn't relevant, just thought I'd clear that up)

master pupil

PUPIL is true

pass

(getting dinner - will attempt to play on mobile)

John Dvorak

1:55 AM

master donkey

pass

DONKEY is false

master PUPA

PUPA is true

pass

I might have to stop playing for a while

boboquack

1:58 AM

:O

John Dvorak

welp

boboquack

well, continue while you can

how long is a while?

master help

help is false

1:58 AM

for less than 1 hour

John Dvorak

There goes another of my theories

micsthepick

pass

John Dvorak

thinking

master cast

boboquack

cast is false

John Dvorak

pass

Deusovi

2:00 AM

master SLIP-UP

boboquack

SLIP-UP is false

Deusovi

interesting. pass

micsthepick

master orca

pass

boboquack

orca is false

@John?

John Dvorak

oops, sorry

master opt

boboquack

2:04 AM

opt is false

John Dvorak

pass

Deusovi

list, anyone?

John Dvorak

a
big
cat
he
i
kit
pup
pupa
pupil

alphabet
cast
chicken
donkey
frog
help
kitten
opt
orc
orca
puppy
slip-up
tree

micsthepick

gone for now

Deusovi

(by "word", do you mean "sequence of the 26 letters a-z"? or is it possible that my hyphen factored into it?)

boboquack

2:06 AM

"sequence of the 26 letters a-z"

Deusovi

alright

master: PUPILS

boboquack

Order: ~~Wen~~, ~~mics~~, John, Deus

PUPILS is false

Guessing stones: ~~Wen 0~~, ~~mics 1~~, John 1, Deusovi 3

pass

master acetone

acetone is true

2:08 AM

guess: vowels and consonants must alternate

boboquack

Correct!

Deusovi

nice!

boboquack

I have to go in 10 minutes, so unfortunately I can't play again

@JohnDvorak what was the inspiration?

John Dvorak

Not sure. The true-list, perhaps.

I think we're out of players for the next game?

boboquack

^

Deusovi

2:11 AM

yeah, I'm on mobile right now

boboquack

nice playing with y'all

John Dvorak

Thanks for the game

boboquack

I'll be back at around 0300 UTC

John Dvorak

!pingable

I may have been inspired by Deus's almost-true "slip-up" => "interesting"

boboquack

@Deusovi what guess did you have by slip-up?

John Dvorak

2:13 AM

then I noticed slip-up has the double consonant

boboquack

I suppose Deus is eating dinner already

Deusovi

2:33 AM

@boboquack I didn't have a guess specifically. I had assumed PUPILS was true, and thought that reversing the word might change its truth value.

micsthepick

2:50 AM

(back)

boboquack

3:11 AM

(back)

micsthepick

@JohnDvorak?

John Dvorak

3:32 AM

o/

Valid koans: words. True: truth. False: falsity.

master: thrust

thrust is true

order?

order: mics, bobo

master: rhythmic

3:42 AM

rhythmic is true

@Deusovi playing?

boboquack

He hast been summoned

eh, not right now

master: fail

fail is false

He hast declinéd

mondo: black, guess true

micsthepick

3:44 AM

guess false

John Dvorak

black is false

boboquack

I might be afk for about 5 minutes soon

John Dvorak

Mics: 1 stone, bobo: 0 stones

micsthepick

list?

John Dvorak

rhythmic
thrust
truth

black
fail
falsity

micsthepick

3:46 AM

master hypotenuse

John Dvorak

hypotenuse is true

pass?

micsthepick

guess, contains at least one "h"

John Dvorak

counterexample: shell is false

back to zero stones. Bobo's turn.

boboquack

hmm

mondo heater guess true

@mics @John I'm back, sorry

micsthepick

guess true

John Dvorak

3:52 AM

heater is true

mics: 1; bobo: 0

boboquack

guess: true iff matches .*h.*t.* or .*t.*h.*

haste is false

umm

mics' turn

mondo guess

guess false

boboquack

3:55 AM

guess false

guess is false

pass

mics: 2, bobo: 1

master embodying

embodying is false

3:57 AM

pass?

@boboquack

yep, pass

master pass

pass is false

pass?

micsthepick

guess A koan must contain at least one h or t to be true

John Dvorak

3:59 AM

haste is a known counter-example

Transcript for