00:04:40 -!- shikhin has changed nick to shikhindawg. 00:06:08 -!- shikhindawg has changed nick to shikhincat. 00:06:11 -!- shikhincat has changed nick to shikhin. 00:14:25 -!- tromp_ has joined. 00:19:58 SOunds like something that would be linked form the front page. 00:23:45 MDude: right, for example under "Meta" 00:24:11 (I have to admit that tis wasn't the first place where I looked) 00:32:46 -!- gde33 has left. 00:54:30 -!- Darien has quit (Ping timeout: 252 seconds). 00:57:16 -!- Warrigal has changed nick to tswett. 00:59:43 Oh hey, I remember Brainhype. 01:00:25 -!- relrod has quit (Quit: ZNC - http://znc.in). 01:00:27 Lemme see, when was I hppavilion[1]'s age? That would have been around 2006, I think. 01:04:03 * lifthrasiir is trying to write a new brainfuck interpreter that should be FAST 01:17:47 -!- hppavilion[1] has joined. 01:32:42 @tell b_jonas I'll have to figure out the right place to store ordinary bread. <-- i'm such a barbarian i keep it in the fridge and freezer. although i only started doing that after my bread drawer in the old apartment got bugs in it. 01:32:42 Consider it noted. 01:38:26 -!- Sgeo has joined. 01:40:40 `` diff wisdom/sock{,s} 01:40:53 No output. 01:40:56 `` diff wisdom/sock{,s} 01:40:58 No output. 01:41:04 -!- Sgeo__ has quit (Ping timeout: 240 seconds). 01:41:04 `rm wisdom/socks 01:41:12 No output. 01:42:40 hmm 01:42:47 good news for the day: got a couple random things done 01:42:52 bad news: didn't get any work done on mage knight 01:43:14 maybe you should work on better dice 01:44:43 better dice how? 01:45:24 so you can get better random things hth 01:52:20 `? palate 01:52:24 Palate is usually a metaphor for a person's perferences about food or drink. 01:52:40 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:52:58 `` sed -i 's/perf/pref/' wisdom/palate 01:53:01 No output. 01:53:30 Well let me know if I should go back and remove a category. 01:54:10 And I'll bring them up here before adding them, if I ever see the need to make them again. 01:54:29 i think the bringing up should in principle be on the wiki. 01:55:32 also, i'm >half speaking for ais523 because he's too meek to protest anything that isn't clear vandalism. 01:56:12 and he got annoyed at one you added yesterday 01:57:35 i don't really manage to keep up with the wiki myself any longer. 01:59:35 I'm pretty sure I only added two. 01:59:58 ok 02:00:13 So it's either psudonatural or OISC. 02:00:25 The latter of which I think I added today? 02:00:47 well it was the former. he didn't think it was an interesting category. 02:00:50 So I'm guessing neither meets his approval. 02:01:06 well he's probably not seen the latter yet. 02:01:51 Both were created because there was an uncategorized language that I wasn't sure how to otherwise classify. 02:02:58 pseudonatural might largely be a subset of thematic 02:03:12 which i think is an existing cat 02:04:50 Yeah 02:08:18 `? fisherman's friend 02:08:19 fisherman's friend? ¯\(°_o)/¯ 02:08:36 `le/rn fisherman's friend/Fisherman's Friend is the friend of the palate that is more sore than discerning. 02:08:38 Learned «fisherman's friend» 02:13:34 -!- Treio has quit (Ping timeout: 240 seconds). 02:20:28 @tell halycon Specifically, I am wonder how (if possible) you can create a combinator from (P->Q)->((Q->R)->(P->R)) akin to S. <-- that's the type of \f g x -> g (f x), aka CB. 02:20:28 Consider it noted. 02:21:19 @djinn (p->q)->((q->r)->(p->r)) 02:21:19 f a b c = b (a c) 02:21:48 @tell halcyon Try @djinn (p->q)->((q->r)->(p->r)) in lambdabot 02:21:48 Consider it noted. 02:24:41 @tell oerjan thanks oerjan! So it is possible! 02:24:41 Consider it noted. 02:26:16 yep. in general any intuitionistic theorem has a curry-howard equivalent combinator. 02:28:19 Are there any exceptions? 02:29:30 well, or lambda term. depends on your exact definitions, but if a logic has a curry-howard correspondence, then that's part of what that means. 02:29:45 cool 02:38:06 halycon: also, when excluding pierce's law it looks like you have the combinators K and CB, which is not enough. a common alternative basis without S is https://en.wikipedia.org/wiki/B,_C,_K,_W_system 02:38:39 (for intuitionistic PC) 02:39:58 how were you able to test (or know) that K and CB was not sufficient? 02:40:22 well it's part of BCKW and missing W, so ... 02:40:33 oh, duh 02:40:43 CB is C applied to B :P 02:40:48 yeah 02:41:44 also, W is the only one of them that allows duplicating a variable. 02:42:00 (while K is the only one that allows removing one) 02:42:33 I see 02:43:35 looks like I've got some reading to do, thank you much :) 02:43:42 you're welcome 02:53:47 `culprits wisdom/hyperbolic geometry 02:53:52 oerjan hppavilion[1] 02:54:05 wat 02:54:17 `? hyperbolic geometry 02:54:18 Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity. 02:54:56 huh that's weird why did b_jonas get an empty answer 02:55:05 `wisdom hyperbolic 02:55:07 hyperbolic group/Hyperbolic groups are the best groups there are, they're totally awesome and cure cancer. 02:55:14 `wisdom hyperbolic geometry 02:55:16 hyperbolic geometry/Hyperbolic Geometry is geometry that is exaggerated to the point of absurdity. 02:55:56 `unidecode hyperbolic geometry/ 02:55:57 [U+0068 LATIN SMALL LETTER H] [U+0079 LATIN SMALL LETTER Y] [U+0070 LATIN SMALL LETTER P] [U+0065 LATIN SMALL LETTER E] [U+0072 LATIN SMALL LETTER R] [U+0062 LATIN SMALL LETTER B] [U+006F LATIN SMALL LETTER O] [U+006C LATIN SMALL LETTER L] [U+0069 LATIN SMALL LETTER I] [U+0063 LATIN SMALL LETTER C] [U+0020 SPACE] [U+0067 LATIN SMALL LETTER G] [U 02:56:10 `unidecode geometry/ 02:56:11 [U+0067 LATIN SMALL LETTER G] [U+0065 LATIN SMALL LETTER E] [U+006F LATIN SMALL LETTER O] [U+006D LATIN SMALL LETTER M] [U+0065 LATIN SMALL LETTER E] [U+0074 LATIN SMALL LETTER T] [U+0072 LATIN SMALL LETTER R] [U+0079 LATIN SMALL LETTER Y] [U+002F SOLIDUS] 02:56:23 huh 02:58:08 `cat bin/wisdom 02:58:09 F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f | shuf -n1)"; echo -n "${F#wisdom/}/" | rnooodl; cat "$F" | rnooodl 02:58:51 `cat bin/rnooodl 02:58:52 perl -pe 's/([Nn])ooodl/"$1@{[o x(3+rand 7)]}dl"/ge' 02:59:54 maybe there was a very precise timeout. 03:21:40 I did play the Dungeons&Dragons game today. Now you have to guess before I write it down and afterward you can check and see if you guessed correctly or not. 03:21:40 -!- yorick has quit (Ping timeout: 248 seconds). 03:25:45 -!- yorick__ has joined. 03:47:46 -!- jaboja has quit (Ping timeout: 244 seconds). 04:01:30 -!- yorick__ has quit (Ping timeout: 276 seconds). 04:05:12 -!- yorick__ has joined. 04:05:12 -!- yorick__ has quit (Changing host). 04:05:12 -!- yorick__ has joined. 04:05:25 -!- jaboja has joined. 04:16:49 -!- relrod_ has joined. 04:18:56 -!- relrod_ has quit (Changing host). 04:18:57 -!- relrod_ has joined. 04:19:02 -!- relrod_ has changed nick to relrod. 04:19:19 <\oren\> `wisdom 04:19:20 wecome/wecome in pece. 04:19:23 <\oren\> `wisdom 04:19:26 zimbabwe/olsner's desk points zimbabwards. it is highly dependent on tswett's michiganic orientation. 04:19:39 <\oren\> `wisdom 04:19:40 mojibake/mojibake _ÌÌÌ°_ÌÌÍÍÍ¬Ì¦Ì»ÌÍÌÌÍ¡_Í§ÍÌÍÌ_ÍÍÍÍ§ÍÌÌÌ¯ÍÌ¬Ì¬Ì¦Ì¯_ÌÌÌÍ¨ÌÌ´Í 04:19:51 <\oren\> `wisdom 04:19:53 el camino real/There is no royal road to analytic geometry. 04:20:02 <\oren\> `wisdom 04:20:03 hovercraft/a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner. 04:20:29 <\oren\> `wisdom 04:20:32 d/D is a letter in the alphabet! It's also the name of a programming language. 04:21:16 How many letters of Arabic alphabets are also name of programming languages? 04:21:27 -!- Deewiant has quit (Quit: Viivan loppu.). 04:21:36 -!- Deewiant has joined. 04:43:01 -!- oerjan has quit (Quit: Eel try to avoid that, then.). 04:44:38 zzo38: not directly comparable since programming languages are not frequently named in Arabic. even Arabic languages have English names. 04:44:59 ج seems to be one example, though (http://www.jeemlang.com/) 04:51:07 OK 04:51:30 How many programming languages are named by Egyptian alphabets? 04:51:57 (Actually I know Egyptian writing is more complicated than that) 04:52:30 I will be never sure. 05:01:53 `danddreclist 75 05:01:54 danddreclist 75: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 05:08:23 -!- XorSwap has joined. 05:12:47 `le/rn mojibake/_ÌÌÌ°_ÌÌÍÍÍ¬Ì¦Ì»ÌÍÌÌÍ¡_Í§ÍÌÍÌ_ÍÍÍÍ§ÍÌÌÌ¯ÍÌ¬Ì¬Ì¦Ì¯_ÌÌÌÍ¨ÌÌ´Í 05:12:50 Learned «mojibake» 05:12:52 Much better 05:13:05 (the fact that "mojibake" properly rendered was bugging me) 05:14:28 hppavilion[1]: ASCII-compatible encoding, so it's fine 05:15:01 lifthrasiir: Yes, but then why is the rest the way it is? 05:15:14 lifthrasiir: What text was in there that led to it being rendered as such? 05:15:20 native letters! 05:15:38 lifthrasiir: Why are there so many of that one character in a row? 05:16:14 hppavilion[1]: japanese characters do not use spaces (normally). 05:16:41 lifthrasiir: And? 05:16:56 lifthrasiir: Why does that particular character appear? 05:17:29 And its mirror 05:17:34 hppavilion[1]: are you asking for the mechanics of mojibake? :) 05:17:47 lifthrasiir: I understand mojibake 05:18:50 I can imagine some text like "mojibake（文字化け）とは、コンピュータで文字を表示する際に、正しく表示されない現象のこと。" 05:19:24 lifthrasiir: Clearly you can do more than imagine it; you can send it via IRC 05:19:48 hppavilion[1]: ah, so you are wondering about the (real) original text for that sentence 05:19:51 fine 05:21:42 Shift-JIS gives the first byte of two-byte character only a few possibilities, and Ì is a pretty common one (when you reinterpret it as Latin-1). 05:31:03 -!- APic has quit (Ping timeout: 240 seconds). 05:37:23 -!- APic has joined. 05:39:39 Will they add -ntsc and +ntsc commands into ImageMagick and/or GraphicsMagick? 05:48:37 -!- halycon has quit (Quit: Leaving). 06:07:50 did you know that there are much better algorithms to compute the factorial of a number than repeated multiplication? http://www.luschny.de/math/factorial/FastFactorialFunctions.htm 06:22:08 -!- adu has joined. 06:22:27 hppavilion[1]! 06:23:43 O, there are? Let me see 06:24:05 Now I can see 06:30:59 -!- jaboja has quit (Ping timeout: 248 seconds). 06:33:04 -!- adu has quit (Quit: adu). 06:33:32 -!- ent0nces has joined. 06:38:04 -!- ent0nces_ has joined. 06:40:11 -!- XorSwap has quit (Quit: Leaving). 06:40:35 -!- tromp_ has quit (Remote host closed the connection). 06:40:46 -!- ent0nces has quit (Ping timeout: 255 seconds). 06:44:29 -!- ent0nces has joined. 06:46:27 -!- ent0nces_ has quit (Ping timeout: 248 seconds). 07:02:13 -!- lambda-11235 has quit (Quit: Bye). 07:05:35 -!- ent0nces_ has joined. 07:08:03 -!- ent0nces has quit (Ping timeout: 276 seconds). 07:10:39 -!- ent0nces has joined. 07:13:10 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 07:23:29 -!- skamath has joined. 07:24:53 Hey, can anyone help me identify this : http://pastebin.com/yMBF5tB5 07:25:38 -!- jaboja has joined. 07:34:15 anyone? 07:37:23 [wiki] [[Category:OISC]] https://esolangs.org/w/index.php?diff=46454&oldid=46453 * Keymaker * (-1) Fixed 2 typos. 07:39:29 -!- ent0nces_ has joined. 07:40:46 looks like ookless ook 07:41:07 -!- tromp_ has joined. 07:41:17 myname: come again? 07:41:55 -!- ent0nces has quit (Ping timeout: 248 seconds). 07:44:54 -!- skamath has quit (Quit: Page closed). 07:45:39 -!- tromp_ has quit (Ping timeout: 248 seconds). 07:49:06 -!- jaboja has quit (Ping timeout: 250 seconds). 07:49:22 ? 07:52:32 -!- ent0nces has joined. 07:55:01 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 08:07:03 -!- ent0nces_ has joined. 08:09:39 -!- ent0nces has quit (Ping timeout: 248 seconds). 08:11:34 -!- AnotherTest has joined. 08:20:57 -!- MoALTz has quit (Read error: Connection reset by peer). 08:26:46 -!- J_Arcane has quit (Ping timeout: 244 seconds). 08:31:43 -!- ent0nces has joined. 08:34:37 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 08:36:53 . 08:38:16 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 08:40:09 -!- hppavilion[1] has joined. 08:44:40 -!- ent0nces_ has joined. 08:46:59 -!- ent0nces has quit (Ping timeout: 248 seconds). 08:51:27 -!- ent0nces has joined. 08:54:25 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 08:55:05 -!- ent0nces_ has joined. 08:57:39 -!- ent0nces has quit (Ping timeout: 248 seconds). 08:58:20 -!- ent0nces has joined. 09:00:43 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 09:03:20 ! 09:05:28 : 09:22:16 -!- AnotherTest has quit (Ping timeout: 252 seconds). 09:24:58 ; 09:26:35 : is the weird one 09:26:50 myname: What's the context? 09:27:22 -!- ent0nces_ has joined. 09:29:38 -!- ent0nces has quit (Ping timeout: 250 seconds). 09:31:37 lifthrasiir: What's weird about :? 09:32:14 hppavilion[1]: Ook. Ook? Ook! 09:32:21 lifthrasiir: Ah? 09:33:34 lifthrasiir: Actually, I... don't get it 09:34:10 hppavilion[1]: the first three punctuations are used for Ook! language. since I was out of letters, I went with an arbitrary punctuation 09:34:29 lifthrasiir: OK... 09:34:31 (or, myname may refer to the fact that : is not a sentence terminator) 09:34:34 lifthrasiir: In what? 09:34:44 you cannot end a sentence with a colon: 09:34:44 lifthrasiir: Is this a language? 09:34:46 see. 09:34:47 Ook++? 09:34:56 https://esolangs.org/wiki/Ook! 09:35:18 lifthrasiir: Yes, but what does : have to do with this? 09:35:37 . ! ? are all used so I went with an arbitrary letter 09:35:46 lifthrasiir: For what? 09:35:59 You went with an arbitrary letter for what? 09:36:00 uh, a series of... single letter conversations? 09:36:05 lifthrasiir: Oh? 09:36:09 OK 09:36:10 hppavilion[1]: for the same reason Ou used a ; 09:36:12 just a joking 09:36:18 Ah, OK 09:36:25 That was confusing because I joined at the end 09:39:05 -!- ent0nces has joined. 09:41:25 `? sugar 09:41:30 `? syntax 09:41:31 -!- tromp_ has joined. 09:41:32 `? syntactic 09:41:34 `? syntactic sugar 09:41:40 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 09:42:05 syntactic sugar? ¯\(°_o)/¯ 09:42:13 syntactic? ¯\(°_o)/¯ 09:42:13 Syntax is just a subset of grammar. 09:42:13 sugar? ¯\(°_o)/¯ 09:42:19 ``` find wisdom -iname "*synta[cx]*" -o -iname "*sugar*" 09:42:21 wisdom/syntax 09:42:55 `slashlearn syntactic sugar/Syntactic sugar causes semicolon cancer 09:42:58 Learned «syntactic sugar» 09:43:06 `slashlearn syntactic sugar/Syntactic sugar causes semicolon cancer. 09:43:08 Learned «syntactic sugar» 09:44:50 -!- staffehn has quit (Quit: No Ping reply in 180 seconds.). 09:45:06 -!- staffehn has joined. 09:46:20 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 09:46:39 -!- tromp_ has quit (Ping timeout: 276 seconds). 09:47:08 -!- ent0nces_ has joined. 09:49:23 -!- ent0nces has quit (Ping timeout: 248 seconds). 10:02:41 [wiki] [[User:GermanyBoy]] https://esolangs.org/w/index.php?diff=46455&oldid=41610 * GermanyBoy * (+136) added röda 10:04:56 [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=46456&oldid=46343 * GermanyBoy * (+145) /* Röda */ added section 10:06:48 -!- izabera has quit (Ping timeout: 276 seconds). 10:06:51 `? surströmming 10:06:52 surströmming? ¯\(°_o)/¯ 10:07:06 ``` find wisdom -iname "*rstr*" 10:07:07 No output. 10:09:05 -!- ent0nces has joined. 10:09:09 -!- Treio has joined. 10:11:49 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 10:13:51 -!- andrew_ has joined. 10:14:19 -!- izabera has joined. 10:40:13 -!- ent0nces_ has joined. 10:42:43 -!- ent0nces has quit (Ping timeout: 248 seconds). 10:45:50 -!- ent0nces has joined. 10:48:43 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 10:50:52 -!- ent0nces_ has joined. 10:53:23 -!- ent0nces has quit (Ping timeout: 248 seconds). 10:53:35 -!- andrew_ has quit (Quit: Leaving). 10:56:22 -!- bender| has joined. 10:57:32 -!- andrew_ has joined. 10:59:35 -!- ent0nces has joined. 11:02:13 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 11:15:23 -!- boily has joined. 11:23:40 -!- ent0nces_ has joined. 11:25:55 -!- ent0nces has quit (Ping timeout: 248 seconds). 11:31:31 -!- Treio has quit (Ping timeout: 252 seconds). 11:33:14 -!- ent0nces has joined. 11:35:58 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 11:36:00 @massages-loud 11:36:00 You don't have any messages 11:37:43 -!- Froox has joined. 11:40:06 -!- zgrep_ has joined. 11:40:26 -!- zgrep has quit (Ping timeout: 240 seconds). 11:40:35 -!- zgrep_ has changed nick to zgrep. 11:40:50 -!- Xe has quit (Ping timeout: 240 seconds). 11:41:13 -!- Frooxius has quit (Ping timeout: 240 seconds). 11:44:20 -!- AnotherTest has joined. 11:47:36 -!- Xe has joined. 11:52:03 -!- ent0nces_ has joined. 11:54:43 -!- ent0nces has quit (Ping timeout: 248 seconds). 12:00:50 -!- ent0nces has joined. 12:03:25 -!- ent0nces_ has quit (Ping timeout: 252 seconds). 12:06:48 -!- ent0nces_ has joined. 12:09:16 -!- ent0nces has quit (Ping timeout: 255 seconds). 12:16:13 How about quiet massages? 12:18:21 @massages-quiet 12:18:21 Unknown command, try @list 12:19:31 -!- boily has quit (Quit: ANIMISTIC CHICKEN). 12:21:31 -!- ent0nces has joined. 12:24:03 -!- ent0nces_ has quit (Ping timeout: 248 seconds). 12:26:15 -!- ent0nces_ has joined. 12:29:04 -!- ent0nces has quit (Ping timeout: 255 seconds). 12:33:01 -!- ent0nces has joined. 12:33:46 BOOP ᴮᴼᴼᴾ BOOP ᴮᴼᴼᴾ 12:34:01 `unidecode ᴮᴼᴼᴾ 12:34:11 [U+1D2E MODIFIER LETTER CAPITAL B] [U+1D3C MODIFIER LETTER CAPITAL O] [U+1D3C MODIFIER LETTER CAPITAL O] [U+1D3E MODIFIER LETTER CAPITAL P] 12:35:47 -!- ent0nces_ has quit (Ping timeout: 248 seconds). 12:36:41 -!- ent0nces_ has joined. 12:38:31 -!- ent0nces has quit (Ping timeout: 255 seconds). 12:40:20 -!- ent0nces has joined. 12:43:27 -!- ent0nces_ has quit (Ping timeout: 276 seconds). 13:03:17 A capital idea 13:04:35 i am impressed how people have no shame in calling themself GermanyBoy 13:08:00 myname, same 13:10:15 -!- tromp has quit (Read error: Connection reset by peer). 13:21:22 Why is the fact that Vienna and Bratislava are less than 40 miles apart annoying me so much 13:23:26 -!- ent0nces_ has joined. 13:23:59 Taneb: that's simply a side effect of both of them being close to Budapest and to the Danube 13:25:55 -!- ent0nces has quit (Ping timeout: 248 seconds). 13:28:35 b_jonas, they're both... well, closer to Budapest than I am to any capital city, but Ezstergom is closer 13:32:14 -!- andrew_ has quit (Remote host closed the connection). 13:34:07 -!- andrew has joined. 13:34:14 -!- andrew has quit (Remote host closed the connection). 13:43:03 -!- tromp has joined. 13:45:25 -!- tswettsh has joined. 13:45:36 -!- tswettsh has quit (Client Quit). 14:04:11 -!- tromp has quit (Remote host closed the connection). 14:04:22 -!- Alcest has joined. 14:08:37 -!- ent0nces has joined. 14:10:46 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 14:13:44 -!- tromp has joined. 14:18:23 -!- ent0nces_ has joined. 14:20:15 -!- `^_^v has joined. 14:20:51 -!- ent0nces has quit (Ping timeout: 248 seconds). 14:26:23 -!- ent0nces has joined. 14:29:13 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 14:38:04 -!- ent0nces_ has joined. 14:40:35 -!- ent0nces has quit (Ping timeout: 248 seconds). 14:40:46 -!- J_Arcane has joined. 14:48:58 -!- AnotherTest has quit (Ping timeout: 252 seconds). 14:59:50 -!- spiette has joined. 15:04:45 -!- tromp_ has joined. 15:07:00 -!- oerjan has joined. 15:09:19 -!- tromp_ has quit (Ping timeout: 252 seconds). 15:18:06 -!- ent0nces has joined. 15:20:31 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 15:28:15 !show ook 15:28:17 perl (sending via DCC) 15:29:14 hm that doesn't work for this. 15:38:58 -!- ent0nces_ has joined. 15:41:23 -!- ent0nces has quit (Ping timeout: 248 seconds). 15:42:45 -!- bender| has quit (Ping timeout: 250 seconds). 15:47:22 -!- lambda-11235 has joined. 15:48:59 `? syntactic sugar 15:49:05 Syntactic sugar causes semicolon cancer. 15:50:52 ``` find wisdom -iname "*super*" 15:50:53 wisdom/supermarionation \ wisdom/superexponential growth \ wisdom/superduperexponential growth \ wisdom/superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal \ wisdom/supermarioperator \ wisdom/supercalifragilisticexponential growth 15:51:24 `? supermarioperator 15:51:25 supermarioperator is one of many confusing operators as defined in Control.Plumbers.Monad. Your sanity is in another castle. 15:51:56 wait 15:52:01 is this a thing? 15:52:28 ``` find wisdom -iname "*lar*" 15:52:29 wisdom/selamlar 15:53:31 what the actual fuck 15:54:02 wait, there is a << 15:56:34 [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=46457&oldid=46456 * Oerjan * (-1) On the one hand, someone cannot read. On the other hand, it's better after the section header anyway. 16:03:36 @hoogle Control.Plumbers.Monad 16:03:44 package MonadCatchIO-mtl 16:03:44 package MonadCatchIO-mtl-foreign 16:03:44 package MonadCatchIO-transformers 16:03:56 there you go. 16:05:36 `? superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal 16:05:39 Superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal is where mroman lives. 16:06:57 ``` find wisdom -iname "*ego*" 16:06:58 wisdom/monoidal category \ wisdom/oregon \ wisdom/hackego \ wisdom/category \ wisdom/categorical product \ wisdom/category theory \ wisdom/something-that-isn't-in-hackego's-wisdom \ wisdom/gregor \ wisdom/bicategory \ wisdom/egobot \ wisdom/category-helpdesk 16:20:49 -!- earendel has quit (Ping timeout: 255 seconds). 16:23:22 ``` find wisdom -iname "*ball*" 16:23:23 No output. 16:25:20 -!- earendel has joined. 16:28:55 -!- ent0nces has joined. 16:29:54 -!- adu has joined. 16:31:10 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 16:31:53 -!- oerjan has quit (Quit: Later). 16:33:17 `? superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal 16:33:18 Superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal is where mroman lives. 16:33:24 Good 16:38:58 -!- XorSwap has joined. 16:49:33 -!- atehwa has quit (Ping timeout: 268 seconds). 16:50:06 -!- lynn has joined. 16:50:40 -!- atehwa has joined. 17:04:50 -!- tromp_ has joined. 17:06:42 -!- ent0nces_ has joined. 17:09:23 -!- ent0nces has quit (Ping timeout: 248 seconds). 17:09:57 -!- tromp_ has quit (Ping timeout: 276 seconds). 17:26:31 -!- Sprocklem_ has quit (Ping timeout: 255 seconds). 17:30:35 -!- ent0nces has joined. 17:31:26 -!- AnotherTest has joined. 17:33:16 -!- ent0nces_ has quit (Ping timeout: 255 seconds). 17:35:33 -!- AnotherTest has quit (Ping timeout: 240 seconds). 17:37:59 -!- sebbu has quit (Ping timeout: 240 seconds). 17:54:19 -!- AnotherTest has joined. 17:56:35 -!- XorSwap has quit (Read error: Connection reset by peer). 17:56:47 -!- XorSwap has joined. 17:57:38 -!- Treio has joined. 17:59:22 -!- ent0nces_ has joined. 17:59:56 -!- hppavilion[1] has joined. 18:01:07 -!- MoALTz has joined. 18:01:39 -!- ent0nces has quit (Ping timeout: 248 seconds). 18:06:08 -!- tromp_ has joined. 18:08:55 -!- ent0nces_ has quit. 18:09:27 -!- ent0nces has joined. 18:10:36 -!- tromp_ has quit (Ping timeout: 244 seconds). 18:10:59 -!- earendel has quit (Ping timeout: 240 seconds). 18:17:04 -!- XorSwap has quit (Quit: Leaving). 18:18:58 -!- earendel has joined. 18:27:08 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 18:43:58 -!- sebbu has joined. 18:44:53 -!- hppavilion[1] has joined. 18:52:07 -!- Treio has quit (Ping timeout: 250 seconds). 19:05:37 -!- mihow has joined. 19:10:32 -!- Treio has joined. 19:13:58 -!- XorSwap has joined. 19:15:36 https://v1.std3.ru/71/b7/1450110575-71b77b2bd06f431f2bd0b4abb983738f.gif 19:17:29 -!- impomatic_ has joined. 19:21:24 -!- Phantom_Hoover has joined. 19:24:33 -!- XorSwap has quit (Ping timeout: 240 seconds). 19:31:48 Does anyone know where I might find an archive or fj.binaries.msdos? I haven't found anything by Googling :-( 19:32:35 -!- adu has quit (Quit: adu). 19:33:59 why do HoTT people have to keep going on about how it's the second coming of maths jesus :/ 19:35:06 I had idea, I can invent a new kind of computer puzzle game, a bit like Hero Mesh but it is Linux and many differences, such as some of the design of Hero Mesh is badly designed, so I would do it in the better way. Also you can examine any tile by clicking on it so that nothing is hidden. What is your opinion of this so far? 19:35:17 (Also, I do not know the answer of either of your two questions) 19:36:55 I would probably also to avoid animation (at least at first), and to ensure that keys such as shift/ctrl/alt/capslock/numlock are not game commands 19:43:05 -!- earendel has quit (Ping timeout: 244 seconds). 19:43:18 -!- ent0nces_ has joined. 19:45:39 -!- ent0nces has quit (Ping timeout: 248 seconds). 19:48:10 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 19:49:42 -!- hppavilion[1] has joined. 19:54:01 -!- Sprocklem has joined. 19:57:33 -!- ent0nces_ has quit (Remote host closed the connection). 19:57:52 -!- ent0nces has joined. 20:02:13 -!- ent0nces has quit (Ping timeout: 255 seconds). 20:07:56 We have lazy-evaluated sequences, but not lazy-evaluated trees 20:08:09 lazyevtree.next(n) 20:08:51 -!- ent0nces has joined. 20:09:24 Or lazy-evaluated trees 20:09:28 Or lazy-evaluated matrices 20:09:35 s/trees/graphs/ 20:12:25 who is "we"? 20:12:45 haskell has these 20:13:15 myname: Programmers 20:13:16 myname: Oh 20:13:18 Right 20:13:53 infinite trees? no problem 20:14:15 myname: We have lambda but not thetas? 20:14:23 s/lambda/lambdas/ 20:14:28 xD 20:14:32 Or rhos 20:14:44 what should they do? 20:14:46 Rhos being based on the rho-calculus 20:14:55 myname: I don't know, what's the rho-calculus like? 20:15:31 myname: I guess a rho is something you can term rewrite 20:16:28 rho x y z: x+y*z 20:16:34 (python syntax) 20:17:15 how is it different than lambda x y z: x+y*z? 20:17:28 myname: A rho is based on term rewriting 20:17:34 myname: or something 20:17:43 so... #define? 20:17:48 myname: That doesn't produce a function; it produces a rewritable 20:18:11 myname: Yes, perhaps (I don't know much about rho-calculus OR the C preprocessor), but as a builtin language construct. 20:19:13 (rho x y z -> x*(y+z)).distribute() produces a rho x y z -> x*y+x*z 20:19:17 Maybe 20:20:31 -!- puckipedia has quit (*.net *.split). 20:20:32 -!- gniourf has quit (*.net *.split). 20:20:32 -!- deltab has quit (*.net *.split). 20:20:32 -!- kline has quit (*.net *.split). 20:20:32 -!- erdic has quit (*.net *.split). 20:20:45 -!- deltab has joined. 20:20:52 -!- erdic has joined. 20:21:50 -!- gniourf has joined. 20:22:36 Of course, that's completely wrong 20:22:56 -!- puckipedia has joined. 20:22:56 -!- sebbu has quit (Ping timeout: 255 seconds). 20:23:20 This is part of document of my idea of "Universal Terminal Character Encoding": http://zzo38computer.org/textfile/miscellaneous/utce 20:24:41 -!- nisstyre has quit (Changing host). 20:24:41 -!- nisstyre has joined. 20:25:23 Note that it includes many characters not available in Unicode, although a conversion from Unicode will also be lossy. 20:25:41 -!- kline has joined. 20:25:47 -!- sebbu has joined. 20:26:53 Also, for simplicity, there is no right-to-left nor any complex scripts; it is designed to be simple but also elaborate. 20:30:03 -!- lambda-11235 has quit (Quit: Bye). 20:48:33 -!- shikhin has changed nick to kvIRC. 20:48:39 -!- kvIRC has changed nick to shikhin. 20:57:09 -!- jaboja has joined. 21:03:10 myname: Also, pis, based on the pi calculus. Anonymous threads, basically. 21:13:06 -!- ent0nces has quit. 21:15:51 whoa 21:16:04 shachaf: ring the obell for @1025 21:16:10 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 21:16:19 b_jonas: you should do it hth 21:16:32 obell? 21:16:51 `? obell 21:17:10 obell? ¯\(°_o)/¯ 21:17:18 prooftechnique: the obell is what we ring each time a new strip of the o webcomic is published 21:17:25 `olist 1025 21:17:27 o 21:17:28 olist 1025: shachaf oerjan Sgeo FireFly boily nortti b_jonas 21:17:46 -!- earendel has joined. 21:17:59 `learn The obell is what we ring each time a new strip of the o webcomic is published. 21:18:03 Learned 'obell': The obell is what we ring each time a new strip of the o webcomic is published. 21:18:42 o 21:19:00 FireFlhi 21:19:06 And, as a followup question, where do I read this webcomic? 21:19:18 `? olist 21:19:21 Update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html 21:19:27 Oh, that o 21:21:04 shachafton 21:21:17 ? 21:21:48 https://en.wiktionary.org/wiki/afton 21:21:57 ah 21:22:07 but it's only 13:22 21:22:12 more like shachafternoon 21:22:37 but it's 22:22 21:22:51 But it's 16:22 21:23:49 Bordering on shachväll 21:23:55 `? fternooner 21:23:55 fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry. 21:24:12 shachaftermiddag 21:26:02 I think all the different quote conventions are the most interesting part of that entry. 21:26:40 `? fentimans 21:26:42 fentimans is a delicious beverage out from Hexham, that can be paired with a fresh fternooner for a nutritive midday snack. 21:27:49 Haven't had any Fentimans in months 21:29:08 `? benchmarks 21:29:11 benchmarks? ¯\(°_o)/¯ 21:29:17 -!- hppavilion[1] has joined. 21:29:32 `quote benchmarks 21:29:33 665) Benchmarks are only a good measure of surprise 21:29:36 There it is 21:32:48 prooftechnique: different quoting styles reminds me to http://www.madore.org/~david/weblog/d.2014-07-08.2212.html which asks what style of quotation marks to use when you quote text from a different language than the main text. 21:33:26 -!- oerjan has joined. 21:34:31 We should all just adopt the perl convention. Q is underused, anyway 21:34:48 Taneb: Is that carbonated? 21:34:55 shachaf: generally 21:34:59 scow 21:35:03 Or, as I prefer to think of it: under*utilized* 21:35:24 -!- XorSwap has joined. 21:35:53 eek the bug workaround for pine in tmux broke irssi instead... 21:36:03 -!- oerjan has quit (Client Quit). 21:36:03 -!- sebbu has quit (Ping timeout: 240 seconds). 21:36:08 Oh, dear 21:37:39 -!- zzo38 has quit (Remote host closed the connection). 21:38:09 -!- lynn has quit (Quit: Leaving). 21:39:10 -!- sebbu has joined. 21:39:19 -!- oerjan has joined. 21:48:40 -!- jaboja has quit (Remote host closed the connection). 21:49:39 -!- lynn has joined. 21:51:29 -!- hydraz has changed nick to nothing. 21:51:33 -!- nothing has changed nick to hydraz. 21:51:52 prooftechnique: they upgraded fedora on the server i use for mail and irssi, which includes a buggy version of tmux that breaks reverse video, but not irssi. the simplest fix (while waiting for the actual tmux bugfix) is to set TERM=xterm instead of TERM=screen inside tmux, but that breaks irssi instead... 21:52:41 oerjan: use a better server hth 21:52:54 so i'm playing around with shell and tmux config 21:53:30 shachaf: but but it's my 24 year old email account 21:53:57 why do you run an irc client on your email account 21:54:20 also 24 is a lot of years 21:54:23 also this is a computer club, so the admin who answered suggested _i_ build tmux with the patch for them. 21:54:31 yep 21:54:37 did email even exist 24 years ago 21:54:43 yep 21:54:46 did anything exist 21:54:48 yep 21:54:57 I agree with oerjan 21:55:04 or possibly it was all faked last thursday. 21:55:09 shachaf: yes, I existed 24 years ago 21:55:21 -!- earendel has quit (Ping timeout: 244 seconds). 21:55:22 I even have photos of me and my family from back then 21:55:33 photoshop 21:55:46 24 years is almost a quarter of a century 21:55:54 so? 21:56:06 that's way too long a time span for anything 21:56:22 people live longer than that 21:56:35 so they say 21:56:54 they do. 21:57:13 we are talking about Earth years, right? 21:57:43 shachaf: are you a veetan by any chance 21:58:06 `? veetan 21:58:07 although they can live to 25 21:58:07 veetan? ¯\(°_o)/¯ 21:59:16 `learn Veetans are a race of cuddly, yet sturdy aliens in the Drive comic. 21:59:18 Learned 'veetan': Veetans are a race of cuddly, yet sturdy aliens in the Drive comic. 21:59:47 what's the drive comic 21:59:51 `learn Veetans are a race of cuddly, yet sturdy aliens in the Drive comic. Their maximum lifespan is 25 years, but they use it well. 21:59:53 Learned 'veetan': Veetans are a race of cuddly, yet sturdy aliens in the Drive comic. Their maximum lifespan is 25 years, but they use it well. 21:59:56 oh, is that what dlist is about? 22:00:02 i thought it was a prolog thing 22:00:07 shachaf: hm not that i know of 22:00:24 it's not irregular enough for a list, any more. 22:00:43 25 is a lot of years 22:01:40 if you don't demonstrate a magic talent by that age you get exiled, i think 22:01:57 i could find a quote on that, if the drive website didn't have the worst archive system _ever_. 22:02:27 drive, hmm 22:02:28 i don't think veetans are magic much. 22:03:05 -!- earendel has joined. 22:03:41 * oerjan tries via google, again 22:03:54 google is magic 22:03:58 `? google 22:04:00 Google your half-Word Haskell is Problem. 22:04:17 ... that did not help at all 22:04:58 `culprits wisdom/google 22:05:02 tswett 22:05:27 pikhq: did you go to that google class where they tell you how search works 22:07:34 -!- tromp_ has joined. 22:08:18 ooh ohnorobot has it 22:09:00 no wait, it doesn't, it's from before the comic moved. 22:10:04 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 22:11:53 -!- tromp_ has quit (Ping timeout: 244 seconds). 22:19:03 finally http://www.drivecomic.com/archive/100731.html 22:20:07 25 years is a long time 22:20:48 100731 is scary 22:21:36 "drive is ad-free, thanks to reader support. click to back the strip on patreon!" 22:21:54 i don't think ad-free means what you think it means hth 22:22:13 how can i pick up a new webcomic if i have to read 100000 past issues? 22:22:39 Just read olist. 22:22:57 izabera: just start reading... bookmark the latest comic you've read... you'll catch up eventually 22:23:11 shachaf: i don't think that is the worst problem with the site hth 22:23:25 izabera: or spend an extended weekend... 22:23:47 izabera: sadly, it's just the date 22:23:48 izabera: also you're exaggerating 22:24:04 am i? 22:24:36 oerjan: what moron uses that date format 22:24:38 the date url scheme is just one part of why the site is almost completely unnavigable 22:24:59 perhaps this channel is inhabited entirely by veetans 22:25:01 (if updates were completely regular, it would work, but they haven't been) 22:25:03 except for oerjan 22:25:45 izabera: it looks like a weekly, maybe twice a week, comic that has been around for 6 1/2 years 22:26:11 -!- S1 has joined. 22:26:13 izabera: i have frequent, but so far overcome desires to register on disqus just to tell the author to fire his website programmers. 22:27:47 int-e: it's twice a week now, one main comic and one guest comic. but it has been far more rare, and had essentially a year of hiatus while kellett worked on a film project. 22:28:27 before that year, there was a "look at the last year of comics" menu that sort of worked. 22:28:27 oerjan: that's fine, I was looking for an upper bound on the number of issues 22:29:29 anyway, I wouldn't complain about the URL scheme. I would complain about the lack of navigation beyond "next" and "prev". 22:30:51 int-e: well the url scheme is such that you cannot hack around the lack of navigation, because together with the frequent hiatuses in the middle of the run, it is completely unpredictable which dates have comics 22:31:36 so it _is_ part of the problem, although wouldn't be a good solution alone. 22:31:52 -!- S1 has quit (Quit: S1). 22:31:52 fwiw I have that problem with GG as well... though one can usually hit a comic in at most 3 tries (using a calendar would be too tedious ;-) ) 22:32:00 www.drivecomic.com/archive/random is all the navigation you need hth 22:32:08 oops, where did the http:// go 22:32:34 int-e: GG has a menu of story arcs, from which you can start jumping by weeks. 22:33:04