00:02:37 <nchambers> shachaf, :D
00:06:24 <shachaf> hi nchambers
00:06:30 <shachaf> I remember your name but I don't remember from what.
00:06:41 <shachaf> Are you this person? http://nicholaschambers.weebly.com/about-me.html
00:06:57 <shachaf> That person "just finished the HTH Credential Program".
00:07:04 <shachaf> Is that a program run by oerjan?
00:07:04 <nchambers> lol no that is not me
00:07:10 <nchambers> its a pretty common name
00:32:02 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
00:32:09 -!- erkin has quit (Quit: Leaving).
00:36:42 -!- boily has joined.
00:36:55 <boily> `w
00:36:57 <HackEgo> esoteric//This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet.
00:37:27 <shachaf> `4 w
00:37:31 <HackEgo> 1/2:birmingham//Birmingham is a city in England. We're planning to turn it into a floating island so ais523 can get around a bit more. \ 323//323 is a quine in McCulloch's first machine. \ pronounceable c//int main open paren close paren open curly printeff open paren double quote pronounceable capital c is the most verbose esoteric language ever c
00:37:35 <shachaf> `n
00:37:35 <HackEgo> 2/2:omma god help you if you try to code with it comma especially without newlines period double quote close paren semicolon close curly  \ united states//See America.
00:37:44 <shachaf> `? america
00:37:46 <HackEgo> This wisdom entry had to be removed due to a DMCA takedown notice.
00:58:48 -!- hppavilion[1] has joined.
01:00:13 -!- Zarutian has quit (Quit: Zarutian).
01:00:25 -!- Marcela_Gandara1 has joined.
01:03:53 <Marcela_Gandara1> Hola, linda noche, como estan?, :-( tengo una impresora HP Deskjet 1000 y no imprime, es nueva y ps mi compu es Canaima Linux, me ayudan??
01:12:28 <boily> hola! estoy bien aquí :)
01:12:36 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:12:40 <shachaf> `bienvenido Marcela_Gandara1
01:12:41 <boily> ¿qué tal?
01:12:41 <HackEgo> Marcela_Gandara1: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: <http://esolangs.org/>. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.)
01:13:37 <boily> Marcela_Gandara1: no me gusta las impresoras, y el sentimiento está recíproca.
01:24:17 -!- Marcela_Gandara1 has quit (Ping timeout: 246 seconds).
01:31:26 <doesthiswork> ¿Tiene tinta?
01:35:01 <boily> doesthelloswork.
01:35:52 <doesthiswork> ¿Quantos Linguas tienemos el bienvenido en?
01:36:41 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
01:38:20 <boily> doesthiswork: quite a few?
01:42:43 <doesthiswork> oh, the mode changed. I had spent weeks on learning spanish for the possibility that it might be needed on IRC
01:58:42 <boily> all languages are needed, esoteric ones even moreso.
02:05:32 -!- electrolex has quit (Ping timeout: 268 seconds).
02:07:00 -!- Akaibu has joined.
02:17:08 -!- Marcela_Gandara1 has joined.
02:21:22 -!- tromp has joined.
02:25:53 -!- tromp has quit (Ping timeout: 240 seconds).
02:28:53 -!- hppavilion[1] has joined.
02:34:12 -!- boily has quit (Quit: CRANIAL CHICKEN).
02:41:24 <Marcela_Gandara1> Alguien me ayuda con mi impresora?
02:41:46 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
02:47:51 -!- Marcela_Gandara1 has quit (Ping timeout: 260 seconds).
02:58:12 -!- Marcela_Gandara1 has joined.
03:00:58 <Marcela_Gandara1> Ayudenme comn mi impresora HP Deskjet 1000
03:33:30 -!- augur_ has joined.
03:36:19 -!- hppavilion[1] has joined.
03:37:19 -!- augur has quit (Ping timeout: 260 seconds).
03:38:58 -!- Marcela_Gandara1 has quit (Read error: Connection reset by peer).
03:45:14 -!- jaboja has quit (Ping timeout: 260 seconds).
03:54:10 -!- Marcela_Gandara1 has joined.
03:54:26 -!- sleffy has quit (Ping timeout: 240 seconds).
04:01:46 <doesthiswork> ¿Tiene tinta?
04:02:59 <Marcela_Gandara1> si
04:05:03 <doesthiswork> ¿Ha impreso su impresora alguna vez?
04:05:47 <Marcela_Gandara1> no
04:08:03 <doesthiswork> ¿Downloadaste el software para controlarlo?
04:10:01 -!- Marcela_Gandara1 has quit (Quit: Leaving.).
04:14:29 -!- sleffy has joined.
04:35:45 -!- tromp has joined.
04:49:36 -!- hppavilion[1] has changed nick to AAAAAAAAAAAAA.
04:49:57 -!- AAAAAAAAAAAAA has changed nick to AAAA.
04:54:57 -!- AAAA has changed nick to hppavilion[1].
05:29:20 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH).
06:10:51 -!- tromp has quit (Remote host closed the connection).
06:14:43 -!- Sprocklem has quit (Ping timeout: 258 seconds).
06:58:32 <\oren\> COVFEFE
07:07:40 -!- FreeFull has quit.
07:10:56 -!- sleffy has quit (Ping timeout: 240 seconds).
07:36:14 -!- doesthiswork has quit (Quit: Leaving.).
07:39:35 -!- tromp has joined.
07:43:56 -!- tromp has quit (Ping timeout: 240 seconds).
08:22:30 -!- augur has joined.
08:26:11 -!- augur_ has quit (Ping timeout: 260 seconds).
08:48:00 -!- Lymia has quit (Quit: Hugs~ <3).
08:50:12 -!- Lymia has joined.
09:06:47 -!- nullcone has quit.
09:07:07 -!- oerjan has joined.
09:12:07 -!- tromp has joined.
09:16:26 -!- tromp has quit (Ping timeout: 240 seconds).
09:19:18 -!- nullcone has joined.
09:39:06 -!- augur_ has joined.
09:42:56 -!- augur has quit (Ping timeout: 240 seconds).
09:54:13 -!- dingbat_ has joined.
09:56:06 -!- pelegreno____ has joined.
09:59:16 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
09:59:56 -!- Hooloo42 has joined.
09:59:59 -!- Vorpal_ has joined.
10:00:05 -!- Lymee has joined.
10:01:02 -!- Lymia has quit (*.net *.split).
10:01:02 -!- pelegreno___ has quit (*.net *.split).
10:01:02 -!- dingbat has quit (*.net *.split).
10:01:02 -!- Hoolootwo has quit (*.net *.split).
10:01:02 -!- Vorpal has quit (*.net *.split).
10:01:17 -!- Lymee has changed nick to Lymia.
10:01:23 -!- dingbat_ has changed nick to dingbat.
10:12:58 -!- tromp has joined.
10:17:26 -!- tromp has quit (Ping timeout: 240 seconds).
10:19:52 -!- wob_jonas has joined.
10:36:06 <wob_jonas> wtf
11:22:30 <wob_jonas> `quote
11:22:31 <wob_jonas> `wisdom
11:22:33 <HackEgo> 701) <ais523> bleh, why doesn't tab-complete work in mkdir for the name of the new directory
11:22:33 <HackEgo> metronome//A metronome is an ancient and highly sophisticated instrument typically used in the player variety in conjunction with another, simpler instrument. hppavilion[1] is learning to play one. Taneb invented parts of it at regular intervals.
11:27:49 <wob_jonas> "spectre" is an alternate spelling for "specter", and "scepter" is an alternate spelling for "sceptre". I hadn't realized that both of those have two spellings.
11:27:57 <wob_jonas> apparently it's like "meter" vs "metre"
11:29:05 <wob_jonas> `wisdom
11:29:07 <HackEgo> 10//10 = 10 in every base.
11:29:15 <wob_jonas> um
11:29:17 <wob_jonas> ok
11:29:19 <wob_jonas> `wisdom
11:29:21 <HackEgo> molum//molum is the inverse function of ybden.
11:29:37 <wob_jonas> what
11:30:32 -!- erkin has joined.
11:30:35 -!- LKoen has joined.
11:32:35 -!- erkin has quit (Read error: Connection reset by peer).
11:33:26 -!- boily has joined.
11:33:30 -!- erkin has joined.
11:40:31 -!- oerjan has quit (Quit: Later).
12:13:35 -!- tromp has joined.
12:17:32 * Taneb applies to be a student volunteer at ICFP
12:17:56 -!- tromp has quit (Ping timeout: 240 seconds).
12:23:35 <boily> Tanelle! yay!
12:23:42 -!- boily has quit (Quit: JOURNALIST CHICKEN).
12:25:10 <wob_jonas> helloily
13:04:55 -!- erkin has quit (Read error: Connection reset by peer).
13:05:16 -!- erkin has joined.
13:18:48 <ybden> wob_jonas: that.
13:19:47 <wob_jonas> ``` for x in s{pec,cep}t{er,re}; do \? "$x"; done
13:19:50 <HackEgo> specter? ¯\(°​_o)/¯ \ spectre? ¯\(°​_o)/¯ \ scepter? ¯\(°​_o)/¯ \ sceptre? ¯\(°​_o)/¯
13:21:27 -!- erkin has quit (Quit: Leaving).
13:22:21 <wob_jonas> ``` for x in {me,li}t{er,re}; do \? "$x"; done
13:22:23 <HackEgo> meter? ¯\(°​_o)/¯ \ metre? ¯\(°​_o)/¯ \ liter? ¯\(°​_o)/¯ \ litre? ¯\(°​_o)/¯
13:26:40 -!- LKoen has quit (Remote host closed the connection).
13:45:08 <wob_jonas> github doesn't reply...
13:45:43 -!- jaboja has joined.
13:58:03 -!- LKoen has joined.
14:00:27 -!- doesthiswork has joined.
14:00:30 -!- doesthiswork has quit (Client Quit).
14:10:32 -!- nullcone has quit (Quit: Connection closed for inactivity).
14:13:45 <wob_jonas> `? bone
14:13:46 <HackEgo> bone? ¯\(°​_o)/¯
14:29:50 -!- `^_^v has joined.
14:41:56 -!- Phantom_Hoover has joined.
14:42:31 -!- doesthiswork has joined.
14:45:25 -!- tromp has joined.
14:49:56 -!- tromp has quit (Ping timeout: 240 seconds).
15:02:16 -!- iaglium has quit (Remote host closed the connection).
15:12:11 <\oren\> good mroing! time for a nice cup of covfefe
15:14:09 <sdhand> covfefe <3
15:36:50 -!- jaboja has quit (Remote host closed the connection).
15:44:33 -!- Hooloo42 has changed nick to Hoolootwo.
15:45:07 -!- Zarutian has joined.
15:47:50 <Hoolootwo> test
15:48:00 <Hoolootwo> hmm welp
16:01:15 <HackEgo> [wiki] [[Special:Log/newusers]] create  * Iqbigbang *  New user account
16:04:35 -!- Bowserinator has quit (Quit: Oh noes I ded).
16:04:44 -!- Bowserinator has joined.
16:08:23 -!- Bowserinator has quit (Changing host).
16:08:23 -!- Bowserinator has joined.
16:46:21 -!- tromp has joined.
16:50:34 -!- tromp has quit (Ping timeout: 240 seconds).
17:05:34 -!- electrolex has joined.
17:07:22 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
17:09:20 -!- FreeFull has joined.
17:22:18 -!- hppavilion[1] has joined.
17:30:01 -!- MDude has joined.
17:32:17 -!- sleffy has joined.
17:47:33 -!- LKoen has quit (Remote host closed the connection).
17:51:21 -!- Zarutian has quit (Quit: Zarutian).
17:51:39 -!- oerjan has joined.
17:53:02 <\oren\> covfefe for word of the year!
18:01:10 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
18:01:52 -!- MDude has quit (Ping timeout: 240 seconds).
18:03:37 -!- h0rsep0wer has joined.
18:21:38 -!- tromp has joined.
18:26:06 -!- erkin has joined.
18:26:17 -!- tromp has quit (Ping timeout: 260 seconds).
18:35:31 -!- hppavilion[1] has joined.
18:36:37 <HackEgo> [wiki] [[Special:Log/newusers]] create  * MD XF *  New user account
18:37:14 -!- sleffy has quit (Ping timeout: 258 seconds).
18:43:58 -!- hppavilion[1] has quit (Read error: Connection reset by peer).
18:52:00 <HackEgo> [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=52024&oldid=51951 * MD XF * (+301) MD XF
18:52:08 <HackEgo> [wiki] [[Decimal]] N https://esolangs.org/w/index.php?oldid=52025 * MD XF * (+4376) Decimal, also called 09D, is an esoteric stack-based programming language that uses the characters 0 through 9 and D.
18:52:21 <HackEgo> [wiki] [[Decimal]] M https://esolangs.org/w/index.php?diff=52026&oldid=52025 * MD XF * (-13) 
18:54:47 <HackEgo> [wiki] [[Decimal]] M https://esolangs.org/w/index.php?diff=52027&oldid=52026 * MD XF * (+16) Fix bad MediaWiki
18:57:40 -!- danieljabailey has quit (Quit: ZNC 1.6.3+deb2 - http://znc.in).
18:57:50 -!- danieljabailey has joined.
19:05:48 <HackEgo> [wiki] [[Hello world program in esoteric languages]] M https://esolangs.org/w/index.php?diff=52028&oldid=51939 * MD XF * (+123) 
19:12:56 -!- h0rsep0wer has quit (Quit: Leaving).
19:25:39 -!- sleffy has joined.
19:30:04 <HackEgo> [wiki] [[Decimal]]  https://esolangs.org/w/index.php?diff=52029&oldid=52027 * Oerjan * (+54) Use wikitable class
19:30:35 <oerjan> hum, now he _must_ think i'm stalking him :P
19:31:51 <int-e> aren't you though
19:32:23 <int-e> I mean *we* know it's nothing personal, it's just that those are the latest edits to the wiki.
19:33:42 <oerjan> it's just that i've been responding a lot to em on PPCG too
19:47:45 -!- MDude has joined.
19:48:36 <doesthiswork> PPCG : Proper Procedural Card Games? 
19:52:34 <oerjan> programming puzzles and code games
19:52:49 <oerjan> *code golf
19:55:58 <MDude> Power Puff Crimefighting Girls
20:16:43 <int-e> it's funny that Seffie thinks the Master is killing himself
20:23:50 <oerjan> argh i haven't gotten to today's GG yet
20:24:07 <oerjan> too many things to catch up to
20:25:05 -!- hppavilion[1] has joined.
20:34:20 -!- augur_ has quit (Remote host closed the connection).
20:34:55 -!- augur has joined.
20:37:08 <zzo38> I thought of idea, if you have three kind of commands: left, right, increment and jump if prime.
20:39:45 -!- augur has quit (Ping timeout: 260 seconds).
20:39:56 <int-e> what happens if you run out of instructions?
20:41:34 <int-e> (if that causes the program to stop, this sounds like it has a decidable halting problem because we have gaps of arbitrarily big length between consecutive primes)
20:43:33 -!- augur has joined.
20:46:01 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
20:57:57 -!- hppavilion1 has joined.
21:00:38 -!- sleffy has quit (Ping timeout: 246 seconds).
21:02:27 -!- augur has quit (Remote host closed the connection).
21:03:01 <quintopia> hmm
21:03:03 -!- augur has joined.
21:07:17 -!- augur has quit (Ping timeout: 246 seconds).
21:07:23 -!- Sprocklem has joined.
21:11:01 <zzo38> Yes, there could also be uncondition jump instruction too, or alternatively to make looping from beginning, or make something different to improve it.
21:12:53 -!- hakatashi has quit (Write error: Broken pipe).
21:12:54 -!- hakatashi1 has joined.
21:13:43 -!- Mayoi has joined.
21:16:26 -!- erkin has quit (Remote host closed the connection).
21:18:12 -!- Mayoi has changed nick to erkin.
21:29:12 -!- nchambers has changed nick to telnet.
21:29:38 -!- telnet has changed nick to nchambers.
21:48:21 -!- LKoen has joined.
21:52:56 -!- LKoen has quit (Ping timeout: 260 seconds).
22:02:11 <rdococ> pinayay
22:08:12 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:23:30 -!- tromp has joined.
22:24:46 -!- sleffy has joined.
22:27:56 -!- tromp has quit (Ping timeout: 240 seconds).
22:28:10 -!- nullcone has joined.
22:34:27 -!- jaboja has joined.
22:35:51 -!- augur has joined.
22:40:03 -!- augur has quit (Ping timeout: 240 seconds).
22:40:21 <oerjan> `? cello
22:40:23 <HackEgo> ​The high level structure of Cello projects is inspired by /Haskell/, while the syntax and semantics are inspired by /Python/ and /Obj-C/.
22:40:42 <oerjan> `? rules of wisdom
22:40:44 <HackEgo> unless essential for the entry's humor, they should:  be understandable without the lookup key, be single spaced with no space at the end, and use proper capitalization and punctuation
22:41:33 <oerjan> `` cat -v wisdom/cello
22:41:34 <HackEgo> ​^C4The ^C7high ^C8level ^C9structure ^C2of ^C13Cello ^C6projects ^C4is ^C7inspired ^C8by ^C9/Haskell/, ^C2while ^C13the ^C6syntax ^C4and ^C7semantics ^C8are ^C9inspired ^C2by ^C13/Python/ ^C6and ^C4/Obj-C/.
22:41:54 <oerjan> `` grep ' $' wisdom/cello
22:41:55 <HackEgo> No output.
22:41:57 <int-e> . o O ( the rules of wisdom should be understandable without the lookup key )
22:41:58 <shachaf> cat -v considered useful
22:41:59 <oerjan> hm
22:42:18 -!- hppavilion1 has changed nick to hppavilion[1].
22:42:29 <oerjan> int-e: you realize that it breaks every single of its own rules, right?
22:42:35 <int-e> so glad I have colors switched off.
22:42:40 <int-e> oerjan: we've had this discussion
22:43:03 <oerjan> shachaf: i don't understand how `? cello breaks the rules twh
22:43:35 <int-e> oerjan: but I just realized that the key, technically, doesn't really help either, thanks to the ambiguity power of "they".
22:43:36 <shachaf> I think it breaks my proposed rule that wisdom entries leave formatting normal.
22:44:11 <shachaf> I'm not sure what you're replying to but that's probably what I had in mind.
22:44:27 <oerjan> `slwd rules of wisdom//s, they,,
22:44:30 <HackEgo> rules of wisdom//unless essential for the entry's humor, should:  be understandable without the lookup key, be single spaced with no space at the end, and use proper capitalization and punctuation
22:44:41 <oerjan> int-e: better?
22:45:00 <shachaf> What was wrong before?
22:45:15 <doesthiswork> lil yachty says that his girlfriend blows the cello
22:45:16 <int-e> oerjan: did you mean , they, it,?
22:45:40 <oerjan> int-e: i changed so that it is now more understandable with the key hth
22:45:59 <shachaf> `5 w ello
22:46:04 <HackEgo> 1/2:helloily//helloily is hella oily hth \ helloily//helloily is hella oily hth \ `hello//`hello prints variants of hello, world. To control format, pass a single letter as command-line argument. "@"=>"hello, world", "H"=>"hello, world.", P=>"hello, world!", "X"=>"hello, world,", take 1 letter later to s/h/H/, 2 letter later to s/d,/d/, 4 letter la
22:46:08 <shachaf> `n
22:46:09 <HackEgo> 2/2:ter to s/w/W/, lowercase to remove newline. \ porthello//Hellonfused one. Porthellos are the standard greeting format in #esoteric. Best enjoyed with some thé or caffè and a fternooner. \ helloily//helloily is hella oily hth
22:46:17 * shachaf sighs
22:46:24 <shachaf> this channel is too obsessed with the word "hello"
22:46:26 <oerjan> `slwd cello//s,$,,
22:46:28 <HackEgo> cello//The high level structure of Cello projects is inspired by /Haskell/, while the syntax and semantics are inspired by /Python/ and /Obj-C/.
22:46:43 <oerjan> shachaf: it's just for the hellof it
22:48:07 <int-e> `slwd rules of wisdom//s,',‘,
22:48:09 <HackEgo> rules of wisdom//unless essential for the entry‘s humor, should:  be understandable without the lookup key, be single spaced with no space at the end, and use proper capitalization and punctuation
22:48:10 * int-e runs
22:48:52 <int-e> `unidecode :
22:48:54 <HackEgo> ​[U+003A COLON]
22:49:32 <doesthiswork> I think the rules of wisdom would sound more profound in OSV word order
22:49:33 <shachaf> int-e: but it was already not "using proper puncutation"
22:49:42 <shachaf> and this change does not reflect the way the rules are usually violated
22:49:48 <shachaf> imo this may be going overboard tdnh
22:51:01 <shachaf> itim tmnh
22:52:06 <int-e> this must not happen?
22:52:23 <oerjan> this manatee needs help
22:52:47 <int-e> thousands meanings none helpful
22:54:11 <int-e> too much nonsense hth
22:55:47 <Taneb> Why is Cello in colour
22:56:09 <oerjan> i'm assuming it's a colourful language
22:56:42 <Taneb> I've heard colourful language is frowned upon in polite society
22:57:05 <int-e> is it a colorful hello?
22:57:45 <int-e> `dowg cello
22:57:46 <shachaf> Taneb: What would you call a paper that makes an analogy from some technical thing to a different thing, and then uses many words from the latter to describe the former?
22:57:53 <HackEgo> 10976:2017-05-31 <oerjän> slwd cello//s,$,\x0f, \ 10798:2017-04-22 <oerjän> slwd cello//s,stu,stru, \ 3511:2013-08-28 <oerjän> tail -1 wisdom/cello > q; mv q wisdom/cello \ 2879:2013-05-07 <Jafët> echo \'The high level stucture of Cello projects is inspired by /Haskell/, while the syntax and semantics are inspired by /Python/ and /Obj-C/.\'
22:57:57 <shachaf> I considered calling it "colorful language" but I think that has the wrong implication.
22:58:08 <shachaf> And so does "suggestive language" maybe.
22:58:10 <shachaf> Is it "evocative language"?
22:59:18 <shachaf> `2 dowg cello
22:59:27 <HackEgo> 2/2:/.\' | rainwords > wisdom/cello
22:59:39 <Taneb> shachaf, I would call such a paper an explanation by way of analogy
22:59:41 <shachaf> oerjan: please invent a command which does splitting on the first space and then running, the way ` does, twh
22:59:48 <Taneb> Unsure if there's a more succinct way of putting that
22:59:54 <shachaf> Taneb: But what would you call the language?
23:00:00 <oerjan> `nur like this?
23:00:01 <HackEgo> ​/hackenv/bin/nur: line 1: like: command not found
23:00:06 <Taneb> Analogical
23:00:07 <shachaf> `cat bin/nur
23:00:07 <HackEgo> ​"${1%% *}" "${1#* }"
23:00:12 <shachaf> oerjan: yes tdh
23:00:15 <shachaf> `dowg nur
23:00:22 <HackEgo> No output.
23:00:26 <shachaf> Taneb: i thought you were a poet tdnh
23:00:33 <shachaf> `dobg nur
23:00:36 <shachaf> `doag bin/nur
23:00:44 <HackEgo> 10543:2017-03-30 <oerjän> mkx bin/nur//"${1%% *}" "${1#* }"
23:01:04 <Taneb> shachaf, could be an extended simile
23:01:50 <shachaf> Taneb: anyway the paper i'm thinking of is _Exploiting Regularities in Large Cellular Automata_ by Gosper
23:01:54 <shachaf> https://www.lri.fr/~filliatr/m1/gol/gosper-84.pdf
23:02:01 <shachaf> read it for yourself and then describe it hth
23:02:39 <shachaf> it uses words like "excavate", "scoop", "stratum", "slope", "deeper", "frustum"
23:03:56 <oerjan> @wn frustum
23:03:57 <lambdabot> *** "frustum" wn "WordNet (r) 3.0 (2006)"
23:03:57 <lambdabot> frustum
23:03:57 <lambdabot>     n 1: a truncated cone or pyramid; the part that is left when a
23:03:57 <lambdabot>          cone or pyramid is cut by a plane parallel to the base and
23:03:57 <lambdabot>          the apical part is removed
23:07:18 <int-e> "experimental proof" <--- aaaaaargh.
23:07:58 <shachaf> @wn proof
23:07:59 <lambdabot> *** "proof" wn "WordNet (r) 3.0 (2006)"
23:07:59 <lambdabot> proof
23:07:59 <lambdabot>     adj 1: (used in combination or as a suffix) able to withstand;
23:07:59 <lambdabot>            "temptation-proof"; "childproof locks"
23:07:59 <lambdabot>     n 1: any factual evidence that helps to establish the truth of
23:08:01 <lambdabot> [20 @more lines]
23:08:28 -!- sleffy has quit (Ping timeout: 268 seconds).
23:10:04 <shachaf> that seems fine
23:11:24 -!- Phantom__Hoover has joined.
23:15:15 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds).
23:16:04 -!- LKoen has joined.
23:24:22 -!- tromp has joined.
23:25:42 -!- boily has joined.
23:26:13 <oerjan> bood evenily
23:26:35 <boily> bonsœirjan!
23:26:41 <boily> comment va?
23:27:49 <oerjan> too much ppcg. too much agora, etc. hard to catch up.
23:28:02 <boily> what's a ppcg?
23:28:44 -!- tromp has quit (Ping timeout: 245 seconds).
23:29:45 <oerjan> it's https://codegolf.stackexchange.com/ hth
23:29:49 <Taneb> Pitch perfect card games
23:30:23 <oerjan> int-e: i think you're confusing seffie with colette. also hear breakthrough as a spark seems to be coming about as expected.
23:30:28 <oerjan> *her
23:31:20 <boily> I'm glad that filler-filled battle is somewhat over. to see a spark sparking is much more interesting imho.
23:32:03 <boily> Tanelle.
23:33:02 <oerjan> Taneb: *cello
23:33:18 <oerjan> or possibly classic guitar
23:45:26 -!- hppavilion[1] has quit (Ping timeout: 258 seconds).
23:48:31 -!- sleffy has joined.
23:49:16 -!- heroux has quit (Ping timeout: 258 seconds).
23:50:42 -!- heroux has joined.
23:56:56 -!- sleffy has quit (Ping timeout: 240 seconds).
23:59:40 -!- sleffy has joined.