00:15:42 -!- Jafet has joined. 00:24:27 -!- augur has joined. 00:24:59 -!- Nisstyre-laptop has quit (Quit: Leaving). 00:36:13 someone port cquote to esolangs, i'm too lazy to do it 00:36:27 cquote? 00:37:39 wp's fancy quote template w/ the big quote marks 00:37:49 now called centred something quote for some reason 00:38:12 sorry, illegal 00:38:22 can't port wikipedia templates without permission from all the authors 00:38:31 unless they're trivial 00:38:33 oh, public domain 00:38:40 btw it's Esolang singular!! 00:38:59 well then write me a quote template 00:39:05 no 00:39:14 imo fuck you 00:39:23 or ask for permission.. are there so many authors? 00:39:32 it's... wikipedia 00:39:36 yes, there are so many authors 00:40:41 do many wikipedians program templates? 00:40:51 i've been kind of assuming it's a cadre of maybe eight total dorknerds doing all that 00:41:52 yeah but that cadre has probably had some turnover over the years 00:42:31 well, just wanted to point out that's sometimes it's not a bad idea just to ask 00:43:05 there are actually a ton of people in the page history 00:43:14 we migrated one template over to Esolang because it turned out that the only person who had ever changed it was ais523 00:43:29 note: we only realised this /after/ resigning ourselves to not having it 00:43:55 y'all are good at bureaucracy arencha 00:47:43 Bike: bikecracy 00:51:38 which template was this 00:51:52 Phantom_Hoover: i forget 00:51:57 it'll be in ais523's template namespace contribs 01:03:26 -!- 14WAASJZS has quit (Quit: ZNC - http://znc.in). 01:04:21 -!- mnoqy has joined. 01:04:22 -!- FreeFull has quit (Read error: Operation timed out). 01:08:54 -!- FreeFull has joined. 01:24:31 "Don't choose Prepaid Card unless you got it from Luke in a promotion at a lug. " 01:24:33 wat 01:26:54 I guess that's not very wat 01:27:45 i found mediawikis api to be so huge, i'm sure diggin through it you will even find a way to connect it your fridges interface 01:28:28 http://www.reddit.com/r/netsec/comments/1ee0eg/zpanel_support_team_calls_forum_user_fucken/ lol ol ol 01:29:07 cute 01:42:40 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:13:32 -!- carado has joined. 02:20:19 -!- impomatic has quit (Quit: impomatic). 02:24:20 igh 02:24:55 Good coders trying to write reliable code should try to stick with well-documented, stable APIs, that behave sanely. Evil coders get to use whatever they can find 02:25:09 what about chaotic neutral coders 02:25:39 A decent webapp has no legitimate reason to use VBScript. But if there's something lurking there that an attacker can use, they can use it, at least when victims are using IE 02:25:45 etc. 02:25:50 * Bike still conflicted on use of "sanely" 02:26:39 i have no idea what is even the topic 02:26:54 sgeo. 02:28:31 If some browser supports a weird Javascript API foobarbaz() but other browsers don't, and foobarbaz isn't well documented, I shouldn't rely on it, but it still risks my user's data and who knows what else if it can interact with my code in ways I may not know about 02:28:50 Because attackers are free to use foobarbaz 02:29:16 kappabot: @quit forever 02:29:16 -!- kappabot has quit (Quit: forever). 02:45:50 mnoqy: how did you get that messge if you already got it 02:45:54 mnoqy: oh kappabot 02:45:57 no 02:46:00 oh 02:46:00 yes 02:46:01 mnoqy; lucky for you KAPPABOT IS DEAD 02:46:06 yes 02:49:20 Do you think death could possibly be a bot? 02:54:41 https://raw.github.com/cbcercas/zpanel-freebsd/master/config_packs/freebsd/bin/zsudo.c 02:54:45 Is... is this a joke? 02:55:07 That doesn't do what I think it does, does it? Let random users put arbitrary strings into commands to be executed? 02:55:35 There is so much wrong there. 02:56:12 Is it bad that I only see what I mentioned and the buffer overflow that I wouldn't know how to exploit? 02:56:35 wow 02:57:09 so does anyone notable use zpanel; if so why 02:58:08 Looks to me like you could manage a return-to-libc attack on it. 02:58:18 I don't know what a return-to-libc attack is 02:58:23 what the heck is this even for 02:58:30 Sgeo: you should learn because it's cool 02:58:32 Sgeo: wikipedia has an article 02:58:37 It is really cool. 02:58:44 also has a cool name 02:58:44 and return oriented programming is cooler 02:58:47 (a generalization) 02:59:00 I'd need some fiddling to *do* it, but that's where I'd start. 02:59:01 Sgeo: It's a fun exercise to figure these things out! 02:59:04 'return to libc' is way better a name than 'buffer overflow' or whatever, i think 02:59:05 Cause it's totally doable. 02:59:14 but seriously, what is this zsudo even for. 02:59:21 Bike: "buffer overflow" is a different thing. 02:59:29 Yes. 02:59:32 I'm just talking about the names. 02:59:56 Does seem easier to just close the ' in the argument... 03:00:08 I guess that's boring though 03:00:17 It probably is easier to exploit that way, yes. 03:00:21 it turns out that every binary gives rise to an esolang, whose primitive operations are any instruction sequences in the binary ending in a RET 03:00:33 and on x86 it doesn't even need to be an intentional RET, just a C3 byte anywhere 03:00:50 Or some other indirect jumps. 03:00:54 and for any nontrivial binary this esolang is complete for writing shellcode 03:00:54 String interpolation in the arguments to system() is really sneaky. 03:00:55 true 03:01:17 Erm. 03:01:18 Easy. 03:01:23 Erm. 03:01:24 Bad. 03:01:26 Bad bad bad. 03:01:31 Even I was capable of seeing it. 03:01:32 Words Josiah. 03:01:38 Yes. It's just a *bad idea*. 03:01:46 Cause it's so trivial to exploit. 03:01:49 so what is it forrrrr 03:01:59 (Although I was primed with the knowledge that the code was bad) 03:02:08 Maybe I wouldn't have seen it if I thought it was good code 03:03:06 Bike: It *basically* runs whatever command is passed to it as the user it's setuid to. 03:03:21 In a particularly strange way. 03:03:28 aren't there utilities do that already 03:03:38 Yes, but this one doesn't require a password. 03:03:46 "cool" 03:04:03 Why are they even writing C. I'm pretty sure php scripts can be setuid. 03:04:14 This thing is several levels of root exploit all in one. 03:04:25 Jafet: that suggestion makes me throw up a bit in my mouth 03:04:52 kmc: dude, no more buffer overflows 03:05:37 what does setuid(geteuid()) do again? 03:08:12 so if i run a setuid root program, i get uid = 1000, euid = 0 03:08:36 And setuid(0) then makes uid = 0. 03:08:40 ok 03:08:48 which is important to exec'd processes, or something? 03:09:01 Think so, yeah. 03:09:36 i like that the git repo also contains a binary for zsudo 03:10:06 Maybe that's another exploit 03:10:20 Maybe zpanel is actually a honeypot 03:12:12 -!- tswett_ has joined. 03:13:50 -!- ggherdov has quit (Ping timeout: 245 seconds). 03:13:51 -!- lambdabot has quit (Ping timeout: 245 seconds). 03:13:51 -!- tswett has quit (Ping timeout: 245 seconds). 03:25:33 -!- mnoqy has quit (Quit: hello). 03:26:27 Sgeo: `olist update on Friday, remember? 03:26:42 You are "responsible"""". 03:36:32 Oh, there are exciting new ways of addressing kmc. 03:36:33 hiuaf 03:36:45 hi is usually a function? 03:37:13 holomorphism is usually a function hth 03:39:20 ...Is that where 'miuaf' comes from 03:39:22 dagnabit 03:39:30 ...where did I get the word dagnabit from 03:40:03 49ers 03:41:45 I may have gotten the word from Fitznik 03:41:51 Here, have some Fitznik 2 musoc 03:41:53 sisc 03:41:54 music 03:42:00 http://www.youtube.com/watch?v=qfi71sO2hS0 03:43:33 Oh come on that person only uploads one Fitznik 2 song? 03:43:51 Here's another: http://www.youtube.com/watch?v=MP_rNaJ1vOw 03:44:10 @ask mnoqy chocolate chip chip chip 03:44:18 -!- kappabot has joined. 03:44:21 @ask mnoqy chocolate chip chip chip 03:44:21 Consider it noted. 03:54:13 -!- Bike has quit (Ping timeout: 248 seconds). 03:56:40 http://www.raspberrypi.com/ 03:56:42 wait what 03:56:54 I've never seen people need to buy codec licenses on their own before 03:57:10 That ... kind of puts the debate about non-free codecs in perspective 03:58:15 It's always been the case, the cost is just usually either invisible or ignored. 03:58:41 Invisible in the case of, say, Windows, or DVD players, or such, where the license is part of the cost. 03:58:52 Ignored in the case of ffmpeg, you dirty patent violator you. 03:59:13 -!- Bike_ has joined. 03:59:16 ignoring costs for dummies 03:59:34 What does Firefox 22+ do on non-Windows? 03:59:43 ..rely on the OS I guess 04:00:26 Yup. 04:00:30 ... suddenly I feel like I really should continue to press for WebM versions of videos... and the Javascript necessary to support it 04:01:06 Screw third-party vendors who don't know how to use their own product 04:01:27 Firefox 22+ does the same on Windows. :P 04:01:51 can i just say: fuck tha police 04:02:11 blasphemer 04:02:18 kmc, I'm sure there are Linux users who refuse to use ffmpeg 04:02:21 And similar things 04:02:25 yeah 04:02:29 I have a friend who refuses on principle to use Flash 04:02:31 Sgeo: ffmpeg can be built without nonfree codecs. 04:02:33 kmc: only in soviet russia hth 04:02:34 oh you're not talking about the police 04:02:36 -!- Bike_ has changed nick to Bike. 04:02:40 pikhq_, hm? 04:02:49 It isn't generally *used* this way, but it's just a build option. 04:04:06 So you'll have MPEG-1 and Theora and VP8. Oooh, aaaah. 04:04:29 And the commom MPEG version is MPEG-4? 04:04:32 Or something? 04:04:40 (Based on filenames ending with .mp4) 04:04:47 Yeah, the common *recent* MPEG version is in the MPEG-4 spec. 04:04:55 That'll fall out of patent in like 10 years. 04:05:30 MPEG-2 should be out of patent pretty soon if it's not already. 04:05:56 That'll be a bit of a bigger deal, because MPEG-2 is still actually used a lot. 04:06:36 (most digital TV systems are based on MPEG-2) 04:06:43 you mean like it could even get used more?= 04:07:45 * Sgeo wonders what the extension is for MPEG-3 04:07:53 Why are my palms spotted red and white and very itchy? 04:08:14 Sgeo: No such codec. 04:08:34 mp3? 04:08:36 shachaf: stigmata? 04:08:43 MPEG-3 was designed for a bit but it was discovered that MPEG-2 actually worked for HD video. 04:08:51 unterberg: That's MPEG-I layer 3 audio. 04:08:54 Did they avoid naming a codec that because of other file format extension? Oh 04:08:59 oh 04:09:01 ok 04:09:10 MP3 is patent-free by now. 04:09:13 Barely, but still. 04:09:19 Barely? 04:09:42 After 20 years, you can generally expect a compression algorithm to be totally useless 04:09:43 Oh, shit, no it's not, because the patent system was wonky then. 04:09:48 Isn't gif out of patent? 04:09:51 lolgif 04:09:54 Sept. 2015. 04:09:57 Sgeo: Yes. 04:10:14 > As a result, patents required to implement MP3 expired in most countries by December 2012, 21 years after the publication of ISO CD 11172. 04:10:15 :1:12: parse error on input `,' 04:10:18 oops. 04:10:23 lifthrasiir: US. :) 04:10:38 People don't seem to be switching back to .gif from .png 04:10:46 ah, submarine patents, that sucks. 04:11:00 When MPEG-4 comes out of patent, will people switch from WebM to MPEG-4 exclusively? 04:11:02 Sgeo: what you have to understand is, lolgif 04:11:31 http://gifs.gifbin.com/1234778541_lol.jpg 04:11:36 I like how video codec implementations are distributed based on the rationalization that although they infringe patents in the country where they're written and distributed, they might conceivably not infringe in some other country 04:12:36 patent law is fucked, pretty much any rationalization is fine with me 04:12:42 Jafet: And the rationale that source code isn't an infringing product, it's just part of an infringing product. 04:12:45 :) 04:12:46 Sgeo: Thx. 04:12:51 Yeah, patent law is fucked. 04:12:59 I thought the usual one was that only use of the code would be infringing 04:13:10 Content-Type:image/jpeg 04:13:13 wat 04:13:15 Yes, but the code itself is just text. 04:13:18 lol, really? 04:13:31 reading old arguments for copyright law is great 04:13:39 This doesn't apply to the DMCA of course. 04:13:49 As that makes *text describing how to circumvent* illegal. 04:13:53 I... does the browser just ignore Content-Type of images? 04:14:08 And why the hell is a GIFBIN sending image/jpeg in any circumstance 04:14:16 This doesn't apply outside murika, of course. 04:14:31 Or countries which have been politically pressured to emulate the DMCA locally. 04:14:39 If I upload a .html that manages to look like both a GIF and HTML, and give it a file extension ending with .html, will it be served as text/html? 04:14:46 Sgeo: The web is also fucked. 04:14:49 Everything is fucked. 04:14:53 Sgeo: Probably, but good luck pulling that off. 04:15:07 I don't even know if I have to make it look like both 04:15:14 pikhq: it's been done with html/jar 04:15:44 Jafet: That's nontrivial but probably actually doable. 04:16:00 Particularly if the JAR detection is naive and you don't care about it being *valid* JAR. 04:16:17 myprettyjsonpapi?callback=&x=.html 04:16:30 Although I think IE9 at least knows that that's not really HTML... 04:16:31 Shove 0x06054b50 in an HTML comment towards the end of the file. 04:16:58 With some more *work* it'd be doable to make it actually valid JAR. 04:17:40 PAPI 04:17:42 If you're careful you can have arbitrary data shoved in a ZIP file. 04:18:17 As an implementation is *required* to ignore anything not pointed to by the footer. 04:18:29 Which is itself somewhere within the last 64k of the file. 04:18:34 Yes, "somewhere". 04:19:43 -!- Lumpio- has quit (Ping timeout: 246 seconds). 04:19:51 ZIP is freaking designed to have shit hidden in it. 04:20:54 Aw man, the place I read Macaulay''s 19th century copyright speeches fell docwn. 04:23:36 http://www.baen.com/library/palaver4.htm good old IE error 04:24:02 isn't WebM compression better than MPEG-4? 04:24:42 Worse than MPEG-4 Part 10 (i.e. H.264), better than MPEG-4 Part 2. 04:24:54 MPEG-4 containes two *different* video codecs. 04:25:02 ah 04:25:13 yeah i was thinking of part 2 04:25:57 WebM is nowhere near as good of a format as the marketing would tell you (seriously, they said it was *better than H.264?*), but it's not bad. 04:26:23 It's "somewhat worse than H.264 baseline" rather than "... ffmpeg MPEG-2 beats it. Jesus." 04:26:48 What's the complexity class of h.264 04:26:56 BQP 04:27:02 (this probably isn't too fair, ffmpeg MPEG-2 is *really* good.) 04:27:34 i should probably figure out how video works some time. have some non-surface idea of why I can't watch video on my computer 04:27:49 Bike: It's a clusterfuck. 04:28:01 well, yes, that much is obvious from the preceding conversation if nothing else 04:28:18 Basically, digital video includes every single bad decision of broadcasting engineers over the course of 50 years. 04:28:20 Is there anything in computer technology that isn't a clusterfuck 04:28:31 If different files are encoded in different bitrates, is there a reason for a video player to try to choose one? 04:28:33 Is there anything that isn't a clusterfuck. Is there anything. Is 04:28:33 Digital video is so to a unique degree. 04:28:40 I don't understand bitrates 04:28:54 I'm curious about the historical aspect, pikhq. 04:29:04 (now that you mention it, i mean) 04:29:05 Sgeo: It's nothing more than the number of bits per second. 04:29:16 Sgeo: Which is loosely correlated with quality, but only loosely. 04:29:24 Bike: Are you familiar with interlacing? 04:29:40 That's like how old TVs only displayed alternate lines? 04:29:51 This is *part of video standards*. 04:29:59 Fantastic. 04:30:02 Why 04:30:18 Because some people decided to interlace digital videos 04:30:19 Should I watch this? http://www.xiph.org/video/vid1.shtml 04:30:25 Because video codecs were designed so that they could basically store regular OTA signals without modification. 04:30:28 Sgeo: Yes. 04:30:37 Bike: Which means that they had to encode interlaced signals. 04:30:43 sweet 04:30:44 Because the *broadcast itself is interlaced*. 04:30:50 Only the alternate lines even exist. 04:31:03 "a half-hour firehose of information" i don't think i'm up for this 04:31:08 There's still more crazy shit. 04:31:18 For instance, pixels in SD video are *not square*. 04:31:19 keep going, keep going, you've got me hooked 04:31:26 what... does that mean 04:31:30 They're rectangles. 04:31:37 Taller than they are wide. 04:31:46 @google pixels are not squares 04:31:47 i'd... expect the opposite? 04:31:48 Because this is how it happened to work on analog signals. 04:31:49 http://ftp.alvyray.com/Memos/CG/Microsoft/6_pixel.pdf 04:31:49 Title: A Pixel Is Not A Little Square, A Pixel Is Not A Little Square, A Pixel Is Not A ... 04:32:01 On computers, they're square. 04:32:20 give eme little squares or give me death 04:32:28 The upshot of which is that to display SD signals you need to scale the signal *no matter the resolution of your screen*. 04:32:33 This on top of your deinterlacing. 04:32:43 that sounds computationally expensive 04:33:18 Also fun: most digital SD signals actually have the vertical blanking area encoded. 04:33:30 Yeah, that's right. It's got black bits on the side. 04:33:43 in... the signal? 04:33:50 In the actual MPEG video. 04:33:59 Like there's a bit in the file saying "this far to the left is black"? 04:34:04 What happens if you put white bits there instead? 04:34:04 No. 04:34:17 The *video contains black there*. 04:34:26 uhhhhh. 04:34:32 Which is why the video is 720x480 instead of 704x480. 04:34:39 Only 704 of the pixels have video. 04:34:43 The other 16 are black. 04:35:07 If there was nontrivial video content there, would it just be an easter egg for someone to find, or would it break something? 04:35:21 Sgeo: Doesn't break shit. 04:35:32 Except it makes broadcast engineers cry. 04:35:58 This is an area where the electron beam in an analog TV is off. 04:36:01 I assume it gets ... compressed away though, right? 04:36:09 Somewhat. 04:36:31 It still takes space, but MPEG-style codecs are pretty good at dealing with regions that don't actually *move*. 04:37:17 Bike: You'll also "love" that US TV is at 60000/1001 frames per second. 04:37:22 Not 60, 6000/1001. 04:37:27 Erm, 60000/1001. 04:37:29 * Bike blinks 04:37:57 This was done when color was introduced, so that the color signal wouldn't interfere with the audio. 04:38:10 Before then it was 60. 04:38:21 and... it's still present in digital formats, or... 04:38:24 Yes. 04:38:44 This also means that one doesn't generally find 24 fps content, one finds 24000/1001 fps content. 04:39:04 Often stuck *in* a 60000/1001 stream via telecine. 04:39:44 (this is where each frame is shown in a pattern of 2, 3, 2, 3, ... frames) 04:39:44 3:2 "nobody will notice it" 04:40:23 European video does something slightly wonkier. They just speed up the video slightly so it's at 25 fps. 04:40:37 Because it's 50 fps there. 04:40:45 (because they use 50 Hz power) 04:41:17 Well, those could have been reasonable decisions at the time. 04:41:27 i believe that is the point. 04:41:45 Yes, this was done so they wouldn't need a timing circuit. 04:41:53 And instead just use the power as a clock. 04:42:02 Not that that helped in Japan... 04:42:11 Even clocks use the power grid as clocks 04:42:16 That's a bit funny 04:42:29 Poor, poor Japan. 04:42:59 Their TV is 60 fps. Their power is 50 or 60 Hz depending on which half of the country you're in. 04:45:01 http://en.wikipedia.org/wiki/Higashi-Shimizu_Frequency_Converter 04:45:33 And it's all 100V. 04:45:38 (why 100?) 04:47:43 Why not 100 04:47:57 100 cubits of electricity is a biblical law, pikhq 04:48:07 is a cubit like a qubit 04:50:08 -!- Gracenotes_ has changed nick to Gracenotes. 04:53:04 Jafet: They're the only country using 100V. 04:53:47 This makes exports more difficult, I guess 04:54:24 Except nowadays electronics tend to have 100-250V 50/60Hz power supplies. 04:54:42 And Japan uses the US sockets. 04:55:06 (like every country using 120V 60Hz power...) 04:56:13 100V is probably insignificantly safer 04:56:34 -!- Lumpio- has joined. 04:56:53 They also generally don't have grounded sockets. 04:57:32 yolo 04:57:47 yodo 04:58:25 Going to lectures by famous people is kind of annoying because people come to ask completely irrelevant questions. 04:59:10 I guess Feynman had a solution to that. 04:59:39 -!- TeruFSX has quit (Ping timeout: 260 seconds). 04:59:55 did he punch them? 05:01:16 I think he just went under a different name. 05:02:05 Anyway yesterday someone asked "Is mathematics a human invention or a discovery blah blah blah" 05:02:36 Look at that, you think of yourself as a great philosopher. Ain't that adorable. 05:02:41 mathematicians, the foremost opinions on philosophy of maths 05:02:47 that wasn't supposed to be "opinions" 05:03:26 are bicycles discovered or invented 05:04:01 Grown. 05:04:45 like puns? 05:04:53 Yes. 05:05:41 There should be a button people press to indicate that they understood your pun. 05:05:44 -!- nooodl has joined. 05:05:52 "the bike button" 05:08:24 -!- ggherdov has joined. 05:11:52 -!- carado has quit (Ping timeout: 246 seconds). 05:11:57 oerjan: the joke is that you "groan" at puns, as in "grown", hth 05:13:22 -!- carado has joined. 05:13:42 Why does oerjan need to be informed of this 05:13:57 oerjan needs to be informe of everything 05:14:01 why do you think he logreads 05:16:48 -!- nooodl has quit (Ping timeout: 245 seconds). 05:23:25 -!- carado has quit (Ping timeout: 246 seconds). 05:23:57 -!- carado has joined. 05:32:52 -!- carado has quit (Ping timeout: 246 seconds). 05:41:03 -!- Dragooon_Mac has joined. 05:57:37 -!- FreeFull has quit. 06:16:09 -!- Bike has quit (Ping timeout: 252 seconds). 06:19:40 -!- Bike_ has joined. 06:20:06 -!- Bike_ has changed nick to Bike. 06:31:18 -!- Lumpio- has quit (Ping timeout: 264 seconds). 06:38:31 -!- dessos has joined. 06:43:55 -!- Lymia has quit (Read error: Connection reset by peer). 07:39:31 -!- aloril has quit (Ping timeout: 264 seconds). 07:43:58 -!- Taneb has joined. 07:52:48 -!- aloril has joined. 07:55:21 -!- carado has joined. 08:21:08 -!- Taneb has quit (Quit: Leaving). 08:22:12 -!- conehead has quit (Quit: Computer has gone to sleep.). 08:31:47 -!- conehead has joined. 08:46:29 -!- Phantom_Hoover has joined. 09:11:58 -!- Lumpio- has joined. 09:20:02 -!- ggherdov has quit (Changing host). 09:20:02 -!- ggherdov has joined. 09:20:02 -!- ggherdov has quit (Changing host). 09:20:02 -!- ggherdov has joined. 09:21:01 -!- carado has quit (Quit: Leaving). 09:21:15 -!- carado has joined. 09:44:36 -!- Dragooon_Mac has quit (Quit: Dragooon_Mac). 09:45:31 -!- Bike has quit (Read error: Operation timed out). 10:27:00 -!- Bike has joined. 10:35:17 -!- sebbu2 has joined. 10:35:52 -!- sebbu2 has quit (Changing host). 10:35:52 -!- sebbu2 has joined. 10:38:46 -!- sebbu has quit (Ping timeout: 246 seconds). 10:42:47 -!- Taneb has joined. 11:10:04 -!- impomatic has quit (Ping timeout: 256 seconds). 11:12:50 @messages? 11:12:50 Sorry, no messages today. 11:13:39 haneb 11:20:08 -!- epicmonkey has joined. 11:40:53 -!- Taneb has quit (Quit: Leaving). 11:45:53 -!- unterberg has changed nick to hagb4rd. 11:53:17 -!- Koen_ has quit (Ping timeout: 252 seconds). 12:19:36 -!- rodgort has quit (Write error: Connection reset by peer). 12:21:53 -!- Taneb has joined. 12:26:55 -!- rodgort has joined. 12:41:43 -!- boily has joined. 12:41:48 -!- metasepia has joined. 12:44:24 -!- Taneb has changed nick to TanebNgevdatriq. 12:45:33 I got fed up of choosing between nicks 12:49:14 as long as I can autocomplete on 'ta ', everything's fine. 12:53:16 > (zipWith (-) `on` ord) "taneb" "atriq" 12:53:17 Couldn't match expected type `[c0]' 12:53:17 with actual type `GHC.Type... 12:53:20 > (zipWith (-) `on` map ord) "taneb" "atriq" 12:53:20 [19,-19,-4,-4,-15] 12:53:42 > (zipWith (+) `on` map ord) "taneb" "atriq" 12:53:43 [213,213,224,206,211] 12:55:09 -!- tswett_ has changed nick to tswett. 13:06:03 -!- Koen_ has joined. 13:13:49 -!- TanebNgevdatriq has quit (Ping timeout: 246 seconds). 13:23:26 ^rot13 ngevd 13:23:27 atriq 14:06:07 -!- sebbu2 has changed nick to sebbu. 14:24:09 -!- nooodl has joined. 14:30:58 -!- epicmonkey has quit (Ping timeout: 245 seconds). 14:32:30 -!- epicmonkey has joined. 14:53:45 ^rot13 taneb 14:53:46 gnaro 14:53:59 gnarhello 15:00:53 -!- Taneb has joined. 15:01:08 ^rot13 FireFly 15:01:08 SverSyl 15:01:28 SverSyllo. 15:01:44 ^rot13 fungot 15:01:44 shatbg 15:02:01 oh, only one reply from fungot? 15:02:02 boily: meeting with transalta and other me priorities. identify any necessary true that aec for such a site 16:14:55 Ah, fuck, I just realised I really want to read Prequel again. 16:14:57 -!- zzo38 has joined. 16:34:33 -!- FreeFull has joined. 16:37:57 -!- kallisti has joined. 16:37:57 -!- kallisti has quit (Changing host). 16:37:57 -!- kallisti has joined. 16:41:55 ^rot13 rothirteen 16:41:55 ebguvegrra 17:11:16 > 1 / 0 17:11:17 Infinity 17:13:28 > ((1/) . (1/)) 0 17:13:29 0.0 17:14:07 > ((1/).(1/)) -0.0 17:14:08 No instance for (GHC.Real.Fractional (c0 -> c0)) 17:14:08 arising from a use of `... 17:14:28 Bike..................... 17:19:53 -!- MindlessDrone has joined. 17:43:13 -!- oerjan has joined. 17:46:57 Why does oerjan need to be informed of this <-- this also eludes me, maybe the rest of the logs will clarify. 17:47:08 oerjan: they won't hth 17:47:45 ah. in that case, did i say anything, at any time, that provoked your information? dwh 17:47:48 oops 17:47:53 *twh 17:48:01 twh? 17:48:04 twh? 17:48:08 that was helpful? 17:48:09 twh. 17:48:10 "this would help"? 17:48:14 there was hambiguity. 17:48:26 and Bike is the winner! or close enough, anyway. 17:48:33 i could go for some hambiguity atm 17:48:47 @hoogle blah 17:48:47 Could not find some databases: default 17:48:47 Searching in: 17:48:48 . 17:48:54 nice 17:49:03 @hoogle hoogle 17:49:03 Could not find some databases: default 17:49:03 Searching in: 17:49:03 . 17:49:10 patience hth 17:49:15 kappabot: what did you do to poor lambdabot 17:49:34 kappabot murdered lambdabot 17:49:47 @hoogle oerjan 17:49:48 and he (she?) pretends to be lambdabot 17:49:48 Could not find some databases: default 17:49:48 Searching in: 17:49:49 . 17:49:57 bo o ring 17:50:02 @hoogle map 17:50:03 Could not find some databases: default 17:50:03 Searching in: 17:50:03 . 17:50:09 wat 17:50:12 ~duck map 17:50:12 i sense a lack of databases. 17:50:13 A representation, usually on a plane surface, of a region of the earth or heavens. 17:50:13 PATIENCE 17:50:19 no 17:50:25 PATIENCE yes 17:50:28 ~duck hoogle 17:50:29 Software description: add commands to use Hoogle within vim (VimL). 17:51:09 shachaf: ah it's your bot that explains the impatient PATIENCE 17:51:20 *+, 17:52:12 @hoogle map 17:52:13 Prelude map :: (a -> b) -> [a] -> [b] 17:52:13 Data.List map :: (a -> b) -> [a] -> [b] 17:52:13 Prelude mapM :: Monad m => (a -> m b) -> [a] -> m [b] 17:53:04 @hoogle data 17:53:04 Data.Data class Typeable a => Data a 17:53:05 Data.Data module Data.Data 17:53:05 Data.Data dataCast1 :: (Data a, Typeable1 t) => (forall d. Data d => c (t d)) -> Maybe (c a) 17:54:08 there are actually a ton of people in the page history <-- but how many of those are vandals that were reverted? you could _probably_ consider those not to share in the copyright, right? 17:54:23 @hoogle (^!) 17:54:24 No results found 17:54:26 :-( 17:54:28 it is, uh, one of the standard templates 17:54:38 it's been locked since forever 17:54:47 ...okay. 17:55:10 what if you went on a daring ocean's eleven style heist to just /steal/ the template 17:55:48 Bike: that would not help the esolang wiki hth 17:56:09 what if instead of not helping... it did helping? 17:56:20 Bike: stealing doesn't quite work like that on information 17:57:32 have you tried 17:59:59 `log t[o] unterberg 18:00:30 No output. 18:01:02 oh wait 18:01:14 `log i[s] now known as unterberg 18:01:20 2013-05-15.txt:18:34:20: -!- madb4rd2 is now known as unterberg. 18:01:53 ... is now known to unterberg. 18:02:04 *MWAHAHAHA YOU HAVE BEEN REVEALED* 18:03:12 oerjan: can i been revealed..... 18:03:17 @hoogle ^?! 18:03:17 Control.Lens.Fold (^?!) :: s -> Getting (Endo a) s a -> a 18:03:18 Control.Lens.Operators (^?!) :: s -> Getting (Endo a) s a -> a 18:03:28 let's try! 18:03:35 `log i[s] now known as shachaf 18:03:40 2012-10-22.txt:09:10:19: -!- SHACHAF is now known as shachaf. 18:04:00 shachaf: that seems somehow unsatisfactory. 18:04:35 why the [s]? 18:04:47 boily: to make sure the line doesn't match itself. 18:05:09 `log is that actually necessary 18:05:14 2013-05-16.txt:18:05:09: `log is that actually necessary 18:05:18 wow. 18:05:22 point. 18:05:56 `log yes Bike 18:06:00 Bike: there is also `pastlog which restricts to not matching today 18:06:02 2013-03-14.txt:00:02:31: yes Bike, there exist multiple RSS readers 18:06:33 `log yes shachaf 18:06:38 2013-01-19.txt:15:03:37: http://hypirion.com/swearjure (yes shachaf, this is Clojure related) 18:06:44 `log ye[s] oerjan 18:06:46 -!- epicmonkey has quit (Ping timeout: 276 seconds). 18:06:48 `log no shachaf 18:06:50 2007-12-31.txt:21:50:20: yes oerjan 18:06:53 2013-01-14.txt:07:31:52: no shachaf, no 18:07:08 "whoopse" 18:07:24 `log mayb[e] boily 18:07:29 2013-02-07.txt:20:55:36: maybe boily had some cleverer exploit in mind I didn't though 18:07:54 `log perhap[s] Bike 18:07:59 2013-05-05.txt:23:26:11: perhaps Bike is what you should be terrified of 18:08:07 yes indeed 18:08:50 `log nooo[^d] 18:08:56 2012-02-23.txt:18:53:06: Noooo 18:09:16 dl. 18:09:18 `log nooo+[^d] 18:09:22 `log perhap[s] bonghits 18:09:23 download? 18:09:23 2013-04-14.txt:15:08:24: nooooooooooooooooo 18:09:27 2012-08-27.txt:23:26:47: perhaps bonghits will fix your monad transformer stack 18:23:38 Now I made a SQL database of the headers of all of the Infocom games (including the unreleased ones). 18:24:12 An SQL database sounds surprisingly... normal for zzo38 18:24:27 Surely it's not anything mainstream like sqlite/postgresql/mysql? 18:24:38 It is SQLite. 18:25:28 zzo38: that kind of non-obscure attitude is poorly viewed in this channel. stop being logical and normal. 18:27:41 Why are my palms spotted red and white and very itchy? <-- that reminds me of a similar experience, 14 years ago. did this (1) start with thinking extremely negative thoughts and (2) continue with vomiting ? 18:28:05 It includes the unreleased files; there seems to be one Zork I file in version 6. There is also something called "Milliways" which is also version 6; this is not mentioned in the Z-Machine Standards Document. 18:28:11 oerjan: no and no, hth 18:28:18 good, good. 18:28:45 maybe i mean tth 18:29:07 argh 18:29:15 ?????????????? 18:29:23 tth logic, with transistors and hambiguities? 18:29:27 the acronyms are breeding! 18:29:37 oerjan: sounds like an exciting experience 18:30:11 http://gomsx.net/hansotten/msxdocs/machinecodeforbeginners.pdf fuck yes I had this book growing up 18:30:29 elliott: it made me realize that sometimes it is important not to think about stuff too much hth 18:30:36 i thought you grew up before books were invented 18:30:57 oerjan: sounds like that animal poison that supposedly causes a feeling of impending doom 18:31:17 kmc: Is it worth it waiting N minutes for the 15MB file to load? 18:31:23 I thought so 18:31:26 but nostalgia 18:32:29 kmc: how do I get chromium to show pdfs in a little embedded evince thing 18:32:31 it has to be possible right 18:32:37 Hmm, that picture looks promising. 18:32:45 elliott: just use libpdf.so hth 18:32:57 i dion't know 18:33:08 olsner: i think i had better triggers for feelings of impending doom than that at the time hth 18:33:24 this channel has an hth problem 18:33:38 just say no to hth hth 18:34:01 kmc: well i sure hope that fancy mozilla browser does pdfs nicely!! 18:34:29 hello, am mozilla firefox of afghanistan 18:34:37 Bike: we're still under 0.2 hpp. 18:34:55 (Hambigs Per PRIVMSG) 18:34:57 i don't know what that means. are you hitting on me 18:35:09 hths per [?] 18:35:39 zzo38: milliways is the name of the restaurant at the end of the universe in douglas adams' book of the latter name fwiw 18:35:44 Bike: hitting on you is the purpose of this channel hth 18:35:58 hott 18:36:01 Bike: we can still be friends. 18:36:16 hmm, fwiw and hth seem like synonyms 18:36:28 that's because they're both meaningless. 18:37:07 kmc: Oh, it's only ~0 pages. 18:37:21 fwiw they're _not_ meaningless hth 18:37:22 -!- augur has quit (Remote host closed the connection). 18:37:48 considering figuring out how to get irssi to black out "hth" 18:37:49 -!- augur has joined. 18:38:04 they're meaningless hth. ftfy. 18:38:05 just /ignore lines that end in hth hth 18:38:18 shachaf: irssi can do that? 18:38:24 ok seriously stop the hth thing or i'm going to go crazy 18:38:41 you can ignore patterns, yeah 18:38:41 hth. hth. hth! HTH HTH HTHHHHH N 18:38:41 boily: /ignore -regexp hth$ hth 18:39:06 oh well. hth  18:39:24 11:38 -replies: Ignore replies to nick in channels. For example 18:39:24 11:38 "/IGNORE -replies *!*@*.fi PUBLIC" ignores everyone 18:39:24 11:38 from Finland, but also anyone sending message 18:39:24 11:38 "tofinnishnick: blahblah". 18:39:27 irssi is great 18:39:50 that's sleazy. 18:39:50 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:40:02 elliott: are you sure it's not too late? 18:41:21 I'm disturbed. there's at least one web framework written in any possible language: http://leafo.net/lapis/ 18:42:11 what the heck is surprising about lua 18:42:31 -!- augur has quit (Ping timeout: 264 seconds). 18:42:45 is there a web framework for fortran? intercal? 18:43:02 there's one for cobol, as demonstrated by our illustrious friend earlier 18:43:03 Bike: no problems in lua. it's the moonscript part that surprises me. 18:43:17 http://www.intercaloninterstates.org/ hth 18:43:22 it has "script" in it so i'm not surprised 18:46:24 we should then rename brainfsck to brainscript, then magically a web framework will appear. 18:46:55 Bike: arrays being indexed from 1 18:47:01 hth 18:47:18 a practice started by notable mainstream language APL!!! 18:47:51 hm I forget what J does 18:48:43 APL isn't even a programming language hth 18:51:24 * oerjan can finally press the Bike button. 18:51:43 what's the Bike button? 18:51:54 The button you press when somebody doesn't understand a pun. 18:51:54 what's the Bike button do? 18:52:05 It gets pressed. 18:52:08 don't do it olsner 18:52:19 don't depress the Bike button 18:52:26 shachaf: I'm not doing anything, the question is what the button does 18:52:34 lua is a fine language with a really fast JIT 18:52:37 so, fine 18:52:48 i guess MoonScript is the CoffeeScript of Lua? 18:53:07 i hear luajit is p. great 18:54:09 olsner: http://25.media.tumblr.com/9b696b6531098b0ff81bef25af1b3027/tumblr_mlswq3ZGrX1snfhwio1_1280.png 18:54:22 Bike: no, that's when you _do_ understand a pun, sheesh 18:54:29 nice 18:56:50 I don't understand puns, oerjan. Not now, not ever. 18:57:19 ic 18:57:34 Bike: You didn't use to understand them, but they've grown on you. 18:57:35 hth 18:57:35 * oerjan puts Bike on his nemesis list 18:57:46 oerjan: Am I on your nemesis list? 18:58:08 puns tend to grow like mushrooms. 18:58:15 i can neither confirm nor deny that. 18:58:19 like pungus. 18:58:54 ^rot13 pungus 18:58:55 chathf 19:01:00 ^rot13 fungi 19:01:00 shatv 19:04:34 -!- mrtrop has joined. 19:05:05 -!- mrtrop has left. 19:15:54 -!- epicmonkey has joined. 19:16:00 -!- Bike has quit (Ping timeout: 256 seconds). 19:19:44 -!- Bike has joined. 19:28:17 -!- augur has joined. 19:47:08 -!- DHeadshot has joined. 19:49:21 -!- atriq has joined. 19:50:07 -!- Taneb has quit (Ping timeout: 276 seconds). 19:52:15 -!- hagb4rd2 has joined. 19:54:13 -!- hagb4rd has quit (Ping timeout: 246 seconds). 19:54:28 -!- zzo38 has quit (Remote host closed the connection). 19:57:03 -!- ais523 has joined. 20:15:06 hichaf 20:18:28 hellogan 20:18:46 * shachaf considers /hilight -regexp chaf\b 20:21:53 yeah 20:21:56 you should do that 20:23:18 `run grep 'chaf$' /usr/share/dict/words 20:23:20 grep: /usr/share/dict/words: No such file or directory 20:23:26 darn. 20:23:36 It's empty anyway. 20:23:41 With my word list, at least. 20:23:49 yeah, same, just gotta demonstrate 20:26:44 ooh, tekmo has changed/removed the behavior of StateP in the pipes library that i found so weird... 20:27:18 i choose to read that as "the pipes library that i found so weird" 20:31:43 IF YOU MUST 20:32:01 I MUSTOERJAN 20:32:06 O KAY 20:34:11 Puzzle: Which word is used in the phrase "if for no other reason th[ae]n"? 20:34:33 `! ŒRJAN 20:34:35 ​ŒRJAN! ¯\(°_O)/¯! 20:35:54 -!- atriq has changed nick to Taneb. 20:36:21 Taneb: still having identity troubles? 20:36:27 shachaf: is it "reason"? 20:36:39 boily, I don't know who I am any more 20:36:44 Maybe I'm just Phantom_Hoover 20:37:25 olsner: the puzzle is than vs. then 20:37:46 Phantom_Hoover, am I you? 20:37:53 ye 20:37:54 s 20:38:01 boily, it's official 20:38:04 I'm actually Phantom_Hoover 20:38:09 -!- Taneb has changed nick to Phantom_____Hoov. 20:38:11 shachaf: it depends, is that the phrase with then or the one with than? 20:38:15 -!- Phantom_____Hoov has changed nick to Phantom___Hoover. 20:38:24 The *standard* phrase, olsner. 20:38:24 -!- Phantom___Hoover has changed nick to Taneb. 20:38:43 NickServ doesn't like me admitting our shared identity, Phantom_Hoover 20:38:52 shachaf: than if you're making a comparison. then if you're saying “if for no other reason, then that stuff will happen”. 20:39:15 boily; Yes, but *which is it*? 20:39:34 "if for no other reason then because X" 20:39:46 shachaf: than. you're comparing. 20:40:08 No. 20:40:11 then. you're stating a consequent. 20:40:22 I know what "than" and "then" mean. 20:40:29 then then. 20:46:33 -!- coppro_ has joined. 20:47:43 -!- coppro has quit (Disconnected by services). 20:47:55 -!- coppro_ has changed nick to coppro. 20:49:39 -!- FreeFull_ has joined. 20:50:28 if for no other reason than because you can say it like this 20:50:41 -!- FreeFull has quit (*.net *.split). 20:50:42 -!- pikhq_ has quit (*.net *.split). 20:51:18 except that's not a whole sentence 20:51:42 -!- boily has quit (Quit: Poulet!). 20:51:44 -!- boily1 has joined. 20:52:03 -!- boily1 has changed nick to boily. 20:52:04 you should make it a whole sentence, if for no other reason than because otherwise it just confuses shachaf 20:52:21 -!- Nisstyre-laptop has joined. 20:52:37 *would just confuse 20:52:59 they removed fulsome and evaporate from 0.12. I am sad. 20:53:19 evaporate was ... liquidated. 20:54:04 oerjan: remind me to whack you tomorrow morning. 20:54:08 you vile punster. 20:54:10 -!- boily has quit (Client Quit). 20:54:13 -!- metasepia has quit (Remote host closed the connection). 20:55:06 @tell boily whack me in the morning. 20:55:06 Consider it noted. 20:58:20 T DEUCE WHACK ME IN THE MORNING 20:59:55 petition to make T WHOEVER a synonym for @tell whoever 21:00:41 -!- pikhq has joined. 21:01:12 only if the entire message is in all caps 21:03:38 -!- augur has quit (Remote host closed the connection). 21:07:18 -!- augur has joined. 21:10:21 -!- Nisstyre-laptop has quit (Quit: Leaving). 21:13:59 -!- Phantom_Hoover has quit (Remote host closed the connection). 21:21:57 -!- Taneb has quit (Quit: Leaving). 21:23:51 i need to get a better rubik's cube if I'm going to fiddle with it all day 21:23:54 or else i will get RSI 21:25:05 rubik's scrambling insanity 21:27:18 -!- mnoqy has joined. 21:28:08 kmc: are there premium rubik's cubes 21:28:55 -!- oerjan has quit (Quit: scrambling out of here). 21:29:07 yes 21:29:19 oiled rubik's cubes 21:29:30 made out of 100% aluminium 21:29:45 i think high end speed cubes are still plastic but yes, they are lubricated 21:29:57 usually with graphite or sillicone 21:30:01 petroleum is bad 21:30:39 high speed cubes with silly cone 21:30:48 https://www.youtube.com/watch?v=wW-rd9ZR-TA 21:31:21 2 rubik 2 furious 21:31:41 i went to college with one of the rubiks cube world record guys 21:31:53 ok i can't help but be amused at the 2x2 record 21:31:55 is that 3x3 cube really scrambled properly? 21:32:22 i assume it is scrambled according to http://www.worldcubeassociation.org/regulations/#article-4-scrambling 21:32:35 world cube association 21:33:26 looks like there's a lot of dexterity involved 21:33:32 yep 21:34:06 also you have to memorize a lot of different move sequences 21:34:44 vs the simple methods used by dabblers such as myself 21:35:01 which involve a few simple move sequences, that you may need to apply many times 21:35:26 i think my record time for 3x3x3 is like... 1m30s 21:35:48 I've never solved a cube 21:35:49 Mine's approx. 2m. (I don't have a good figure because it's been a while) 21:42:26 -!- DH____ has joined. 21:42:42 -!- DHeadshot has quit (Read error: Connection reset by peer). 21:44:17 -!- Phantom_Hoover has joined. 21:48:03 -!- nooodl has quit (Ping timeout: 245 seconds). 21:49:13 someone solved 2033 cubes in 2012, and apparently you need to be faster than about 8s to reach top 100 21:51:53 -!- lambdabot has joined. 21:52:06 fungot: how are your cube skills? 21:52:06 olsner: past 2001 outages related that impact accounting for any enron public relations with the different on our " form" llc agreement of the call you asked. 22:02:55 @massages 22:02:55 You don't have any new messages. 22:02:56 You don't have any new messages. 22:03:13 this is a job for the esoteric logs! 22:03:43 ^style 22:03:44 Available: agora alice c64 ct darwin discworld enron* europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 22:03:47 mmm 22:04:10 thence the word enron in fungot's previous statement 22:04:10 olsner: i may not see teams listed in the attached and let cynthia know any major complications of a schedule the next. market as 22:19:18 -!- sebbu has quit (Ping timeout: 245 seconds). 22:22:50 elliott: Today at the store I saw a box labeled "Flake" an below that "the crumbliest, flakiest milk chocolate". 22:22:59 There was also some Arabic text (?). 22:23:05 Unfortunate it had been emptied. 22:24:08 the flakiest milk chocolate is just air 22:24:24 that's p. flaky 22:27:08 -!- kingof9x has joined. 22:28:34 so itchy :'( 22:28:51 i can't concentrate on anything through my itchy palms and itchy feet and itchy stomach 22:28:56 what do i do 22:30:20 itch cream? 22:30:33 i read that as a deliberate misspelling of ice cream 22:30:50 i also started craving a flake when i read what shachaf said, maybe my body is trying to tell me it needs sugar 22:31:06 elliott: maybe you just need to wait patiently 22:31:31 -!- sebbu has joined. 22:32:03 -!- sebbu has quit (Changing host). 22:32:03 -!- sebbu has joined. 22:38:21 i have some itch cream, it's p. good 22:38:28 for itches i mean 22:38:29 not to eat 22:39:03 that was better when i read it as "ice cream" 22:39:26 anyway it's all over my body everywhere 22:39:27 i really want ice cream now 22:39:32 so maybe i should eat it 22:39:54 okay now my mouth is full of useless saliva TAHNK YOU 22:48:27 saliva has all sorts of uses! 22:49:42 i'm finding out that you can't mess around with saliva 22:50:18 "mess around with"? 22:50:29 -!- epicmonkey has quit (Ping timeout: 245 seconds). 22:54:35 kmc meant to say salvia but typo'd the joke is kmc drugs 22:54:54 kmc meant to say sativa but typo'd the joke is kmc drugs 22:55:09 all of that 22:55:38 derp. 22:55:50 did someone say kmc drugs i love that joke 22:56:21 drugs more like keegan laugh devices 22:56:30 -!- kingof9x has quit (Ping timeout: 264 seconds). 22:57:13 mnoqy: really what a coïncidence we make that joke in #esoteric a lot 22:57:18 you should join 22:57:46 #esoteric-drugs 23:06:46 I was so utterly furious earlier today 23:06:51 I'm calm now though. 23:07:24 Sgeo: need help getting to that emotional peak again? 23:08:19 -!- kappabot has quit (Quit: for now). 23:15:25 Sgeo: what were you furious about? 23:16:08 @wn furiosity 23:16:09 No match for "furiosity". 23:16:22 measured in furions 23:23:19 -!- kingof9x has joined. 23:26:34 `welcome kingof9x 23:26:37 kingof9x: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 23:30:57 TWO DAYS 23:32:37 ? 23:33:35 three days 23:36:18 https://www.youtube.com/watch?v=tjecYugTbIQ 23:37:13 Doctor Who season finale 23:39:37 hey elliott remember that thing about formal power series and types 23:39:50 Phantom_Hoover: uh what about it 23:40:01 Hmm, is there any reason for me to get a Raspberry Pi 23:40:47 power series and types? 23:40:48 I don't even have an external monitor I can use :( 23:41:27 elliott, `where was it' 23:41:32 Phantom_Hoover: which one 23:41:36 Informal power series 23:41:40 the one i read 23:41:45 which one 23:43:38 Sgeo: well is there a project you want to do 23:43:45 or do you think that having it will inspire you to do a project 23:43:47 kmc, not really 23:43:55 (At least not really to the former) 23:44:05 i want to get one to run some LED strips 23:44:32 And ... the latter seems more likely if, say, I had a server on prgmr or something 23:44:40 Than if I had a little computer I could carry with me 23:45:14 I can think of plenty of times in my past where I wished I had a server 23:45:45 Sgeo: I eventually got one, for that reason 23:46:18 I actually have money now that I could use to ... buy one 23:50:29 is calling people eichmann the new calling people hitler 23:51:02 isn't it pretty old? i mean there's that book "little eichmanns" 23:51:39 ...apparently I don't know history. I thought you were referring to the guy who annoyed people and was involved with libc... but I think his name begins with U 23:51:53 drepper? 23:52:02 ulrich drepper, that is 23:52:21 the point is: sgeo........... 23:52:55 elliott, uh, the one w/ the power series 23:52:56 man 23:53:08 who would've thought discrete maths 2 would have any practical applications 23:53:18 practical applications in type theory 23:53:19 Phantom_Hoover: will you mail me some cadbury flake 23:53:32 if you pay for postage 23:53:32 wow sgeo 23:53:33 and the flake 23:53:43 anyway: are there like a lot of papers about type theory and power series 23:53:44 is cadbury flake good 23:54:00 yes 23:54:01 mnoqy: i don't know i've never had any 23:54:09 imo an excellent flake 23:54:10 Phantom_Hoover: how much would it be 23:54:16 what do you people put in your ice creams 23:54:18 Phantom_Hoover: elliott offered to pay for postage i think???? 23:54:28 can elliott not buy his own flake 23:54:41 q: whats flake 23:54:48 mnoqy: its good yes 23:54:54 http://en.wikipedia.org/wiki/Flake_(chocolate_bar) flake 23:54:55 kmc: a: its like mekupelet hth 23:54:56 some kind of british candy 23:55:05 q: eat jaffa cakes instead hth 23:55:06 man 23:55:14 you guys don't have 99 ice creams then?? 23:55:23 kmc: a: the jaffa cakes from the other day were kind of terrible hth 23:55:25 we have 31 flavors 23:55:35 kmc: let me get a good picture for you 23:55:36 or maybe it's me who was kind of terrible???????????? 23:55:43 we only have like 10 but otoh we have flakes 23:55:53 also: fuck you kmc jaffa cakes are vile 23:55:56 kmc: http://www.bonappetit.com/images/magazine/2011/10/hipster-candy/cadbury-flake-484.jpg 23:55:56 Phantom_Hoover: what 23:56:03 Phantom_Hoover: how can you be so wrong 23:56:09 elliott: ah yes, hipster candy 23:56:12 kmc: http://shutupinternet.files.wordpress.com/2010/02/flake.jpg 23:56:15 hope this helps 23:56:18 http://static.flickr.com/29/141111540_a537736a91_m.jpg 23:56:18 mnoqy: shut up internet 23:56:19 ok 23:56:33 Phantom_Hoover: jaffa cakes are good btw 23:56:38 fuck you also 23:56:41 http://farm5.static.flickr.com/4087/4965525449_295ccde31f.jpg mekupelet 23:56:45 have i ever had a jaffa cake???no idea 23:57:06 mnoqy: "its a euphemism for simon marlow hth" 23:57:11 mnoqy: do you want me to mail you some cadbury flake's + jaffa cake's (the proper mcvities kind) 23:57:35 i could include uh 23:57:37 no 23:57:39 other british things 23:57:42 send him some digestives 23:57:43 Hmm, how much do OLPCs cost 23:57:43 if i can think of any 23:57:43 british things 23:57:45 also some ginger nuts 23:57:48 okay i'll include some digestives 23:57:49 yes good idea 23:57:53 he needs to learn how pretentious he is with tea 23:57:55 mnoqy's going to learn ALL ABOUT biscuits 23:58:11 Wasn't there a time you could buy one which would also donate one? 23:58:13 http://www.flickr.com/photos/kirsch/141111540/sizes/l/in/photostream/ better picture 23:58:29 elliott: hey i saw cadbury digestive biscuits for sale today 23:58:38 it sounds kind of disgusting 23:58:41 shachaf: cadbury?? did they have chocolate on them 23:58:42 mekupelet looks awful 23:58:45 not all digestive's have chocolates 23:58:47 Sgeo: you could also donate some money without doing so as part of a purchased bundle. 23:58:51 like a laxative?? 23:58:55 no 23:58:57 it's tasty! 23:58:58 "digestive biscuit" is like the least appetizing name for a food 23:59:01 fairly sweet 23:59:08 yes and yet they are the best biscuit 23:59:11 well, maybe 23:59:12 Bike, sure, but maybe I want one >.> 23:59:16 ginger nuts are pretty excellent 23:59:18 you kind of have to dunk it in milky tea for it to taste nice tho, regardless of whether you like milky tea or not 23:59:25 aren't they basically just netbooks? 23:59:27 uh, no 23:59:29 since otherwise it's very... dry 23:59:29 elliott: british lifehack 23:59:30 i mean you can just, buy a netbook 23:59:31 Phantom_Hoover: well it depends 23:59:38 if you have like half a digestive then sure it's okay dry 23:59:42 but imo a full one is a bit much 23:59:46 this channel is disgusting 23:59:46 of late i take a bite out of the biscuit, then drink the tea and let them mix in my mouth 23:59:49 also fuck milk 23:59:50 Bike, it has some custom software which is interesting iirc 23:59:58 Sgeo: i advise against buying an OLPC XO 23:59:59 sorry are you talking about a food honestly called "digestive biscuit"