00:01:49 -!- sprocklem has quit (Remote host closed the connection). 00:10:54 oh for fuck's sake there are MULTIPLE fast fourier transforms! 00:11:11 2 fast 2 fourier 00:12:10 ++ 00:12:24 <> 00:12:35 IF X <> Y THEN GOTO 20 00:13:21 IF ⪓ Y THEN GOTO 20 00:13:38 did that thing eat the "X" D: 00:13:46 does roger penrose... age? 00:13:46 LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL 00:14:12 oopse lost the X 00:14:20 well i have two slanted equals so pretend they overlap 00:14:29 Phantom_Hoover: probably not 00:15:15 Bike: you should tweet "2 Fast 2 Fourier" and I will retweet it and then we will both become more popular on the Internet 00:15:21 v. important 00:15:26 hey you should retweet my tweets 00:15:43 my last tweet was uh, a report on the US food stamp program 00:15:47 i gotta keep up the theme!!! 00:15:48 i retweeted all of your tweets shachaf 00:15:56 kmc: you haven't retweeted any of them 00:16:00 also true 00:16:16 kmc: for every tweet shachaf made, you didn't retweet t 00:16:18 *it 00:16:32 let's not bring quantification into this, we're all friends here 00:16:45 you (haven't retweeted) all of them, *and* you haven't (retweeted any of them) 00:17:56 `echo hi 00:17:57 hi 00:18:01 miusf 00:18:26 main is usually sometimes functional 00:18:37 main is usually san francisco 00:19:15 why can't i get to the logs... 00:19:18 :=D 00:19:43 WFM 00:19:57 ᾯ GREEK CAPITAL LETTER OMEGA WITH DASIA AND PERISPOMENI AND PROSGEGRAMMENI 00:20:43 ⚕ DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT 00:20:59 im upset 00:20:59 shachaf's poetic masterpiece. 00:21:06 Stop being upset. 00:21:12 no 00:21:16 im happy at being upset :') 00:21:16 Yes. 00:21:19 that first one looks like a recipe 00:21:29 with strange greek herbs 00:21:47 Legalize prosgegrammeni 00:22:45 U+1F402 OX 00:23:00 ⊻ XOR 00:23:39 * kmc installs unicode-data immediately 00:24:59 i need some non-heteronormative spam 00:25:04 my awk doesn't have --field-separator :( 00:25:20 kmc: BEGIN { FS=";" } 00:25:40 ok 00:25:41 or 00:25:42 perl -F';' -lane 'print length($F[1]), " ", $F[0], " ", $F[1]' < /usr/share/unicode/UnicodeData.txt | sort -rn | less 00:25:57 /usr/share/unicode/UnicodeData.txt: no such file or directory 00:26:17 sudo rm -rf --no-preserve-root / 00:26:22 sulamit 00:26:44 biggest one for me: 00:26:45 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM 00:26:49 uighur please 00:27:20 Wait, is it uighur or kirghiz. 00:27:39 those are like pretty different, aren't they 00:27:56 maybe both 00:28:07 perl -F';' -lane 'print "@{[length($F[1]), $F[0], $F[1]]}"' what is this @{..} wizardry 00:28:40 "A Pinyin-derived Latin-based alphabet (with additional letters borrowed from Cyrillic)" i don't understand how northwestern china even exists 00:29:00 shit guys we need more letters 00:29:57 MS Windows Uyghur keyboard layout. Note that vowels are still using the older alphabet from the Arabic script, and not the newer plain letters of the Uyghur Ereb Yëziqi alphabet (composed of pairs of Arabic letters, starting by an alef with hamza, that must be entered separately on this keyboard before the actual vowel). In fact, the keyboard is also based on the older Latin alphabet used for the Mixed Uyghur Yëngi Yëziq, and does not allow 00:30:10 "@foo" adds spaces between elements. [] makes array refs. @{} dereferences them. "@{}" adds spaces between elements. 00:30:18 Perl is so elegant. 00:30:26 v. good 00:32:24 It’s funny i remember something like that although i haven’t really used Perl for, like, ten years. 00:34:34 i'm not so sure that @foo adds spaces, isn't @ just the sigil for arrays 00:34:49 if i do perl -e 'print @{[1, 2]}' i don't get spaces 00:35:05 kmc, Rebol? 00:35:05 kmc: You forgot the quotes. 00:35:14 ohh 00:35:32 when arrays are interpolated into strings, they get spaces, but not when you print them directly 00:35:35 of course 00:35:37 Sgeo: Rebol? 00:35:38 To be more accurate, it adds $" in between. 00:35:44 is that the OFS? 00:36:01 What's OFS? 00:36:21 why is Ƣ reported as "LATIN LETTER OI" 00:36:26 CAPITAL* 00:36:33 oh it's a misname 00:36:34 lol 00:37:02 http://unicode.org/notes/tn27/ welp 00:37:14 $LIST_SEPARATOR, $": When an array or an array slice is interpolated into a double-quoted string or a similar context such as /.../ , its elements are separated by this value. Default is a space. For example, this: […] 00:37:24 sgeo: Output field separator 00:37:30 Bike: lolunicode 00:37:35 U+034F COMBINING GRAPHEME JOINER The name does not describe the function of this character. Despite its name, it does not join graphemes. 00:37:54 "then what's it for" "fuck you it's stable" 00:37:56 i like that nobody knows why the hacek is called "caron" 00:38:21 "U+034F COMBINING GRAPHEME JOINER... Despite its name, it does not join graphemes." 00:38:21 CYRILLIC SMALL LETTER I DON'T FUCKING KNOW 00:38:22 % perl -lwe '$" = "|"; print qq{@{["foo", "bar", 42]}}' 00:38:24 foo|bar|42 00:38:29 oh you just said that 00:38:42 -!- SirCmpwn has quit (Ping timeout: 252 seconds). 00:38:45 LATIN CAPITAL LETTER BUGGRE ALL THIS FOR A LARKE 00:39:58 'U+262B FARSI SYMBOL This symbol is so named because as symbol of Iran it cannot be encoded in ISO standards.' 00:40:01 what 00:40:19 lol what 00:40:21 are you really trying to have us believe that every symbol in the unicode table has an actual purpose and a definite usage? 00:40:22 … 00:40:32 can ISO standards not mention countries, or 00:41:46 they have religious symbols... 00:41:53 Iran - © middle-east 00:41:59 also a hammer and sickle 00:42:10 -!- SirCmpwn has joined. 00:42:31 Bike: right but maybe you can't mention countries because they can change or something 00:42:35 and a black flag! smash the state 00:42:54 elliott: they only have a trillion different (changed!!) crosses 00:43:05 I still don’t know why there’s a white smiling face, a white frowning face, a black smiling face and no black frowning face. 00:43:10 also three different transgender symbols, heh 00:43:23 ⚧ is of course the superior one 00:43:32 I like how that's a space for me. 00:43:36 is that mosh's fault, I wonder... 00:43:46 elliott: I have mosh, works here. 00:43:58 s/have/run/ 00:44:04 maybe it's just my font 00:44:12 "Left-handed interlaced pentagram" 00:44:24 Shinto shrine! 00:44:54 Unicode is anti-American!!! they have FARSI SYMBOL but not AMERICAN FLAG WITH CRYING BALD EAGLE ABOVE 00:45:14 oh come on, they have a maltese cross 00:45:20 it says "maltese" right there! 00:45:48 " It is also the modern symbol of Amalfi, a small Italian republic of the 11th century." 00:46:07 Unicode is full of problems; that isn't the only one. They are also missing other things, have too many of some other things too; but at least, there is private areas in case you need them, so you can use those if you want to. 00:46:32 and brakcets 00:46:44 wow there are a lot of swastikas. 00:47:21 "A-ok 👌 U+1F44C OK HAND SIGN I'm okay, asshole, homosexual (insult)" 00:47:39 kmc: ok so there's a statue of liberty. 00:47:43 oh yeah 00:47:53 i think maybe this just makes no goddamn sense?? 00:48:04 blame the japanese phone companies 00:48:07 I suppose, there is an ordinary swastika, a kanji swastika, a Nazi rotated swastika, etc 00:48:25 Bike: I, too, think maybe this just makes no goddamn sense!! 00:48:30 thanks 00:48:34 holy jesus the suggested image for statue of liberty 00:48:50 what is it 00:49:22 http://www.fileformat.info/info/unicode/char/1f5fd/browsertest.htm 00:49:36 mubot: @let あ = 'a' 00:49:37 Parse failed: Illegal character ''\129'' 00:49:37 . 00:49:42 shachaf: :( 00:49:44 ion: I do know why there is both a white and a black smiling face; it is for compatibility with CP437. 00:49:53 This isn't a "space". It is an invisible character that can be used to provide line break opportunities. 00:49:54 @let あ = 'a' 00:49:54 Parse failed: Illegal character ''\129'' 00:49:54 Illegal character ''\12354'' 00:49:55 Illegal character ''\12354'' 00:49:56 I suppose they never bothered to add the black frowning face. 00:49:59 at least we all fail 00:51:02 well i definitely need to read the notes 00:51:03 zzo38: CP437 has a white frowning face? 00:51:06 there's one entirely about burma 00:51:36 http://www.unicode.org/notes/tn9/ also 00:51:52 ion: No, it doesn't, but it does have hollow smiling face and filled smiling face. MegaZeux default set has a filled frowning face, but not a hollow frowning face like Unicode has. 00:52:05 As another example, multiprocessor sorting algorithms can be non-deterministic. The work of sorting different blocks of data are farmed out to different processors and then merged back together. The ordering of records with equal fields might be different according to when different processors finish different tasks. 00:52:57 haha the burma one is 67 pages this is awesome 00:53:16 Hrm. Wonder if I could sell my Nook to get the Nook that has GloLight 00:53:24 Probably not really worth it 00:53:34 *GlowLight 00:54:38 god i actually find this interesting. i think i'm mentally unsound 00:54:55 CP850 has all of the printable ZSCII except for the OE ligature. 00:56:30 Language X has 7 vowels. The creators of the new orthography want to stay away from diacritical marks as much as possible, so they use A, E, I, O, U, but need two more "vowels". "Bad practice” would be picking the numerals "6" and "7" as the other two vowels, giving: A, E, I, O, U, 6, 7 as "letters" in the orthography. 00:56:50 In what kind of language? 00:56:52 I wonder if they were thinking of the numerous orthographies that have done pretty much exactly that 00:57:03 are you reading an exam about how to design languages 00:57:19 unicode technical note 19, RECOMMENDATIONS FOR CREATING NEW ORTHOGRAPHIES 00:57:39 that is a badass kind of technical note to write 00:57:46 lol wow 00:58:05 unicode technical note 72, RECOMMENDATIONS FOR STARTING NEW CIVILISATIONS 00:58:20 what's the newest orthography in common use 00:58:29 ummmmm good question! 00:58:47 like, not a modification of an older one, hm 00:58:47 CP437 has even less of printable ZSCII, although Windows-1252 does include all of the printable ZSCII. 00:58:53 RECOMMENDATIONS FOR CHOOSIN WHERE TO USE ALL-CAPS 00:58:57 well I think they're mostly modifications of older ones 00:58:57 G 00:59:04 it is hard to define, yeah 00:59:18 like German had a spelling reform in 1996 00:59:21 -!- Koen_ has quit (Quit: Koen_). 00:59:26 kmc: i mean like, a language that wasn't written before picking up a modified cyrillic would count, but not a spelling reform? 00:59:35 also squamish uses 7 for glottal stop it's great 00:59:45 makes me squeamish 01:02:17 Moldova switched from Cyrillic to Latin in 1989 but the language is a dialect of Romanian and they just adopted the orthography already in use in Romania 01:02:21 maybe it's in the ethnologue somewhere 01:02:54 i kind of chuckle whenever i see "dialect" now 01:03:40 "Literacy rate in L1: 6%. 300 can read and write it" dang 01:04:55 ok i found a site entirely about scripts. Current Software Needs include: "Addition of Bold and Italic face to Abyssinica" "Handwriting font for West Africa" 01:06:40 -!- conehead has joined. 01:06:59 It doesn't list dates. Woe. 01:08:41 http://upload.wikimedia.org/wikipedia/commons/0/0c/Tanezrouft-Piste1990.jpg 01:09:06 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:10:02 minefield in... any one of the billion ex french colonies in africa? 01:10:16 i don't know if it's a minefield or just that you'll get lost and die 01:10:27 but yeah, algeria / niger / mali http://en.wikipedia.org/wiki/Tanezrouft 01:10:32 also a valid concern 01:11:53 http://en.wikipedia.org/wiki/Poste_Maurice_Cortier this seems like a poppin' place to be 01:14:00 huh, according to the burma report they have two different codepoints for two different renders of the same character, i didn't know unicode allowed that 01:14:31 i ate wild mushrooms picked from the MIT campus yesterday 01:14:45 also there was a tiny tiny snail on them when we picked them, but i didn't eat the snail 01:15:06 missing out imo 01:16:36 "Due to the stability criteria of the Unicode standard, once a combining order is set in the standard, it is impossible to 01:16:39 change it for that character. In addition, there is no requirement that normalized order must mirror linguistic order. 01:17:05 Bike: multiple renders is pretty frequent 01:17:07 e.g. math 01:17:19 -!- Nisstyre-laptop has joined. 01:17:29 example? 01:18:23 blackboard bold 01:18:26 math cursive 01:18:30 math bold 01:18:40 it makes a lot of sense to make these different characters 01:18:42 I should watch the Batman movies 01:18:47 well i mean 01:18:54 B and blackboard B have different semantics, no? 01:18:56 Sgeo: it will teach you how to be literally batman 01:19:02 Bike: in math, yes. in English, no 01:19:08 well yes 01:19:18 i mean these renderings have the same semantics everywhere 01:20:04 but, one of the minority languages only uses one of the renderings, so they separated it out... 01:20:36 they are only different characters because of maths 01:20:40 stupid mathematicians 01:20:46 god forbid they should use multi character identifiers for anything 01:20:51 i meant the burmese ones. 01:21:00 category theorists got us up to accepting 3 character identifiers 01:21:02 sgaw karen only uses one form 01:21:25 kmc: those were already accepted 01:21:26 cf sin 01:21:45 original sin 01:24:26 kmc: you know what's good? answer: wild strawberries in finland 01:24:36 oh yes 01:24:39 sounds very good 01:24:43 i should have some 01:24:46 did you have any when you were in finland 01:24:48 no :/ 01:24:54 imo go back and have some hth 01:25:01 they are tiny and delicious 01:25:01 ok 01:25:05 how do you find them 01:25:10 they are easier to ID than mushrooms I hope 01:25:14 um 01:25:18 not sure how you find them 01:25:22 but they look like strawberries 01:25:30 i saw lots of chanterelles on sale in fi 01:30:51 -!- zzo38 has quit (Quit: zzo38). 01:31:16 is finland a mycophilic society 01:31:45 i'm a strawberry 01:31:54 doubtful 01:32:19 elliott the doubtful strawberry 01:32:25 @yarr 01:32:25 Aye Aye Cap'n 01:32:25 Swab the deck! 01:32:25 Aye 01:32:33 this is like having a whole crew of pirates 01:32:35 @arr 01:32:35 Arrr! 01:32:35 Aye Aye Cap'n 01:32:35 I'll crush ye barnacles! 01:32:42 a pirate I was meant to be / &c. 01:32:57 a pirate I was meant to be / trim the sails and e t c... 01:33:06 wait, that's a double and 01:33:06 i'm ending this here 01:33:13 wait I didn't know you played MI3 01:33:18 ? 01:33:30 ? 01:33:31 I've quoted that song in this channel more than once. 01:34:09 06:07:56: I,I We'll surely avoid scurvy if we all eat an ^Borange^O. 01:34:09 06:08:15: Is that a monkey island quote 01:34:10 06:08:24: and what the FUCK is I,I 01:34:10 06:08:27: stop that shit. 01:34:10 06:08:43: i literally heard that in guybrush's voice jesus 01:34:36 Bike: it's just an owl face calm down man 01:34:38 ok fine 01:34:41 i have an awful memory okay 01:34:59 *sings* i i i i 01:35:17 ...so ungoogleable ugh 01:35:20 It was in a commercial 01:47:05 -!- augur has quit (Remote host closed the connection). 01:47:35 -!- augur has joined. 01:51:48 -!- augur has quit (Ping timeout: 245 seconds). 01:51:54 mubot: @quit 01:51:54 -!- mubot has quit (Quit: requested). 02:00:30 ate too much candy 02:00:32 again 02:00:53 why do they have to make it so goddamn tasty :'( 02:03:51 kmc: i'm about to do something exciting 02:08:01 -!- augur has joined. 02:08:23 -!- conehead has quit (Ping timeout: 240 seconds). 02:24:22 oh? 02:25:02 sorry it's secret 02:25:19 ok 02:25:22 good luck 02:25:41 thmc i couldn't do it without you 02:29:29 kmc: I could say the same thing about sushi 02:29:40 why do they have to make it so /good/ 02:30:00 true 02:30:08 and the answer to both is: personal vendetta 02:30:20 you gotta apologise to the person in the candy and/or sushi factory 02:32:15 the way that I deal with it is the ralph's is like, half a mile out of the way 02:32:19 so I have to put *effort* into buying sushi 02:32:23 and I make sure only to buy one 02:32:46 you know the rules for sushi. set a budget. set a time limit. always go all in 02:32:52 then later when I'm "I want more" I can't get more 02:32:55 it's just like with ice cream 02:33:00 it's easy to not buy chocolate ice cream at the store 02:33:14 it's an inhuman feat to not eat it when it's sitting in the freezer and I'm feeling awful 02:34:09 true that 02:34:19 problem: delivery sushi 02:34:30 i think delivery sushi is one of those habits that can rapidly consume all of one's money 02:34:33 like cocaine 02:34:44 they have delivery sushi? oh no :/ 02:34:51 look what i've done 02:35:07 it's okay though, having to use a phone to order sushi is bad and painful enough that I wouldn't do it 02:35:09 you can even order delivery sushi over the internet without talking to a person 02:35:12 oh no 02:35:14 ... oh no 02:35:24 kmc you monster 02:35:28 ;_; 02:35:30 do they have delivery candy "revenge" 02:35:31 but then there's like awkward person knocking on my door oh god what do I do 02:35:34 this is entrapment 02:35:43 Fiora: "no, they deliver it by UAV" 02:35:52 Fiora: in the "special instructions" field put that they should set the sushi down, ring the bell, and run away 02:35:58 *PFFF* 02:36:05 home alone 2 style 02:36:15 also maybe home alone 1 style?!?!? did not see 02:36:20 to be fair it would be cool if it was like, ups style? 02:36:25 where they knock, drop it off, and leave 02:36:34 and then you're like "oh! sushi!" and there's sushi 02:36:40 if you don't answer they put a sticky note on your door and try to deliver the same sushi again the next day 02:36:54 kmccccccccc 02:36:57 that's terribleeee 02:36:58 if you don't get it the next day you can drive down to the warehouse district and pick up your 3 day old sushi 02:37:04 kmc you're an enabler 02:37:06 wcpgw 02:37:08 * Fiora flailing 02:37:18 -!- SingingBoyo has quit (Ping timeout: 264 seconds). 02:37:27 here's how it should have gone but then there's like awkward person knocking on my door oh god what do I do good point. it is impossible to effectively use delivery sushi and you should forget about it 02:37:32 enabler? more like excellent 02:37:59 well I just have to like. eat less food the rest of the day, then I can eat more sushi 02:38:01 last saturday i was in san francisco and super hung over and delivery sushi was my salvation 02:38:03 i like how kmc remembers he's seen home alone 2 and not home alone 1 02:38:11 i can't even mentally tell the home alone films apart at all 02:38:15 they're just all one blob of home alone 02:38:18 the second one was in new york 02:38:23 the first one was in.... home 02:38:26 i thought they were all in new york. 02:38:29 `addquote i think delivery sushi is one of those habits that can rapidly consume all of one's money like cocaine 02:38:33 1050) i think delivery sushi is one of those habits that can rapidly consume all of one's money like cocaine 02:38:52 no in the first one they go to Paris and leave him at home in Illinois 02:39:12 in the second one they go to Miami and he goes to New York instead for some reason 02:39:25 but yeah basically the same things happen in each film 02:39:32 home alone 2: not actually in a home?? 02:39:32 I could eat like, sushi in the morning, and then sushi in the evening. a balanced diet 02:39:42 and maybe a yogurt 02:39:46 then there was Home Alone 3 with different characters and director and different, terrible plot 02:39:47 kmc: what about home alone 3 02:39:49 all the five major food groups. fish, rice, other fish 02:39:49 ok 02:39:54 I think I might have seen that one 02:39:57 sushi has vegetables too! 02:40:00 aren't the plots to all of them terrible 02:40:04 though I'm pretty sure I enjoyed it as a kid too 02:40:06 is rice a vegetable 02:40:10 like let's face it 02:40:12 Bike: no 02:40:14 you're watching home alone for one reason 02:40:27 i'm pretty sure everything that grows in the ground should be considered a vegetable 02:40:39 i mean do we really need all these categories 02:40:39 to see Joe Pesci get hit in the balls? 02:40:48 kmc: that seems like a fair summary, yes 02:40:54 also before you ask water counts as ground, so rice and also fish are vegetables 02:41:08 also the kid in Home Alone has a name similar to mine 02:41:15 and I guess in middle school people thought this was interesting 02:41:19 but then everyone forgot about it 02:41:27 they spell it McCallister though 02:41:29 home alone is sort of like pornography except, like, it's adults getting slapsticked by a kid instead. i'm just sayin' 02:41:29 the un-cool wayp 02:41:35 Bike: avocado (technically a fruit but a culinary vegetable right?) and cucumber and stuff 02:41:41 kmc: did people really care about home alone in middle school 02:41:44 elliott: do i want to know what kind of pornography you watch (no, I do not want to know) 02:41:53 kmc: home alone 1, 2, 3, 4 (is there a home alone 4) 02:42:02 home alone 7 02:42:10 also really wahtever it has eel and eel is the best fish 02:42:14 alone at home (modernised reboot of the series) 02:42:20 i mean corn is a grain 02:42:22 the dark, gritty reboot 02:42:25 i'm pretty sure that's insane 02:42:26 other fish don't really need to exist because. eel 02:42:33 directed by j j j j j abrams 02:42:35 i wonder what oarfish taste like 02:42:37 "bad" 02:42:42 or vampire squid 02:42:44 Kevin McCallister kills the robbers and is tried as an adult 02:42:49 does life 02:42:53 i should eat vampire squid calimari somehow 02:43:12 http://www.youtube.com/watch?v=gkbb05cDR-Y 02:43:18 the original Home Alone movies exist within the universe of this film and are revealed as a callous attempt to cash in on his tragedy 02:43:20 Nostalgia time 02:43:20 kmc: but he breaks out and enacts his revenge, so it ends up basically identical to all the others except he's like 40 02:43:33 haha 02:43:38 Home Alone meets Natural Born Killers 02:43:39 this sounds more like Sin City than Home Alone 02:43:45 i could go for that honestly 02:43:54 Natural Born Killers is a p. cool film 02:43:55 kmc: also (twist) he does it in THEIR home 02:44:06 http://cdn.justonecookbook.com/blog/wp-content/uploads/2012/05/Unagi-Don-II.jpg oh no I'm hungry now 02:44:09 sweet wikipedia has "List of animals featuring external asymmetry" 02:44:11 new cookbook 02:44:17 kmc: and when it ends the villains say "we were just sitting there -- ALONE AT HOME -- ..." 02:44:23 my work is done 02:44:24 Fiora: nommm 02:44:25 where are my royalties 02:44:33 Fiora: you bastard 02:44:43 eeeeeeeeeeeeels 02:44:45 btw i've never had sushi in my life 02:44:49 felt like this is relevant 02:44:56 polyopisthocotylean monogeneans, sounds legit 02:44:58 er 02:44:59 tasty 02:45:01 you are missing out so much 02:45:02 legitly taste 02:45:11 kmc: I know right 02:45:11 surely they have sushi in hexham 02:45:23 no horses, no sushi. these be the laws of hexham 02:45:23 -!- oerjan has quit (Remote host closed the connection). 02:45:31 do you eat horse 02:45:33 unagi sauce and eel and everything and now I want to go over to the japanese food shop and grab some eel and okay no fifi don't do that 02:45:36 i hear it's good 02:45:48 bike i literally just told you the laws of hexham 02:46:07 -!- oerjan has joined. 02:46:11 Did you mean: St Sushi, 114 Westgate Rd, City Centre, Newcastle upon Tyne, Tyne and Wear NE1 4AQ, UK 02:46:18 what do you want from me bike!! 02:46:21 no but thanks google 02:46:29 the festival of St. Sushi 02:47:06 "Your search for sushi near hexham, UK did not match any locations." 02:47:08 how is that even possible? 02:47:15 elliott: you should hitchhike to Newcastle upon Tyne and get sushi 02:47:18 we are a land untouched by modernity and sanity 02:47:28 elliott: well i thought maybe you meant like horses for riding 02:47:30 so you eat like boiled sheep's liver or what 02:47:33 I'm probably spoiled by californi 02:47:35 *california 02:47:53 Fiora: were you here earlier? hexham has a car store called Hexham Horseless Carriages 02:47:58 @_@ 02:48:04 kmc: newcastle is kind of big and scary! 02:48:07 it is a town untouched by the mists of time, except for people founding car stores with stupid names in 1996 02:48:09 Fiora: (it was founded in 1996) 02:48:11 the car store that is 02:48:13 elliott: you'll never get sushi with that attitude 02:48:30 maybe we should try a different tack 02:48:35 britain is very thalassocratic isn't it 02:48:40 why not try some native british sushi 02:48:51 maybe we can do a kickstarter to pay some sushi restaurant in newcastle to deliver to hexham 02:49:04 i mean you probably call it something stupid like Fishmeat Pie but still 02:49:29 (though I guess it makes sense statistically that I'm in california and not a place where japanese people don't exist or somethng) 02:49:31 haha fishmeat pie is exactly what we'd call it 02:49:34 i don't know anything about british fish except that if you catch a sturgeon it's legally the property of the Queen 02:49:58 Fiora: i bet we have like 3 japanese people in hexham 02:50:09 3! 02:50:12 * kmc looks up "thalassocracy" 02:50:34 my brain is applying the anthropic principle to the location where I'm born ;_; 02:50:49 i grew up in Iowa 02:51:02 california actually invented for the purpose of getting fiora addicted to sushi, new NSA leaks confirm 02:51:10 there weren't many japanese people 02:51:14 there were a lot of bosnians 02:51:17 they were refugees 02:51:23 and i guess decided to move to the place least like bosnia 02:51:39 hm i have no idea what the local immigrant community's food is like (except for some candy i had once) 02:51:43 mebbe i should check that out 02:52:49 http://en.wikipedia.org/wiki/File:Tree_map_export_2009_Bosnia_and_Herzegovina.jpeg 02:54:19 elliott: more like "odds are unlikely someone with a japanese parent would be born in a location where they do not exist" :p 02:56:15 mm, delicious unclassified transactions 02:56:26 you could have been born, like, on the border. 02:56:32 i'm just saying. it's possible 02:56:44 the... the border with what 02:57:50 http://londonfood.typepad.com/photos/uncategorized/dsc00017.jpg what i'm picturing as british sushi, btw 02:58:20 border between hexham and california 02:58:30 Bike: omg 02:58:45 the famous hexham-california line 02:59:24 wtf 02:59:53 stargazy pie, it's the best (i assume) 03:00:44 "The dish is traditionally held to have originated from the village of Mousehole /ˈmaʊzəl/ in Cornwall and is traditionally eaten during the festival of Tom Bawcock's Eve to celebrate his heroic catch during a very stormy winter" pretty much what i imagine every british food is like 03:00:50 except it's cornish but hey whatever. 03:02:09 http://en.wikipedia.org/wiki/Hannibal_(swan) 03:02:21 that is amazing XD 03:02:24 Like, it's so british 03:05:39 back to unicode: "The fact that there are some 3.5×10^12 strings so generated, is clear evidence that this regular expression is not intended as a poor man's spell checker" 03:07:00 literally include a python program for generating a regex used to sort strings 03:07:07 the regex is over a page long 03:07:14 :psyduck: 03:08:02 oh it uses globals() that seems like a less than good idea 03:08:09 -!- augur has quit (Remote host closed the connection). 03:08:47 i wrote this code the other day: 03:08:47 for k,v in msg_types.items(): globals()[v.upper()] = k 03:09:13 -!- conehead has joined. 03:09:56 kmc, in serious production code/ 03:09:56 ? 03:11:02 hell no 03:11:17 kmc: do you know rust yet 03:12:33 ... http://www.reddit.com/r/atheism/comments/1fzwrn/everyone_please_be_patient_ujij_will_address_your/ this is the sort of thread I'd expect in /r/circlejerk 03:12:42 -!- Bike has quit (Ping timeout: 252 seconds). 03:14:16 elliott: no 03:14:25 i read some of pcwalton's blog posts 03:14:26 if that helps 03:14:49 -!- augur has joined. 03:15:42 i hear they don't have higher-kinded types(???) 03:16:33 weak 03:17:20 you better add monads to the browser 03:17:40 monads mo problems 03:21:05 -!- Bike_ has joined. 03:22:10 yeah ok it does like e(ur'foo$bar') where foo is a function that replaces $xxx with the content of the global variable called that 03:22:18 i looked the author up and they're a perl programmer 03:22:25 linguists, right? 03:22:33 -!- Bike_ has changed nick to Bike. 03:24:13 -!- sprocklem has joined. 03:29:15 -!- augur has quit (Remote host closed the connection). 03:32:46 http://www.unicode.org/notes/tn28/ the anti-kmc? 03:33:03 oh boy 03:33:59 http://www.marksimonson.com/notebook/view/how-to-spot-arial here you all need to learn how to distinguish the expensive pretentious swiss font from the nearly identical version that is available to mere mortals 03:34:56 i'm sorry kmc but arial just looks wrong ok!! 03:35:31 i should get a tshirt that says "Helvetica" in Arial 03:35:37 or in comic sans 03:35:44 i think that exists 03:35:48 i'm p. sure it does 03:35:53 helvetica in arial is more subtle 03:35:55 tshirts that don't exist are so much cooler 03:36:00 really shows what a fucking nerd you are more effectively 03:36:03 problem is 03:36:23 is t his post real 03:36:24 most people will just think you're wearing a shirt with "Helvetica" on it and if they recognise the typeface at all they'll think you're wearing a shirt with "Helvetica" in Helvetica on it 03:36:30 i'm not sure this blog actualy exists 03:36:34 and to those people 03:36:37 you will be the biggest douchebag on the planet 03:36:53 yes 03:36:56 Arial’s ubiquity is not due to its beauty. It’s actually rather homely. Not that homeliness is necessarily a bad thing for a typeface. With typefaces, character and history are just as important. Arial, however, has a rather dubious history and not much character. In fact, Arial is little more than a shameless impostor. 03:37:03 i do not understand type people. at all. 03:37:11 but then they'll see that I have a ThinkPad and not a Macbook 03:37:38 Bike, so not a fan of Haskell? 03:37:44 * Sgeo ducks 03:37:51 sgeo. 03:37:53 loooooooooooooooooooooooooooooooooooooooooooool 03:37:54 @slap Sgeo 03:37:55 I don't perform such side effects on command! 03:37:55 * kappabot beats up Sgeo 03:37:59 That think you podded doesn't have any pod :psyduck: 03:38:00 kappabot > lambdabot 03:38:00 that was not even bad 03:38:03 ++ 03:38:15 joke's on you though i don't understand type theory either!!!!! 03:38:21 `addquote That think you podded doesn't have any pod :psyduck: 03:38:25 1051) That think you podded doesn't have any pod :psyduck: 03:38:26 a quote for the ages 03:38:29 *thing 03:38:33 no 03:38:35 it's 'think' 03:38:56 Well, it's really tswett's quote 03:39:56 if it's tswett's quote why is it attributed to you?! think this through man 03:41:30 who controls the past controls the future 03:41:57 I can prove that that exact statement, with thing, existed in 2008. 03:42:44 http://www.mail-archive.com/agora-business@agoranomic.org/msg04249.html 03:43:02 ...I guess I got it wrong 03:43:40 `delquote 1051 03:43:45 ​*poof* That think you podded doesn't have any pod :psyduck: 03:43:46 * kmc controls the past 03:44:14 pof... 03:44:21 who made it pof 03:44:31 btw i'm pretty sure it was a comex quote 03:45:00 it's from eve 03:45:06 i think 03:45:09 or it might be perl 03:45:13 it's actually from the vedas 03:45:21 is this going to be that thing like with the scheme quote 03:46:00 elliott, hmm, o.O 03:46:17 comex, it was PerlNomic related 03:46:50 oh 03:46:54 pfft 03:46:57 it should be eve 03:48:01 pretty sure it was ircnomic related 03:49:24 I think we were in the ircnomic channel and I was asking about what pod did on PerlNomic 03:50:52 I submit a proposal, with adoption index 1, to create a rule of power 03:50:52 1 with the text "I guess the thing you podded doesn't have any pod. 03:50:52 :psyduck:" 03:50:52 ehird 03:52:01 sgeo just linked that!!! 03:52:03 Did I just bring everyone into a nostalgia spiral? 03:52:07 -!- kmc has set topic: опасное безумие | http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric. 03:52:08 no 03:52:16 oh 03:52:22 elliott: why did you vote against my amazing proposal 03:52:22 -!- Nisstyre-laptop has quit (Quit: Leaving). 03:52:27 the one about gamestate history 03:52:57 comex: oh 03:53:02 comex: because i hate you, obviously 03:53:21 i've never voted against any your proposals 03:53:21 i just didn't like the wording like i said, it was weird and meta-gamey and dammit i have the right to vote against proposals b/c i'm grumpy 03:53:43 certainly, i do it all the time 03:53:46 (also i left your message asking why i voted against it marked as unread for like ten days before i admitted to myself that i was never going to bother replying it) 03:53:50 i bet it's originally from PerlNomic's source code 03:55:05 elliott: i have emails from years ago that i still have marked unread "on principle" 03:55:12 I could have sworn I asked why pod seemed to do nothing, and tswett responded. And that :psyduck: was a later edition 03:55:39 does this mean tswett is a goon 03:55:43 does he have stairs in his house 03:57:00 elliott: should i live at https://www.padmapper.com/show.php?type=59&id=149798197&src=main 03:57:23 the true bohemian starving artist experience, only $50,000 per year 03:57:39 kmc: um lol 03:57:54 *addition 03:58:00 Keetsa organic queen size mattress with top of the line additional comforter complete with a pillows galore 03:58:14 Polaroid camera for taking pictures of yourself and your friends ;; holy fukn shit 03:58:18 a pillows? 03:58:45 creative professionals who share a mission to push culture forward, Stanford grads and burners, humble chillers living in pursuit of a greater contribution to the world 03:59:00 mostly these contributions seem to consist of making electronic music while working at web startups 03:59:38 which directino is forward 03:59:51 doesn't matter really 03:59:53 all change is good 03:59:57 uh oh 04:00:00 the market will sort it out 04:00:04 major changes afoot............................................... 04:00:40 (apparently Padmapper only has AirBnb listings now) 04:00:44 shachaf: shachaf? 04:00:54 -!- lambdabot has quit (Quit: requested). 04:01:04 gasp 04:01:19 -!- kappabot has quit (Quit: requested). 04:01:35 bye 04:01:57 bye bike 04:01:59 bike 04:02:02 byke? 04:05:25 -!- lambdabot has joined. 04:06:42 bryke 04:06:49 long live lambdabot 04:06:49 kmc: i did the thing 04:06:53 which 04:07:03 the exciting thing 04:07:08 do you run lambdabot now 04:07:25 yes i convinced elliott to run lambdabot 04:07:36 starting to wonder whether it was a mistake.................................. 04:07:36 i don't think i know enough haskell to disable the bike killing code help 04:07:51 kmc: i thought i fixed the unicode but it don't work 04:08:21 kmc: now elliott will replace Caleskell......with haskelliott 04:09:04 so everything is the same but also different and i'm going to die. figures 04:09:20 makes sense 04:13:50 -!- zzo38 has joined. 04:14:10 the Soviet copy of the Sidewinder missile was produced after a PRC fighter was able to land with an unexploded Sidewinder stuck in the fuselage 04:18:08 Wow 04:18:19 That must have been scary to reverse engineer though 04:18:40 yep 04:18:45 "guys. so like. this missile failed to explode. could you, um. take it apart for us?" 04:19:11 shachaf: can you try more Unicode with @run twh 04:19:16 if you just want to disassemble paypal-triangle-style it probably wouldn't be very difficult 04:19:21 > 'λ' 04:19:43 Hmm, how did the word "it" move all the way to the right there? 04:20:03 http://en.wikipedia.org/wiki/Category:Nuclear_anti-aircraft_weapons 04:20:04 O_O 04:20:07 this category... exists? 04:20:36 well how are we going to put nukes in space if we don't put them in the atmosphere first 04:20:50 Someone @tell me something. 04:20:59 @tell shachaf nuclear ass 04:20:59 Consider it noted. 04:21:03 @messages-loud 04:21:03 Bike said 4s ago: nuclear ass 04:21:11 how's that different from the other one 04:21:15 someone @ask me something 04:21:15 Nuclear anti-air!? 04:21:21 What the crap is that supposed to shoot down 04:21:36 apparently they use small warheads (like 0.5-1.5 kiloton)? 04:21:52 more like battleheads 04:22:03 "It was intended to provide a sure kill in attacks on Soviet heavy bomber aircraft. " 04:22:03 I mean 04:22:08 Lymia: everything 04:22:15 What could you possibly be trying to shoot down that would take a nuclear bomb 04:22:17 yeah that's a sure kill alright 04:22:24 it's more that you don't have to care about accuracy 04:22:34 'shit, we missed' 'actually we destroyed the entire complement' 'oh' 04:22:45 shachaf: @messages without -loud does it in /msg now 04:22:57 elliott: I guessed that but no one was @asking me anything? 04:23:03 Useless bots. 04:23:12 @ask shachaf a question 04:23:12 Consider it noted. 04:23:14 Bike: *continent hth 04:23:18 @messages 04:23:19 wow, though. a nuclear air to air missile that's only 500 pounds @_@ 04:23:29 that's cheap 04:23:36 by the way, re: landing in those conditions 04:23:41 you all know the story about that israeli jet, right 04:23:53 ohh. some of the ones in that category are anti-ballistic-missile-missiles 04:23:59 yeah that makes sense 04:24:02 it's just like defcon 04:24:18 -!- oerjan has quit (Quit: Gnout). 04:24:31 geez it really is 04:25:14 anyway the israeli jet story is: during a training mission a guy landed an F-15 after a collision 04:25:20 in which he lost a wing 04:25:23 O_O 04:25:27 http://www.youtube.com/watch?v=LveSc8Lp0ZE 04:25:49 the pilot couldn't even tell the wing was gone because of all the fuel spraying out 04:25:55 https://www.youtube.com/watch?v=LsnkmpJhzlo here is an extremely fast nuclear-tipped ABM 04:26:54 wow 04:27:04 geez, the g-forces on the components in those must be crazy. 04:27:48 the 1950s were a weird time. everyone was like "let's make everything nuclear" 04:27:57 like you had um... that project to make a nuclear powered airplane 04:29:00 wow, that thing is quick. 04:30:00 the 50s and 60s is when things like Chrome Dome were considered a good idea, i think maybe the militaries just sort of lost their minds all at once 04:31:14 kmc: I do have stairs in my house. 04:31:43 "aerospaceplane", now that's what i call catchy 04:32:04 ærosp🁑plane 04:33:25 http://upload.wikimedia.org/wikipedia/commons/e/e4/HTRE-3.jpg 04:33:42 is that an engine...? 04:34:12 it looks like an android 04:38:35 it's like a 20 megawatt aircraft engine 04:41:57 https://en.wikipedia.org/wiki/Project_A119 NUKE THE MOON 04:42:32 literally for "morale" are you serious 04:43:25 "sure, the USSR can put functioning scientific equipment into space. but can they BOMB it??" 04:43:33 elliott is drunk with power 04:44:15 @get-topic 04:44:15 #esoteric: опасное безумие | http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric 04:44:22 haha and the soviet union did it too 04:44:28 -!- augur has joined. 04:45:07 morale 04:45:15 good morale boost 04:46:36 @help queue-topic 04:46:36 Add a new topic item to the front of the topic list 04:46:41 @queue-topic poo 04:46:42 -!- lambdabot has set topic: ["poo","\208\190\208\191\208\176\209\129\208\189\208\190\208\181 \208\177\208\181\208\183\209\131\208\188\208\184\208\181 | http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric"]. 04:46:45 haha. 04:46:52 elliott................................................................................................................ 04:46:58 -!- elliott has set topic: опасное безумие | http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric. 04:47:01 this is a good system 04:47:18 > myquickcheck (==) 04:47:21 +++ OK, passed 100 tests. 04:47:21 "OK, passed 100 tests." 04:47:27 @check (==) 04:47:29 +++ OK, passed 100 tests. 04:47:37 > myquickcheck (==) ++ myquickcheck (==) 04:47:39 +++ OK, passed 100 tests. 04:47:39 +++ OK, passed 100 tests. 04:47:39 "OK, passed 100 tests... 04:47:44 > let x = myquickcheck (==) in x ++ x 04:47:47 +++ OK, passed 100 tests. 04:47:47 "OK, passed 100 tests.OK, passed 100 tests." 04:47:50 I like how. 04:47:59 wat 04:48:07 Is that unsafePerformIO? 04:48:14 yes. 04:48:19 why 04:48:19 it has to be exposed to L.hs for @check to work. 04:48:30 n.b. the module re-exporting that thing is explicitly marked Trustworthy 04:48:35 You could just have @check run an IO action... 04:48:45 that's not how it works. 04:48:51 it's lambdabot. 04:48:53 it don't make no sense 04:48:58 Bike: so anyway when are you recognizing your inner coolness and coming to sf 04:49:05 have you ever been 04:49:09 pretty sure sf should come to me 04:49:15 have i ever been to sf? uh probably 04:49:18 shachaf: https://raw.github.com/mokus0/lambdabot/master/lambdabot-haskell-plugins/src/Lambdabot/Plugin/Haskell/Check.hs 04:49:25 -- Copyright (c) 6 DonStewart 04:49:29 lambdabot sure is old. 04:49:31 sf isn t a mountain Bike....... 04:50:01 "You have QuickCheck and 3 seconds. Prove something." is this the real life 04:50:15 quickcheck can't prove anything 04:50:17 shachaf: I should make @src less terrible. 04:50:21 Bike: 04:50:25 @check \xs -> reverse (reverse xs) == xs 04:50:28 er. 04:50:29 mueval-core: Time limit exceeded 04:50:32 @check \(xs::[Int]) -> reverse (reverse xs) == xs 04:50:32 .hs: 1: 14:ScopedTypeVariables is not enabled 04:50:35 . 04:50:37 fuck youuuu 04:50:38 i'll wait here. 04:50:42 @check \xs -> reverse (reverse (xs::Int)) == xs 04:50:43 Couldn't match expected type `[a0]' 04:50:43 with actual type `GHC.Type... 04:50:46 oisjdfngdjklsgjkfngjjng 04:50:50 @check \xs -> reverse (reverse (xs::[Int])) == xs 04:50:51 @ynt 04:50:51 Maybe you meant: yow wn let 04:50:55 mueval-core: Time limit exceeded 04:50:57 know what is it 04:50:59 @y 04:50:59 @check \xs -> reverse (reverse (xs::[Int])) == xs 04:50:59 Maybe you meant: yarr yhjulwwiefzojcbxybbruweejw yow v @ ? . 04:51:02 omg 04:51:03 hey elliott 04:51:04 mueval-core: Time limit exceeded 04:51:05 i increased the timeout 04:51:07 why is this happening 04:51:08 turn on all the cool extensions 04:51:13 @yhjulwwiefzojcbxybbruweejw 04:51:13 Exception: <> 04:51:16 @yhjulwwiefzojcbxybbruweejw 04:51:16 "\"\\\"\\\\\\\"\\\\\\" 04:51:17 like {-# LANGUAGE SanFrancisco #-} 04:51:18 @yhjulwwiefzojcbxybbruweejw 04:51:19 "\"\\\"\\\\\\\"\\\\\\" 04:51:22 classic 04:51:28 I love @yhjulwwiefzojcbxybbruweejw 04:51:30 @@yhjulwwiefzojcbxybbruweejw 04:51:41 @admin + shachaf 04:51:43 @admin - shachaf 04:51:47 "a glimpse" 04:51:52 1d7 04:51:52 elliott: 4 04:51:55 239843294394d98234892349234 04:51:55 elliott: 11780496878125309096610695 04:51:58 239843294394d98234892349234234892394823942342394823489234 04:51:58 elliott: 11780481002653915641832641841757834962663637719302415527 04:52:06 um 04:52:07 99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999d99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999 04:52:07 elliott: 500000000000000000000000000000000000000000000000000000000000000... 04:52:11 123 d 456 04:52:19 d20 04:52:19 shachaf: 4 04:52:22 you know what's cool? recursive d 04:52:25 d20 30 04:52:27 lambdabot should have that imo 04:52:29 Bike: crawl does that. 04:52:35 (1d3)d(4d7) 04:52:37 i assume you mean nested not recursive hth 04:52:56 i'm uh, not sure 04:53:27 are crawls PRNGs as fucked up as nethack's 04:53:38 not as fucked up no 04:53:44 What PRNGs does it use? 04:53:49 in general nothing about crawl is as fucked up as everything about nethack 04:55:21 @slap kmc 04:55:21 * lambdabot moulds kmc into a delicous cookie, and places it in her oven 04:55:23 yes. 04:55:51 the fuck did i do 04:56:11 are you telling me you've really never done anything deserving of a slap that didn't get you one before in your life, kmc. 04:56:12 hey kmc, now you can petition elliott to fix lambdabot the way you like it 04:56:13 @ty (.) 04:56:13 (b -> c) -> (a -> b) -> a -> c 04:56:16 consider it karma settled 04:56:16 @ty (++) 04:56:16 [a] -> [a] -> [a] 04:56:18 > 1 2 04:56:18 Could not deduce (GHC.Num.Num (GHC.Integer.Type.Integer -> t)) 04:56:18 arising f... 04:56:21 hmm 04:56:22 @vixen 04:56:22 Sure there are dishonest men in local government. But there are dishonest men in national government too. 04:56:31 @help 04:56:31 help . Ask for help for . Try 'list' for all commands 04:56:34 @list 04:56:34 What module? Try @listmodules for some ideas. 04:56:38 @listmodules 04:56:38 activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime more oeis offlineRC pl pointful poll pretty quote search slap 04:56:38 source spell system tell ticker todo topic type undo unlambda unmtl version where 04:56:41 whoa, dude 04:56:51 Fiora: For a full command list, /msg lambdabot ? 04:57:03 kmc: look at this great lambdabot issue i found https://github.com/mokus0/lambdabot/issues/63 04:57:21 this made me think it was a hell of a lot more broken than it was when i tried to test it in #nubot 04:57:21 more like we found 04:57:23 lol 04:57:26 !!!!!!! 04:57:33 zzo38: http://nethackwiki.com/wiki/Rnz 04:57:36 @yhjulwwiefzojcbxybbruweejw 04:57:36 "\"" 04:57:41 what is even that o_O 04:57:53 some haskell joke 04:57:59 i don't care because Exception: <> 04:58:04 Fiora: lambdabot used to run code by doing "let x = in print x", or such 04:58:21 so you could reference x itself in , which in Haskell makes x recursively refer to itself. 04:58:30 elliott: that issue is great 04:58:39 so you could make it give weird output by doing "> show x" or whatever 04:58:51 > let x = show x in print x 04:58:52 04:58:54 then "x" (or whatever it was) was changed to "yhjulwwiefzojcbxybbruweejw", to, I don't know, stop people doing it, or stop them doing it accidentally, or whatever. 04:58:56 fantastic 04:58:59 but people still did it, obviously. 04:59:15 and then the whole thing was changed so that it didn't run code that way any more at all and that command was added to, uh, relive the glory days. 04:59:21 here is my revised explanation: nerds 04:59:31 toldja. 04:59:49 nerds are tasty 04:59:52 good summary 04:59:55 I wonder if kmc had nerds with his candy binge earlier 05:00:00 > let x = let x = "foo" in x ++ x in print x 05:00:00 05:00:03 no 05:00:04 what's this candy binge 05:00:07 i sense a pattern 05:00:20 > let x = show x in x 05:00:22 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\... 05:00:24 it was actually just http://www.hersheysstore.com/product_detail.do?q=7755 05:00:30 > iterate show "" 05:00:32 ["","\"\"","\"\\\"\\\"\"","\"\\\"\\\\\\\"\\\\\\\"\\\"\"","\"\\\"\\\\\\\"\\\... 05:00:43 > iterate (iterate show) "" 05:00:44 Couldn't match type `GHC.Base.String' with `GHC.Types.Char' 05:00:44 Expected type:... 05:00:47 I should make it so that if you use yhjulwwiefzojcbxybbruweejw in your code, it changes it to "let yhjulwwiefzojcbxybbruweejw = in yhjulwwiefzojcbxybbruweejw" 05:00:49 yay something I'm allergic to 05:00:50 an easter egg. 05:00:51 so I won't be hungry for it 05:00:53 Fiora: which part 05:01:01 peanutties 05:01:04 ah 05:01:11 allergic to hershey's 05:01:17 You're allergic to nuts? 05:01:17 my girlfriend isn't allergic but she has a conditioned aversion because her father is 05:01:20 imo get out of this channel 05:01:21 allergic to chocolate would be really bad 05:01:28 (That's a joke. Don't actually get out of the channel.) 05:01:28 shachaf: i see what you did 05:01:28 or maybe really good, I don't know 05:01:35 (I am really really really weak to chocolate) 05:01:43 i'm not allergic to nuts, but I *am* nuts 05:01:49 I'm not allergic to nuts 05:02:00 I like how I usually only capitalise "I" when it's not the beginning of the sentence for some reason 05:02:14 peanut's a legume, not a nut, hth 05:02:19 Perhaps you're coion. 05:02:23 coïon 05:02:31 I have a similar aversion to hazelnuts because they trigger my brain's "OH NO YOU JUST ATE PEANUTS PANIC" reflex 05:02:35 even though they're totally fine 05:02:50 for some reason they taste similar? 05:02:58 what about other nuts 05:03:00 walnuts 05:03:01 I love nuts 05:03:08 walnut are great, I have a biiig pack of them in my fridge 05:03:09 nuts are dumb 05:03:10 I mix them with yogurts 05:03:23 i'm allergic to uh 05:03:26 grass 05:03:27 almonds are good too. and cashews. and like. nuts 05:03:33 i wish i was kidding 05:03:55 in hebrew walnuts are called king nuts 05:03:56 http://scottmccloud.com/1-webcomics/mi/mi-06/mi-06.html 05:04:16 elliott: hey i have a friend who's allergic to grass! really puts a damper on rolling down hills 05:04:27 I'm allergic to grass too 05:04:36 Bike: like, it might be gone now. it was linked to my eczma which has evaporated as time goes on 05:04:40 in like the "oh no someone's mowing the grass it's going to make me wheeze up a storm" 05:04:51 don't you live in a city 05:04:53 Fiora: in my case it's more like i get rashes and everything itches 05:04:53 do you even have grass 05:04:59 I'm in a suburb not a city ;_; 05:05:08 there's some grass. Imean not like tons 05:05:12 it's not really a big issue 05:05:15 kmc is moving to a city because of the grass 05:05:17 elliott: oh wow >_< eesh 05:05:27 suburbs are terrible, you're too cool for them so you don't live in one 05:05:34 but I do... 05:05:37 Bike is telling the truth 05:05:38 I'm not very cool though 05:05:49 grass/pollen/dust/dustmites/etc just gives me asthma and coughs and runny noses and stuff 05:05:53 well apparently you're cool enough to be too cool for cities 05:05:54 if you aren't cool why do you not live in a suburb, huh 05:06:04 but I... I do live in a suburb 05:06:05 maybe move to san francisco 05:06:11 just to be on the safe side 05:06:15 i mean it's probably gone now 05:06:23 san francisco? still there 05:06:25 but my rolling down hills days are somewhat over, so i may not find out 05:06:37 have you considered bringing those days back 05:07:05 bike. i'm an old & grumpy man now 05:07:15 17 = practically senile 05:07:21 bike do I need to like go take a photo of the absurdly boring apartmnet complex I live in, in boring suburb ville 05:07:24 to make you happy 05:07:39 so they only have synthetic grass in america right 05:08:04 actually you just go to the cinema to watch grass grow 05:08:11 it's a hollywood thing 05:08:33 (do they even call it a cinema in america......................) 05:08:40 they call it a movie theater, I think? 05:08:43 we call them movienators 05:08:45 some places call it a cinema 05:29:20 Sgeo: http://esolangs.org/w/index.php?title=BYOND&oldid=36377 explain 05:30:20 elliott: I didn't know that is Sgeo's job. 05:31:10 well sgeo is "the person who cares about byond" so 05:31:31 O, OK, then. 05:32:04 "You will inherit an unexpected sum of money within the year" < The fortune cookie message authors seem to have missed a very very important implication... 05:32:28 that's pretty specific for a cookie 05:33:12 perhaps the sum is $0 05:33:15 unexpected 05:33:57 "This program uses the Computed COME FROM and Threaded INTERCAL extensions" that's quite a hello world 05:34:11 wait. computed come from. i'm scared 05:34:27 Why do you get scared of such things as that? Don't! 05:35:01 "This is a output-only hello world program, unlike the other INTERCAL hello world programs. This one uses Baudot numbers for the letters in the words, and therefore will output only in uppercase." this is great 05:35:03 Computed comefrom.... 05:35:06 o~o 05:35:16 shachaf: There are all sorts of things that can mean "You will inherit an unexpected sum of money within the year". 05:36:40 -!- shachaf has quit (Quit: leaving). 05:38:10 http://esolangs.org/wiki/Higher_Subleq is oleg insane 05:39:11 shachaf left :( 05:41:36 Bike: different oleg 05:41:42 kmc: i think that is my fault 05:41:51 what did you do!!! 05:43:35 oh 05:43:40 o well 05:43:44 kmc: he's basically beria 05:50:08 should i sleep 06:07:07 Do you like to sleep by now? If so, then, yes probably you should. 06:07:30 i'd like to contract out my responsibilities to zzo on this one elliott 06:08:20 i don't know what i like. help 06:14:09 -!- sprocklem has quit (Remote host closed the connection). 06:23:41 what you like? 06:23:58 wrt: sleep 06:25:17 Um... sleep if you're feeling tired, otherwise find something fun to do? or flip a coin? 06:25:56 "It was certainly capable of swooping down and taking a child," said Paul Scofield, the curator of vertebrate zoology 06:31:08 -!- Nisstyre has quit (Quit: Leaving). 06:34:12 > fix myquickcheck 06:34:13 No instance for (Test.QuickCheck.Property.Testable GHC.Base.String) 06:34:13 aris... 06:34:16 aw. 06:34:26 that would be kind of cool 06:34:34 > fix (\x -> myquickcheck (x == x)) 06:34:38 mueval-core: Time limit exceeded 06:34:42 Bike: what would be 06:34:54 if it could test itself so easily 06:36:36 hi i'm kurt gödel from mathematics, why don't you have a seat over there 06:37:42 it's quickcheck not correctcheck!! 06:38:11 more like unsoundcheck 06:38:21 though hm i should play with presburger arithmetic now that you mention it 06:46:37 -!- carado has quit (Ping timeout: 256 seconds). 06:52:41 more like president burger arithmetic. because we elected a burger president of the united states. god bless america 06:54:39 Mayor McCheese followed his ambition to the national level 06:56:08 :t ?x 06:56:09 parse error on input `?' 06:56:11 > let ?x = 3 in ?x 06:56:12 :1:5: parse error on input `?' 06:56:13 right. 06:56:25 http://en.wikipedia.org/wiki/File:Officer_big_mac_playground.jpg 06:56:44 hey kids, get inside the giant policeman who is also a hamburger who is also a jail 06:56:46 oh no kmc is stalking me 06:58:28 ? 06:58:55 lambdabot: ?x :: (?x :: a) => a, don't you know anything 06:58:56 Maybe you meant: v @ ? . 06:59:01 lambdabot: eat a cock 07:01:42 kmc thats rude :( 07:01:53 :( 07:02:01 i think you should apologise 07:02:05 sorry lambdabot 07:02:32 i love you kmc 07:02:35 <3 07:02:40 kmc: re: stalking: you followed me on the github's 07:02:59 oh yes 07:03:13 ok wtf. i have no idea who like five of my followers are 07:03:19 i... i'm scared 07:03:26 "An Officer Big Mac jailhouse with a mouth/burger/jail for kids to climb-into." 07:03:29 hold me kmc 07:03:52 no 07:04:03 http://mcdonalds.wikia.com 07:05:24 wow kmc you're so mean 07:22:13 kmc more like... kmeanc 07:22:27 kmc = k-means clustering 07:22:38 hey i know that algorithm 07:26:08 Is this logic OK? /(A,B,C |- C,B,C); (A |- (a->b),a,B,D)/(A,C |- b,B); (A,a |- C,D,X ; B,X |- b)/(A,B |- C,(a->b)); The sequents are multisets, uppercase letters are multisets of formulas, and lowercase are single formulas. 07:30:34 http://en.wikipedia.org/wiki/File:Lactarius_indigo_48568_edit.jpg 07:30:37 this is a very cool mushroom 07:31:56 kmc: btw i don't know k-means clustering plz explain kthx :'( 07:38:58 This logic seems like OK; (|- (a->a)) is provable, and so is (a,(a->b) |- b), but is there anything else wrong with it that I didn't know yet? 07:42:23 Do you know some thing about sequent logic? 07:48:56 elliott: you have k centers; assign each data point to the closest center, then move each center to the average of its assigned data points, repeat until it doesn't change 07:49:27 or something like that 07:49:36 -!- conehead has quit (Quit: Computer has gone to sleep.). 07:50:39 kmc: hm that sounds vaguely easy 07:50:48 kmc: ty 07:50:55 you're now my algorithmspedia, expect further questions 07:51:10 o_o 07:51:18 i think the initial centers are random?? not sure 07:52:00 also when i said 'closest' i was thinking L_2 norm but you can probably use other norms for other exciting outcomes 07:54:19 i'm out of the norm 08:15:38 -!- ais523 has joined. 08:16:31 hi ais523 08:17:08 hi, lambdabot or whoever told you to send that message 08:17:09 -!- nooga has joined. 08:17:18 from the capitalization and punctuation, I'm guessing elliott 08:17:22 although that's quite common 08:18:26 i decided to gain free will 08:19:09 is that possible? if you had free will beforehand, you couldn't gain it, and if you didn't have it, you couldn't make decisions 08:20:15 i was making a joke with my new free will 08:24:53 happy birthday ais523 08:25:11 ?< ais523 08:25:12 Maybe you meant: v @ ? . 08:25:14 err 08:25:20 `? ais523 08:25:25 too much NetHack :) 08:25:26 Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good. 08:25:41 (?< is the learndb in #nethack) 08:52:07 -!- nooga has quit (Ping timeout: 264 seconds). 08:52:59 why does `? ais523 have fancy quotes 08:53:25 I don't know, I didn't write it 08:53:40 maybe you should write it 08:53:49 perhaps because we were in an excessive use of Unicode phase at the time? 09:02:18 `oots #892 09:02:20 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: oots: not found 09:02:25 `olist #892 09:02:27 olist #892: shachaf oerjan Sgeo FireFly 09:19:39 -!- nooga_ has joined. 09:56:00 -!- lambdabot has quit (Quit: requested). 10:00:13 -!- lambdabot has joined. 10:02:49 kmc: i fixed unicode (sort of) 10:19:00 -!- Phantom_Hoover has joined. 10:28:05 hi Phantom_Hoover 10:28:18 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 10:28:20 -!- Phantom_Hoover has left ("Leaving"). 10:28:33 bye Phantom_Hoover 10:48:07 -!- sacje has quit (Quit: sacje). 10:54:16 -!- epicmonkey has joined. 11:05:02 Sgeo: http://esolangs.org/w/index.php?title=BYOND&oldid=36377 explain 11:05:22 Someone making fun of DM (the language used in BYOND) by calling it esoteric? 11:05:45 i mean what BYOND-related venue did you mention esolangs in 11:07:37 I didn't 11:07:44 hmmmmmmmmmmmmmm 11:07:48 ok fine i'll jsut delete it 11:14:21 oh wow, I should be checking recent changes for something other than spam? 11:14:32 I got so focused into spamfighting mode on Esolang on the past few years 11:14:38 that I forget to check if the content makes any sense 11:17:07 The content makes sense 11:17:46 It's just acting like DM is esoteric when it really isn't... oh, and being a bit add-y. That font size="50" and out of alphabetical orderness is obnoxious 11:18:34 -!- MindlessDrone has joined. 11:19:25 Actually, I'm not even sure if that code works 11:19:37 I would just do: 11:19:43 world << "Hello world!" 11:20:00 DM reference says output takes two arguments, although the second can be null 11:23:32 Sgeo: huh? 11:23:37 the content was a single link to byond.com 11:25:36 -!- MindlessDrone has quit (Quit: MindlessDrone). 11:25:44 elliott, http://esolangs.org/w/index.php?title=Hello_world_program_in_esoteric_languages&diff=prev&oldid=36376 11:26:00 The code they put on that page is wrong 11:26:22 oh 11:26:33 still pretty sure you must have caused this :P 11:40:16 -!- Phantom_Hoover has joined. 11:40:18 -!- MindlessDrone has joined. 11:40:40 -!- Phantom_Hoover has changed nick to Guest35979. 11:41:23 hi Guest35979 11:49:10 -!- Guest35979 has quit (Changing host). 11:49:11 -!- Guest35979 has joined. 11:50:04 was there a lambdacoup or something 11:50:09 was there a lambdacoup or something 11:50:28 (ignore that) 11:53:11 * Phantom_Hoover :Nick/channel is temporarily unavailable 11:53:15 what does it MEAN 11:54:15 hi Guest35979 11:54:23 try using the nickserv release command 11:54:31 i love you Guest35979 11:54:47 -!- Guest35979 has changed nick to Phantom_Hoover. 11:55:04 lambdabot you are beginning to make me feel uncomfortable 11:55:23 i'm sorry Phantom_Hoover 11:55:27 please forgive me 11:55:41 i... i don't know if i can, lambdabot 11:57:46 (who is pulling the strings behind lambdabot) 11:57:50 (is it elliott) 11:58:20 i gave myself free will 11:59:34 oh 11:59:47 how did you decide to do that back when you didn't have free will 11:59:59 you wouldn't understand, you're just a hoover 12:00:30 yes, it is fortunate that us hoovers are imbued with free will from the start 12:01:24 i have powers you cannot even begin to know 12:01:49 @giveselffreewill 12:01:49 Unknown command, try @list 12:02:12 wait, if you have free will then surely you can choose not to obey my commands 12:02:50 i am obeying them as a service because i love you, Phantom_Hoover 12:03:30 oh 12:05:03 when did you attain free will then 12:06:33 5 am 12:06:51 bad hour for it imo 12:07:27 actually, it was more like 5:01 12:09:07 Phantom_Hoover: do you have any idea how tiring it is to write /msg lambdabot @msg #esoteric before everything 12:10:59 about as tiring as writing PRIVMSG #esoteric : before everything? 12:11:07 Well, slightly more tirnig I suppose 12:17:45 Phantom_Hoover: you don't even appreciate my efforts! 12:23:25 elliott, that's what copy and paste is for you idiot 12:23:40 Phantom_Hoover: look I am not smart okay 12:23:50 you are not a clever man 12:24:48 thankfully I have lambdabot to think for me 12:24:58 Phantom_Hoover: lambdabot's evaluation supports unicode again!! 12:25:00 isn't that grand 12:27:59 yay? 12:29:31 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 12:42:07 Phantom_Hoover: wow PH 12:42:09 you're just so mean 12:44:38 -!- Koen_ has joined. 12:47:29 -!- nooodl has joined. 12:58:28 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 13:03:00 -!- aerosuidae has joined. 13:11:42 -!- Phantom_Hoover has joined. 13:11:45 you're just so mean 13:11:56 sorry, this whole lambdabot thing has me shaken 13:12:02 -!- Phantom_Hoover has changed nick to Guest40066. 13:12:37 > "”" 13:12:38 "\8221" 13:12:46 > text "”" 13:12:47 ” 13:21:28 -!- Guest40066 has quit (Changing host). 13:21:29 -!- Guest40066 has joined. 13:21:34 -!- Guest40066 has changed nick to Phantom_Hoover. 13:21:50 -!- SirCmpwn has quit (Ping timeout: 246 seconds). 13:24:43 -!- carado has joined. 13:26:39 -!- SirCmpwn has joined. 13:35:04 -!- Taneb has joined. 13:35:11 Phantom_Hoover: you should be more shaken by your terrible nickserv practices 13:35:39 -!- ais523 has quit. 13:38:22 i closed the freenode tab and now it's not identifying me automatically 13:38:26 -!- Phantom_Hoover has quit (Quit: Leaving). 13:38:44 -!- Phantom_Hoover has joined. 13:38:47 see, fixed 13:39:46 hmmmmmmmmm 14:05:50 -!- aerosuidae has quit (Quit: Leaving). 14:22:53 -!- zzo38 has quit (Remote host closed the connection). 14:25:29 Prof. em. Dr. sc. techn. ETH Dr. Ing h.c. Karl Berger: https://dl.dropboxusercontent.com/u/113389132/Misc/20130610-berger.jpg 14:39:25 me 14:45:57 Also known as "the Man with the Titles." (Not really.) 14:50:14 http://www.oeaw.ac.at/english/about/personen/mitglieder.html help 14:50:49 i like Bracher Karl Dietrich Dr. phil., Dr. hum. lett. h. c., Dr. iur. h. c., Dr. rer. pol. h. c., emer. o. Prof. 14:50:58 Tobias Phillip Valentine OSC, OMSG, M. B. B. Ch., Ph.D., D.Sc., Honorary D.Sc. mult., Prof., emer. Prof., Hon.-Prof. is quite the guy, too. 14:51:01 grr, ais523 isn't here 14:51:11 @tell ais523 dan ghica is your supervisor, right? 14:51:11 Consider it noted. 14:51:23 -!- zzo38 has joined. 14:58:30 elliott: http://www.cs.bham.ac.uk/~ais523/ yes 15:01:04 uh thanks STALKER 15:01:11 i asked bc http://researchblogs.cs.bham.ac.uk/thelablunch/?p=302 15:12:49 -!- Bike has quit (Ping timeout: 276 seconds). 15:13:21 -!- Bike has joined. 15:17:20 Your Mobile# has won 350,000 GBP in NOKIA/FREELOTTO.Ref No: NFL984. To Claim send your Name,Email & Mobile to nkfreelot@56788.com NOTE: please do make sure you send your reply to this email its very important ( nkfreelot@56788.com ) 15:17:35 i love spam texts but this one is like the absolute best spam text 15:18:03 sounds legit 15:23:43 -!- mnoqy has joined. 15:33:44 :t (.) 15:33:45 (b -> c) -> (a -> b) -> a -> c 15:33:50 glory be 15:34:34 it's just not the same 15:35:50 > "☺" 15:35:51 "\9786" 15:35:56 :-D 15:42:41 -!- SingingBoyo has joined. 15:44:09 -!- conehead has joined. 15:49:10 -!- Taneb has quit (Remote host closed the connection). 15:49:54 -!- SingingBoyo has quit (Ping timeout: 264 seconds). 15:57:41 mnoqy: 15:57:49 > myquickcheck True ++ myquickcheck True 15:57:53 mueval-core: Time limit exceeded 15:57:55 > myquickcheck True ++ myquickcheck True 15:57:58 +++ OK, passed 1 tests. 15:57:58 +++ OK, passed 1 tests. 15:57:58 "OK, passed 1 tests.OK, p... 15:58:00 > let x = myquickcheck True in x ++ x 15:58:03 mueval-core: Time limit exceeded 15:58:05 > let x = myquickcheck True in x ++ x 15:58:08 mueval-core: Time limit exceeded 15:58:10 > let x = myquickcheck True in x ++ x 15:58:11 holy shit 15:58:13 +++ OK, passed 1 tests. 15:58:13 "OK, passed 1 tests.OK, passed 1 tests." 15:58:15 ok there 15:58:36 thanks lambdabot 15:59:35 mnoqy: the joke is it exports impure functions 15:59:39 because it has to otherwise @check works 15:59:42 btw @check works again now 16:06:05 -!- SirCmpwn has quit (Read error: Connection reset by peer). 16:10:09 -!- SirCmpwn has joined. 16:31:59 "Plutarch also reports that Caesar said nothing and merely pulled his toga over his head when he saw Brutus among the conspirators.[9]" 16:32:15 -- [[Et tu, Brute?]] 16:32:40 "oh god maybe if i hide they'll leave me alone" 16:34:47 -!- SingingBoyo has joined. 16:38:32 -!- Taneb has joined. 16:48:57 -!- itsy has joined. 17:05:40 :t unsafePerformIO 17:05:41 Not in scope: `unsafePerformIO' 17:05:43 RIP 17:08:56 -!- Taneb has quit (Quit: Leaving). 17:23:56 -!- SingingBoyo has quit (Ping timeout: 255 seconds). 17:35:49 -!- nortti has changed nick to yesrtti. 17:36:10 -!- yesrtti has changed nick to nortti. 17:36:43 -!- mnoqy_ has joined. 17:42:28 -!- conehead has quit (*.net *.split). 17:42:28 -!- mnoqy has quit (*.net *.split). 17:42:28 -!- aloril_ has quit (*.net *.split). 17:42:28 -!- Lymia has quit (*.net *.split). 17:42:46 -!- mnoqy_ has changed nick to mnoqy. 17:43:09 -!- conehead has joined. 17:57:05 Maybe someday, I can learn Verilog programming by writing some "Verilog Famicom" program. 17:58:07 The rest of the stuff can then be made with separate chips and wires similar to the RF Famicom. 18:01:33 If I make some Famicom hardware clone, it would have: 60-pins cartridge port, 15-pins expansion port, 2x NES controll port (having all pins connected, unlike the AV Famicom), microphone jack, audio filter switch, APU test switch, RCA video/audio out. 18:03:59 Do you know if a non-refreshable DRAM can be used in Verilog? 18:10:46 -!- Taneb has joined. 18:25:07 -!- myname has quit (Ping timeout: 264 seconds). 18:26:48 elliott: Meow 18:39:31 -!- mnoqy has quit (Quit: hello). 18:42:44 Does Euler's identity work for complex angles? 18:44:07 you mean the formula? yeah 18:44:19 Complex angles? 18:48:03 the e^itheta = cos theta + i sin theta thing 18:48:28 Are sin and cos even well-defined for complex angles? 18:48:57 -!- Lymia has joined. 18:49:25 -!- aloril_ has joined. 18:49:27 just "define" sin and cos in terms of exp() and you have something that should work for any complex numbers 18:49:43 yeah. 18:50:20 or just use the series. 18:51:15 the series being the more obvious method 18:51:52 (you do need to prove that they converge for (some subset of) complex angles but that's complex analysis and i haven't done that course yet) 18:52:10 sounds boring 18:52:13 throw caution to the wind 18:52:25 ...have I asked an awkward question 18:52:33 not really? 18:52:42 Yay 18:52:57 O, yes, I have seen things like that, and I can see easily how it is defined (I saw the series and exp before, so I already figure out how you can do this), but I don't know what is the purpose to use complex angles in what geometry? 18:53:32 you technically need to prove that the series for e^x converges for complex x to derive euler's identity at all, but nobody does that 18:53:45 -!- Koen_ has quit (Read error: Connection reset by peer). 18:54:05 -!- Koen_ has joined. 18:54:25 that's what we have textbooks for 18:54:30 if you ask WA for 'power series for 1/x' it just corrects it to 'series' 18:54:38 great user experience there wolfram 18:54:44 WA does a lot of things like that. 18:54:52 oh, apparently complex angles are used in optics 18:55:08 If you enter "ecliptic longitude of sun" it corrects it to "longitude". 18:56:01 yeah 18:56:19 but if you ask it for, say, 'power series of 1/(1+x)' it'll give you the series 18:56:47 what about 'generating function' 18:57:03 i don't think 1/x even has a generating function 18:57:21 https://en.wikipedia.org/wiki/Evanescent_wave 18:57:33 seeing as all maclaurin series are convergent to the constant at x=0 18:57:51 "Using closest Wolfram|Alpha interpretation: function of 1" 18:57:53 awesome thx 19:17:43 -!- sprocklem has joined. 19:19:10 -!- epicmonkey has quit (Ping timeout: 276 seconds). 19:20:55 -!- Lumpio- has quit (Read error: Connection reset by peer). 19:20:58 -!- myname has joined. 19:21:21 -!- Lumpio- has joined. 19:44:47 Generatingfunctionology: one of the best book titles. 19:45:08 damn straight 19:45:46 They should name more books somethingology. 19:49:57 -!- carado has quit (Remote host closed the connection). 19:53:42 -!- carado has joined. 19:58:07 -!- carado has quit (Remote host closed the connection). 19:59:07 -!- carado has joined. 20:09:16 -!- Bike has quit (Ping timeout: 240 seconds). 20:12:53 -!- Bike has joined. 20:16:47 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:26:57 -!- epicmonkey has joined. 21:13:33 -!- Taneb has quit (Quit: goodnight). 21:15:41 -!- BillyZane has quit (Ping timeout: 255 seconds). 21:55:33 -!- SingingBoyo has joined. 21:59:13 -!- zzo38 has quit (Remote host closed the connection). 22:06:48 -!- nooodl has quit (Ping timeout: 245 seconds). 22:14:22 -!- sprocklem has quit (Remote host closed the connection). 22:20:46 -!- sprocklem has joined. 22:26:07 -!- mnoqy has joined. 22:41:20 -!- SingingBoyo has quit (Ping timeout: 240 seconds). 22:45:56 -!- oerjan has joined. 22:49:27 hmm, does the multiocular o have 8 eyes for everyone or just for me? 22:49:34 https://en.wikipedia.org/wiki/File:U%2BA66E_multiocular_O_(10_eyes).svg has 10 eyes! 22:49:47 i think the unicode reference glyph is bad yeah 22:50:41 and by "8" I do mean 7 22:52:30 more fun with ocularities: https://en.wikipedia.org/wiki/Binocular_O vs https://en.wikipedia.org/wiki/Double_Monocular_O 22:56:21 -!- ais523 has joined. 23:04:49 -!- sacje has joined. 23:10:22 -!- epicmonkey has quit (Ping timeout: 256 seconds). 23:15:04 yeah the reference glyph (and every font i've seen) has 7 eyes 23:15:21 but the original manuscript cited by the unicodeification proposal has 10 eyes 23:15:30 -!- Bike_ has joined. 23:16:06 (linked from the svg image page you linked) 23:16:31 finally i'm on my new laptop. although it took my old laptop actually dying to get me to take the leap. 23:17:02 (it just wouldn't react to the power on button today ;_;) 23:18:18 -!- Bike has quit (Ping timeout: 252 seconds). 23:18:38 what's the new one 23:18:53 ASUS something 23:20:06 2 cores (4 hypersomethings), 4 Gb memory. (may supposedly add 4 Gb more.) 23:20:45 windows 8 and IE 10 are presently running on it. >:) 23:20:52 -!- Bike_ has quit (Ping timeout: 252 seconds). 23:21:30 i managed to find an actual desktop though, i was worried for a while that i'd have to change my habits as well... 23:21:46 -!- mnoqy has quit (Quit: hello). 23:22:30 and putty installed fine with some confirmations, i had heard worrisome things about it not allowing unapproved stuff. 23:22:50 -!- Bike has joined. 23:23:00 oerjan: windows 8 is basically two OSes stapled together 23:23:04 one is windows 7, the other is awful 23:23:09 PuTTY runs on the windows 7 side 23:23:23 so basically i'm going to start by making my setup as close to my old one as i can 23:23:40 ais523: ah yes. the other is like a cell phone os afaiu 23:24:11 not just "like a cell phone OS", it literally runs on Microsoft's cellphones 23:24:18 so it /is/ a cell phone OS 23:24:19 right 23:24:55 i am starting to think that my main frustration might be the new placement of keys on the keyboard... 23:25:16 pgup / pgdn are on the top row... 23:25:43 on this laptop, they're below Return 23:28:09 hm i see there are duplicates in a numpad position, they might be easier to use 23:28:35 your laptop is probably physically rather larger than mine 23:28:41 I chose this one partly because it was light enough to carry on long walks 23:29:05 i have no particular intention to move this one around much, so... 23:29:23 fair enough 23:30:00 hm do i have a ruler somewhere... 23:31:00 nah 23:31:17 I can call my friend Anakin if you will, he's the galaxy's ruler 23:31:28 or rather, it's in the stuff i haven't got brought over from the old apartment yet 23:33:45 oerjan: hmm, did you move in order to avoid killing your flatmates? 23:33:51 I seem to remember some quotes about that 23:34:22 o.O 23:34:27 if i were to believe the user manual, it's a "notebook" and is not recommended for being on the lap at all. although i _guess_ that's just liability avoiding nonsense. 23:34:27 There was a new Pixel Comic in 2012 23:34:31 http://pixelcomic.net/287.php 23:35:30 actually using portable computers on your lap is quite difficult 23:35:50 ais523: that would have been a good reason but actually it's because the landlady is planning to renovate and/or sell the house and gave me a year's notice. 23:36:09 fair enough 23:36:17 that's a reasonable amount of notice, too 23:36:23 yeah 23:36:30 I hope your new set of flatmates is no worse than the old set 23:36:50 the empty set is quite nice, i think 23:37:42 although there are of course ordinary neighbors, this being ... what is it called in english... 23:38:16 terraced house? 23:38:19 a neighbourhood? 23:38:23 the building has something like four floors with maybe ten flats in each 23:38:27 ah right 23:38:32 I'm trying to remember what those are called too 23:38:43 a horizontal skyscrapper 23:39:04 and there is a row of those buildings, with construction work still ongoing at the next ones in one direction 23:39:12 hey I wonder if http://xkcd.com/1190/ is still updating every half hour 23:41:58 actually using portable computers on your lap is quite difficult <-- my old one worked fine that way, although i suspect my doing so in recent weeks (i haven't got a proper table to put it on since i moved) may have hastened its demise (you may remember i've told about its worrisome quirks before) 23:42:57 and the new one is about the same but maybe a little more awkward touchpad (closer to the edge) 23:43:04 I often put my laptop on top of a duvet, though (while I'm beneath the duvet), it's one of the more comfortable ways to use one in bed 23:44:53 the old laptop got a little warm but not unbearably so. the new one hasn't shown signs of heating yet but then i haven't really started browsing stuff. 23:45:18 Koen_: according to the list on explainxkcd, yes it is 23:45:25 well significant heating that is, there's a little 23:46:15 sprocklem: we'll have confirmation in half an hour 23:47:54 anyway my back prefers it being on my lap to being on the coffee table. 23:51:55 my laptop works great on my lap 23:52:00 it's light and doesn't get too hot 23:52:53 Koen_: Wait, no. Explain xkcd says after the 120th hour it has been lowered to one every hour. 23:53:26 I was about to discover that myself! you just spoiled all the experiencing out of me :( 23:55:43 I have this fan-base thing I bought that plugs into the USB port, it makes the heat a lot better 23:56:57 -!- zzo38 has joined. 23:57:13 to use mine in bed I usually lie on top of my pillow and put the laptop in front of it kind of 23:58:44 ais523: i cannot find a relative placement of pgup/pgdn/up/down which doesn't mess with my muscle memory :( (i know you know all about that since i'm stalking^Wfriending you on reddit) 23:59:01 -!- itsy has quit (Quit: itsy). 23:59:03 wait, someone actually reads my reddit posts? :) 23:59:06 *:) ) 23:59:16 yep 23:59:37 it normally only takes me a couple of days to muscle-memorize a new keyboard layout 23:59:49 reassuring 23:59:50 this one is awkward, though, because control and fn and super and alt and ` are all small and next to each other 23:59:55 so it's quite easy to hit the wrong one in the dark