« first day (19 days earlier)      last day (1242 days later) » 

01:05
o/
I had a really weird cool idea for a zendo rule
whee, that's enough
who's up? @wen?
01:11
You had a really weird cool idea for a zendo rule
I'd prefer to do it at home because I might need to unexpectedly leave
ok, @mics?
perhaps
okay
A valid koan is a triplet of real numbers:
True: 1, 2, 3
False: 3, 7, 6
master 3,4,5
Order: John, Wen, bobo
01:15
okay
Guessing stones: John 0, Wen 0, bobo 0
3, 4, 5 is True
Does okay = true?
master 2017,2018,2019
you hear a faint gear-grinding noise
2017, 2018, 2019 is True
01:18
Hmmm
Pythagorean triples maybe?
Since 3,4,5 was true
You don't have a guessing stone
therefore it is @boboquack's turn
master: 2,7,293
2,7,293 is False
I wasn't making a guess though
01:19
Hi @Quartata, want to play?
master 10,15,20
10, 15, 20 is True
@boboquack just watching for now because I don't know what this game is
mondo 100,101,102 guess true
Checked the pinned rules
guess true
01:21
guess true
100,101,102 is True
guessing stones for everyone!
Lemme guess
Guessing stones: John 1, Wen 0, bobo 1
The three numbers form an AP in some order?
01:23
counterexample: 1, 3, 2 is False
Well, I am fairly certain the game is going to be over before my next turn...
mondo 11,10,9 - guess true
guess true
11, 10, 9 is True
01:24
Guessing
True iff the numbers are positive integers x,y,z such that 2y=x+z
counterexample: 1, 10, 100 is True
Guessing again perhaps
True iff the numbers are positive integers x,y,z such that 2y=x+z or y^2=xz
Guess correct!
But I'm sad, because everyone used integers
When they could have used any real number
01:27
Integers are so much more nicely behaved
They also give so much more information
Now imagine we tossed you a set of three square root expressions. How fast can you multiply?
I have a checker:
def check(a, b, c):
    return b**2 == a*c or 2*b == a+c
Floating point precision and all that
01:28
check(0.1, 0.2, 0.3)
^ works fine
check(0.600000000000000000000000000000003,0.700000000000000000000000000000006,0.800000000000000000000000000000009)
check(-1.0000000000000000000000000000000000000000000000000000001,0,1)
that's just cheating, those don't fit in doubles
I think if I added a bunch more zeroes then it would break
01:30
@quartata any real numbers
check(0.1, 0.15, 0.2)
@quartata what's a double? the code's python
this should break
>>> 0.15*2==0.1+0.2
False
01:31
Anyway, its Boboquack's turn
abs(b**2-a*c) < 1.0/2**3 or abs(2*b - a+c) < 1.0/2**3
ok, thinking
@JohnDvorak I'm only running python 2 :(
Valid phrases: words
01:35
check(0.1, 0.1, 0.2)
True: CAT
False: KITTEN
turn order?
Order: Wen, mics, John, Deusovi
Guessing stones: Wen 0, mics 0, John 0, Deusovi 0
@wen you're up
Ooh, I'm first
master: TREE
TREE is false
01:38
master: KIT
KIT is true
mondo puppy, guess false
guess true
guess true
puppy is false
John would you like to guess?
01:40
yay. Double letter = false?
Counterexample: CHICKEN is false
Out of stones
master: HE
can I join?
01:41
HE is true
(add me in the turn order somewhere?)
who is true? .-.
@Deusovi edit in the order and Guessing stones then
you can go after John
Did you mean master who? :P
@micsthepick are you going to have your turn?
01:43
Well, I'm leaving now...
mondo ALPHABET guess true
guess false
ALPHABET is false
(btw, we could steal rules from current 'what is a __ word' stuff)
01:44
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
that's what I was going to say
01:45
as in, no double letter, even separated
counterexample: FROG is false
huh...
no stones
mondo A, guess true
guess false
01:48
A is true
pass
Guessing stones: mics 1, John 2, Deusovi 3
(if I slip up with counting stones, tell me)
mondo I, guess true
true
01:50
I is true
master pup
pup is true
guess: str.length <= 3
counterexample: ORC is false
01:52
pass
Guessing stones: mics 1, John 1, Deusovi 3
Deus' turn
master: BIG
BIG is true
Does someone have a list?
pass
(I don't - might actually leave. Have to get dinner)
01:54
a
big
cat
he
i
kit
pup

alphabet
chicken
frog
kitten
orc
puppy
tree
(note: capitalisation isn't relevant, just thought I'd clear that up)
master pupil
PUPIL is true
(getting dinner - will attempt to play on mobile)
01:55
master donkey
pass
DONKEY is false
master PUPA
PUPA is true
pass
I might have to stop playing for a while
01:58
:O
well, continue while you can
how long is a while?
master help
help is false
01:58
for less than 1 hour
There goes another of my theories
thinking
master cast
cast is false
02:00
master SLIP-UP
SLIP-UP is false
interesting. pass
master orca
pass
orca is false
@John?
oops, sorry
master opt
02:04
opt is false
list, anyone?
a
big
cat
he
i
kit
pup
pupa
pupil

alphabet
cast
chicken
donkey
frog
help
kitten
opt
orc
orca
puppy
slip-up
tree
gone for now
(by "word", do you mean "sequence of the 26 letters a-z"? or is it possible that my hyphen factored into it?)
02:06
"sequence of the 26 letters a-z"
alright
master: PUPILS
Order: Wen, mics, John, Deus
PUPILS is false
Guessing stones: Wen 0, mics 1, John 1, Deusovi 3
pass
master acetone
acetone is true
02:08
guess: vowels and consonants must alternate
Correct!
nice!
I have to go in 10 minutes, so unfortunately I can't play again
@JohnDvorak what was the inspiration?
Not sure. The true-list, perhaps.
I think we're out of players for the next game?
02:11
yeah, I'm on mobile right now
nice playing with y'all
Thanks for the game
I'll be back at around 0300 UTC
!pingable
I may have been inspired by Deus's almost-true "slip-up" => "interesting"
@Deusovi what guess did you have by slip-up?
02:13
then I noticed slip-up has the double consonant
I suppose Deus is eating dinner already
02:33
@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.
02:50
(back)
03:11
(back)
@JohnDvorak?
03:32
o/
Valid koans: words. True: truth. False: falsity.
master: thrust
thrust is true
order?
order: mics, bobo
master: rhythmic
03:42
rhythmic is true
@Deusovi playing?
He hast been summoned
eh, not right now
master: fail
fail is false
He hast declinéd
mondo: black, guess true
03:44
guess false
black is false
I might be afk for about 5 minutes soon
Mics: 1 stone, bobo: 0 stones
rhythmic
thrust
truth

black
fail
falsity
03:46
master hypotenuse
hypotenuse is true
pass?
guess, contains at least one "h"
counterexample: shell is false
back to zero stones. Bobo's turn.
hmm
mondo heater guess true
@mics @John I'm back, sorry
guess true
03:52
heater is true
mics: 1; bobo: 0
guess: true iff matches .*h.*t.* or .*t.*h.*
haste is false
mics' turn
mondo guess
guess false
03:55
guess false
guess is false
mics: 2, bobo: 1
master embodying
embodying is false
03:57
pass?
@boboquack
yep, pass
master pass
pass is false
pass?
guess A koan must contain at least one h or t to be true
03:59
haste is a known counter-example

« first day (19 days earlier)      last day (1242 days later) »