00:01:37 -!- yorick has quit (Remote host closed the connection). 00:02:09 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 00:19:28 -!- hogeyui has quit (Ping timeout: 245 seconds). 00:22:10 Q.spawn(function*(){console.log("Hello"); yield sleep(1000); console.log("Goodbye");}); 00:22:15 (untested) 00:22:21 That... looks almost livable 00:23:29 what is livability 00:25:26 -!- blitter64 has joined. 00:30:39 Here's an interesting thought: The Node.JS ecosystem seems somewhat fragmented when it comes to promises... but it really doesn't matter because there's a standard Node.JS style, and practically all promise libraries seem to offer conversions to and from it, so fragmentation probably doesn't cause significant problems, the way streaming libraries in Haskell could cause problems and reluctance to use them anywhere except at the application 00:30:39 level 00:32:52 -!- hogeyui has joined. 00:49:05 -!- MoALTz_ has joined. 00:49:54 -!- MoALTz has quit (Read error: Connection reset by peer). 01:06:04 -!- monotone has quit (Quit: "I can hear myself... I think I'm a bit afraid."). 01:12:05 -!- monotone has joined. 01:31:21 -!- Bike has quit (Ping timeout: 276 seconds). 01:32:43 -!- Bike has joined. 01:38:32 -!- Bike has quit (Ping timeout: 265 seconds). 01:39:58 -!- Bike has joined. 01:49:26 -!- Bike has quit (Ping timeout: 255 seconds). 01:51:19 -!- Bike has joined. 02:15:59 -!- shikhout has changed nick to shikhin. 02:35:18 -!- blitter64 has quit (Ping timeout: 240 seconds). 02:49:57 -!- conehead has quit (Quit: Computer has gone to sleep). 03:30:42 http://dogeon.org/ 03:37:46 https://lh4.googleusercontent.com/-BhAP_yFe8oc/U1GovyKPkyI/AAAAAAAAA5c/P4zl6_P9v2o/w2560-h1920-no/14+-+1 03:44:17 -!- kmc has joined. 03:44:49 \o/ my lint plugin thingy is working! https://gist.github.com/kmcallister/3409ece44ead6d280b8e 03:48:09 -!- nooodl has joined. 03:50:22 kmc: do you have any thoughts on my ecosystem fragmentation thoughts? 03:51:10 kmc: custom linter? 03:51:29 Sgeo: i did not see such thoughts, nor did I think them 03:51:39 Sgeo: yeah, rustc will soon support custom lint plugins 03:51:54 here's the draft spec (such as it is) https://github.com/kmcallister/rfcs/blob/lints/active/0000-loadable-lints.md 03:51:54 kmc: neat 03:51:59 has some motivating use cases 03:52:13 'Loadable lints produce more coupling of user code to rustc internals (with no official stability guarantee, of course).' 03:52:28 So, is Rust about to become yet another language primarily defined by its implementation? 03:53:06 well, maybe, but I think these lint plugins are more part of the implementation than part of the language 03:53:10 clang and gcc also support plugins 03:53:11 -!- shikhin has quit (Ping timeout: 260 seconds). 03:53:45 I would say Rust has become yet another language where you have to enable a bunch of "extensions" to do anything fun 03:53:47 Most people use GHC-specific things these days, people may end up using a lot of rustc-specific things 03:54:05 kmc: huh, in that regard, only Haskell comes to mind 03:54:09 in this case the extensions are less about deviating from the standard (because there isn't one) and more about using things we don't want to support from 1.0 to the end of time 03:54:31 Sgeo: Linux kernel uses a bajillion GNU C extensions 03:54:37 Ah 03:54:47 Not that familiar with C or Linux kernel, sadly 03:54:49 and in JS it's pretty common too (or, you compile the extensions away, which is pretty much the same) 03:54:49 I should learn 03:54:52 -!- mellifluous has joined. 03:54:59 Sgeo: another time I can talk your ear off about craaaazy Linux GNU C tricks 03:55:18 kmc: I think Javascript's different. At least when you compile them away, the result should still hopefully run on several different JS runtimes 03:55:38 kmc: sounds interesting 03:55:41 Sgeo: anyway I can say that the Rust team is serious about standardizing Rust, but that'll come later, once it's more stable 04:00:25 Sgeo: lint plugins have access to the typechecker, so they can do things that external syntactic analysis can't do easily 04:00:34 and with marginal extra compile time 04:00:36 kmc: neat! 04:00:54 tomorrow I guess I should make some compelling demos. and tests, gotta have tests 04:01:07 Could I effectively write my own typesystem as long as it's stricter than the native one? 04:01:21 you can certainly do some things like that 04:01:30 for Servo we want to forbid certain types from appearing except in certain structs 04:12:17 `coins 04:12:25 ​dimecoin impercoin pavitcoin degunfrabcoin bchacoin evilcoin worsecoin rocrcoin gritumcoin standrafcoin returncoin vencoin grasscoin sansiscoin evptcoin liberecoin ozoicecoin mousecoin salcoin redisortoicoin 04:17:42 dimecoin 04:25:19 it'll never catch on 04:45:24 Worsecoin is bettercoin. 04:48:38 -!- mellifluous has quit (Ping timeout: 240 seconds). 04:58:04 -!- not^v has joined. 04:59:31 -!- not^v has quit (Client Quit). 05:04:43 -!- skarn has quit (Ping timeout: 240 seconds). 05:12:38 -!- skarn has joined. 05:15:38 -!- kwertii has quit (*.net *.split). 05:15:42 -!- Burton has quit (*.net *.split). 05:16:02 -!- edwardk has quit (*.net *.split). 05:16:07 -!- Slereah has quit (*.net *.split). 05:16:09 -!- aloril has quit (*.net *.split). 05:16:11 -!- realzies has quit (*.net *.split). 05:16:13 -!- jix has quit (*.net *.split). 05:16:56 -!- HackEgo has quit (*.net *.split). 05:17:03 -!- pikhq has quit (*.net *.split). 05:17:06 -!- olsner has quit (*.net *.split). 05:17:17 -!- nooodl has quit (*.net *.split). 05:17:25 -!- `^_^v has quit (*.net *.split). 05:17:26 -!- Gregor has quit (*.net *.split). 05:17:31 -!- impomatic has quit (*.net *.split). 05:17:40 -!- esowiki has joined. 05:17:42 -!- glogbot has joined. 05:17:45 -!- esowiki has joined. 05:17:45 -!- esowiki has joined. 05:18:36 Sgeo: all multithreaded C programs are using serious language extensions, in the sense that the spec doesn't assign any semantics to concurrency (before C11 that is) 05:19:32 semantics shmemantics 05:21:23 -!- Gracenotes has joined. 05:22:16 -!- kwertii has quit (Ping timeout: 260 seconds). 05:24:37 -!- ^v has quit (Remote host closed the connection). 05:25:41 -!- ^v has joined. 05:26:32 -!- skarn has joined. 05:26:32 -!- monotone has joined. 05:26:32 -!- hogeyui has joined. 05:26:32 -!- hubs has joined. 05:26:32 -!- rodgort has joined. 05:26:32 -!- tromp_ has joined. 05:26:32 -!- shachaf has joined. 05:26:32 -!- myname has joined. 05:26:32 -!- Speed` has joined. 05:26:32 -!- lifthrasiir has joined. 05:26:32 -!- nisstyre has joined. 05:26:32 -!- lambdabot has joined. 05:26:32 -!- ggherdov has joined. 05:26:32 -!- b_jonas has joined. 05:26:32 -!- trout has joined. 05:26:32 -!- newsham has joined. 05:26:32 -!- myndzi has joined. 05:26:32 -!- heroux has joined. 05:26:32 -!- fowl has joined. 05:26:32 -!- douglass_ has joined. 05:26:32 -!- FireFly has joined. 05:26:32 -!- sebbu has joined. 05:26:32 -!- erdic has joined. 05:26:32 -!- nortti has joined. 05:26:32 -!- mtve has joined. 05:28:01 -!- kwertii has joined. 05:28:01 -!- kwertii has quit (Changing host). 05:28:01 -!- kwertii has joined. 05:28:49 -!- tromp_ has quit (*.net *.split). 05:28:50 -!- sebbu has quit (*.net *.split). 05:28:50 -!- douglass_ has quit (*.net *.split). 05:28:50 -!- fowl has quit (*.net *.split). 05:28:51 -!- myndzi has quit (*.net *.split). 05:28:51 -!- newsham has quit (*.net *.split). 05:28:51 -!- trout has quit (*.net *.split). 05:28:51 -!- ggherdov has quit (*.net *.split). 05:28:52 -!- Speed` has quit (*.net *.split). 05:28:52 -!- lifthrasiir has quit (*.net *.split). 05:28:53 -!- skarn has quit (*.net *.split). 05:28:53 -!- hubs has quit (*.net *.split). 05:28:53 -!- rodgort has quit (*.net *.split). 05:28:53 -!- erdic has quit (*.net *.split). 05:28:54 -!- FireFly has quit (*.net *.split). 05:28:54 -!- heroux has quit (*.net *.split). 05:28:54 -!- b_jonas has quit (*.net *.split). 05:28:54 -!- lambdabot has quit (*.net *.split). 05:28:55 -!- nisstyre has quit (*.net *.split). 05:28:55 -!- shachaf has quit (*.net *.split). 05:28:55 -!- myname has quit (*.net *.split). 05:28:56 -!- mtve has quit (*.net *.split). 05:28:58 -!- monotone has quit (*.net *.split). 05:28:58 -!- hogeyui has quit (*.net *.split). 05:28:58 -!- nortti has quit (*.net *.split). 05:29:39 -!- heroux has joined. 05:31:37 "One often made mistake is to use closures inside of loops, as if they were copying the value of the loop's index variable." 05:31:44 :( >:( 05:32:26 i don't understand why people think there should obviously be a new binding every time 05:33:43 -!- skarn has joined. 05:33:43 -!- monotone has joined. 05:33:43 -!- hogeyui has joined. 05:33:43 -!- hubs has joined. 05:33:43 -!- rodgort has joined. 05:33:43 -!- tromp_ has joined. 05:33:43 -!- mtve has joined. 05:33:43 -!- nortti has joined. 05:33:43 -!- erdic has joined. 05:33:43 -!- sebbu has joined. 05:33:43 -!- FireFly has joined. 05:33:43 -!- douglass_ has joined. 05:33:43 -!- fowl has joined. 05:33:43 -!- myndzi has joined. 05:33:43 -!- newsham has joined. 05:33:43 -!- trout has joined. 05:33:43 -!- b_jonas has joined. 05:33:43 -!- ggherdov has joined. 05:33:43 -!- lambdabot has joined. 05:33:43 -!- nisstyre has joined. 05:33:43 -!- shachaf has joined. 05:33:43 -!- myname has joined. 05:33:43 -!- Speed` has joined. 05:33:43 -!- lifthrasiir has joined. 05:34:44 -!- skarn has changed nick to Guest99438. 05:36:10 -!- oerjan has joined. 05:44:02 "The specification gives exactly one way of accessing the [[Class]] value, with the use of Object.prototype.toString." 05:45:57 -!- kwertii has quit (Quit: kwertii). 05:48:02 "The automatic insertion of semicolon is considered to be one of biggest design flaws in the language because it can change the behavior of code." 05:48:15 npm's style guide says to only use semicolons in specific circumstances 05:48:51 https://www.npmjs.org/doc/coding-style.html#Semicolons 05:52:46 -!- mellifluous has quit (Remote host closed the connection). 05:53:27 <-- i have this small urge to tell all the "label your axes" commenters that they would have failed the test. (fortunately i have no imgur account.) 05:53:31 oops 05:53:34 https://github.com/joyent/node/commit/28c6e42e <-- i have this small urge to tell all the "label your axes" commenters that they would have failed the test. (fortunately i have no imgur account.) 05:53:49 wait 05:54:07 and i paste the wrong quote. 05:54:41 Seems legit. http://imgur.com/gallery/4nnbyru <-- i have this small urge to tell all the "label your axes" commenters that they would have failed the test. (fortunately i have no imgur account.) 05:54:53 THAT WILL DO IT 05:55:02 * oerjan gets 29 points for effort 05:56:11 hah 05:56:49 oerjan: the Catholic Diocese of Peoria Star Wars watching? 05:57:26 ion: CDOP is like OCPD, but with the letters in the proper order. it is actually relevant in this case. 05:59:27 (http://youtu.be/5GFW-eEWXlc) 06:00:04 TIL: OCPD 06:00:13 I knew OCD 06:01:47 basically if you think you have OCD but aren't completely weird, you probably have OCPD instead. 06:02:21 (above message completely failing at detangling wrong stereotypes) 06:19:10 -!- BeingToDeath has joined. 06:22:24 -!- MoALTz_ has quit (Quit: Leaving). 06:26:41 -!- myndzi has quit (Ping timeout: 264 seconds). 06:28:44 -!- atehwa has quit (Remote host closed the connection). 06:30:35 -!- myndzi has joined. 06:45:34 "child death overview panel" is a creepy name for an institution 06:46:29 pretty sure they have a creepy job too hth 06:49:31 oerjan: what if I am completely weird, but in ways that probably aren't related? 06:50:48 kmc: NOPE. ZERO ON THE FINAL. 06:50:54 :< 06:51:06 that polish one hth 06:51:28 a polish final? i'd probably get zero anyway 06:52:36 my next joke is ruined by zero actually being zero in polish 06:56:46 oerjan, most of the time when you say hth, i dont believe you really hope that helps 06:57:39 `? twh 06:57:40 twh would help, but is an hth derivative. hth. twh. hand. 06:58:03 wut 06:58:19 -!- password2 has joined. 06:59:23 I think most schools will tend to not give students pass-1 marks 07:00:34 fowl: you may be starting to get it hth 07:02:14 fowl: it's a bit more subtle. "hope that helps [but it would surprise me if it did]" 07:03:31 (or perhaps that's just my own reading) 07:03:37 aha 07:04:30 Three letters can express so much! (And "twh" is worse because it could also stand for "that won't help") 07:06:51 would probably stick an n in there in that case 07:07:36 that might help (tmh? hmm.) 07:08:41 twh is more optimistic. (wth?) 07:15:32 Ooh! http://www.dontstarvegame.com/blog/dont-starve-together-multiplayer-officially-coming-summer-2014 07:28:40 -!- BeingToDeath has quit. 07:29:50 -!- slereah_ has joined. 08:00:43 fff ie11 refuses to open tunes.org logs as text 08:14:31 pretty sure "wth" stands for "what the hell", or did last I saw it used anyway 08:16:01 With the hand 08:16:09 Wither the heart 08:16:26 Whittle to hear 08:16:45 Wang the hooha 08:17:11 It could be many things 08:18:57 -!- password2 has quit (Ping timeout: 252 seconds). 08:22:01 lynx has a black background, and no simple way to choose a humane coloring style :( 08:23:47 -!- Patashu has joined. 08:24:28 i think we are in the end times. absolutely everything in the world is gradually getting annoying to use. 08:25:44 can you use wget as a pipe? 08:25:59 Maybe you are just getting old 08:26:05 Yelling at kids running on your lawn 08:26:11 DADBURN YONGUNS 08:26:15 IN MY DAYS 08:26:16 * oerjan swats slereah_ -----### 08:26:17 grumble 08:26:34 Aw Xchat doesn't have a trout command :( 08:26:54 oerjan: yoerjan 08:27:14 slereah_: you'll not be laughing when you realize this is all a plot by the new world order to drive us insane hth 08:27:26 did you disable the hth disabler 08:27:36 no just circumventing hth 08:27:50 you should just disable it hth 08:27:51 `unidecode th 08:27:52 ​[U+0074 LATIN SMALL LETTER T] [U+0068 LATIN SMALL LETTER H] 08:28:02 * trout glares at slereah_ 08:28:08 I like the current arc in Gunnerkrigg Court 08:28:17 * slereah_ slaps trout with himself 08:28:28 Taneb: my trick leaves no trace in the output. 08:28:31 * trout slaps slereah_ with a giant squid 08:28:34 `unidecode θ 08:28:35 ​[U+03B8 GREEK SMALL LETTER THETA] 08:28:39 `unicode 𓀀 08:28:40 U+13000 EGYPTIAN HIEROGLYPH A001 \ UTF-8: f0 93 80 80 UTF-16BE: d80cdc00 Decimal: 𓀀 \ 𓀀 \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) 08:28:51 hθ 08:28:53 hþ? 08:29:08 the other day at dinner I told a bunch of people (including a CSS working group member) about good old U+A66E 08:29:39 shachaf: isn't it rad when people denote days of the week by M T W Θ F? 08:30:18 What was the limeric, again? 08:30:30 also "Jason D. Jfmamj" is a good fake name 08:30:33 ah stackexchange helpfully suggests -O - 08:30:34 S M T W Θ F Ϡ 08:30:43 you can say it's Welsh or something 08:30:43 I am a bit sad that Klingon was rejected from Unicode 08:30:51 slereah_: yeah, that came up too 08:31:03 -!- conehead has joined. 08:31:07 I said that Unicode was only for very serious characters like PILE OF POO and SMILING CAT FACE 08:31:11 i told someone about U+A66E the other day too 08:31:28 `unidecode Ϡ 08:31:28 Well Klingons do not have japanese cellphone company money 08:31:28 ​[U+03E0 GREEK LETTER SAMPI] 08:31:37 sampiday? 08:31:41 `unidecode  08:31:42 U+F8DF - No such unicode character name in database \ UTF-8: ef a3 9f UTF-16BE: f8df Decimal:  \  () \ Uppercase: U+F8DF \ Category: Co (Other, Private Use) \ Bidi: L (Left-to-Right) 08:31:44 `unicode U+A66E 08:31:45 ​ꙮ 08:31:53 HackEgo : STOP IT D: 08:31:56 `unidecode ꙮ 08:31:57 ​[U+A66E CYRILLIC LETTER MULTIOCULAR O] 08:31:58 `unicode ꙮ 08:31:59 AAAAAH 08:31:59 U+A66E CYRILLIC LETTER MULTIOCULAR O \ UTF-8: ea 99 ae UTF-16BE: a66e Decimal: ꙮ \ ꙮ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) 08:32:03 The worst letter 08:32:05 oerjan: unidecode should be called icode hth 08:32:15 It is the spookiest letter of unicode 08:32:24 And I say this after looking at the Mayan unicode section 08:32:37 `run ln -s unidecode bin/icode 08:32:39 No output. 08:32:44 `run quote 1140 # Taneb 08:32:45 1140) A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric." 08:32:50 kmc, thanks 08:32:59 however this is an inaccurate limerick 08:33:04 because ꙮ is Letter, Other 08:33:31 it's almost as bad as that other limerick which makes dubious anatomical claims about the man from nantucket 08:33:57 what a failure of a limerick 08:34:03 i'll strive for maximal accuracy in the future 08:34:21 hmm, "autofellatio" works in a double dactyl 08:34:37 it's never actually saying that ꙮ isn't alphanumeric, though. 08:34:45 I guess so 08:34:57 https://www.wordnik.com/lists/double-dactyl-words 08:35:03 in fact, given that it uses ꙮ, it's giving good evidence for the opposite 08:35:17 but it's contrasting prose with poetry 08:35:20 shachaf, only if you are Swedish 08:35:30 Taneb: do you remember the original context 08:35:36 shachaf, not really 08:35:46 you also wrote a limerick 08:35:49 Probably 08:35:53 I'm trying to write one now 08:36:14 https://www.wordnik.com/lists/double-dactyls 08:36:16 `unidecode ꙮhth 08:36:17 ​[U+A66E CYRILLIC LETTER MULTIOCULAR O] [U+0068 LATIN SMALL LETTER H] [U+0074 LATIN SMALL LETTER T] [U+0068 LATIN SMALL LETTER H] 08:36:18 http://tunes.org/~nef//logs/esoteric/13.06.05 08:36:37 oh wait 08:36:46 `file bin/icode 08:36:46 bin/icode: symbolic link to `unidecode' 08:36:51 `icode ꙮ hth 08:36:52 ​[U+A66E CYRILLIC LETTER MULTIOCULAR O] [U+0020 SPACE] [U+0068 LATIN SMALL LETTER H] [U+0074 LATIN SMALL LETTER T] [U+0068 LATIN SMALL LETTER H] 08:36:52 hm both "heterosexual" and "autofellatio" work as double dactyl words 08:37:17 I... am both proud and disappointed at my limerick ability 08:38:27 "i am both proud and disappointed at my autofellatio ability" 08:38:33 okay enough kmc.jerkcity.moed 08:39:03 `unidecode ꙮerjan 08:39:04 ​[U+A66E CYRILLIC LETTER MULTIOCULAR O] [U+0065 LATIN SMALL LETTER E] [U+0072 LATIN SMALL LETTER R] [U+006A LATIN SMALL LETTER J] [U+0061 LATIN SMALL LETTER A] [U+006E LATIN SMALL LETTER N] 08:39:28 many-eyed seraphꙮerjan 08:40:03 There was a young man in York / Who read about Ankh-Morpork / "Discworld", he said / "Up with I am fed" / And instead watched Mindy and Mork 08:40:11 -!- kmc has set topic: The channel for CDOP Star Wars watching | AVOID SPIKES | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 08:40:47 ꙩꙫꙭꙮ 08:42:51 `icode ꙩꙫꙭꙮ 08:42:51 ​[U+A669 CYRILLIC SMALL LETTER MONOCULAR O] [U+A66B CYRILLIC SMALL LETTER BINOCULAR O] [U+A66D CYRILLIC SMALL LETTER DOUBLE MONOCULAR O] [U+A66E CYRILLIC LETTER MULTIOCULAR O] 08:43:04 mitꙮsis 08:43:16 This is how babies are made 08:43:27 (Disclaimer: I am not watching Mindy and Mork, or, indeed, the more exist-y Mork and Mindy) 08:43:40 * kmc -> zzz 08:44:21 Taneb: you gotta get the meter :'( 08:44:51 shachaf, it scans for me? 08:44:57 it does? 08:45:33 If I put on an RP accent 08:45:33 hm, perhaps we have different ideas of a limerick 08:46:15 -!- aloril has quit (Ping timeout: 260 seconds). 08:46:23 maybe it works 08:46:32 it doesn't help that i don't know how to prononuce a bunch of words 08:48:01 can you annotate your emphasis 08:48:10 what do you expect of a limerick 08:48:21 I have a very loose definition of limerick 08:48:59 Line 4 comes out sounding quite rushed 08:50:54 I think it's dactylic 08:52:23 Taneb: i think most of your lines have one syllable less than is acceptable 08:53:30 ok maybe not most. but definitely the third and fourth. 08:54:10 what about the first, second, and fifth 08:54:30 i think the first is acceptable variation 08:55:40 oh actually not the fourth either, it's just bad 08:55:46 perhaps "morpork" is pronounced with emphasis on the second syllable and not the first 08:56:00 well that needs to be assumed. 08:56:13 is this actually the case 08:56:47 I can email people a recording of a reading maybe 08:57:49 If you want an email of me reading this limerick, pm me your address before 10:05 BST 08:58:09 email is not optimal 08:59:22 wait, i've heard "morpork" pronounced in _Discworld_ the computer game 08:59:35 -!- aloril has joined. 09:00:00 shachaf, I recorded it on my phone 09:00:13 I guess I could BlueTooth it to you, if you're within 30 meters 09:00:23 But then I mayswell just find you and read it to you 09:01:24 Hold on a second 09:02:25 I could send it THROUGH IRC 09:03:00 irc is not v. convenient 09:03:01 hm 09:05:07 Screw you guys I think this is poetic genius 09:08:44 now i'm writing a limerick but i can't finish the last line `h̀elṕ´ 09:08:58 or any of the other ones, actually 09:10:29 There was once a Finn in CA / Who wrote a limerick one day / But trouble he had / That made him quite mad / No I can't finish this one either 09:10:48 a limerick's never been written / by those who reside in great britain; / as a parting good-bye wish, / their old pals, the irish, / decided: infringers get smitten! 09:10:58 There once was a man from Madrass 09:11:04 Whose balls were made of fine brass! 09:11:10 So in stormy beather 09:11:13 weather* 09:11:18 They both clanged together! 09:11:24 shachaf, wasn't Edward Lear from Britain? 09:11:25 And sparks came out of his ass! 09:11:25 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 09:11:35 (the Leprechaun movies taught me a lot) 09:12:06 Taneb: and his limericks were generally utter scow 09:12:21 the first line and the last line ending with the same word 09:12:31 no sort of humor or story or flavour or anything 09:12:43 oops i half-ued my sentence 09:13:20 Filthy trans-atlantic scum 09:14:37 mr. lear's limericks are like stories that go nowhere 09:14:48 Well, that's true 09:15:03 barely rhyme or reason to them 09:16:03 I like the first quotation in http://www.poemhunter.com/edward-lear/ 09:16:18 Then I looked it up and it looks like the ellipsis isn't part of the original poem. 09:16:23 But it's a very good ending. 09:17:10 Calico Pie, / The little Birds fly / Down to the Calico tree, / Their wings were blue, / And they sang "Tilly-loo!" / Till away they flew— / And they never came back... 09:18:48 A big improvement over the original, it turns out. 09:21:54 `? atriq 09:21:54 atriq or two 09:23:10 `? ngevd 09:23:11 ​Eg˚Nf2<ܩX].)͂jU.gm0&u-CAtު)oI+sLMႍG竹HGF.[Ό_4ˌSf=}*}ܿ[žG9L\-‚]&D segmentation fault. 09:23:32 `? ngevd 09:23:33 ​=7l!jh]iil+b-56jC7d!Bm}Λcp!MMo?.Jw#F|@/4"I_ʣ7*yO3TjbY>qEygC|tXU.L}v_H1UtpoP2afbo\.)vU}Pũ¥@z`3>&s-KoLgzј>K}`ZBDsɐwPH2l:°z4mZ.v1`0z6fOqC|do.b \ *_ƧlPᚲ!UX U^ \ kGSl 09:23:44 `run echo < wisdom/ngevd 09:23:44 No output. 09:23:49 Nooo my segmentation ;w; 09:23:52 `run cat wisdom/ngevd 09:23:53 ngevd is a fake wisdom entry. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ 09:24:28 ¡leave this file alone! 09:25:56 `? oerjan 09:25:57 Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian who hates Roald Dahl. 09:26:08 Is empty = forever (return ()); ( ... 09:26:25 -!- edwardk has quit (Quit: Computer has gone to sleep.). 09:26:45 a <|> b = run a and b concurrently and kill the one that finishes last 09:26:57 A valid definition for an Alternative instance for IO? 09:27:01 Guys let's make an APL clone with unicode as a character set 09:27:09 It will have ALL THE INSTRUCTIONS 09:27:18 `run sed -i 's/a lying/an antediluvian/' wisdom/oerjan 09:27:20 No output. 09:27:25 uh I think APL is an APL clone with (a subset of) unicode as a character set 09:27:33 No subset! 09:27:38 ALL THE CHARACTERS 09:27:56 even the private-use characters 09:27:58 Taneb: I don't know, what are the laws? 09:27:58 ? 09:28:05 shachaf, essentially the monoid laws 09:28:07 All the existing characters 09:28:12 That's it? 09:28:21 Yeah :( 09:28:23 No "distributes over Applicative operators" or anything? 09:28:29 Nothing documented 09:28:42 what a scow 09:28:54 Not sure what the egyptian penis hieroglyph would be 09:29:03 Did you know: An Alternative is a monoid in the category of endofunctors? 09:29:24 Functor? I hardly know her 09:34:49 -!- KingOfKarlsruhe has joined. 09:36:35 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=39750&oldid=39548 * 92.16.148.172 * (+155) /* Computing components */ 09:36:37 -!- mhi^ has joined. 10:08:10 -!- boily has joined. 10:32:50 -!- conehead has quit (Quit: Computer has gone to sleep). 10:34:46 Wasn't there some assembly languages that had jump instructions for every instructions 10:34:54 Well, not assembly 10:34:56 Machine code 10:35:02 I seem to recall such things 10:35:19 You could make it read backward I guess 10:36:41 the story of mel? 10:36:51 yeah 10:37:07 Good ol' Mel 10:50:08 -!- FreeFull has quit (Ping timeout: 240 seconds). 10:53:22 @tell MDude hi! who are you? you were quoted! 10:53:22 Consider it noted. 10:54:19 itym @ask hth 10:55:59 @ask MDude I may have meant ask? 10:56:00 Consider it noted. 10:56:31 worst xkcd pun in recent memory 10:58:56 I like it. it is beautiful. 11:01:38 -!- boily has quit (Quit: Poulet!). 11:14:47 -!- nooodl has joined. 11:26:31 it reminds me of http://laughingsquid.com/wp-content/uploads/facebook-fan-20100225-062900.jpg 11:35:19 -!- AnotherTest has joined. 11:40:32 mroman: The results from the Spring Core War Tournament are up :-) http://corewar.co.uk/spring2014.htm 11:48:29 -!- Guest99438 has quit (Changing host). 11:48:29 -!- Guest99438 has joined. 11:48:32 -!- Guest99438 has changed nick to skarn. 11:49:56 -!- Sgeo has quit (Read error: Connection reset by peer). 12:06:42 -!- blitter64 has joined. 12:19:42 -!- mellifluous has joined. 12:23:51 @check True 12:23:54 +++ OK, passed 1 tests. 12:24:08 @check \x -> isAlpha x == isLetter x 12:24:10 +++ OK, passed 100 tests. 12:24:14 @check \x -> isAlpha x == isLetter x 12:24:16 +++ OK, passed 100 tests. 12:25:28 > and [isAlpha x == isLetter x | x <- [minBound..maxBound]] 12:25:31 True 12:29:02 -!- yorick has joined. 12:34:24 -!- mellifluous has quit (Read error: Connection reset by peer). 12:34:44 -!- mellifluous has joined. 12:35:15 -!- blitter64 has quit (Ping timeout: 252 seconds). 12:35:47 -!- blitter64 has joined. 12:42:44 -!- melli2 has joined. 12:42:46 -!- edwardk has joined. 12:43:34 -!- nooodl has quit (Quit: Ik ga weg). 12:44:25 -!- mellifluous has quit (Ping timeout: 252 seconds). 12:45:20 -!- Patashu has quit (Ping timeout: 240 seconds). 12:46:37 * oerjan wonders what the heck is the difference between lazy and strict ST monads 12:48:06 [wiki] [[RAGE!!!]] http://esolangs.org/w/index.php?diff=39751&oldid=35531 * Malltog * (+415) Marked 'interpreter' as compiler (the interpreting is left to system python) and upgraded it a bit 12:48:32 -!- melli2 has quit (Ping timeout: 240 seconds). 12:51:11 -!- mellifluous has joined. 12:56:13 [wiki] [[Talk:RAGE!!!]] http://esolangs.org/w/index.php?diff=39752&oldid=37831 * Malltog * (+575) 12:59:42 -!- oerjan has quit (Quit: leaving). 13:00:55 -!- blitter64 has quit (Ping timeout: 252 seconds). 13:01:32 [wiki] [[Talk:Rand.Next()]] http://esolangs.org/w/index.php?diff=39753&oldid=39516 * Malltog * (+248) 13:06:47 -!- edwardk has quit (Quit: Computer has gone to sleep.). 13:09:34 -!- shikhin has joined. 13:16:11 -!- edwardk has joined. 13:33:07 -!- ter2 has quit (Ping timeout: 245 seconds). 13:36:14 -!- edwardk has quit (Quit: Computer has gone to sleep.). 13:36:45 -!- ter2 has joined. 13:47:58 -!- edwardk has joined. 14:03:03 -!- edwardk has quit (Quit: Computer has gone to sleep.). 14:06:33 -!- KingOfKarlsruhe has quit (Quit: Leaving.). 14:11:21 -!- vyv has joined. 14:13:45 -!- spiette has joined. 14:15:15 -!- ter2 has quit (Ping timeout: 260 seconds). 14:16:20 -!- Phantom_Hoover has joined. 14:46:30 -!- mihow has joined. 14:47:02 -!- mellifluous has quit (Ping timeout: 255 seconds). 14:51:19 -!- mhi^ has quit (Quit: Lost terminal). 14:55:01 -!- lollo64it has joined. 15:07:24 -!- tertu has joined. 15:20:07 -!- shikhin has quit (Read error: Connection reset by peer). 15:20:29 -!- shikhin has joined. 15:21:24 -!- lollo64it has quit (Quit: Leaving). 15:26:02 -!- MindlessDrone has joined. 15:28:21 -!- lollo64it has joined. 15:57:13 -!- slereah_ has quit (Quit: Leaving). 16:04:03 -!- erdic has quit (Quit: Lost terminal). 16:05:23 -!- erdic has joined. 16:07:12 -!- shikhin has quit (Ping timeout: 260 seconds). 16:17:48 -!- yorick has quit (Remote host closed the connection). 16:18:50 -!- edwardk has joined. 16:21:03 -!- tertu has quit (Disconnected by services). 16:21:03 -!- ter2 has joined. 16:29:40 -!- mihow has quit (Quit: mihow). 16:30:01 -!- edwardk has quit (Quit: Computer has gone to sleep.). 16:32:04 -!- subleq has joined. 16:33:05 -!- edwardk has joined. 16:34:16 -!- mihow has joined. 16:34:45 -!- edwardk has quit (Client Quit). 17:00:56 -!- kwertii has joined. 17:00:56 -!- shikhin has joined. 17:00:59 -!- kwertii has quit (Changing host). 17:00:59 -!- kwertii has joined. 17:01:28 -!- shikhin has changed nick to Guest66747. 17:03:19 -!- Guest66747 has quit (Client Quit). 17:03:35 -!- shikhout has joined. 17:04:50 -!- shikhout has changed nick to shikhin. 17:07:26 -!- kwertii has quit (Ping timeout: 240 seconds). 17:16:15 ADVICE 17:16:17 Do not climb trees with green bark 17:16:33 Thanks for the advice 17:16:48 -!- mihow has quit (Quit: mihow). 17:16:57 I am down to zero clean pairs of trousers 17:20:32 I am in room number 404. 17:20:52 I keep not finding it and walking past the door. 17:26:01 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 17:27:59 Good thing it isn't 402 17:34:17 It's a hotel room, so it kind-of is. 17:34:34 For 403 I probably just wouldn't get the door open. 17:39:47 -!- password2 has joined. 17:41:00 -!- spiette has quit (Remote host closed the connection). 17:41:34 -!- shikhout has joined. 17:43:44 -!- shikhin has quit (Ping timeout: 276 seconds). 17:45:02 I feel pretty crap 17:49:53 -!- mihow has joined. 17:53:41 * Melvar learns of another -l pun: libottery. 17:58:27 -lol 17:58:50 -Lame -lib 17:59:47 ittle/libibrary.a ? 18:13:20 -!- Bike has quit (Ping timeout: 240 seconds). 18:15:39 -!- Bike has joined. 18:16:57 -!- mihow has quit (Quit: mihow). 18:20:21 -!- drdanmaku has joined. 18:27:16 newsham: I mean, that are actual libraries. 18:27:29 https://lkml.org/lkml/2014/3/17/525 "This feature encodes Oops messages into a QR barcode that is scannable by any device with a camera." 18:27:30 -!- mihow has joined. 18:30:09 -!- ais523 has joined. 18:32:45 -!- ter2 has quit (Ping timeout: 252 seconds). 18:33:26 -!- vyv_ has joined. 18:34:34 -!- vyv has quit (Read error: Connection reset by peer). 18:35:05 eh 18:35:12 that is kind of neat 18:39:45 -!- mhi^ has joined. 18:40:06 yep 18:50:19 -!- ter2 has joined. 18:59:14 -!- yorick has joined. 19:14:48 -!- mihow has quit (Quit: mihow). 19:19:07 -!- kwertii has joined. 19:23:08 -!- mihow has joined. 19:25:14 -!- conehead has joined. 19:36:06 -!- zzo38 has joined. 19:38:56 -!- password2 has quit (Ping timeout: 240 seconds). 19:47:16 -!- FreeFull has joined. 19:47:30 -!- mihow has quit (Quit: mihow). 19:52:08 -!- tertu3 has joined. 19:53:25 -!- ter2 has quit (Ping timeout: 252 seconds). 19:58:07 -!- Sprocklem has quit (Quit: brb). 19:58:07 -!- vyv has joined. 19:59:04 -!- vyv_ has quit (Write error: Broken pipe). 19:59:46 -!- oerjan has joined. 20:01:35 -!- mtve has quit (Ping timeout: 454 seconds). 20:03:41 -!- mtve has joined. 20:06:56 -!- Bike_ has joined. 20:07:06 `addquote I am in room number 404. I keep not finding it and walking past the door. 20:07:08 1203) I am in room number 404. I keep not finding it and walking past the door. 20:08:19 >_< 20:09:30 -!- Bike_ has changed nick to Bicyclidine. 20:11:09 -!- Sprocklem has joined. 20:21:03 `quote 20:21:03 `quote 20:21:03 `quote 20:21:03 439) Phantom_Hoover: it is a hate so pure and... pumpkin seeds? 20:21:04 42) no Deewiant No?! I've been living a lie yep. Excuse me while I jump out of the window -> 20:21:04 423) My memory passed rest in peace sgeos memory 20:24:15 -!- M28_ has joined. 20:24:51 -!- jix_ has joined. 20:25:05 -!- subleq_ has joined. 20:25:16 fungot: pumpkin seeds? 20:25:17 FireFly: e405 program rejected for mental health reasons. icktemp on djgpp, where the preceding statement finishes executing. ( if an attempt is made to reverse-assign the same capital letters can be of either datatype ( that is `next'ed to and nor or ( which is not the while as a method of installing them). 20:25:43 ^style 20:25:43 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic* irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 20:26:06 the INTERCAL manual doesn't make for a good wordset, apparently 20:27:35 ^style irc 20:27:35 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 20:27:35 -!- subleq has quit (Write error: Broken pipe). 20:27:35 -!- jix has quit (Write error: Broken pipe). 20:27:35 fungot: þe olde irc style 20:27:35 FireFly: your client is broken." :) 20:27:35 -!- M28 has quit (Ping timeout: 240 seconds). 20:27:53 -!- tertu3 has quit (Ping timeout: 252 seconds). 20:36:12 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:45:41 [wiki] [[BF Joust strategies]] M http://esolangs.org/w/index.php?diff=39754&oldid=39705 * Oj742 * (-119) 20:46:48 Is a group homomorphism what it sounds like 20:47:55 what do you think it sounds like 20:47:56 a homomorphism between groups? 20:49:00 A mapping, f, from a Group(+, G) to a Group (*, H) such that f(x) * f(y) = f(x + y)? 20:49:27 that would be correct. 20:49:48 and f(0) = 1 (in your notation) 20:49:50 but maybe that follows? 20:49:56 that follows. 20:49:58 according to wikipedia 20:49:59 kewl 20:50:16 a group homomorphism is just a functor 20:50:20 a group action is also just a functor 20:50:21 hth 20:50:24 kmc, I just used + and * because they are easy to write on a keyboard 20:50:31 shachaf, what is a group action 20:50:40 a functor hth 20:50:45 Also what is the standard acronym meaning "I would like a hth please" 20:50:59 iwlahp hth 20:51:05 i,i algebraists do it in groups 20:51:06 in particular a functor : G -> Set, where G is your group 20:51:24 "I want help"? 20:51:25 (represented as a category (groupoid) with one object) 20:51:30 just atlk like a fucking human being you fucking nerd 20:51:58 oerjan, tdh thx 20:52:01 Bicyclidine: o_O 20:52:02 Taneb: homomorphism for groups is just a special case of homomorphism for a universal algebra with arbitrary operations 20:52:03 Bicyclidine: :-( 20:52:25 it took me a second to realise "atlk" wasn't another obscure acronym 20:52:34 oerjan, imagine that I don't officially learn this until next year 20:52:41 God Damn It 20:53:03 -!- kmc has left. 20:53:32 Reading a textbook on Category Theory 20:53:50 Taneb: i don't think i _ever_ officially learned universal algebra hth 20:54:03 but it was so cool i had to pick up some 20:54:09 i don't think ever even learned regular algebra hth :'( 20:54:10 Am I right in thinking that matrix multiplication is an example of a semi-additive category? 20:54:46 Taneb: i suspect you can drop the semi 20:55:02 oerjan, I... can! 20:55:42 matrix multiplication is isomorphic to the category of finite-dimensional vector spaces 20:56:30 psh finite 20:57:00 ", and so we can alternatively define an additive category to be a semiadditive category having the property that every morphism has an additive inverse." 20:57:12 and matrices have negatives, q.e.d. 20:58:34 "The algebra of matrices over a ring, thought of as a category as described below, is also additive." 21:00:30 Taneb: actually strengthen that to "abelian category", i see nothing infinite in the definition of that either 21:01:07 "As special cases of the two previous examples: the category of vector spaces over a fixed field k is abelian, as is the category of finite-dimensional vector spaces over k." 21:01:27 oerjan, I'm not up to abelian categories 21:04:02 they're what you need to start doing homological algebra hth 21:04:42 (you'll probably _never_ get up to that *MWAHAHAHA*) 21:05:02 -!- yorick has quit (Remote host closed the connection). 21:08:16 man electrical engineers really dig infintesimals, wtf 21:14:56 -!- Oj742 has joined. 21:17:13 -!- Oj742 has quit (Client Quit). 21:21:26 whoa, https://en.wikipedia.org/wiki/Union-closed_sets_conjecture 21:22:59 that's... weird. 21:29:26 -!- AnotherTest has quit (Ping timeout: 240 seconds). 21:36:49 -!- conehead has quit (Ping timeout: 252 seconds). 21:40:38 -!- yorick has joined. 21:46:14 -!- edwardk has joined. 21:50:02 -!- boily has joined. 21:51:52 -!- edwardk has quit (Ping timeout: 245 seconds). 21:55:56 -!- Patashu has joined. 22:05:53 -!- boily has quit (Quit: PROBABLY CHICKEN). 22:07:01 -!- oerjan has quit (Quit: Oh well). 22:07:40 -!- Patashu_ has joined. 22:07:40 -!- Patashu has quit (Disconnected by services). 22:11:58 -!- ais523 has quit. 22:15:00 -!- oerjan has joined. 22:21:01 -!- oerjan has quit (Quit: And now, good night). 22:38:40 http://imgur.com/82wfP6h 22:42:14 oops. 22:43:53 i'm american, whats the problem 22:44:31 that looks correct :x 22:44:56 finland and norway are switched. 22:44:59 (i had to look it up) 22:44:59 Taneb : Close enough 22:45:45 -!- subleq_ has changed nick to subleq. 22:52:19 -!- tertu3 has joined. 22:55:19 To be fair, if you gave me a map of some random US state and its neighbours I wouldn't be able to tell whether two of the states' names were switched 22:55:40 Oh, I definitely wouldn't 22:55:40 although if I were annotating maps of US states I would probably look it up 22:55:46 Some parts of Europe I get wrong 22:55:55 Most counties of England I'd get wrong 22:56:07 i dont care about things outside of my bubble 22:56:07 "To my surprise, the M-function mex calls a Perl function, which parses (not calls!) a BAT file" help me 22:56:08 sue me 23:05:08 -!- ter2 has joined. 23:08:44 -!- tertu3 has quit (Ping timeout: 276 seconds). 23:09:06 . o O ( Would next Tuesday be convenient for you? Yes? Great, see you in court then! ) 23:13:20 -!- mhi^ has quit (Quit: Lost terminal). 23:20:16 -!- tertu3 has joined. 23:22:36 -!- tertu has joined. 23:24:00 -!- ter2 has quit (Ping timeout: 260 seconds). 23:24:38 -!- tertu3 has quit (Ping timeout: 240 seconds). 23:26:19 -!- shikhout has quit (Read error: Connection reset by peer). 23:27:11 -!- tertu has quit (Ping timeout: 252 seconds). 23:28:52 -!- shikhin has joined. 23:33:51 -!- shikhin has quit (Read error: Connection reset by peer). 23:34:46 -!- shikhin has joined. 23:35:22 -!- Sgeo has joined. 23:40:26 -!- shikhin has quit (Ping timeout: 240 seconds). 23:52:49 -!- yorick has quit (Remote host closed the connection). 23:53:13 -!- aretecode has joined.