00:00:15 [wiki] [[Talk:Bitoven]] N http://esolangs.org/w/index.php?oldid=43172 * Imaginer1 * (+126) Created page with "This page hasn't been categorized yet and supposedly moderators are supposed to be the ones in charge of this. Any help, guys?" 00:00:27 [wiki] [[Talk:Bitoven]] http://esolangs.org/w/index.php?diff=43173&oldid=43172 * Imaginer1 * (+25) 00:00:47 [wiki] [[Talk:Bitoven]] http://esolangs.org/w/index.php?diff=43174&oldid=43173 * Imaginer1 * (+11) 00:00:59 -!- Nihilumbra has joined. 00:01:40 [wiki] [[Talk:Bitoven]] http://esolangs.org/w/index.php?diff=43175&oldid=43174 * Imaginer1 * (+0) 00:02:04 * Nihilumbra vomits 00:03:58 Nihellombra! 00:04:06 why are you codigesting so? 00:04:25 I had some bad sushi 00:04:55 well what do you expect when you don't cook your food properly duh 00:04:55 bleh :( 00:05:21 [wiki] [[Bitoven]] http://esolangs.org/w/index.php?diff=43176&oldid=43169 * Imaginer1 * (+0) Made a minor correction 00:05:29 i only eat veggie sushi 00:05:47 * oerjan afahk has never had proper sushi. 00:06:03 I prefer the sushi without the stuff inside, so, it is empty sushi 00:06:09 i mean, when i eat sushi, it is only veggie 00:06:29 sweet potato roll is my fave 00:06:44 * oerjan leaves this discussion to shachaf 00:06:55 ? 00:06:58 Oh lyka what was that octopus thing you were going to show 00:07:12 huh? 00:07:14 I left in a hurry the other month 00:07:35 I like sashimi. surf clam and oil fish are some readily available favourites. 00:08:13 Fried tampura is good 00:08:34 oh, i gave a certain arduino the name "octopus" when i had 8 wwires sticking out 00:09:23 4FK Octopus referres to it running on that device 00:10:09 mm 00:10:14 Ok 00:10:31 fried tempura? as in, you take some tempura, cover it in tempura batter, and fry it? 00:10:47 Macho man randy savage killed Jesus and stopped the rapture 00:10:52 Yeah 00:10:54 oerjan: do you remember how to type in a → in LaTeX? 00:11:18 Is that a condom company, Boily 00:11:31 the reference for 4FK-CORE is an arduino leonardo + an ethernet/sd shield (ethernet support isn't part of core) 00:12:01 Called that calamari cause i caled the other one octopus 00:12:06 Sounds cool 00:12:07 Nihilumbra: no, it's typesetting software. some people here like to give me a headache with it. 00:12:28 boily: $\rightarrow$ 00:12:35 . o O ( oh yeah baby, align that float... such a fine \caption you have there... ) 00:12:38 Plain TeX is a better typesetting software 00:12:41 `thanks ais523 00:12:42 Thanks, ais523. Thais523. 00:12:43 In my opinion 00:12:49 I used that one a lot in my thesis 00:13:02 (not sure if there's a textmode version but mathmode is what I needed anyway, and it's not like it's hard to toggle) 00:13:05 Hmm 00:13:39 ais523: meanwhile, I just discovered the sudden benefits of YCM in vim. 00:13:53 holy glorious mother of fungot. it autocompletes everything. 00:13:53 boily: i also believe that it leads to nothing but mistakes are only costly with the emacs equivalent of word macros. awk scripts are becoming gawk scripts. etc etc etc 00:14:16 something that auto completes?? everything??? 00:14:19 What 00:14:36 -!- Sprocklem has quit (Quit: Reconnecting). 00:14:44 -!- Sprocklem_ has joined. 00:15:11 Nihilumbra: it aucocompletes. smartly. and not only prefixes; as long as the substring exists, it autocompletes. 00:15:16 do you use vim? 00:15:24 Cuddlefish is the arduino mega + tft touch lcd 00:15:43 nah 00:15:48 but I should 00:17:49 mroman_: are you the one who added that chuchichäschtli, or was it int-e? 00:19:21 it sounds very swiss 00:19:37 so mroman_ is the obvious suspect 00:19:45 `? chuchichäschtli 00:19:46 chuchichäschtli is spoken as ˈχʊχːiˌχæʃːtli 00:20:40 hm clearly deficient 00:21:32 `run sed -i 's/as \(.*\)/as [\1]/' wisdom/chuchichäschtli 00:21:34 No output. 00:21:37 `? chuchichäschtli 00:21:39 chuchichäschtli is spoken as [ˈχʊχːiˌχæʃːtli] 00:21:46 wow it worked 00:24:55 wtf 00:25:00 How is that spoken 00:26:41 as written. 00:27:04 oerjan: imported TIPA, read the docs, it worked. on to the next missing entry! 00:32:33 I think I can make poutine in York relatively easily <-- isn't that cheese stuff sort of rare outside canada, or something? 00:32:56 cheese curds? 00:33:02 yeah 00:34:18 "Cheese curds in cuisine, or cooking, are the solid parts of soured milk either eaten alone or used in various regional dishes, mostly in eastern Canada and the northeastern and midwestern United States." 00:34:46 http://www.fromagesbergeron.com/fromages/7/brins-de-gouda/ ← best curds out there hth 00:39:28 oerjan, he's in england, i'm sure you can buy any dairy product known to man with a moderate amount of effort 00:40:31 hm when you put it like that... 00:41:31 strange. I expected something about zzo38 in the gopher entry... 00:41:42 Then add another sentence if you want to 00:41:46 `? gopher 00:41:47 Gopher is int-e's vision of the successor of HTTP/2. 00:41:58 There look like only one sentence currently 00:43:36 now, who is the [explétif] that added haiku. 00:43:45 (AAAAAAAAAAAAAAAAAAAAAAAAAAAAURGH) 00:43:45 `? haiku 00:43:47 ​🀨や⛄ 00:43:47 boily: when you censor yourself, you do so in French? 00:44:03 ais523: it flows more naturally hth 00:44:16 `unidecode 🀨や⛄ 00:44:17 ​[U+1F028 MAHJONG TILE AUTUMN] [U+3084 HIRAGANA LETTER YA] [U+26C4 SNOWMAN WITHOUT SNOW] 00:44:26 ?? 00:44:37 So much textual yelling 00:44:50 Nihilumbra: it's a haiku made out of unicode character names 00:44:57 huh, that's the first astral planes character that I've seen render correctly in this client 00:44:58 I see 00:45:10 I only see the first two in this one client here. 00:45:19 i'm with boily 00:45:27 what's the significance of the hiragana letter ya? 00:45:49 ais523: it has 7 syllables hth 00:45:50 I can see trying to make a snowman during autumn, but having to substitute something else for the snow because there isn't any snow 00:45:54 something quite profound there 00:46:04 -!- staffehn_ has quit (Quit: No Ping reply in 180 seconds.). 00:46:05 whereas, the hiragana letter seems to have been thrown in just for syllable count 00:46:13 it's a ya. やとヤと色々の文字がある。 00:46:23 -!- staffehn has joined. 00:47:01 -!- Sprocklem_ has changed nick to Sprocklem. 00:47:07 "There is a variety of characters and Yatoya." 00:47:15 boily: I'm going to assume that the Japanese text there is Japanese for "hth" 00:47:25 ha ha ha :D 00:47:55 oerjan: I should've quoted the ya and the other ya hth 00:48:39 * oerjan keeps being slightly annoyed that google's front page app menu pushes g. translate just off the first page so you have to click an extra time to get to it 00:49:23 boily: that does not help me translate it 00:50:03 `unidecode やとヤ 00:50:04 ​[U+3084 HIRAGANA LETTER YA] [U+3068 HIRAGANA LETTER TO] [U+30E4 KATAKANA LETTER YA] 00:51:11 oerjan: wait, people use Google Translate without typing in the URL directly (or using a browser/feature extension)? 00:51:42 also, you can probably get to Google Translate from the front page of Google the same way you can get anywhere else from the front page of Google 00:52:02 I usually use wiktionary 00:52:26 ais523: hm when you put it like that typing the url and autocompleting might be faster 00:52:37 oren: wiktionary for whole sentences? 00:52:46 r my actual paper dictionary (because it has radical-stroke lookup which wiktionary hasn't) 00:52:58 does the "I'm feeling lucky" button still exist? 00:53:22 there. I contourné the problem by composing a haiku. 00:53:22 oerjan: I know japanese grammar, but often I don't know words hh 00:53:26 oren: wiktionary sort of requires you to have an idea of how the rest of the language works tdnh 00:53:39 (btw, what's "contourner" in English? I'm drawing a blank here.) 00:53:39 `? haiku 00:53:40 ​🀨や⛄ 00:53:51 boily: bypass? 00:53:57 circumvent? 00:54:05 gtg 00:54:20 food ready 00:54:21 bypass. thanks. 00:54:21 "get around" 00:54:29 * oerjan remembered he had gt open 00:54:30 Lyka: いただきます！ 00:54:48 -!- Lyka has changed nick to Lyka|Away. 00:55:08 "Gopher is int-e's vision of the successor of HTTP/2. And also zzo38." Is that a better way? Probably not, the second sentence isn't very good. 00:55:24 oh dear 00:55:26 秋や雪だるま autumn and snowman, and possibly something else. 00:55:32 ais523: back when the GT link actually showed up directly on the google frontpage, that was clearly the easiest way (since i always have the frontpage open) 00:55:34 that sentence got me trying to imagine what the successor of zzo38 would be like 00:55:45 but now i'm not sure 00:55:52 presumably that's not the way it was meant to be parsed 00:56:11 ais523: but you have to admit it's very zzo38 00:56:25 * Nihilumbra slurping noises 00:56:28 ais523: I know it isn't how it meant to be parsed that's why I said it isn't very good 00:56:54 "Gopher is int-e's vision of the successor of HTTP/2. But zzo38 thought of it first." 00:56:59 And also zzo38's? 00:57:19 oerjan: i've heard that norwegian sushi is among the best hth 00:57:40 oren: that would disambiguate, yes 00:57:59 That is better 00:58:12 does the "I'm feeling lucky" button still exist? <-- yes 00:59:57 tvilling 01:01:04 shachaf: i wouldn't know hth 01:01:13 (although we have all that salmon) 01:01:27 Nihilumbra: what's with the norwegian 01:02:08 its gemini if it were a word 01:02:13 what's a tvilling? 01:02:29 I accurately cannot say 01:02:32 `learn Gopher is int-e's vision of the successor of HTTP/2. But zzo38 thought of it first. 01:02:33 is it a norwegian gerund? 01:02:34 Learned 'gopher': Gopher is int-e's vision of the successor of HTTP/2. But zzo38 thought of it first. 01:03:02 At least this is better than how it was before. (Whether or not it is even more better than that, I don't know.) 01:03:30 `? All The Tropes 01:03:31 A card game where you win if you collect *all* of the tropes. 01:04:05 ?tvilling 01:04:06 Unknown command, try @list 01:04:21 sorry wasnt trying to do that 01:05:40 boily: it's a twin hth 01:06:08 Nihilumbra: also gemini is tvillingene if you mean the astrological sign 01:06:15 (it's plural definite) 01:06:18 0O1lI2Z6G8B 01:06:23 thanks 01:06:42 * boily disambiguately mapoles oren 01:06:50 Is the t silent or the V 01:06:56 trying out a font 01:07:45 Nanum Gothic Coding is a good font 01:07:49 Do you think either one must be silenced? 01:08:01 It doesn't look to me? 01:08:04 is it a norwegian gerund? <-- i'm not sure norwegian has gerunds, really, we tend to use the infinitive where english uses it. although we do have a cognate verbal noun used for word building, like in german. 01:08:35 `? how to stand on the ceiling 01:08:36 how to stand on the ceiling? ¯\(°​_o)/¯ 01:09:15 `? isn't really a general question-answering tool 01:09:16 isn't really a general question-answering tool? ¯\(°​_o)/¯ 01:09:20 use suction cups on your feet 01:09:33 nah, the trick is to be on top of the ceiling 01:09:37 so you can stand on it the normal way 01:09:58 Nihilumbra: neither the t nor the v is silent 01:10:24 -!- AndChat248436 has joined. 01:10:37 in fact tvillingene doesn't really have any silent letters, although ll is a single lengthened sound and ng is a single velar nasal 01:11:01 -!- AndChat248436 has quit (Client Quit). 01:11:08 (basically the same sounds as usually in english) 01:11:13 I'm willing to learn norwegion 01:11:30 s/basically/more or less/ 01:11:41 i'm sure the ll is not entirely identical 01:11:51 interesting... I don't actually find i hard to pronounce a v after a t 01:13:05 I'm learning how to use chopstick atm 01:13:21 and im starting to think I have atrophy in my hands 01:13:24 Nihilumbra: beware. you're treading on dangerous paths here. next thing you know, you'll be eating lutefisk. 01:13:39 Lol 01:13:53 I've had that tho 01:13:58 Eh, it's not hard at all. try with potato chips first 01:14:02 its strange 01:14:08 are you using three or four fingers? 01:14:18 how do you hold them though 01:14:35 Or five fingers? 01:14:38 [wiki] [[Talk:Bitoven]] http://esolangs.org/w/index.php?diff=43177&oldid=43175 * Ais523 * (+580) explain the categories rule 01:14:48 But using your feet would be cheating. 01:15:23 https://www.youtube.com/watch?v=RkLMZF8Ufhg 01:16:07 `? Amiga 01:16:08 Amiga? ¯\(°​_o)/¯ 01:16:31 oerjan: are you talking about the english ll or the welsh ll? they're entirely different sounds 01:16:41 the welsh one can be sort-of approximated as "chl" but not really 01:16:48 my grandfather is Japanese and he's coming over with his family because my sister is having a wedding so i don't want to look dumb 01:16:54 I don't know very good Welsh speaking 01:17:08 I can pronounce tvill pretty well 01:18:58 my grip looks more like http://www.tastyislandhawaii.com/images/chopsticks_hold_ind5.jpg 01:19:07 (left handed and all.) 01:20:09 This is so much 01:20:21 I can't hold sticks properly 01:20:31 what am I doing with my life 01:20:43 hold on I'll take a picture 01:21:23 ais523: the norwegian ll would be the same as the english ll as far as I know 01:21:45 so basically just an "l" that removes the remote control ability of vowels 01:21:46 i.e. just a lengthened l sound 01:22:11 yeah 01:22:51 I didn't realise until now, reading the scrollback, that "tv" could be uncommon/unusual 01:23:07 ais523: i am certainly not talking about actual welsh celtic language. however there _is_ a difference, but english varies a lot in this. 01:23:28 `quote oren 01:23:29 1227) when i was a kid it used to snow on christmas eve. what is this "freezing rain", "sleet" crap? yeah seriously, who is evn in charge anymore? apparently not santa claus Santa Claus is dead by now. \ 1228) <{\[oren]|}> ｚｚｏ３８：ｉｔ　ｗｉｌｌ　ｃａｕｓｅ　ｐｒｏｂｌｅｍｓ　ｂｙ 01:23:33 "tv" is fine in English if they're in two separate sulllables :P 01:23:36 *syllables 01:23:38 oh fungot. there are quotes. 01:23:42 both in the same syllable is very unusual 01:23:56 fungot's not babbling? or has boily hit the babble limit? 01:24:07 ^ul (:^):^ 01:24:11 oren: you'll be in the PDF soon! hurrah! hurray! 01:24:12 fungot: are you alive? 01:24:13 fungot wilk pick up 01:24:18 basically, the ll in tvillingene is not velarized (i was going to say norwegian l never is, but i'm not sure after back vowels) 01:24:20 and it will be awful 01:24:25 * boily wants his fungot 01:24:45 how do you pronounce Ingene though 01:24:51 while l tends to be velarized in american english, and _sometimes_ in RP, and otherwise varies all over the place. 01:25:01 boily: then host it 01:25:04 and it will be yours 01:25:30 if you're from wales, your _english_ ll might very well be close to the norwegian one. 01:25:46 https://en.wikipedia.org/wiki/English_phonology#Sonorants 01:26:20 ais523: does ror use some kind of supercoder 01:26:20 ...out of time! 01:26:20 FireFly: but the people who get annoyed) l) is different from what i've seen in my 30 years on it 01:26:20 Nihilumbra: like in a play... hmm... fnord looks neato. what else is an awesome idea. 01:26:20 boily: _i_ am not complaining) ' concurrency.' 01:26:30 if i'm reading the RP entry correctly, it would also be velarized in -illi- 01:26:31 oh, it's just beings low 01:26:47 what does "velarized" mean? 01:27:07 https://drive.google.com/file/d/0BxcXE11iO1QiT2xURDVxSjNIeGtDYlZLNzFYYVBoVEowTThN/view?usp=sharing 01:27:26 That is me holding an sd card up using two pencils 01:28:45 `learn Amiga is spanish for a female friend. 01:28:48 Learned 'amiga': Amiga is spanish for a female friend. 01:28:56 `learn Amiga is Spanish for a female friend. 01:28:58 Learned 'amiga': Amiga is Spanish for a female friend. 01:29:41 I couldn't find an example of no:tvillingene, but here's sv:tvillingarna: http://www.forvo.com/word/tvillingarna/#sv (apparently by a swiss person, but it sounds correct to me) 01:30:24 Are you 21 Oren 01:30:42 Nihilumbra: there are only two orens. oren and orin. hth. 01:30:59 Yup 01:31:00 oren: chopcils? 01:31:06 er, no, 22 now 01:31:18 ais523: the norwegian ll would be the same as the english ll as far as I know <-- i can _clearly_ hear the difference between the ll in no:tvilling and the ll in en:sillier the way i pronounce them, of course i'm not an authority on the latter. 01:31:35 I can tell from muscle structure most of the time but there was a lot of light 01:31:42 huh, my brain's parser is a little broken 01:31:48 I see a line that pings me and has a ← in 01:31:51 and assume I'm being quoted 01:32:43 ↑ you are ais523. htp. 01:32:51 `? piet 01:32:53 ​ \ Piet is a really colorful programming language. 01:32:58 ... 01:33:20 `? INTERCAL 01:33:21 INTERCAL has excellent features for modular program for the enterprise market. 01:33:52 `? BASIC 01:33:53 BASIC? ¯\(°​_o)/¯ 01:33:56 mm 01:34:37 oerjan: what about en:full? 01:35:52 I'm just accidentally spinning food around with these sticks 01:36:08 The ll in en:full sounds similar to the one in sv:tvillingarna when I pronounce them, but I certainly don't trust my english pronounciation to follow either RP or US pronounciation 01:36:16 how do you pronounce Ingene though <-- [iŋenə] i think 01:36:25 `? pineapple 01:36:26 Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, therefore making it a class 6 vegetable. 01:36:39 K 01:36:47 that n has a booger 01:37:18 Also that n doesn't exist in Irish linguistics so idk what you are trying for 01:38:15 what does "velarized" mean? <-- it's somewhat mysterious to me too, apparently there's some lifting of the back of the tongue added to some consonants. but "l" is the only one i can distinguish sort of reliably. 01:38:34 I can do that 01:38:40 https://en.wikipedia.org/wiki/Velarization 01:38:42 it sounds strange 01:38:51 oerjan: hmm, I can pronounce two different audibly consonants by moving my tongue like that, but one of them isn't really an l 01:40:47 Nihilumbra: do you mean ŋ? that's the "ng" in e.g. "thing" 01:40:59 oh 01:41:13 I can say that then 01:41:31 I was confused as to what oerjan was saying 01:41:38 FireFly: i _think_ swedish and norwegian l are both "clear" (i.e. nonvelarized) in general. it sounded clear on that link you gave, anyway. 01:42:23 Okay 01:43:01 -!- ais523 has quit. 01:43:07 I don't know if we have velarized l at all 01:43:46 Oh, apparently the ll in sv:allt according to https://en.wikipedia.org/wiki/Alveolar_lateral_approximant#Dental_or_denti-alveolar_2 01:44:09 Wait, wrong table 01:44:15 https://en.wikipedia.org/wiki/Alveolar_lateral_approximant#Dental_or_denti-alveolar 01:45:06 I can't tell if I pronounce that differently or not 01:45:21 FireFly: i pronounce en:full velarized too. i think i basically always do that to english l. 01:45:33 FireFly: iow, like an american afaiu 01:46:56 Nihilumbra: ŋ is the same sound as english writes ng (but _not_ with the g pronounced like in "finger") 01:48:36 what's the ŋ sound like 01:48:57 [wiki] [[Bitoven]] http://esolangs.org/w/index.php?diff=43178&oldid=43176 * 75.167.89.115 * (+114) added some categories (Imaginer1) 01:50:11 Nihilumbra: like ng in english "sing" 01:50:36 fing and sing are the same sound oerjan 01:51:00 Nihilumbra: it's common for "finger" to have the g pronounced as well in english 01:51:12 but not in "singer" i _think_ 01:51:20 it is 01:51:42 i'm not very sure about this. 01:52:08 there's isn't an English word that I know of that has ing in it that doesn't have the g clearly pronounced 01:52:14 but there should be _no_ hard g sound in ng when pronounced in norwegian. 01:53:00 Nihilumbra: i am skeptical, but there are all kinds of english dialect. note that when i say hard g i _don't_ just mean that n is different from ng 01:53:30 i mean that there are essentially two part sounds to -ng- in finger 01:53:42 -!- nys has quit (Quit: quit). 01:54:27 I pronounce finger as staya with me here, F- ee-N - gurr 01:54:30 maybe there's always a bit of it left in english 01:54:51 I also pronounce all g's as a hard g 01:54:55 Nihilumbra: well yes, that's what i expect. it's _other_ words than finger i'm wondering about. 01:55:05 e.g. just "sing", with nothing after it. 01:55:13 see n g a 01:55:48 Nihilumbra: um if you have an a there, i think you have a _weird_ dialect. 01:56:08 sing 01:56:10 ?? 01:56:15 * oerjan wishes some other native english speaker would chime in here 01:56:24 the I is more of a hum too 01:56:46 So a schwa maybe 01:56:59 What dialect is this? 01:57:01 FireFly: you're not native english speaker tdnh 01:57:19 That is correct, also my english isn't all that good (especially not the pronounciation) 01:57:20 i think i'm at the point where i won't believe the judgement of anyone who isn't. 01:57:39 Probably wise 01:57:51 its for me S ee n g "a" and the a is a fast syllable so its only audible in words that end with ing 01:57:59 like see n guh 01:58:58 OKAY 01:59:34 After a person says a word and hear the correct pronounciation I can say it back with no error 01:59:45 I hear* 02:00:43 ??? I'm confused no one else pronounces it like that? 02:01:18 Where do you live, if you don't mind? 02:02:08 Washington state but I was born and raised in pallasgreen, Limerick and leanred English there 02:02:13 learned* 02:02:41 Hm, well I dunno 02:04:31 ♪ DING ♪ new PDF version! 02:04:54 ok 02:09:08 Where's Elliott 02:09:14 did He die 02:10:03 @ask elliott where are you? did you die? 02:10:03 Consider it noted. 02:10:41 `pastequotes 02:10:43 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.6655 02:11:57 too much of a hassle now. will do quotes later. 02:34:16 -!- boily has quit (Quit: SOLUBLE CHICKEN). 02:47:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:48:47 -!- infinitymaster has joined. 03:39:46 -!- Wright_ has joined. 03:39:46 -!- Wright has quit (Read error: Connection reset by peer). 03:42:41 `? esoteric 03:42:41 This channel is about programming -- for the other kind of esoterica, try #esoteric on irc.dal.net. 03:43:11 `` sed -i 's/on .*/on EFnet or DALnet./' wisdom/esoteric 03:43:12 No output. 03:43:16 `? esoteric 03:43:18 This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. 03:43:38 `welcome 03:43:38 lol what are you up to oerjan 03:43:39 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 03:44:03 Nihilumbra: we found out there was an #esoteric on EFnet, which may be more alive than the DALnet one. 03:44:28 so i'm updating the advice. 03:44:36 ah 03:44:46 what's the port for efnet 03:45:23 my vague understanding is that EFnet doesn't have a global way of accessing it, you need to look up their server list e.g. on the web. 03:46:07 i might be confused about it, though. 03:46:16 * oerjan isn't on EFnet himself. 03:47:12 Um, irc.efnet.org works. 03:48:18 that's the adress 03:48:19 i'm probably confused then, or outdated. 03:48:27 whats the port 03:48:35 I'd guess 6667? 03:48:50 ssl? 03:49:06 I don't know if they do SSL, probably not 03:49:19 You're better off just looking it up instead 03:49:24 i _still_ think looking it up is... right 03:50:39 only 10 ppl 03:51:02 Presumably about 10 more than the DALnet channel 03:53:07 Only some of their servers do SSL. 03:53:57 Not that it hurts as much for them as it would for others -- no nickserv means no logins. 03:54:13 * Nihilumbra pats pikhq 03:54:22 what do you mean no nickserv 03:54:32 EFnet does not do services. 03:54:39 pffft 03:54:43 There is no nickserv. There is no chanserv. 03:55:06 seems to be 03:55:23 nvm 03:55:50 Did you add the wisdom file for "Plain TeX" yet? 03:56:16 `le/rn plain tex/Plain TeX is plain annoying. 03:56:18 Learned «plain tex» 03:56:26 -!- Lyka|Away has changed nick to Lyka. 03:56:28 THAT'S WHAT HAPPENS WHEN YOU NAG 03:57:01 `le/rn plain tex/Plain TeX is plain annoying. THAT'S WHAT HAPPENS WHEN YOU NAG 03:57:03 Learned «plain tex» 03:57:54 `` sed -i 's/$/./' wisdom/'plain tex' 03:57:57 No output. 03:58:52 `? PDF 03:58:53 PDF? ¯\(°​_o)/¯ 04:00:40 `? PDF 04:00:41 PDF? ¯\(°​_o)/¯ 04:00:51 Oops sorry I shouldn't repeat myself 04:01:02 `learn PDF stands for Pretty Depressing Format. 04:01:05 Learned 'pdf': PDF stands for Pretty Depressing Format. 04:01:24 you may note a common thread here. 04:01:24 Sometimes I push "REPEAT" by mistake 04:01:50 `? oerjan 04:01:51 Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. 04:01:57 you have a REPEAT key that your irc client understands? 04:02:02 Yes 04:02:06 fancy 04:08:56 -!- idris-bot has quit (Quit: Terminated). 04:18:46 Hm, if one had a re-programmable keyboard, one could add a REPEAT key that repeats everything up until the last enter 04:19:23 -!- TieSoul_ has joined. 04:19:26 sir robin ran away, oh brae sir robin... 04:19:32 when danger reared its ugly head he tucked his tail and turned and ran, oh brave brave sir robin 04:20:01 I don't have a re-programmable keyboard 04:23:08 -!- TieSoul has quit (Ping timeout: 255 seconds). 04:33:03 -!- Elronnd has joined. 04:34:09 1? latex 04:34:13 `? latex 04:34:16 LaTeX is \end{verbatim} \textbackslash textbackslash begin\textbackslash \{document\textbackslash \} 04:35:13 `? python 04:35:13 python? ¯\(°​_o)/¯ 04:35:21 `? perl 04:35:23 Perl is the Perfect Emacs Rewriting Language 04:35:34 `? ruby 04:35:35 ruby? ¯\(°​_o)/¯ 04:35:41 `? C 04:35:41 C is the language of��V�>WIד�.��Segmentation fault 04:36:07 `unidecode ��V�>WIד�.�� 04:36:08 ​[U+FFFD REPLACEMENT CHARACTER] [U+FFFD REPLACEMENT CHARACTER] [U+0056 LATIN CAPITAL LETTER V] [U+FFFD REPLACEMENT CHARACTER] [U+003E GREATER-THAN SIGN] [U+0057 LATIN CAPITAL LETTER W] [U+0049 LATIN CAPITAL LETTER I] [U+05D3 HEBREW LETTER DALET] [U+FFFD REPLACEMENT CHARACTER] [U+002E FULL STOP] [U+FFFD REPLACEMENT CHARACTER] [U+FFFD REPLACEMENT C 04:36:13 Jesus 04:36:51 Make it to including improper UTF-8 codes too 04:37:06 O, yes, you also forgot Python and Ruby 04:37:14 you can't spell slaughter without laughter 04:37:56 `? scheme 04:37:56 scheme? ¯\(°​_o)/¯ 04:37:59 what does this code do: for(;P("\n"),R--;P("|"))for(e=C;e--;P("_"+(*u++/8)%2))P("| "+(*u/4)%2); 04:38:34 what is it 04:38:40 and how can I understand it 04:38:48 saw it online 04:38:53 it's c 04:38:55 as one does 04:38:59 I don't know what the P means here even. 04:38:59 I hate c now 04:39:02 Lyka: enhances someone's job security 04:39:10 that is'nt normal C 04:39:18 it better not be 04:39:40 I was worried they updated it 04:40:04 `? C++ 04:40:04 Along with C, C++ is a language for smart people. 04:40:12 `? C# 04:40:13 C#? ¯\(°​_o)/¯ 04:40:18 it's from the unix hoax page 04:40:19 C# is like java 04:40:33 java is a language for dumb teachers 04:40:39 I happen to like C instead of C++ but you can program C++ too if you like that one too. 04:40:48 Elronnd: incorrect. C# *is* Java 04:41:07 I suppose 04:41:13 No, I think C# is a different program language from Java, and uses a different VM too 04:41:36 in college, we had to learn jaa before we could learn C#' 04:41:49 *java 04:41:50 C# is way better than Java 04:42:00 indeed 04:42:06 Have you learned 6502 assembly language programming? 04:42:07 -!- Wright_ has quit (Remote host closed the connection). 04:42:13 huh? 04:42:16 why? 04:42:28 my mother knows that language zzo38 04:42:42 ask her if you want answers 04:43:00 you must be oungr than me 04:43:06 `le/rn C#/C Pound is Java's good twin. 04:43:08 Learned «c#» 04:43:22 `? C# 04:43:23 C Pound is Java's good twin. 04:43:36 how old are you? 04:43:43 22 04:43:44 26 04:43:57 I already know oren but lyka yes I am 04:44:07 You can learn 6502 assembly language programming to program Famicom and also some other computers 04:44:17 I'm 17- a week from 18 04:44:23 `? 6502 04:44:23 6502? ¯\(°​_o)/¯ 04:44:40 why whoul anyone in their right mid wanna program an NES? 04:44:41 `? java 04:44:42 java? ¯\(°​_o)/¯ 04:44:55 *mind 04:45:05 ??? 04:45:07 because 04:45:08 Lyka: to make classic awesome video games like Super Mario Bros 3 04:45:14 its fun 04:45:17 and that 04:45:21 Or to modify them for fun 04:45:34 Lyka: Well, I think it is a good system 04:45:39 lol 04:45:56 Wouldn't you think it to be cool if your mother could make you NES games, lyka? 04:46:11 don't even have to buy them 04:46:16 i think it would be weird 04:46:26 ?¿ 04:46:26 Maybe you meant: wn v rc pl id do bf @ ? . 04:46:38 ? 04:46:40 ok lambdabot 04:46:53 ¿¿¿ why would it be weird??? 04:48:08 we have different moms 04:48:12 brb 04:48:41 I can see that 04:48:59 I think 6502 is a good programming language compared to the mess they made of the newest x86 and ARM systems 04:50:13 but I asked if would be cool if you had a mom like that as in your mom doesn't up and learn 6502 and start scrapping nes games together and making new ones lyka 04:51:07 Some people still do make game for NES/Famicom today. 04:51:21 are you saying you tried to insult my mother? 04:52:13 ;] 04:52:20 https://i.imgur.com/TxV5Z7r.jpg 04:52:22 lyka 04:52:34 don't even try to make assumptions of what I say 04:52:54 I don't enjoy people who try that 04:54:02 Insulting ones mother is a bad thing to do but if I were to do It I would be to the point and not work my way around with an argument, Although I don't know your mother but she seems nice 04:54:49 and i am hungry and half-asleep which means my paranoia is more than normal 04:55:39 i gotta go get my midnight snack before the cloc hits 1am 04:57:05 or you could 04:57:09 sleep? 04:57:21 because staying up is extremely unhealthy 04:59:28 so is arguing with a crazy tired person at one am 05:01:28 9 pm* 05:01:40 stop living somewhere else 05:08:58 -!- oerjan has quit (Quit: ZZLEEP, you said?). 05:09:31 Is "ZZLEEP" a real word? 05:09:56 I don't think so 05:10:51 I haven't updated the level20.tex in a while, not any new chapters, not any corrections to what it already is. But it probably contains mistakes that I have not yet noticed 05:17:00 One day I was trying to play someone's Hammond organ but it wouldn't turn on; the owner said that probably the motor is broken. But I thought surely that must be wrong because it doesn't have a motor it works by electrics! But, I did not know it had rotating speakers. 05:22:31 sometimes the 'dependencies' on packages are clearly not 05:22:49 Example? 05:24:03 on the libSDL-dev package on Ubuntu, it says it is dependent on pulseaudio client development package. but sdl programs compile and run just fine without any pulseaudio 05:26:12 Can you edit the package? 05:27:50 I prefer to simply download packages manually and then run dpkg 05:29:51 dpkg doesn't automatically download dependent packages, so you can control it better when you notice the dependencies are stupid 05:32:10 `? apt-get 05:32:11 apt-get? ¯\(°​_o)/¯ 05:33:21 `le/rn apt-get/apt-get installs whatever you wanted, plus whatever Mark Shuttleworth wanted. 05:33:24 Learned «apt-get» 05:35:07 -!- infinitymaster has quit (Quit: Leaving...). 05:37:32 regular old `learn would have worked there 05:37:40 bu `le/rn is obviously superior 05:40:10 whoa, bellingham 05:41:01 mednafen includes every emulator known to mankind, but for tha reason it takes a million years to comile 05:43:07 `? emulator 05:43:08 emulator? ¯\(°​_o)/¯ 05:43:19 `? wine 05:43:20 wine? ¯\(°​_o)/¯ 05:43:51 `` mkdir wisdom/le; echo 'le/rn makes creating wisdom entries manually a thing of the past' > wisdom/le/rn 05:43:51 mkdir: cannot create directory `wisdom/le': File exists \ bash: wisdom/le/rn: Not a directory 05:44:20 `? le 05:44:21 rn seems to be working rn but it didn't earlier 05:44:30 `` rm wisdom/le; mkdir wisdom/le; echo 'le/rn makes creating wisdom entries manually a thing of the past' > wisdom/le/rn 05:44:32 rm: cannot remove `wisdom/le': Is a directory \ mkdir: cannot create directory `wisdom/le': File exists 05:44:43 `? le/rn 05:44:44 le/rn makes creating wisdom entries manually a thing of the past 05:46:42 `` sed -i 's/$/./' wisdom/le/rn 05:46:44 No output. 05:55:59 `? le 05:56:00 cat: le: Is a directory 05:56:03 `? lern 05:56:04 lern? ¯\(°​_o)/¯ 05:56:06 `? le/rn 05:56:07 le/rn makes creating wisdom entries manually a thing of the past. 06:02:35 `? oren 06:02:35 oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon. 06:02:42 lol 06:04:09 `? Lyka 06:04:10 Lyka? ¯\(°​_o)/¯ 06:05:54 `? tar 06:05:55 tar? ¯\(°​_o)/¯ 06:06:06 yes? 06:07:27 oren: you called me? 06:08:23 `le/rn tar/The command you're looking for is probably either tar -xavkf or tar -cavf 06:08:26 Learned «tar» 06:09:16 night all 06:09:25 -!- Lyka has changed nick to Lyka|Away. 06:10:10 Never, ever, forget the -k in tar -xavkf 06:11:27 -!- Sprocklem has quit (Quit: I'm cutting myself off till my homework is complete). 06:15:49 ...why? 06:16:05 Oh, that's handy 06:18:24 ...yeah. a year ago I spent an hour modding some program that did almost what I needed, to do what I needed, and then pressed up, up, enter with the wrong number of ups, obliterating it. 06:22:56 the -a is jus convenience, so you don't have to remember that z is gzip, Z is compress, j is bzip2, J is xzip 06:23:32 I generally just use pipes though 06:23:56 tar doesn't need all of those options 06:24:51 The best way is to design the program to follow the principle to use pipes as much as possible. My own software such as AmigaMML is following such principle. 06:25:34 well it is GNU tar. GNU wouldn't be GNU without their habit of adding every possible letter as an option letter to every program 06:26:02 GNU adds too much stuff 06:26:04 oren: GNU tar does -a implicitly I suppose. I usually just tar xf and it handles tar, tar.gz, tar.bz2 and tar.xz 06:26:53 oh. handy 06:30:26 You can pipe zcat to tar, that's how you do it 06:32:04 Just use tar -x 06:32:14 Fair point 06:32:48 I'm dealing with an archive format at the moment where each file might be stored plain or compressed.. what would you do in such a case? 06:33:10 What kind of archive format is that? 06:33:32 "GARC", I don't know what the G stands for 06:33:55 FireFly: A decompression program that detects whether the file is compressed? 06:33:57 It's used in Pokemon X/Y to store things 06:34:21 If the archive format itself is having compression, then it can be part of the same program. 06:34:37 Sensible enough 06:34:44 If the compression is separate (like with .tar.gz) then you should use the separate program. 06:35:04 shachaf: right, that's pretty much what I'm doing currently 07:06:35 -!- password2_ has joined. 07:35:57 -!- Nihilumbra has quit (Quit: Connection closed for inactivity). 08:10:18 -!- MoALTz has quit (Quit: Leaving). 08:13:33 the newest mednafen supports custom palettes 08:22:07 http://postimg.org/image/vbym49fob/ 08:26:25 -!- TieSoul_ has changed nick to TieSoul. 08:26:55 the palette format is pretty much undocumented, but by reading the source and experimenting, I concluded that a complete palette is 24 bytes, consisting of 8 24-bit colors 08:27:42 (for the game boy. I don't know what the format for other systems it) 08:31:12 but it's refresing actually. there's no complex header or version number or other such nonsense. just 24 bytes. 08:33:01 What upscaling algorithm is that? 08:33:13 hq4x 08:43:30 What's a polite way of saying "You seem to know me but I have no idea who you are" 08:46:41 uh... dang." 08:47:24 I dunno. "Have we met before?" is maybe the best I can come up with 08:52:15 -!- Welo has joined. 08:59:00 Curse you readline! 09:00:07 ? 09:04:38 I've noticed a bug in one of their scalers, I'm gonna try to fix it 09:08:49 -!- hilquias has quit (Remote host closed the connection). 09:24:32 fnord. 09:26:46 Taneb: I'm sorry but right now I'm struggling to remember our last encounter. 09:27:11 Could you give me a hint? 09:28:24 :P 09:49:58 -!- toxolotl1 has joined. 09:53:45 ha! fixed the bug 09:54:00 :D 09:54:50 hold on, I'll make a sample 09:59:22 http://postimg.org/image/5hv845msv/b791af2c/ 09:59:55 illustrates the difference. see the weird pinwheel effect in the nose of the spacefighter 10:00:47 I fixed that, but it looks different in other situations. I think I'll try to fix that too 10:02:39 Hmm I guess it's less of a bug fix and more a custom algorithm 10:03:16 but hey that's the entire point of using open-source software anyay 10:03:46 -!- Phantom_Hoover has joined. 10:26:15 -!- idris-bot has joined. 10:27:25 -!- idris-bot has quit (Client Quit). 10:27:56 -!- idris-bot has joined. 11:12:50 -!- Lyka|Away has changed nick to Lyka. 11:26:32 damnit I forgot to push some things to my Gulf repos from work :( 11:32:55 Even though there's some overhead with , and . much of the stuff can be done shorter than Burlesque 11:33:05 1bc4ro?/ for example, is now a mere ,Z1/:4 11:39:44 I might need another prefix for 3 argument functions 11:44:17 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=43179&oldid=40993 * Sacchan * (+432) 11:45:06 [wiki] [[ΜCurse]] M http://esolangs.org/w/index.php?diff=43180&oldid=43179 * Sacchan * (+1) 11:49:39 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=43181&oldid=43180 * Sacchan * (+0) 11:50:05 [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=43182&oldid=43181 * Sacchan * (+0) 11:51:38 Taneb: You can say you've lost your memory because of a tragic accident, I understand that's pretty common. 11:51:49 (Based on fiction, anyway.) 12:19:23 More fun complexity analyses: O(n^34 k^34 d^8 log(n)^4 / σ^6) 12:20:02 for some reason I'm imagining a posh voice saying "I'm sorry, but have we met?!" (bonus: raised eybrows) 12:20:51 (Upper bound on smoothed running time for the k-means algorithm) 12:21:16 Jafet: that looks horrible. 12:21:52 I just find it amusing that they bothered to include the log(n)^4 12:22:41 because otherwise it's not a valid upper bound? 12:22:56 I guess they could've used n^(34+o(1))... 12:23:17 * int-e wonders what the o is 12:23:40 (or how they got 34 over n and only 4 over log(n)) 12:24:55 o(1) means that it tends to zero: https://en.wikipedia.org/wiki/Big_O_notation#Little-o_notation 12:25:56 ah you had a sigma there... sorry, the difference is very subtle in the font I'm using. 12:26:43 so the question I meant to ask is, what's that σ 12:26:59 -!- Welo has quit (Quit: Leaving). 12:28:36 According to https://en.wikipedia.org/wiki/K-means_clustering#Complexity, d is the dimension and σ is the stddev for randomly smoothing the input data 12:28:59 -!- password2_ has quit (Ping timeout: 256 seconds). 12:33:55 i didn't know that 'K' meant clstering... 12:34:28 just making a joe on the URL 12:34:36 *joke 12:36:14 * Lyka is clearly the stupidest person in th room 13:05:29 -!- Patashu has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:06:35 -!- password2 has joined. 13:07:15 "The running time of Lloyds algorithm is often given as O(nkdi), where n is the number of d-dimensional vectors, k the number of clusters and i the number of iterations needed until convergence." 13:07:23 I like the 'i' part, since you can nicely generalize that to "the running time of algorithm X is O(t), where t is the number of operations performed by the algorithm". 13:12:01 Amazing. It's linear in the time taken by the algorithm 13:15:30 fizzie: Is there an obvious bound on i? 13:17:03 Not in general. 13:33:32 nerding it up old school https://twitter.com/J_Arcane/status/607539688317022208 13:39:23 `? BDSM 13:39:29 -!- nys has joined. 13:39:34 HackEgo, ??? 13:39:38 BDSM definitely isn't a kind of LARP and Taneb definitely did not invent it. 13:40:17 fizzie: So more like, the running time is unbounded? 13:40:43 Taneb 13:40:52 Phantom_Hoover 13:40:52 did you know there's a character in xcom called van doorn 13:41:02 Yes, someone has told me in the pst 13:41:03 *past 13:41:07 (possibly you) 13:41:17 It's not an unheard of name in the Netherlands 13:42:19 There is a DJ and a former anti-Islam politician who converted to Islam 13:44:42 `rot0 this seems useful 13:44:42 this seems useful 13:47:13 `rot26 this seems MORE useful 13:47:14 this seems MORE useful 13:47:43 but it cheats :( 13:48:26 Can anyone think of a cunning way to put all my inventions on my CV 13:49:03 `? tanebventions 13:49:06 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, weetoflakes, persistence, the reals, and this sentence. 13:49:17 `? TIL 13:49:18 TIL that TIL means Today I Learned 13:49:27 `? persistence 13:49:32 Taneb invented persistence long ago, and it's been around ever since. 13:49:41 Ah, that kind of persistence. 13:51:53 `? wolfram 13:51:53 Stephen Wolfram is an esolanger with too much money and power. Taneb invented him. 13:52:56 "We call a property of many-sorted TRS's persistent if a many-sorted TRS has the property if and only if its adjoined one-sorted TRS has the property." 13:55:05 -!- augur has quit (Quit: Leaving...). 13:58:48 -!- Lorenzo64 has joined. 14:01:00 -!- augur has joined. 14:04:16 -!- oerjan has joined. 14:04:25 -!- sebbu2 has joined. 14:05:04 -!- sebbu2 has quit (Changing host). 14:05:04 -!- sebbu2 has joined. 14:06:21 -!- sebbu has quit (Ping timeout: 265 seconds). 14:06:41 I figured out how to add a custom scaler to mednafen 14:07:16 I;m gonna make one that is hideously inefficient but makes eveything look exactly right 14:09:39 actually maybe it can still be efficiant if I get the order of the tests correct 14:12:26 -!- atrapado has joined. 14:34:33 -!- evalj has joined. 14:39:36 coming along ok http://s17.postimg.org/48v0giw0v/notperfect.png 14:46:26 -!- trout has quit (Ping timeout: 276 seconds). 14:50:02 -!- MoALTz has joined. 14:55:26 i just downloaded advent children again 14:55:52 when it came out, i was like "ok this is it. there will never be 3d graphic more perfect than this." 14:55:54 now meh :\ 14:56:09 the fire is ugly, the detail is low overall 14:56:29 i mean it's still cool but :( 14:56:49 's ok. in a century we'll think real life has shitty graphics hth 14:58:04 oerjan: yeah, especially the effects 14:58:57 oerjan: we need more people like Tarquin, who install dimmers in their palace just so they can give foreshadowings in a monologue better 14:59:07 izabera: I remember admiring the graphics of Myst... 14:59:53 that does sound like tarquin although i don't remember the scene. 14:59:59 Nowadays even the remastered edition (16bit images, no longer restricted to an 8 bit palette!!) looks quite plain. 15:00:50 how old is myst? 15:00:55 oh 1993 15:01:44 note, they only had prerendered gaphics. https://upload.wikimedia.org/wikipedia/en/d/d0/Myst-library_and_ship.jpg 15:01:52 that picture is fairly typical. 15:02:11 much detail 15:02:13 very graphic 15:02:39 it was one of the first games to ship exclusively on on CDROM. 15:03:12 maybe people should play sound effects on their mobile phones during dialogs or meetings 15:09:06 oerjan: dimmers are in strip #751 15:13:57 So what i'm gonna do is, I'm gonna look at 21 pixels instead of nine around each pixel 15:18:21 and then just write ad-hoc code for every situation 15:20:38 * Lyka thinks he is stupidest person in the room 15:20:41 Blah. Is there a standard haskell function splitting a number into digits? 15:21:50 show. 15:22:15 or else this topic is not my are of knowledge 15:23:15 Lyka: i wouldn't bet on that. at least not all the time. 15:23:23 @type showIntAtBase 15:23:25 (Integral a, Show a) => a -> (Int -> Char) -> a -> ShowS 15:24:13 int-e: itym "show" hth 15:24:17 int-e: Yeah, but that involves roundtripping through Char. 15:24:23 oerjan: that was my first reply 15:24:29 oops 15:24:39 Also for different bases, yes. Sorry, forgot to specify that. 15:25:40 I mean “map digitToInt (showIntAtBase base intToDigit num "")” works, but I wanted to know if there isn’t something a bit more elegant. 15:26:09 i don't think there's anything else that handles other bases. 15:26:35 Okay then. 15:26:40 it's rather stupid that showIntAtBase is restricted to Char :( 15:26:57 there's no intrinsic reason why it should be. 15:27:19 > let d b n | b > n = [n] | otherwise = let (x:xs) = d (b^2) n in (if x < b then (x :) else (div x b :) . (mod x b :)) (xs >>= \x -> [div x b, mod x b]) in [d b 1000 | b <- [2,8,10,16]] 15:27:24 [[1,1,1,1,1,0,1,0,0,0],[1,7,5,0],[1,0,0,0],[3,14,8]] 15:27:32 i think there's been at least one proposal to generalize it. 15:27:39 map (`mod` b) . takeWhile (>0) . iterate (`div` b) 15:28:26 http://comments.gmane.org/gmane.comp.lang.haskell.libraries/24560 15:28:51 @let d b n | b > n = [n] | otherwise = let (x:xs) = d (b^2) n in (if x < b then (x :) else (div x b :) . (mod x b :)) (xs >>= \x -> [div x b, mod x b]) 15:28:53 .L.hs:150:20: 15:28:53 Ambiguous occurrence ‘d’ 15:28:53 It could refer to either ‘L.d’, defined at .L.hs:147:1 15:28:59 hah. 15:29:28 @let digits b n | b > n = [n] | otherwise = let (x:xs) = digits (b^2) n in (if x < b then (x :) else (div x b :) . (mod x b :)) (xs >>= \x -> [div x b, mod x b]) 15:29:30 Defined. 15:29:38 > digits 9 (10^10000) 15:29:40 [3,0,8,8,0,8,2,5,0,4,5,2,7,4,6,0,5,2,4,8,5,8,5,3,2,5,4,3,8,0,6,6,3,2,3,8,0,0... 15:30:00 > let digits b = map (`mod` b) . takeWhile (>0) . iterate (`div` b) in digits 9 (10^10000) 15:30:03 [1,1,4,2,0,4,3,3,0,0,6,4,2,7,2,5,4,8,4,6,4,0,8,6,2,8,6,2,5,4,0,0,7,5,7,5,3,3... 15:30:31 > let digits b = map (`mod` b) . takeWhile (>0) . iterate (`div` b) in reverse $ digits 9 (10^10000) 15:30:34 [3,0,8,8,0,8,2,5,0,4,5,2,7,4,6,0,5,2,4,8,5,8,5,3,2,5,4,3,8,0,6,6,3,2,3,8,0,0... 15:30:51 > let digits b = map (`mod` b) . takeWhile (>0) . iterate (`div` b) in reverse $ digits 9 (10^100000) 15:30:56 mueval-core: Time limit exceeded 15:31:02 > digits 9 (10^10000) 15:31:05 [3,0,8,8,0,8,2,5,0,4,5,2,7,4,6,0,5,2,4,8,5,8,5,3,2,5,4,3,8,0,6,6,3,2,3,8,0,0... 15:31:19 err. 15:31:20 > digits 9 (10^100000) 15:31:23 [1,3,8,0,5,3,6,7,3,7,4,7,0,7,2,3,0,0,0,2,5,7,0,7,6,1,5,2,0,7,7,1,7,3,0,0,6,3... 15:31:37 sorry, I spammed a bit more than I intended. 15:35:09 Melvar: anyway I'd use something like Jafet's code if the numbers are small, and something like mine if the numbers can become big. If I really cared about performance for big numbers I'd start by computing the largest power of b that fits into a machine word... 15:36:29 int-e, Jafet: Thank you. 15:38:42 For my purpose the numbers shall always be 1114111 in bases 8, 10, and 16, but magic numbers and stuff. 15:45:08 -!- lleu has joined. 15:45:54 this opposition on the list to generalizing showIntAtBase is weird - afaict from the code, the *only* change necessary is the type signature. 15:45:58 -!- Wright has joined. 15:48:45 Which list? 15:49:21 http://comments.gmane.org/gmane.comp.lang.haskell.libraries/24560 15:49:52 Oh, a while ago. 15:51:42 * Melvar is just going to roundtrip through showIntAtBase because that way it’s most obvious what it’s doing. <ω< 15:56:05 Oh nice, ghc's "show" for Integer is still using my code, virtually unmodified since 2006 :) 15:57:40 whoa 15:57:49 (but I never followed up on the idea of also improving the generic showIntAtBase) 15:57:57 was i even alive in 2006? 15:58:02 such a long time ago 15:58:43 shachaf: depends on whether you believe in last tuesdayism hth 15:59:08 oerjan: i invented it hth 15:59:28 but i do have you down as probably older than 9. most of the time. 16:00:50 whoa whoa whoa 16:00:55 what else do you have me down as 16:01:59 lessee, jewish, vegetarian, bit on the nosy side... 16:02:16 oh and haskeller of course. 16:02:23 whoa whoa whoa 16:02:27 and berkeleyish 16:02:41 lens adept 16:02:47 int-e: good one 16:04:10 oh and finnishish 16:05:59 a functor pro 16:06:10 -!- Lyka has changed nick to Lyka|Away. 16:06:10 i somewhat have to wonder how the first one came about 16:06:28 wait which one? 16:07:12 > ({-Unit-}) 16:07:20 () 16:07:22 -!- lleu has quit (Ping timeout: 252 seconds). 16:07:50 oh hm 16:08:00 shachaf: lessee was an interjection hth 16:08:25 -!- lleu has joined. 16:08:30 i understood, but that would be a good pun 16:09:23 anyway 16:09:35 i didn't actually know it had a different meaning until now 16:18:34 -!- KitB has joined. 16:19:54 having only some patterns implemented causes a weird appearance 16:26:19 like some parts of the screen are silky smooth, while others are pixelated 16:27:03 -!- hilquias has joined. 16:28:33 -!- Koen__ has joined. 16:29:50 -!- GeekDude has joined. 16:31:02 Why does gyroscopic precession work the way it does? 16:31:29 * oerjan suddenly wonders if some of the more inane wisdoms are symbolic links that got broken 16:31:35 `wisdom 16:31:36 ocean/The pacific ocean is half the world and surrounded by fire. The atlantic ocean is less cool than its giant underwater moutain range. The arctic ocean is cold. The indian ocean is full of typhoons and non-eurocentric shipping. 16:31:56 Vorpal: because http://www.xkcd.com/332/ 16:32:04 `` sed -i 's/moutain/mountain/' wisdom/ocean 16:32:08 No output. 16:32:43 `` find wisdom -type l | while read f; do echo -n "$(basename "$f")/"; readlink "$f"; done 16:32:44 the reals/real \ perpetuum mobile/perpetual motion machine \ the torus/torus \ koen_/koen \ issue/.doorstop \ canary/../canary 16:33:26 b_jonas, right 16:34:24 `le/rn ocean/The Pacific Ocean is half the world and surrounded by fire. The Atlantic Ocean is less cool than its giant underwater mountain range. The Arctic Ocean is cold. The Indian Ocean is full of typhoons and non-Eurocentric shipping. 16:34:26 Learned «ocean» 16:34:41 b_jonas, came across it again when reading about helicopters. I guess the issue is that unlike the other basic laws of newtonian motion, it makes no intuitive sense 16:34:48 `? le/rn 16:34:48 le/rn makes creating wisdom entries manually a thing of the past. 16:37:23 shachaf: that's exactly the opposite of what i wondered. i was wondering if there were wisdoms that *used* to be symbolic links, but due to repository/whatever interaction got changed into ordinary files with the destination as plain text. 16:37:42 oh 16:37:54 why would the destination be plain text? 16:38:26 because iirc that's what it looks like if you manage to directly cat a symbolic link 16:38:41 or well 16:38:58 that's what symbolic links look like in the repository browser 16:39:54 so i assume that's what the repository thinks they are, and it's only plain luck if it doesn't get munged to that in accidental `reverts and the like. 16:40:53 i guess my summary is: i don't trust symbolic links to survive `revert wars. 16:40:54 oerjan, hg? 16:41:13 oerjan, if it is hg, hg fully supports symlinks afaik 16:41:22 Vorpal: ok let's hope so. 16:43:40 `` rm wisdom/torus; echo test >wisdom/torus 16:43:42 No output. 16:43:45 `? torus 16:43:45 test 16:43:50 `? the torus 16:43:51 test 16:43:54 `revert 16:44:04 -!- Lorenzo64 has quit (Read error: Connection reset by peer). 16:44:08 Done. 16:44:13 `? torus 16:44:14 Topologically, a torus is just a torus. Taneb invented them. 16:44:23 ok you seem to be right 16:44:54 ...now wondering about `undo 16:45:03 `` rm wisdom/torus; echo test >wisdom/torus 16:45:05 No output. 16:45:08 `? torus 16:45:09 test 16:45:17 -!- password2 has quit (Ping timeout: 246 seconds). 16:45:37 `undo 5464 16:46:10 HackEgo seems to be rather slow at this 16:46:22 patching file wisdom/torus 16:46:37 `? torus 16:46:38 Topologically, a torus is just a torus. Taneb invented them. 16:46:44 OKAY 16:47:14 shachaf: i shall stop worrying about HackEgo symbolic links until further notice tdh 16:48:06 `` ls -l wisdom/torus 16:48:08 ​-rw-r--r-- 1 5000 0 61 Jun 7 16:47 wisdom/torus 16:48:13 ...or not. 16:48:57 WORRY REINSTATED 16:49:15 `` rm wisdom/torus; ln -s 'the torus' wisdom/torus 16:49:17 No output. 16:49:20 `` ls -l wisdom/torus 16:49:22 lrwxrwxrwx 1 5000 0 9 Jun 7 16:50 wisdom/torus -> the torus 16:50:30 `` find wisdom -type f | while read f; do [ -f "$f" ] || continue; a="$(cat "$f")"; [ -f "wisdom/$a" ] && echo "${f#wisdom/}/$a"; done 16:50:33 shachaf: ok `revert and `undo *do* break symbolic links - but the contents seem to become the target contents, not the file name. 16:50:56 quit//quit \ solain/ヽ༼ຈل͜ຈ༽ﾉ 16:51:53 @tell Gregor `revert (and `undo) don't reinstate symbolic links properly ;_; 16:51:54 Consider it noted. 16:52:12 `? quit 16:52:13 ​/quit 16:52:15 `? solain 16:52:16 ​ヽ༼ຈل͜ຈ༽ﾉ 16:52:20 `? ヽ༼ຈل͜ຈ༽ﾉ 16:52:20 ​ヽ༼ຈل͜ຈ༽ﾉ Your dongers. Raise them. ヽ༼ຈل͜ຈ༽ﾉ 16:52:52 those seem p. inane but it looks like they're meant to be that way 16:54:14 you'd think. 16:54:43 i suspect the breakage i saw will show up as two wisdoms being identical. 16:56:20 `` ls -l *wolfram* 16:56:21 ls: cannot access *wolfram*: No such file or directory 16:56:26 `` ls -l wisdom/*wolfram* 16:56:27 ​-rw-r--r-- 1 5000 0 83 Apr 15 07:52 wisdom/stephen wolfram \ -rw-r--r-- 1 5000 0 83 Apr 15 07:52 wisdom/wolfram 16:56:50 `` diff wisdom/*wolfram* 16:56:51 No output. 16:57:01 those seem like pretty good candidates 16:57:15 oerjan: yes, but i already wrote that loop hth 16:57:48 shachaf: wait what loop 16:58:07 the one that loops for symlinks in your previous failure mode 16:58:42 shachaf: um the previous that i don't believe in any longer? 16:59:17 -!- sebbu2 has changed nick to sebbu. 16:59:48 oh well gotta go 16:59:52 -!- oerjan has quit (Quit: Later). 17:00:36 oerjan: yes 17:00:58 oerjan: i'm saying, i know that's how the breakage shows up, but i already wrote that loop 17:03:15 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 17:16:32 -!- ais523 has joined. 17:17:53 -!- boily has joined. 17:25:56 -!- llue has joined. 17:29:45 -!- lleu has quit (Ping timeout: 272 seconds). 17:34:57 -!- Welo has joined. 17:47:06 -!- callforjudgement has joined. 17:47:36 -!- ais523 has quit (Disconnected by services). 17:47:42 -!- callforjudgement has changed nick to ais523. 17:59:15 -!- hilquias` has joined. 18:02:53 -!- hilquias has quit (Ping timeout: 264 seconds). 18:15:20 `? å 18:15:21 ​å is the same letter as Å, unless you're HackEgo and don't understand things on top of letters. 18:16:24 confirmation I missed at least one entry. 18:17:10 since I'm going to meet you apparently, why did you actually compile wisdom.pdf? "Why not?" is acceptable 18:17:30 `? Å 18:17:30 ​Å _is_ a village in Norway, unless you're the BBC and don't understand things on top of letters. 18:19:05 coppro: I felt like it. nothing like a beautifully typeset document. 18:20:03 also, I'm our DnD group note taker and journal maker. It's a tradition to read the day's highlights standing on a chair. 18:20:06 it feels like a #esoteric kind of thing to do 18:20:26 there's even a makefile! 18:21:32 we should try to have a meeting sometime, with parliamentary procedure 18:21:54 but no one is allowed advance notice of the meeting and everyone is required to use a different set of rules 18:22:15 can I chose the parliament? will a simple town hall do? 18:22:26 also, do you have a github account? 18:22:30 -!- atrapado has changed nick to atrapa. 18:22:39 yes, but there isn't much of interest on it. why? 18:23:18 Deewiant: Dheellowiant. I'm updating the Wisdom PDF, and there aren't any descriptions under your section. care to provide some info about yourself twh? 18:23:32 in fact I'm going to clean up my github by deleting stuff nobody cared about anyway 18:23:34 coppro: to add you as a collaborator to the repo. 18:24:06 -!- atrapa has quit (Quit: Leaving). 18:24:20 -!- atrapa has joined. 18:24:33 boily: uh sure 18:24:35 scshunt 18:24:45 -!- atrapa has changed nick to atrapado. 18:25:01 `thanks coppro 18:25:02 Thanks, coppro. Thoppro. 18:25:41 -!- llue has quit (Ping timeout: 264 seconds). 18:27:11 no I don't know why I made that logo 18:27:33 I need to get a decent picture of my face to use as a fact in all the places they expect a face 18:30:01 `? Deewiant 18:30:02 Deewiant is the world's number one expert on Befunge and Funge-98. 18:30:04 boily: hth 18:30:13 I also play Dungeons&Dragons game but not since March 27, I type all the notes on computer 18:30:53 Deewiant: oh. I was simply missing it. will be added soon. tdh. 18:30:56 Actually that may be inaccurate, I think the original quote is 2009-04-02 00:20:06 (ais523) Deewiant here is the world expert on Befunge conformance testing 18:31:21 I stand by that quote 18:31:25 hmm... tough call. I think I'll be going with the latter. more #esöteric. 18:31:34 and it's ais523approved too! 18:31:43 my original, that is 18:31:56 boily: whoa whoa whoa 18:31:58 coppro: I use my universal kaki for everything that expects an avatar. 18:32:01 shachaf: whoa? 18:32:39 i hope you don't have any description of me 18:32:46 Why? 18:32:47 let me check... 18:32:57 ah! 18:33:06 yes. oh que oui j'ai une description. mouah ah ah. 18:33:43 -!- Herbalist has joined. 18:34:01 `? shachaf 18:34:01 shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. 18:34:14 `? funpuns 18:34:14 funpuns fceø fbz fryyrev naq pbfcynlf Arcrgn Yrvwba ba jrrxraqf. 18:35:03 `? boily 18:35:04 boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. 18:35:28 `? metasepia 18:35:29 metasepia knows the weather at your nearest airport, and also something about ducks. 18:35:54 `? lambdabot 18:35:55 lambdabot is a fully functional bot. just don't ask about @src. 18:36:00 `learn Deewiant is the world expert on Befunge conformance testing. 18:36:02 Learned 'deewiant': Deewiant is the world expert on Befunge conformance testing. 18:36:09 Might as well make it canon 18:36:22 `coppro 18:36:22 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: coppro: not found 18:36:27 `? coppro 18:36:27 coppro prefers his nickname, Pooppy. 18:36:59 `? Linux 18:36:59 Linux? ¯\(°​_o)/¯ 18:37:01 I think ø should rot13 to b̷. Or at least something. 18:37:03 -!- Welo has quit (Quit: Leaving). 18:37:31 http://rot8000.com/index 18:37:38 rot8000. wow. 18:37:41 `? ROT13 18:37:41 ROT13? ¯\(°​_o)/¯ 18:37:45 `? AmigaMML 18:37:46 Only fools such as zzo38 and so on try to use AmigaMML on a PC. Real Men try to use AmigaMML on a Amiga computer. \ https://devlabs.linuxassist.net/projects/amigamml/wiki/Frequently_and_unfrequently_asked_questions 18:38:16 I think I prefer fizzie's suggestion. let's see how I can massage the latex to get a stroked b. 18:38:17 `? fizzie 18:38:18 fizzie is not fnord with a monad but the king of #esoteric, see http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/fizziecoin.jpg 18:38:25 `wisdom 18:38:25 log/I think you might mean !logs 18:38:42 zzo38: Are you a fool? 18:38:47 No 18:39:14 Well, relative to wise people I am a bit foolish 18:39:21 hmm, my browser thinks that .jpg is a "26300 file" rather than a jpeg 18:39:59 Content-Type: application/binary <-- not helpful 18:40:18 is that even a real content type? 18:40:22 Can you override MIME types in your browser? 18:40:32 zzo38: I wish I could. 18:40:34 (In the one I use, it has that capability) 18:40:56 < fizzie> I think ø should rot13 to b̷. Or at least something. – Does that happen if you NFKD it first? 18:40:58 So I could view things that are sent as application/octet-stream as text/plain or application/pdf or something. 18:41:03 `? Melvar 18:41:04 Melvar? ¯\(°​_o)/¯ 18:41:08 `? idris-bot 18:41:09 idris-bot? ¯\(°​_o)/¯ 18:41:10 `? Dulnes 18:41:12 `? idris 18:41:13 idris? ¯\(°​_o)/¯ 18:41:13 Dulnes? ¯\(°​_o)/¯ 18:41:24 Clearly is a lot of missing 18:41:34 shachaf: https://github.com/spasche/openinbrowser if firefox 18:41:40 chromium 18:41:56 @ask Dulnes hi there! we're missing an official description of you for... uh... purposes. care to provide one twh? have a nice diurnal episode. 18:41:57 Consider it noted. 18:42:16 `? me 18:42:17 me? ¯\(°​_o)/¯ 18:42:36 `? Firefox 18:42:37 Firefox? ¯\(°​_o)/¯ 18:42:50 `? int-e 18:42:51 int-e är inte svensk. 18:43:04 re Dulnes: I put in a placeholder. 18:43:38 `? Iuckqlwviv Kjugobe 18:43:38 Iuckqlwviv Kjugobe? ¯\(°​_o)/¯ 18:43:41 `? 2600 18:43:42 2600? ¯\(°​_o)/¯ 18:43:42 int-e: I'm adding this new description, but keeping the old one two. 18:43:53 s/two/too/ 18:44:21 `learn 2600 Hz is the tone made by Captain Crunch's whistle. 18:44:24 Learned '2600': 2600 Hz is the tone made by Captain Crunch's whistle. 18:44:42 oh is it the one that allowed free phone calls? 18:45:16 Yep. 18:45:35 On some systems it allowed you to set the routing of calls yourself, so you could get free phone calls and other stuff 18:45:57 `? b_jonas 18:45:57 b_jonas? ¯\(°​_o)/¯ 18:46:04 It is also the name of a magazine published quarterly 18:46:18 They often have strange stuff in the letters section 18:46:25 `? nortti 18:46:26 nortti boy. very nortti boy. 18:46:49 `? me? 18:46:50 me?? ¯\(°​_o)/¯ 18:46:58 b_jhellonas. this is the Department of Wisdom. you are undescripted. please provide some witty quip or prepare to be granted a Government Approved tagline. your cooperation is appreciated. 18:47:13 who hath summoned me? 18:47:19 `learn Me is a proud member of the tEaM. 18:47:21 Learned 'me': Me is a proud member of the tEaM. 18:48:22 `quote nortti 18:48:23 731) nortti: fizzie has done some impressive stuff in befunge, which is essentially the two-dimensional version of finnish politics. \ 732) It's... not really links2-optimised. elliott: I don't think that any page is links2 optimised \ 1202) The people of Procrasti hereby resolve to lodge a formal complaint wit 18:48:33 `quote 1202 18:48:34 1202) The people of Procrasti hereby resolve to lodge a formal complaint with Taneb and nortti about their ridicule of Procasti's glorious nation... later. 18:48:54 nortti: thinking about that complaint ;) 18:49:05 b_jonas: apparently, there's a placeholder under your section for the time being. 18:49:05 hehee 18:49:14 am I an honourary citizen of Procrasti? 18:49:39 witty quip? hmm, that's difficult 18:49:45 I never got around to filling out my citizenship application 18:49:56 coppro: I suppose the Procrastination isn't very picky with its citizens. 18:50:43 `quote mornings 18:50:44 1119) olsner: For all x, the probability of a monad tutorial existing that explains monads as x approaches one as time goes to infinity. good monadic morning! Monads are a bit like mornings. what 18:51:13 `quote monad 18:51:14 368) oerjan, little do you realise that everything you say and do is part of that great monad tutorial we call life. \ 515) Phantom_Hoover: Sort of a monadic human centipede. \ 516) When the moon hits your eye like a big pizza pie, that's a monad. \ 527) You know how the arrow pierces your skin, rearrang 18:52:08 Let it be stated clearly once and for all that this is not a Haskell channel. ... *runs* 18:52:20 * shikhin summons nortti. 18:52:42 oh, right, you're here too 18:52:43 -!- lemurian has joined. 18:52:43 -!- ZombieAlive has quit (Remote host closed the connection). 18:52:54 `quote can't 18:52:55 85) Darn, now I can't acknowledge the reference you were making. \ 135) It's like mathematicians, where the next step up from "trivial" is "open research question". "Nope... No...This problem can't be done AT ALL. This one--maybe, but only with two yaks and a sherpa. ..." \ 143) Vorpal: you can't plant spiders 18:52:57 int-e: let's just pretend that haskell is an esolang then 18:53:10 @ask vanila good moment of the day! would you care being shamelessly wisdomified? twh and all that sort of thing. 18:53:10 Consider it noted. 18:53:17 olsner: it is. 18:53:25 `quote Procrasti 18:53:26 1202) The people of Procrasti hereby resolve to lodge a formal complaint with Taneb and nortti about their ridicule of Procasti's glorious nation... later. 18:53:32 olsner: right, let's quote https://xkcd.com/1312/ as a proof 18:53:42 `quote Procrastination 18:53:43 No output. 18:53:47 Ow. 18:53:52 `? procrastination 18:53:53 procrastination? ¯\(°​_o)/¯ 18:54:04 shikhin: no one's gotten around to adding those 18:54:12 Ah. 18:54:31 `quote 1228 18:54:32 1228) <{\[oren]|}> ｚｚｏ３８：ｉｔ　ｗｉｌｌ　ｃａｕｓｅ　ｐｒｏｂｌｅｍｓ　ｂｙ　ｂｅｉｎｇ　ｈｉｌａｒｉｏｕｓ 18:54:44 `quote 33 18:54:45 33) [...] sometimes i cant get out of bed becasue the geometry of the sheet tangle is too fascinating from a topological perspective 18:54:52 fungot dammit. this one's going to be interesting to include. 18:54:52 boily: joku linuxista fnord cd mp3 fnord? 18:55:23 fungot: そうですね…　しょうがないなぁ… 18:55:23 boily: eg? with code in the backtrace 18:55:37 fungot: eg. 18:55:38 boily: most of these comments are ones i'd never consider fnord them by calling their product ice cream. fnord. 18:56:01 fungot: you should see the Source of the Wisdom. quite a few comments in therre. 18:58:27 `learn The Procrastination is destined to rule the world... right after watching this last funny cat clip on youtube. 18:58:29 Learned 'procrastination': The Procrastination is destined to rule the world... right after watching this last funny cat clip on youtube. 19:01:54 `wisdom 19:01:55 szoup/A szoup a szilárd tápszereknek híg alakban való elkészítése a célból, hogy könnyebben emészthetők legyenek; a hígító anyag a viz, mely feloldja s magába veszi a tápanyag legértékesebb részeit. 19:08:45 -!- Herbalist has quit (Quit: WeeChat 1.2). 19:12:52 @ask rdococ rdhellococ! I will spontaneously describe you in the next minutes. would you like to have an autodescription instead? 19:12:52 Consider it noted. 19:13:30 `wisdom 19:13:30 automatic squirrel feeder/Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them. 19:13:35 `wisdom 19:13:36 lie/Lies are even easier than monoids. They form groups, known as Lie groups. 19:13:47 -!- augur has quit (Remote host closed the connection). 19:13:53 That's good I like that too 19:14:10 `? wisdom 19:14:10 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 19:14:22 -!- doesthiswork has joined. 19:14:45 boily: you can play with \scalebox: \scalebox{2}[1]{zzo38:it will cause problems by being hilarious} 19:15:22 int-e: I found an interesting solution already :P 19:15:30 (will try yours in a few.) 19:17:10 AAAAAAAAAAAAAAH! 19:17:21 \emph{Eliot inverted cats, then Taneb stole his inversion.} <-- is "eliot" spelled that way intentionally? 19:17:58 there are a bunch of misspelled elliotts around, they're mostly other people 19:18:31 int-e: yes. this is entirely volitional. 19:19:45 `? the identity function 19:19:45 the identity function? ¯\(°​_o)/¯ 19:20:00 `? identity function 19:20:00 The identity function is a mockingbird. 19:20:47 I thought M x = x x... Smullyan called I the Idiot bird. 19:23:40 ♪ DONG ♪ new PDF version! 19:25:41 the identity function isn't a mockingbird 19:25:51 wisdom's just lying, as normal 19:26:36 has anyone heard of the language Toadskin? I just found a reference to it in speculative grammarian and it appears to consist of the characters :;.><+-vxVX http://specgram.com/CLI.2/04.davis.acquisition.html 19:26:44 `? wisdom 19:26:44 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 19:26:46 meanwhile, there's an interesting typo on wikipédia's article on haiku: “...even to the point of occasionally end-stopping a phrase with a shōjoshi (少女詩 sentence ending particle)...” 19:27:23 doesthiswork: VX? http://www.reddit.com/r/vxjunkies ? 19:28:24 doesthiswork: I've heard of it, but I can't remember details 19:28:41 doesthiswork: looks like the wiki knows: http://esolangs.org/wiki/Toadskin 19:28:44 instead of a 終助詞 (shūjoshi: end particle), they wrote 少女詩 (shōjoshi: small girl poem). 19:29:09 it seems to be brainfuck, but with Forth's : and ; instructions 19:29:14 which is at least more interesting than most BF derivatives 19:30:40 I wonder why they chose that particular esoteric language to use. 19:31:03 (the vxVX aren't part of the language but because you have : and ; you can define them) 19:32:07 how do nested : and ; work in Forth? 19:32:27 is it possible to do flow control entirely with them by continuously redefining commands later in the program, or is there some sort of entropy issue? 19:32:37 like, can you construct an infinite loop with them 19:36:54 well in ordinary forth you can't nest : ; 19:36:56 You can't nest : and ; in Forth 19:37:14 isn't it weird that > is pop and < is push? 19:37:21 because the action of : is to allot space for a new word and switch to compilation mode 19:37:31 oh, that's disappointing :-( 19:37:37 just like how " can't be nested in bash 19:37:51 When executing, the : reads another word and begins a new definition and then enter compile mode, and then the ; compiles EXIT and then goes back to execute mode 19:38:25 " can be nested in INTERCAL :-P 19:38:43 INTERCAL can do everything. 19:38:46 so what does Forth do if it sees an ; while in execute mode? 19:38:56 I think it depend on the implementation 19:38:59 Koen__: Khelloen__! long time no see! 19:39:01 -!- augur has joined. 19:39:07 -!- atrapado has quit (Quit: Leaving). 19:39:13 bhelloily 19:39:18 Some implementations might treat it as an error like because it is not defined 19:39:37 to be honest my irc client sucks so most of the times I'm too lazy to go on irc 19:40:08 Then get a better client 19:40:50 I didn't like the other IRC client either that is why I wrote my own one (which still isn't quite best though) 19:44:05 . o O ( There are IRC clients other than irssi? Blasphemy! ) 19:44:36 Yes I think there is many different kinds 19:44:36 -!- ais523 has quit (Quit: dinner). 19:51:54 -!- augur has quit (Remote host closed the connection). 20:02:28 -!- ais523 has joined. 20:02:40 fnord 20:02:46 int-e: I use Konversation; and IIRC, zzo38 uses a client that's basically the raw IRC protocol but with syntax highlighting 20:02:46 `wisdom 20:02:46 ​Å/Å _is_ a village in Norway, unless you're the BBC and don't understand things on top of letters. 20:02:55 and maybe some way to type "PRIVMSG #esoteric :" quickly? 20:03:01 `wisdom 20:03:01 eurovision/Eurovision is the European way of looking at the world. For some reason it involves a lot of cheesy singing. 20:03:09 zzo38: Is that true? 20:04:05 ais523: fwiw, I have used xchat, but it didn't scale to more than 6 or 7 channels for me... 20:04:29 shachaf: Is what true? 20:04:38 zzo38: You use the IRC client ais523 describes? 20:04:49 Yes, mostly. 20:04:56 I dont know the details 20:05:44 At the beginning of a line if a space-bar is pushed it automatically type "PRIVMSG #esoteric :" or whatever the current channel happens to be set to (if there is no current channel, it just beeps and won't actually type a space.) 20:06:05 oh, that makes sense 20:06:13 There are a few other features too though, such as macros, and masking passwords 20:12:05 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 20:16:52 @type (join . join, join . fmap join) 20:16:54 (Monad m, Monad m1) => (m (m (m a)) -> m a, m1 (m1 (m1 a1)) -> m1 a1) 20:24:28 -!- Nihilumbra has joined. 20:25:05 if you say "whale oil beef hooked" really fast it sounds like "well ill be fucked" in an irish accent 20:25:13 fun facts 20:27:44 xxx... 20:28:09 did you try it out int-e 20:31:08 I'm a barbie girl, in a barbie world... 20:31:38 mroman_: oops I did it again! 20:32:13 Nihilumbra: No, what I meant is that the very same idea underlies many occurrences of "xxx" 20:32:37 ais523: by the way, I read the C++ union rules (most of it, anyway), and it's better than I thought 20:32:50 xxx is liquer right? 20:32:58 What's Firefox's new "Leseansicht"? 20:33:01 it's not as easy as I thought to accidentally write code that silently compiles but doesn't work than I thought 20:33:15 lenshars? 20:33:32 "Reader view" 20:33:39 esolangs.org is blank in reader view 20:33:40 "lese" = reading, "sicht" = sight, "an" is a connective 20:34:10 "reader mode"? 20:34:13 yeah 20:34:17 hm. 20:34:19 it does something 20:34:20 ok It needs javascript 20:34:45 everything needs javascript mroman_ hth 20:35:34 Just because life gave someone Lemons isn't a good enough justification to make JavaScript out of it 20:35:50 they used lime 20:36:33 mroman_: did you know that Firfox' UI is written in Javascript and XML files (XUL)? 20:36:44 `? firfox 20:36:45 firfox? ¯\(°​_o)/¯ 20:36:53 pity. 20:38:15 Well... 20:38:19 The idea isn't too bad 20:38:23 just the JavaScript part 20:39:18 blasphemy 20:39:42 I'm the worlds greatest blasphemist. 20:40:23 Did you know that just by listening on the radio to the past doing the Urbi et Orbi you will be forgiven all your sins? 20:40:27 heresy? 20:40:28 Ok, the feature is called "reader view". 20:40:46 It is. 20:41:03 fungot: Is Nihilumbra your evil twin? 20:41:03 int-e: and you don't even have to aware that it was 20:41:07 *pope 20:41:14 I am a heretic too 20:41:21 ais523: did you hear about the new MP2 low%? 20:41:40 fungot: please clarify 20:41:40 int-e: got it. 20:41:44 it's not technically an improvement in terms of %, but a much, much easier way to get MBI was found 20:41:46 fungot: please clarify *to us* 20:41:46 int-e: i suspend to disk most of the commercial apps i work on a brainfuck interpreter fails to be a pointer to that url. i'll bookmark it. traffic caps are on at this hour, and they have so much mass that you throw off earth's orbit and we go flying into the sun. 20:41:48 Because, I do not agree much of the stuff of beliefs of Roman Catholics. 20:42:02 coppro: yes 20:42:07 oh 20:42:23 It's hard being an Atheist without being a Blasphemist as well 20:42:24 I heard about someome doing it speedrun-style 20:42:27 although it would technically be possible. 20:42:30 the low%, that is 20:42:43 yes, because of hte improvement in the route, it became runnable as a speedrun 20:42:45 i.e. single segment and aiming to go quickly 20:42:51 miles did a hard mode run of it 20:42:56 mroman_: To me it doesn't seem that someone who is atheist is necessarily blasphemy too 20:43:06 and someone did it yesterday on normal as part of a marathon 20:43:36 so you know how you need to transition rooms when traveling OoB in the Prime games? 20:43:46 -!- lleu has joined. 20:43:58 zzo38: You're only a blasphemist if you ridicule religious things. 20:44:04 if you hit a cannon in the inactive room, it will get very confused and leave you with MBI 20:44:27 is that the old or new method? 20:44:29 new 20:44:34 old method relied on infinite speed 20:44:47 there's a cannon in sanctuary that Miles figured out how to hit, and this skips a lot of the backtracking, plus the light show 20:45:03 I ridicule homeopathy 20:45:08 among other things 20:45:34 and I treat homeopathy as some sort of religious believe. 20:46:21 bb 20:46:31 the other improvement miles did compared to the previous 6% I saw is that he got ballsy with Quadraxis skip and unmorphed to cut across, rather than going the long way around 20:46:32 Because if you take some homeopathic remedy and it didn't work it's your fault 20:46:43 because logically if you don't believe in it HOW could it work. 20:46:51 I do not consider myself as an atheist though 20:47:03 I consider myself as a Blasphemist. 20:47:08 and a James Randi fan. 20:47:31 `welcome 20:47:32 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 20:47:50 Actually, placebo effects can work even if you do not believe in it. 20:47:53 phew, for a moment there I thought I was un the wrong channel... 20:47:55 `emoclew 20:47:55 ​(.tenLAD ro tenFE no ciretose# yrt ,aciretose fo dnik rehto eht roF) .>/gro.sgnalose//:ptth< :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW 20:48:02 *on 20:48:02 O, it works backward too! 20:48:17 Now you have to work it sideways. 20:48:36 zzo38: it's funny how it swaps ( and ) but not < and >. 20:48:44 zzo38: there are a huge variety of welcome messages in HackEgo 20:48:53 `hellcome 20:48:54 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hellcome: not found 20:48:57 :( 20:49:13 OK, idea: instead of `relcome being `relcome, you should have to write `welcome in rainbow colours 20:49:22 ++ 20:49:48 Does science count as a religion? 20:49:51 ais523: also this isn't speedrunning related, but you'll find it amusing. While in Japan I picked up Japanese copies of MegaMan Battle Network 6. I can't read Japanese, but I want to enjoy the postgame. 20:49:56 I don't think so 20:50:00 `` sed -i 's/tr.*/tr \(\)\<\> \)\(\>\ No output. 20:50:07 coppro: 6 is one of the better games in that series 20:50:20 Although, there are some problems with how science is done so might be consider like religion, but actually it isn't a religion, especially when done properly. 20:50:22 meh. 20:50:26 ais523: yes. I would say 3 > 2 > 6 20:50:31 (also, the issue with the MMBN series is that it has excellent battle mechanics and doesn't really know what to do with the best of the ame) 20:50:33 I also don't like daylight saving time, but that doesn't seem to really have much to do with religion. 20:50:35 *the rest of the game 20:50:44 not sure how I feel about 1 vs. 5, 4 is clearly at the bottom 20:50:45 `` sed -i 's/tr.*/tr \\\(\\\)\\\<\\\> \\\)\\\(\\\>\\\ coppro: you know, I think I'll agree with that 20:50:47 No output. 20:50:49 both parts 20:50:52 ais523: Did you update your thesis? 20:50:55 I was about to say "not sure about 1 vs 5 but 4 is the worst" 20:50:59 `emoclew 20:51:00 ​(.tenLAD ro tenFE no ciretose# yrt ,aciretose fo dnik rehto eht roF) . :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW 20:51:02 Nevertheless I would want to know statistics about percentages of people of different kind of religion that like and don't like daylight saving time too 20:51:03 shachaf: the deadline for the updates is early july 20:51:06 My religion is pretty much: "Accepting that not ever question can be answered or has yet a known answer but you need to search for answers, extend your answers, refine and correct your answers and never stop doing that" 20:51:10 5 is actually the only one I haven't beaten 20:51:32 I'm currently reading the lists of corrections I have to make 20:51:40 I've 100%ed only 2 and 3. Haven't done 4 because ugh, 5 because I haven't beaten it, and 6 because it's English 20:51:42 mroman_: I agree with that, but do not consider it as religion. 20:51:43 I'm agnostic 20:51:54 -!- bb010g has joined. 20:51:59 so now that I have Japanese copies I can actually postgame 6 20:52:02 ¿¡ 20:52:05 not nihilistic? 20:52:30 I'm Tanebventionist. 20:52:34 (Nevertheless, it is a thing that can involve religion, science, and philosophy.) 20:52:36 ais523: you know about the English postgame in 6, right? 20:52:47 coppro: no, I don't 20:52:49 (Science isn't perfect, but it it s the best we have. Mathematics is perfect, though.) 20:53:05 haha int-e 20:53:20 ais523: The post-game for 6 got cut significantly in the English version, down to a single area from I think 4 or 5. The reason is hilarious: with the English text, the game wouldn't fit on the cartridge 20:53:22 but no my name is just there 20:53:39 -!- lleu has quit (Quit: That's what she said). 20:53:42 but not because nihil means nothing and umbra is a shadow an absence of something 20:53:43 I consider myself as panendeist 20:53:47 so its nothing nothing 20:54:10 I prefer to call myself a pragmatist 20:54:42 can you make contact though 20:54:57 ais523: I should check in on the BN1 speedrunners 20:54:57 I just read that as Panendienst. 20:55:11 they had made some nontrivial progress in manipulating the GMD RNG 20:55:12 mroman_: Which means what? 20:55:33 though I think they'll never get it to the level of art that is Golden Sun 20:55:39 I'll worship a god if there's a immediately visible benefit (financial, social, etc...) 20:55:40 "breakdown service" 20:55:50 It's a service for when you have car troubles. 20:55:55 Pannendienst, if that's supposed to be german? 20:56:04 Right. 20:56:15 *Pannendienst 20:56:27 if god exists he's/it/she is probably to busy to give a hoot about earth 20:56:49 seeing as its a very small percentage of the observable universw 20:57:11 I can't find a link at the moment, but GS plans out every single "random" encounter for the entire run. 20:57:19 Nihilumbra: but intervention froma god isn't the only effect of worship. 20:57:43 http://www.smbc-comics.com/index.php?id=1857 seems relevant 20:57:57 Well 20:58:01 God is testing us 20:58:03 I am not a traditional theist or deist though, therefore I don't take those arguments. Yes, the Earth is a very small and very minor part of the universe, but it is still something. 20:58:05 through wars and stuf 20:58:08 *stuff 20:58:10 there are immediately obvious effects as to who likes you, who doesn't 20:58:13 if I die and I see god 20:58:15 it's all part of a much bigger picture 20:58:20 I'm going to punch him 20:58:26 and ask why he keeps hiding 20:58:49 * int-e sidles off to find his Dogma DVD... 20:58:49 The biggest Greed is wanting an afterlife. (Well, not quite: the actual biggest greed is wanting an afterlife and taking everything with you) 20:59:35 the biggest greed is an afterlife with even more stuff than you would perpetually need 20:59:53 why would you even want an afterlife 20:59:56 I mean 21:00:04 living forever has got to be boring 21:00:30 mroman_: I would like to meet my ancestors 21:00:37 that's about it 21:00:48 then move on to a rebirth as a snail 21:00:59 they have a pretty good life 21:01:02 I get that people want to see their dead relatives again. 21:01:11 I would like to have a nice afterlife without alcohol, so my skin remains smooth. 21:01:31 your skin ain't smooth? 21:01:36 use lotion 21:01:57 People, because they do not understand, call GOD as a "Person" or something like that, or various other things which aren't so sensible. 21:02:36 There's a hail storm here 21:02:39 The proper words to describe GOD don't exist (and we can't easily make it to exist since nobody would know what it is), therefore we have to use wrong words. 21:02:40 awesome. 21:02:44 There is no other choice. 21:02:54 mroman_: what was your here again? 21:03:23 Winterthur, Switzerland, Europe, Earth, Solar System, MilkyWay, Universe No. 9 21:03:31 god if in correct in it not being a douche canoe would appear to you in the shape you are most comfortable with 21:03:47 Of course, I don't know either. I only approximate; all of religious/theology/etc are only being approximate. 21:03:54 no. 9?? 21:04:09 were the other 8 better 21:04:14 Nope 21:04:19 God just needed 9 tries to get it right. 21:04:34 the other ones are probably weird. 21:04:39 or collapsing. 21:05:04 lol 21:05:04 assuming God created the universe, and not just earth 21:05:14 I'm not sure what the bible *exactly* says about that. 21:05:36 he just created earth as it were 21:05:43 so he isn't all powerful 21:05:46 Well, also the "heavens". 21:05:52 and hell. 21:05:58 I don't believe that kind of old mythology anyways 21:06:07 lets just assume his mother did the universe thing 21:06:13 "Created" isn't even the right word, but there aren't any better words! 21:06:19 and god created three dimensions of existence 21:06:32 earth heaven hell 21:06:34 "In the beginning God created the heavens and the earth", starts the NIV translation. 21:06:42 pls sir 21:06:47 well 21:06:56 God must have forseen that some people eventually stop believing in him 21:07:04 why would he create humans capable of not believing in him? 21:07:06 Universe is made out of mathematics. There may be an infinte number of possible universes. 21:07:17 Why didn't he just create humans in a way so that they ultimatively always will obey him? 21:07:25 People misunderstand the nature of God 21:07:27 we are in theory atm right? 21:07:28 mroman_: I guess that might've been boring? 21:07:35 Also why did he even bother to create humans? 21:07:56 (I don't understand either, but I believe in approximations which I believe to be better approximations than others do) 21:07:56 That's actually a much better question :) 21:08:12 I was told that god created humans with free will but told them what to do until that whole apple crisis 21:08:15 Why *did* he create earth and life? 21:08:22 Therefore your questions are wrong, in my opinion. 21:08:36 Some people write brainfuck, others create worlds and life. 21:08:43 (That doesn't mean it isn't worth asking; how do you know it is wrong unless you ask?) 21:08:52 carpenter turned wizard 21:08:56 is Jesus 21:09:06 Maybe we are just an esoteric world among many other more reasonable worlds 21:09:25 Maybe we are the brainfuck world of all worlds 21:09:33 No look. God created nothing, but that was a brilliant move of his, because then from that the empty set sprang onto existence on the zeroth day, then the set containing the empty set sprang into existance on the first day, etc, and eventually all sets and all of mathematics and physics come into existance some day. "day" isn't to be taken literally. 21:09:37 we are the malbolge 21:09:48 mroman_: I am of the impression that it's currently the other way around. Almost all other universes are brainfuckiest than ours. 21:09:57 Nihilumbra: that'd be interesting! 21:10:06 heh 21:10:34 time is an illusion made by man 21:10:46 b_jonas: In my opinion that seem closer than how the Bible and other stuff says, but still very wrong. 21:10:48 but yeah god is a weirdo 21:11:09 Time is a function of the universe, but actually spacetime is, not time and space. 21:11:13 the bible is a very old book that has been mistranslated multiple tines 21:11:26 times* 21:11:42 That's true, it is an old book. 21:11:49 right now, she's unconscious in a skee ball player's body in some hospital... 21:12:08 ? 21:14:25 I don't believe in the personal kind of God. 21:14:51 My own kind of believe it is very confusing and unusual compared to others 21:15:07 Someone told me to make up the Church of Four Concentric Circles 21:16:35 Church of Four Concentric Circles? what's that? and how's that ever going to be projective invariant? 21:17:06 The circles are just a diagram. 21:20:43 The proper diagram would be impossible to draw, therefore I have to use the one that I made like this instead. 21:25:32 I do like the idea of a religion based on a diagram that's impossible to draw 21:25:36 (I was also once told that I should earn the Ig Nobel prize for proving it impossible to use complex numbers in accounting.) 21:25:56 (However, I forget the proof.) 21:26:10 olsner: O, you do? OK, that's good then 21:30:02 boily: BLASPHEMY! 21:30:02 Such diagram, also, is just the metaphor. 21:30:13 My universe is burlesque 21:30:34 which is going to be obsoleted by Gulf 21:30:35 for that matter 21:31:00 but I'm most strongly against religion because of it's risk for violence. 21:31:05 *its 21:31:39 It's so hot here that the slightest physical activity makes you sweat like a pig :( 21:31:51 29 degrees room temperature 21:31:54 yay \o/ 21:31:54 | 21:31:54 /| 21:32:16 at least the hail storm will bring some cold 21:32:32 (where cold probably means it's going to cool down to 25 degrees room temperature) 21:35:32 It does have risk of violence, but so do other things. It is possible to do good things and bad things with various stuff, too. 21:37:41 I like to think that faith and religion are separate, faith (= you believe whatever you want) is fine and dandy, but when you organize it into a religion it starts to get dangerous 21:38:32 I also like to take a bath 21:38:52 @metar CYUL 21:38:53 CYUL 072100Z 14012KT 30SM FEW150 OVC250 22/06 A2998 RMK AC2CS6 SLP151 DENSITY ALT 800FT 21:41:22 olsner: Ah, OK, yes some people like to make this distinction. 21:42:30 isn't there actually a three-way distinction rather than two-way? 21:43:09 three-way between, I think, beliefs, religion, and church. 21:43:23 Yes, there is that distinction too 21:44:09 I could be getting this wrong though 21:44:13 I don't think too much about it 21:44:29 because I don't much care 21:48:00 b_jonas: I think you could eliminate the church/religion distinction if you wanted 21:48:10 a church is really just a sect 21:48:19 and you can view sects as different but similar religions 21:50:25 -!- hilquias` has quit (Remote host closed the connection). 21:53:35 -!- TieSoul has quit (Quit: No Ping reply in 180 seconds.). 21:54:59 -!- TieSoul has joined. 21:56:24 -!- Phantom_Hoover has joined. 21:56:32 -!- ais523 has quit (Quit: bedtime). 21:57:52 @metar lowi 21:57:52 LOWI 072150Z AUTO 26014KT 220V290 9999 -TSRA //////CB FEW038 BKN046 19/14 Q1023 22:05:22 -!- YokeOfIdea has joined. 22:05:42 -!- YokeOfIdea has quit (Remote host closed the connection). 22:08:04 -!- YokeOfIdea has joined. 22:21:25 -!- oerjan has joined. 22:35:15 boily: i believe Dulnes is part of the collective nick-unstable entity currently mostly known as Nihilumbra (and whatever you do, don't assume they're the same person hth) 22:36:18 -!- toxolotl1 has quit (Quit: Leaving.). 22:36:24 (not in public, anyway) 22:36:57 `quote dulnes 22:36:58 1223) Anyways i actually do have food in my house and this time its not coffee based 22:37:58 boily: i'm also implying e may not get that lambdabot message 22:38:04 a jerk by any other name 22:39:24 shachaf: was that necessary 22:40:56 is anything necessary? 22:42:11 -!- Patashu has joined. 22:42:48 Content-Type: application/binary <-- not helpful <-- the hg browser at some point stopped serving files properly for security reasons. 22:43:05 i.e. that link used to work when it was added. 22:43:52 shachaf: not if you don't care about social consequences 22:44:39 should i make fun of them obliquely while they're not in the channel, like the rest of you, rather than directly? 22:44:50 or should i harass them in /msg, like they do? 22:45:05 oh that. 22:45:27 is e still doing it 22:46:17 *sigh* 22:46:52 not lately, unless they happen to be doing it from one of the nicks i /ignored 22:47:19 -!- augur has joined. 22:47:36 good 22:50:03 stupid webpage uses css rules to crop some of the page unreadable 22:50:16 I can fix it on client side, but why do I have to? 22:54:12 * oerjan hates that too 22:54:28 whoa, webpage has en_UK and en_US localization (they might be identical though) 22:55:44 one thing i hate is pages with wide margins designed such that i see _less_ of the text when zooming in, because the margins grow instead of the text... 22:56:35 (well the text font grows, but not the textbox) 22:56:39 I think they should just use the default margins, and then the width adjusts with the width of the window. 22:57:17 yes, they should just use default for most things 22:57:29 zzo38: well of course there are plenty of sites that do it the reasonable way, i'm talking about broken sites 22:58:20 For everything, as far as I am concerned, you should use the client's default unless you have a good reason not to (such as: if you need different colors of text, set both the foreground and background colors; otherwise don't set any colors) 22:58:55 also there's this stupid newspaper comic page that uses my zoom level to decide that i need to be redirected to their mobile site - so to visit it, i to first turn off my zoom and then rezoom after the page has loaded. 22:59:12 *i have to 23:01:05 "The weight limit does not apply to electric wheelchairs, musical instruments or animals in the cargo hold." -- oh! do they allow elephants? dragons? 23:01:05 i wish they'd somehow managed to made the web standards such that sites _couldn't_ make assumptions about the client devices 23:01:19 oh right, they have a size limit too 23:01:57 so a child elephant might fit, but a dragon definitely not 23:02:40 if you've got a dragon, why are you taking a plane tmns 23:03:11 oerjan: flying might take too much time or energy otherwise. a plane is faster. 23:03:15 -!- nszceta has joined. 23:03:18 at least for long distances. 23:03:27 but yeah, you probably don't need it if you have a dragon 23:03:29 though... 23:03:35 if it's not a tame dragon, but a subdued one 23:03:45 then maybe you can't direct the dragon to fly 23:03:59 how many elephants in a dragon? 23:03:59 Gopher menus work better it doesn't need to make any assumptions about the client other than it can display the menu and text files; the client decides what way need to display work best for the device. 23:04:14 how many gophers in an elephant? 23:05:00 boily: size or weight? 23:05:53 I think a gopher's density is approximatively the same enough to that of an elephant to be irrelevant. 23:06:08 boily: in size, a dragon (gigantic) is two size categories over an elephant (large), so dragon is 4 times as large in linear size, 64 times as large in volume, but that's a very inaccurate approximation 23:06:34 in weight, the difference is only like a factor of 2 23:08:22 I'd've guessed the elephant-to-dragon ratio to be higher, but what do I know, I've never seen neither of them. 23:08:37 nethack weights are unrealistic 23:08:39 * boily needs pretzels 23:08:50 -!- augur has quit (Read error: Connection reset by peer). 23:08:58 they're more about how difficult the item is to carry than about how much it weighs 23:09:22 and dragons are absolutely impossible to carry, so it doesn't matter much how much they weigh 23:09:34 it does have a little significance, but rarely comes up 23:09:56 boily: is it a pretzing issue? 23:13:41 -!- augur has joined. 23:15:56 -!- Nihilumbra has quit (Quit: Connection closed for inactivity). 23:19:10 * boily mapoles oerjan 23:19:32 ow 23:19:35 it was a sudden urge. also bought a milk carton for my cereals. 23:19:42 boily: are you sure you don't need some delicious rice 23:19:57 oerjan: it was only a light mapole. 23:20:17 is that similar to a lightsabre? 23:20:22 shachaf: ha ha ^^ sorry, no. I already packed tonight's leftovers for tomorrow. 23:21:16 oerjan: think of a mapole as a prototypesaber hth 23:21:22 ah 23:21:33 shachaf: just how much did you make? 23:22:11 boily: maybe three or four times as much as necessary 23:24:16 oerjan: what'd'you have for supper/breakfast/whatever? 23:25:19 helloily 23:25:23 i had greek supper 23:25:33 ham salad (not made by me) 23:26:02 quinthellopia. souvlakis, gyros, tzatziki, fternooners and other Greek classics? 23:26:13 is ham salad like chicken salad s/chicken/ham/ or is it like regular salad with ham on? 23:26:24 chicken salad? 23:26:39 i love souvlaki, but no. commodity chain greek. salad and chicken and pasta salad. 23:26:51 quintopia: the former, i think? what's the difference anyway... 23:26:58 oerjan: what sorts of things do you make 23:27:06 oerjan: mainly that the latter has lettuce 23:27:12 and dressing 23:27:24 shachaf: sliced bread and pizza 23:27:29 what's with salad and lettuce? 23:27:39 apparently some people think that a salad needs to have lettuce 23:27:53 quintopia: oh. the latter, then. it's a bit confusing because no:salat means _both_ salad and lettuce. 23:27:55 in many cases and many salads, lettuce is not a big improvement 23:28:10 lettuce is depressing. especially iceberg. bleh. 23:28:13 nah, they specifically says “live animals (dogs and cats only)” in the rules 23:28:13 shachaf: regular salad has leafy greens. if it has no leafy greens, it is not regular 23:28:18 so no elephant 23:28:23 not even baby 23:28:39 `quote topologically 23:28:39 396) god created the natural numbers, the rationals were done by man and the work was finally completed (topologically) by satan himself \ 1135) topologically speaking, dogs and cats are the same animals. 23:28:52 I had regular salad without lettuce today. 23:28:57 b_jonas: re quote 1135: elephants can be included hth 23:29:10 quintopia: what's your stance about spinach? 23:29:11 non-regular salads include: potato salad, cole slaw, chicken salad, tuna salad, and (the anglo-american version of) ham salad 23:29:20 boily: it's a wonderful thing. 23:29:27 quintopia: non-regular in what sense? 23:29:28 yé :D 23:29:43 quintopia: you should try making palak paneer. it's easy and delicious. 23:29:44 (unless it is shredded and boiled. then yecch. fresh only plox.) 23:29:56 Around here, the word "salad" by itself pretty much always means a salad with lettuce or spinach, but there are also phrases such as "egg salad", "pasta salad", "tuna salad", "Jello salad", and so forth referring to things without either. 23:29:58 quintopia: the same place also has chicken salad, which also has lettuce hth 23:30:05 quintopia: boiled is bad. blanched good. 23:30:13 What about a salad with, say, tomatoes and cucumbers and onions and mint and that sort of thing? 23:30:17 Is that regular? No lettuce. 23:30:26 egg salad and pasta salad are alsxo good examples of non-regular salad 23:30:45 oerjan: http://en.wikipedia.org/wiki/Ham_salad 23:30:50 * oerjan suddenly starts thinking the word "salad" looks fake 23:30:54 I think I'm going to refer to everything as a type of "salad" from now on. 23:31:04 Now I'm suddenly thinking the word "salad" looks Arabic. 23:31:17 al-salād or something? 23:31:22 hah 23:31:25 polk salad annie 23:31:25 Yeah, just like that. 23:31:25 Though it's pretty Latin. 23:31:38 you might be thinking of "salat" hth 23:31:42 for cabin (not cargo hold) transfer, “Up to three small puppies or very small kittens may be booked as one animal and must be transported in the same container in the cabin.” 23:31:52 those aren't even topologically equivalent 23:32:10 Chili is "bean salad". Cookies are "chocolate salad". Pizza is "pepperoni salad". 23:32:13 the container is topologically equivalent to the container that would carry one animal 23:32:44 I'm not sure the topology of a physical object is really well-defined. 23:32:44 tswett: no. just no. salad must contain a variety of ingredients (at least one a vegetable) tossed together in a bowl 23:32:59 quintopia: Jello salad doesn't contain any vegetables. 23:33:04 I like vegetarian chili. beans, tomatoes, onions, bell peppers, tofu, olives... 23:33:14 tswett: itym aspic hth. 23:33:19 Bell peppers are the scow of vegetables. 23:33:24 tswett: true. s/vegetable/fresh plant matter/ 23:33:24 What's a scow? 23:33:28 `? scow 23:33:29 scow? ¯\(°​_o)/¯ 23:33:42 Apparently it's "a wide-beamed sailing dinghy". 23:33:43 boily: ew 23:33:46 "the scow of X" usually means something like the worst specimen of X. 23:33:51 shachaf: peppers of all varieties and cultivars are the tits. you can do everything with them! 23:34:00 boily++ 23:34:04 I advise against using them on tits. 23:34:08 oerjan: http://en.wikipedia.org/wiki/Ham_salad <-- wtf is that 23:34:18 I like red peppers. I don't understand the purpose of green peppers. 23:34:23 oerjan: what comes to mind first when you say ham salad 23:34:42 quintopia: you don't like tofu and olives? 23:35:22 oerjan: "mayonnaise-bound meat salads" 23:35:25 tswett: A green bell pepper, though not at all spicy, still has quite a distinct flavor. 23:35:38 boily: no, not really. 23:36:29 https://en.wikipedia.org/wiki/Salad_cream ? 23:36:32 what's all this about? 23:36:33 tswett: green peppers are cheaper than other colours in groceries here. that's one of their purposes. 23:36:48 (also, to make proper all dressed pizza, you need the green ones.) 23:36:55 -!- nszceta has quit (Quit: Textual IRC Client: www.textualapp.com). 23:37:08 It is quite reasonable to use in and of itself, though obviously no substitute for other varieties. 23:37:09 boily: you need the full stoplight for a proper all-dressed pizza 23:37:12 Speaking of emulsions, I made mayonnaise the other day. 23:37:15 It was great. 23:37:49 Bell peppers are the scow of vegetables. <-- blasphemy! 23:38:12 oerjan: keep up here. 23:38:17 Really, there are many foods that I dislike to lesser or greater extents. 23:38:25 But bell peppers are not negotiable. They ruin everything. 23:38:39 pfft. 23:38:49 They have a terrible taste, their texture uncooked makes me want to vomit, their texture cooked is just disgusting. 23:38:50 at least they have flavor! 23:38:53 There's nothing good about them. 23:39:10 They can ruin any dish. Even if you take them out, their flavor sticks around to ruin it. 23:39:11 GO TEAM BELL PEPPERS! *pom poms* 23:39:24 one good thing about them is that if we have a pizza party and shachaf attends, they can make it so there is more pizza for the rest of us 23:39:43 I wonder if this is something like cilantro or something. 23:40:00 quintopia: Usually people do that by putting animals on the pizza. 23:40:05 pikhq: sounds like it. people I know who dislike bell peppers really dislike them. 23:40:06 i found out tonight my sister thinks basil ruins pasta salad 23:40:17 quintopia: WHAT? 23:40:19 shachaf: oh okay. that'd work too. 23:40:23 Hmmmm, I want a place to paste a table. 23:40:27 (inb4 "in the dining room") 23:40:40 quintopia: that's strange 23:40:45 but you might get paste all over the china cabinet 23:40:52 i recommend pasting in the garage or shop 23:40:59 then carrying the table back to the dining room 23:41:45 oerjan: what comes to mind first when you say ham salad <-- i suppose my brain has different slots for "salad as whole meal" and "salad as condiment". in any case, not that thing on wikipedia's picture. if it were a condiment salad, i'd expect still visible strips of ham in it. 23:41:46 b_jonas: i know. basil is wonderful. 23:42:11 oerjan: it can be made that way. there is some variety. 23:42:41 as long as they are small enough to be chewy instead of ...stringy? 23:43:28 so who wants to play some don't starve together? 23:43:55 I played it and then I died. 23:43:58 So I stopped. 23:44:05 I think I was eaten by a grue. 23:44:17 she has a name oyu know 23:44:34 I don't know, because I stopped playing the game a few seconds before being eaten. 23:44:46 good job with the fire making 23:44:55 In fact I still have a save file where it's dark and the screen has jagged lined around the edges and I'm about to die. 23:44:59 But at least I didn't starve. 23:45:05 her name is Charlie 23:45:07 -!- augur has quit (Read error: Connection reset by peer). 23:45:12 http://dont-starve-game.wikia.com/wiki/Charlie 23:45:54 Ooh, I remember Don't Starve. 23:46:00 I wonder if I still have a way to access it. 23:46:08 Probably. 23:57:48 -!- augur has joined. 23:59:55 -!- evalj has quit (Remote host closed the connection).