00:04:06 in retrospect, joining the git list then not reading it was kind of pointless... now I just have 9000 mails about git that I'm not going to read 00:11:23 -!- Sgeo has joined. 00:23:43 That happened to me, then i just unsubscribed. :-P 00:33:23 -!- Nisstyre has quit (Quit: Leaving). 00:33:26 -!- copumpkin has quit (Ping timeout: 240 seconds). 00:33:56 -!- copumpkin has joined. 00:35:16 -!- Koen_ has quit (Quit: Koen_). 00:41:08 taneb: inversion is another name for homosexual 00:42:02 what 00:42:17 he asked at about 2:30 00:42:47 http://en.wikipedia.org/wiki/Sexual_inversion_(sexology) 00:42:57 it's a little bit more complicated than just "old word for 'gay'" I think 00:43:30 yes, it has different metaphsysics 00:44:10 metaphsysics 00:44:21 I"m in a misuseing words mood today 00:49:03 I need a "days until everyone stops talking about Burning Man because they are in the desert" countdown 00:58:35 -!- zzo38 has joined. 01:02:38 -!- Nisstyre has joined. 01:11:49 -!- Phantom_Hoover has joined. 01:25:55 -!- copumpkin has quit (Ping timeout: 246 seconds). 01:26:24 -!- copumpkin has joined. 01:32:03 -!- Phantom_Hoover has quit (Quit: Leaving). 01:32:20 -!- Phantom_Hoover has joined. 01:33:55 -!- Phantom_Hoover has quit (Client Quit). 01:34:20 -!- scoofy has quit (Ping timeout: 246 seconds). 01:39:46 -!- ^v has joined. 01:44:50 -!- augur has joined. 01:45:36 -!- augur has quit (Read error: Connection reset by peer). 01:45:49 -!- augur has joined. 01:47:13 ESIs seem kind of strange, like an application-level thing brought to the caching layer for reasons of tehnical necessity rather than conceptual elegancy 01:47:15 elegance 01:47:23 no i like elegancy 01:47:53 Maybe caching layers should have some kind of hooks allowing applications to build their own ESI-like things... somehow 01:48:08 Not at all thinking about how that could work 01:52:14 I've never seen the word 'copy' used to refer to user-visible strings before starting work, but now, I see it all the time even outside work 01:52:43 like "ad copy"? 01:53:23 That sort of thing, yeah 01:55:18 -!- nooodl has quit (Ping timeout: 264 seconds). 02:00:06 -!- scoofy has joined. 02:04:28 msg lambdabot 'tell taneb This might help with your quote about greeks and frogs http://en.wikipedia.org/wiki/Sexual_inversion_(sexology) 02:04:34 woops 02:07:31 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 02:08:01 -!- copumpkin has joined. 02:19:04 nice http://adainitiative.org/2013/08/galois-makes-1000-matching-donation-challenge-to-support-women-in-open-source/ 02:24:01 -!- doesthiswork has quit (Quit: Leaving.). 02:29:31 -!- doesthiswork has joined. 03:01:58 -!- dessos has joined. 03:36:19 -!- Nisstyre has quit (Quit: Leaving). 03:39:53 kmc: who's water bill and why did you owe him money 03:40:19 c.c 03:42:15 -!- Nisstyre has joined. 03:42:56 -!- jconn has joined. 03:43:02 `relcome jconn 03:43:08 ​jconn: 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.) 03:43:14 `paste bin/relcome 03:43:16 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/relcome 03:43:45 `run printf '#!/bin/sh\nwelcome "$@" | rainwords\n' > bin/rwlcome && chmod +x bin/rwlcome 03:43:49 No output. 03:43:50 `rwlcome jconn 03:43:52 ​jconn: 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.) 03:43:59 looks better imo 03:44:05 that already exists I think 03:44:13 well now it exists... exactly as many times 03:44:14 also you're welcoming a bot :P 03:44:16 i kno 03:44:20 jconn: 2+2 03:44:20 kmc: 4 03:44:24 jconn: fungot 03:44:24 kmc: |value error: fungot 03:44:25 kmc: york. richard, i am subiect to a wel-wisht king quit their owne part, can you not reade it? is it thy spirit that thou send'st from thee so far from home, but he weares them not handsomely 03:44:25 jconn is the people's hero, elliott 03:44:26 ) 1+1 03:44:26 shachaf: 2 03:44:40 `run grep -l rainwords -IR bin 03:44:40 jconn: who taught you that joke? 03:44:41 kmc: who (taught you that joke ?) 03:44:42 bin/rwelcome \ bin/rwlcome 03:45:04 `run grep -l welcome -IR bin 03:45:05 bin/WELCOME \ bin/WeLcOmE \ bin/emoclew \ bin/relcome \ bin/rwelcome \ bin/wehlcohme \ bin/welcome \ bin/welcome \ bin/wow \ bin/zalgreet \ bin/welcome13 \ bin/bienvenido \ bin/rwlcome 03:45:17 `welcome jconn 03:45:19 ​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.) 03:45:27 `wow jafet 03:45:28 ​(.ten.lad.cri no ciretose# yrt ,aciretose fo dnik rehto eht roF) .egaP_niaM/ikiw/gro.sgnalose//:ptth :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW :tefaj 03:45:29 zomg since when is that there 03:45:52 `run grep -l rainwords -IR bin | cat -v 03:45:53 bin/rwelcome \ bin/rwlcome 03:45:59 can't help but notice `welcome doesn't name the welcomed person! 03:46:01 `run grep -l welcome -IR bin | cat -v 03:46:02 bin/WELCOME \ bin/WeLcOmE \ bin/emoclew \ bin/relcome \ bin/rwelcome \ bin/wehlcohme \ bin/welcome \ bin/^Bwelcome \ bin/wow \ bin/zalgreet \ bin/welcome13 \ bin/bienvenido \ bin/rwlcome 03:46:22 `emoclew Bike 03:46:24 ​(.ten.lad.cri no ciretose# yrt ,aciretose fo dnik rehto eht roF) .egaP_niaM/ikiw/gro.sgnalose//:ptth :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW :ekiB 03:46:29 wow 03:48:21 kmc: when are you coming to mountain view 03:56:41 uh, I'm biking from Millbrae, plan to arrive in MV around noon 03:56:46 but that's subject to heavy variance 03:57:35 both on my end and because the people I'm meeting may not be in MV by noon 03:58:07 we'll actually be heading through EPA... should I call you if we're in EPA and have time to stop? 03:59:47 wait, when 04:00:02 i was thinking in a couple of weeks or something 04:03:09 oh 04:03:14 that was re: tomorrow 04:04:15 oh 04:06:31 my father is in ca until ~thu so i'll probably not be around epa 04:08:17 ok 04:10:01 -!- doesthiswork has quit (Quit: Leaving.). 04:33:40 -!- dessos has left. 04:43:08 kmc: recreational biking? 04:59:01 -!- doesthiswork has joined. 05:01:44 -!- sacje has joined. 05:03:50 yes 05:22:47 hm, I should get my chain lubed so I can better manage longer rides. 05:22:53 or maybe I should just get a road bike 05:22:58 http://www.kickstarter.com/projects/1806558764/st-paul-reincarnated-twice 05:23:09 what kind of bike do you have Gracenotes? 05:24:35 "Those who donate 10 dollars or more will receive an ebook explaining techniques so they can discover more about their own past lives." 05:24:45 Bike: not even one backer? that's sad 05:24:51 want to pledge $70k now 05:25:12 wait only $100 to interview St. Paul the Apostle? 05:25:15 that's a p. good deal 05:25:58 elliott turns out to be the reincarnation of Jo of Bethlehem, who once jostled Jesus Christ in a line to pick up oranges and quickly apologized 05:26:41 im the reincarnation of the fig tree that jesus yelled at for no reason 05:27:04 Bike: did you read that one book 05:27:13 meanwhile, i was a cambodian rice farmer. you jerks get all the attention 05:27:16 shachaf: help 05:27:34 Bike: bulgakov 05:27:51 Experience: Rice farmer, self-employed, 1523-present 05:27:53 Oh, Master and Margarita? yeah 05:27:58 Skills: Rice farming, cultivation of rice, MS Office 05:28:26 education: rice 05:28:29 it was funny realizing it was the only book i'd read that had parts set in roman judea 05:28:31 >_< 05:28:47 "wow, you'd think people would have covered this more often" 05:29:08 pkd thought we were all secretly living in roman judea 05:29:10 or something 05:29:16 a pink laser beam from outer space told him this 05:29:33 yeah but he didn't like, depict rome, except insofar as depicting 1970s california and saying it was secretly rome 05:30:13 plus valis was kind of too crazy to be much of a novel. the divine invasion had more of a plot imooooo 05:30:18 -!- sacje has quit (Quit: sacje). 05:35:25 Bike: did you read that other book 05:35:37 dude......... 05:35:42 what 05:35:47 i didn't even have a book in mind that time 05:35:50 what other................................... 05:36:08 just hoping that you would name one 05:36:26 naked lunch? no 05:38:16 i have that book 05:40:56 I suddenly want salt water 05:40:59 Salt water tastes good 05:41:02 Salt tastes good 05:41:06 Garlic salt tastes good 05:41:15 then you probably are low on salt 05:41:33 I just had a bunch of salty peanuts 05:41:44 Haven't had garlic salt since forever :( 05:42:21 How did ancient seafaring people learn that they can't drink the water? 05:42:28 probably by trying it and then puking 05:43:07 So you'd probably puke it before it kills you? 05:43:17 pretty sure, yeah 05:43:45 it also tastes pretty bad; I think you'd have to be pretty desperate for water to get a significant amount down 05:43:51 in which case you might die either way 05:44:42 I've tasted a few drops of salt water before, it tastes good 05:44:58 try a mouthfull 05:45:32 kmc: do you use tmux yet 05:46:03 bitter herbs also taste good 05:48:08 WHY is there so much salt in the ocean? 05:48:30 because the water evaporates and the salt stays 05:48:32 or something 05:48:33 because it is millions of years old 05:48:50 water washes minerals into the ocean, then evaporates, then rains on the land to do it again 05:49:34 the saltyness is actually at about equilibrium, extra salt precipitates out 05:49:53 is water Bill involved 05:50:01 doubt it 05:50:47 lenovo fixed my laptop but also broke it in another way at the same time 05:51:10 http://lambda-the-ultimate.org/node/4786 05:51:15 s/salt/cadmium/ 05:55:20 "Each occurrence of ask obtains the value from its own environment, 05:55:20 which it finds by type" 05:55:22 eww 05:55:28 nice ligature 05:55:36 ? 05:56:27 hmm http://zem.fi 05:56:29 works in chrome :) 05:56:40 whoops I probably shouldn't admit to using chrome anymore 05:57:12 fizzie: did you know ^ 05:57:20 or should i say fizzie 05:58:05 Is Firefox starting to become usable again? 05:58:10 I know extensions are more powerful 05:58:17 2600 uses (or at least last time I looked, they did) the "fi" ligature even in fixed-pitch text. I hate that. 05:58:20 And the tabs hit the top of the screen when window maximized 05:58:27 I use FF at work 05:58:33 i don't notice a huge difference from chrome 05:58:49 some of FF's UI behaviors are slightly better (I would be hardpressed to say which offhand) 05:58:54 Actually-effective adblock? 05:59:00 I don't use adblock 05:59:07 on my awful 6 year old netbook, chrome is still a lot faster 05:59:23 That prevents ads loading, not hides... well, I don't either, but there's a different extension I use that would be nice if it could fully block pages 05:59:24 MyWOT 05:59:34 I read somewhere that they removed the command. They broke their promise to not remove that command! 06:04:01 you should implement for Servo and submit a pull request 06:04:54 What is Servo? 06:05:15 They are supposed to implement it in Mozilla. 06:05:17 a new web browser rendering engine, written in Rust 06:05:34 it's a Mozilla project and it's what I work on for my day job 06:05:35 https://github.com/mozilla/servo 06:06:09 Well, technically they only promised they would not remove the command from the Mozilla engine, not from Servo. 06:06:36 Does the new one have a really paranoid mode? 06:06:39 no 06:06:53 "turn off the browser" 06:11:09 What I would prefer to see, is the "paranoid web browser" which assumes that the user is really expert (and is a programmer, and gives the user the ability to override absolutely everything), and that the web page is malicious and trying to annoy and slow down the user's computer and put all kinds of fancy pictures and typography which aren't important. 06:17:09 -!- scoofy has quit (Ping timeout: 248 seconds). 06:17:51 -!- carado has quit (Ping timeout: 246 seconds). 06:30:07 -!- azaq23 has quit (Quit: Leaving.). 06:34:50 `danddreclist 39 06:34:51 danddreclist 39: shachaf nooodl 06:42:27 -!- asie has joined. 06:42:47 I hope you like this game. 06:44:26 Finally I found a use for this astrolabe in the Dungeons&Dragons game. (The DM thought it was completely useless. But why would I purchase such a thing if it is useless?) 06:55:12 -!- sacje has joined. 06:55:13 -!- sacje has quit (Changing host). 06:55:13 -!- sacje has joined. 07:05:47 Do you have a astrolabe? 07:11:52 i don't 07:12:06 what do you use yours for 07:12:22 I don't actually have any either, but my Dungeons&Dragons character has 07:13:01 what does your character use it for? 07:16:28 For things that it isn't really suited for, although it could be used to determine how much space is warped 07:17:43 It can be used for other things too, but I haven't use it for that yet. Still, it might be useful for such thing in future. 07:20:44 It described in the Dungeons&Dragons game recording. 07:21:31 (You may subscribe by filtering on messages starting with "`danddreclist" or by making that program notify you) 07:28:54 -!- neena has quit (Quit: leaving). 07:56:05 -!- Taneb has joined. 08:08:21 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 08:23:03 -!- AnotherTest has joined. 08:28:16 -!- asie has joined. 08:35:50 kmc: hello 08:35:56 I have a hybrid bike... 08:36:11 (hm, it's a bit late now) 08:36:50 it has a medium-weight frame and somewhere in between road and mountain tires 08:57:20 -!- conehead has quit (Quit: Computer has gone to sleep.). 09:00:52 -!- doesthiswork has quit (Quit: Leaving.). 09:02:01 -!- epicmonkey has joined. 09:12:23 -!- zzo38 has quit (Remote host closed the connection). 10:37:26 -!- mnoqy has quit (Quit: hello). 10:43:49 -!- oerjan has joined. 10:44:59 -!- sacje has quit (Quit: sacje). 10:47:42 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 10:50:54 Sometimes ddg is just amazing. I googled.. err... ducked? for "linux file systems" and got and alphabetical list right on the result page. 10:53:12 @ask kmc I need a "days until everyone stops talking about Burning Man because they are in the desert" countdown <-- what, why would they stop talking, no cell phone reception there? how quaint! 10:53:12 Consider it noted. 10:57:58 @tell shachaf kmc: who's water bill and why did you owe him money <-- now i'm imagining this huge redneck guy driving a tank full of water to Burning Man. 10:57:58 Consider it noted. 11:00:09 `run diff r/rw{,e}lcome 11:00:11 diff: r/rwlcome: No such file or directory \ diff: r/rwelcome: No such file or directory 11:00:15 oops 11:00:20 `run diff bin/rw{,e}lcome 11:00:22 No output. 11:00:28 fancy 11:00:42 -!- Phantom_Hoover has joined. 11:02:22 -!- copumpkin has quit (Ping timeout: 246 seconds). 11:02:52 -!- copumpkin has joined. 11:07:39 `run diff bin/{wow,emoclew} 11:07:40 No output. 11:07:56 `run diff bin/{wow,rwelcome} 11:07:57 2c2 \ < welcome "$@" | rev | tr \)\( \(\) \ --- \ > welcome "$@" | rainwords 11:09:48 -!- MindlessDrone has joined. 11:15:27 -!- doesthiswork has joined. 11:17:26 -!- SingingBoyo has quit (Ping timeout: 240 seconds). 11:24:13 oerjan, now I'm imagining Burning Man being the Hexham of the West 11:25:57 OKAY 11:26:02 wat 11:28:08 I am of course utterly unfamiliar with Burning Man 11:28:18 And also regrettably currently unfamiliar with lunch 11:28:26 I can fix the latter, though 11:28:26 bbl 11:48:44 -!- asie has joined. 12:14:20 -!- Koen_ has joined. 12:26:17 -!- nooodl has joined. 12:58:14 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 13:06:51 -!- yorick has joined. 13:13:16 -!- copumpkin has quit (Ping timeout: 246 seconds). 13:14:02 -!- copumpkin has joined. 13:24:47 -!- asie has joined. 13:34:24 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 13:41:31 -!- yorick has quit (Remote host closed the connection). 13:56:05 -!- asie has joined. 14:26:41 -!- scoofy has joined. 14:28:23 -!- oerjan has quit (Quit: leaving). 14:32:59 -!- scoofy has quit (Ping timeout: 260 seconds). 15:04:04 somewhat disappointed to learn that "pre-post differencing" and "run-pre matching" are just fancy terms for diffing the old and new kernel, and checking that the "old kernel" in the diff matches the running kernel 15:05:58 I expected something to do with prefixes and postfixes (of functions?) in a novel differencing algorithm and some clever special kind of matching 15:07:39 (ksplice paper) 15:10:02 -!- carado has joined. 15:18:34 -!- carado has quit (Ping timeout: 246 seconds). 15:25:00 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 15:26:06 -!- carado has joined. 15:30:23 If you spent months hacking a kernel binary image, you would want fancy terms for your work too 15:51:36 -!- scoofy has joined. 16:04:41 Hey guys, I'm typing on Dvorak! Woo. 16:20:15 -!- zzo38 has joined. 16:43:29 -!- asie has joined. 17:02:04 tswett: Don't worry, it doesn't show. 17:06:14 I think I just had a major impact in Active Worlds 17:07:51 like you were hit by a car? 17:08:24 `addquote I think I just had a major impact in Active Worlds like you were hit by a car? 17:08:27 1094) I think I just had a major impact in Active Worlds like you were hit by a car? 17:08:28 I asked on the FB group if tourist builds would be protected, now someone in AWI is about to do so for some worlds, apparently 17:10:00 -!- heroux has quit (Ping timeout: 245 seconds). 17:16:38 -!- heroux has joined. 17:16:40 -!- heroux_ has joined. 18:12:30 -!- doesthiswork has quit (Quit: Leaving.). 18:12:31 -!- Vorpal has quit (Ping timeout: 245 seconds). 18:14:05 Sgeo, ok i know this may come as no surprise but that is literally the saddest thing 18:15:26 -!- Vorpal has joined. 18:17:39 well that was interesting... Seems like a glitchy power connector on the USB hub for the the RPi's external HDD 18:17:43 p. sure being hit by a car would be sadder "just saying" 18:18:21 -!- conehead has joined. 18:18:53 Bike, without knowing the context (due to network issues due to RPi issues), I would have to agree 18:19:06 * Bike nods 18:23:40 -!- yorick has joined. 18:32:46 Some of those builds are over a decade old, and now random people can't come in and destroy them 18:36:17 thank god you have spearheaded the initiative to preserve these cultural treasures 18:36:54 thank god? thank Sgeo! 18:46:33 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 18:52:23 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:05:38 -!- Nisstyre has quit (Quit: Leaving). 19:06:51 -!- Nisstyre has joined. 19:06:59 -!- Nisstyre has quit (Client Quit). 19:11:46 -!- Nisstyre has joined. 19:13:20 -!- Nisstyre has quit (Read error: Connection reset by peer). 19:15:29 -!- Nisstyre has joined. 19:15:47 -!- AnotherTest has quit (Ping timeout: 256 seconds). 19:17:37 -!- Nisstyre has quit (Read error: Connection reset by peer). 19:19:15 -!- Nisstyre has joined. 19:19:41 -!- dessos has joined. 19:27:14 -!- doesthiswork has joined. 19:35:45 Today's annoying thing: anything that puts up the GTK save/open dialog also causes the (otherwise pretty much unused) disk-with-the-Windows-installation spin up. 19:53:49 -!- oerjan has joined. 19:56:23 -!- sacje has joined. 20:12:25 Ahoy. So my senior thesis is about counting the number of words of each length admitted by a context-free language. 20:13:08 Now, this is easy enough for unambiguous languages. But for ambiguous ones, I'm pretty much lost. 20:13:56 I don't suppose anyone here can suggest any reading? 20:13:58 tswett: how much enumeration do you know? 20:14:43 coppro: mm, very little. Binomial coefficients are pretty much the most advanced thing I know there. 20:15:06 Yeah, I guess I should read about combinatorics, shouldn't I. 20:21:18 tswett: yes 20:21:21 tswett: enumeration specifically 20:21:40 enumeration of languages is already a well-studied topic 20:21:56 although your problem is, I believe, ultimately undecideable 20:22:31 Not really. You can calculate it by brute force. 20:22:39 Just found out that SPJ is going to be seminaring at York University next February 20:22:41 Just look through all words of each length, and see which ones are admitted and which ones aren't. 20:22:51 "Given two combinatorial families, \mathcal{F} and \mathcal{G} with generating functions F(x) and G(x) respectively, the union of the two families (\mathcal{F} \cup \mathcal{G}) has generating function F(x) + G(x)." 20:22:57 Should that say "two disjoint combinatorial families"? 20:23:29 tswett: hmm, right 20:23:33 what was I thinking of, then? 20:23:34 oh well 20:23:48 AND PHILIP WADLER NEXT OCTOBER 20:23:58 tswett: a) yes and b) stop reading wikipedia, go get a real source 20:24:04 Taneb: spj? 20:24:13 Simon Peyton-Jones 20:24:15 Taneb: are you going to be at york? 20:24:20 Yes I am 20:24:36 the canadian one? 20:24:40 No 20:24:50 I'm not Canadian 20:24:51 it's the University of York then 20:24:55 that's not a prerequisite 20:25:00 -!- asie has joined. 20:25:03 although I'd think you much too smart for our York 20:25:07 But yeah, the University of York 20:25:29 Wow, your York must really be awful if I'm too smart for it 20:26:43 This guy says that several authors have considered the problem of enumerating the number of words of length n generated by G, and gives four examples. 20:29:31 Taneb, i feel like every university but mine has a functional programming great at it 20:29:50 like apt guy has conor mcbride of all people lecturing him 20:31:19 Serves you right for going to the Midlands 20:32:05 Pretty sure GVSU doesn't have any functional programming greats. 20:34:07 York has the grandfather of hlint! 20:34:13 well i was talking about the uk, not australia 20:36:03 Ah. 20:37:16 "The complexity of counting the number of strings of given length in context-free languages." Why, that's approximately my senior thesis topic. 20:38:37 Aaaah on the same day as Phil Wadler there's Neil Mitchell and Malcolm Wallace also speaking! 20:42:52 And Terry Tao is in ##chess! 20:42:58 Or someone pretending to be him. 21:12:36 -!- AnotherTest has joined. 21:15:09 what happened to Wouter van Oortmerssen page? 21:15:31 -!- mnoqy has joined. 21:15:38 I mean site 21:25:18 -!- yorick has quit (Remote host closed the connection). 21:27:47 fungot, how are you doing? 21:27:47 Taneb: lowd alarum. enter richard. nay, what hope, what stay, when this was now a coward on instinct: i shall be there 21:28:15 ^style 21:28:15 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 21:30:49 -!- SingingBoyo has joined. 21:30:52 fizzie, is it possible to get fungot to join another channel? 21:30:53 Taneb: enter bastard, and pucell. now roan, ile shake thy bulwarkes to the ground, as i am cleare from treason to my soueraigne. in signe whereof, please ye we may contrive this afternoon, and fnord pension beg, to keepe our great saint georges feast withall. ten thousand worse, then euer the bearing of letter did 21:31:49 ^source 21:31:49 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 21:32:05 Taneb: Yes. 21:32:17 Taneb: It doesn't know anything about channels, but I can tell it to ^raw JOIN #somewhere. 21:32:39 (It will then reply to whichever channel it gets a message from.) 21:37:13 what was I thinking of, then? <-- presumably the undecidability of whether a CF grammar is unambiguous in the first place hth 21:44:45 Apparently the University of York has the highest duck to student ratio of any UK university 21:45:03 And also a lake that eats Lancaster University students 21:45:07 -!- AnotherTest has quit (Ping timeout: 260 seconds). 21:48:17 i bet the ducks are behind the lake hth 21:48:29 Yes, that seems to be the theory 21:48:41 aren't ducks usually on top of lakes. 21:49:06 i meant in the metaphorical sense, Bike 21:49:13 `addquote i bet the ducks are behind the lake hth aren't ducks usually on top of lakes. 21:49:17 1095) i bet the ducks are behind the lake hth aren't ducks usually on top of lakes. 21:50:45 Taneb: i somehow don't think that quote works without context 21:50:55 Yeah, I agree 21:50:59 `delquote 1095 21:51:03 ​*poof* i bet the ducks are behind the lake hth aren't ducks usually on top of lakes. 21:51:34 oerjan: why do you stick hth on everything 21:51:35 bye 21:51:44 coppro: to be helpful hth 21:52:03 oerjan: it's not helpful hth 21:52:09 (above statement may contain lies hth) 21:55:04 how are you today oerjan hth 22:00:26 awfyl hth 22:00:54 what's wrong hthurts 22:04:31 well i've got a bad stomach and people hate my hths hth 22:05:14 http://www-student.cs.york.ac.uk/uni_history/lake.html 22:05:20 When asked how the lake ecology works, Professor Alister Fitter from the Biology department replied, ``Basically, it doesn't.'' 22:06:10 Taneb: a steady input of lancaster student protein? 22:06:19 Perhaps! 22:07:56 oh seems the lake doesn't need more nitrogen 22:08:18 perhaps there is too _much_ lancaster student protein then. 22:08:22 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 22:09:48 "an ecosystem which leaves the lake looking green, brown and sometimes even glowing" 22:09:57 -!- doesthiswork has quit (Quit: Leaving.). 22:13:33 Taneb: your link contains a deficit of mentions of lancaster students. 22:14:05 oerjan, that's because the Lancaster students are all kept hush-hush 22:23:58 -!- ^v has changed nick to dan200. 22:27:12 Taneb's Esoteric Challenge for Autumn 2013: Write an IRC bot in Inform 7 22:30:45 Taneb: Would it interact simply by a Z-code or Glulx program I/O being connected to the IRC, or would a variant be made which compiles into native code? 22:31:23 zzo38, that is open to your interpretation 22:33:12 elliott has convinced me to test out a new irssi script 22:33:30 you should be able to guess what it does 22:34:40 yes 22:36:24 good 22:38:21 my guess: appends hth to every privmsg 22:38:49 Also, I should totally make seasonal Taneb's Esoteric Challenge 22:39:35 do it once. if anyone completes it, then do a second. 22:44:45 -!- Taneb has quit (Quit: Leaving). 22:53:00 why not write an irc client in inform 7 22:54:15 -!- oerjan has quit (Quit: Nithg). 22:58:48 drivers i need installed via downloaded shell script. feeling pretty safe atm. 23:00:38 Hm I have both adduser and useradd and they are completely different 23:00:44 well that isn't confusing at all... 23:01:31 -!- doesthiswork has joined. 23:03:33 yeah 23:03:57 i think useradd is the easier one? 23:05:51 “NOTE: BEFORE I STARTED WORK ON THIS PROJECT I HAD TO GET PRE-APPROVAL FROM THE SCIENCE FAIR ETHICS COMMITTEE.” http://scratch.mit.edu/projects/11629464/ 23:18:22 Compare the various things I have written/designed with your interest and writing and games and so on by other people, see if you can find any similarity, difference, comment of it, thing you like/dislike, etc. My brother has said my games tend to have unpredictable things; see if it looks same to you or if you find some predictability. 23:26:20 quintopia, appears so 23:29:16 One is kinda-sorta a frontend for the other. 23:29:35 kmc: how long are you around today 23:30:50 If you want to write a IRC client in Inform 7, you would need to modify Inform 6 to add the features you need, since Inform 7 compiles into Inform 6 23:35:39 Very clever: Windows spins up all disks (even those set "offline") in order to go to sleep. 23:35:53 well you gotta sleep stringly enough 23:38:11 When I decided to put Linux (well, /home) on disks A and B, and Windows on C, I was sort of hoping I could have A/B more or less permanently stopped when in Windows, and correspondingly C when in Linux, but there seem to be very many occasions for waking them up. 23:38:41 strongly 23:52:24 `danddreclist 40 23:52:26 danddreclist 40: shachaf nooodl 23:53:02 -!- epicmonkey has quit (Ping timeout: 264 seconds). 23:54:00 Do you like this? 23:55:53 what is danddrec 23:56:04 `? danddrec 23:56:05 danddrec? ¯\(°_o)/¯ 23:56:06 | 23:56:06 º¯`\o 23:56:09 `? danddreclist 23:56:10 http://zzo38computer.org/dnd/recording/level20.tex (the precompiled .dvi is also available) 23:56:14 oh. 23:56:18 it's zzo's d&d games. 23:57:36 figured as much 23:59:34 -!- mnoqy has quit (Quit: hello). 23:59:56 The precompiled file is at printing level 5; if you download it and run it, it will ask you what level of detail you want in the printout. You also need the file "dungeonsrecording.tex" which is in the same directory, if you want to print it yourself, or if you want to use these macros for your own use, too.