00:04:06 <olsner> 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 <ion> 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 <doesthiswork> taneb: inversion is another name for homosexual
00:42:47 <elliott> http://en.wikipedia.org/wiki/Sexual_inversion_(sexology)
00:42:57 <elliott> it's a little bit more complicated than just "old word for 'gay'" I think
00:49:03 <kmc> 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 <Sgeo> 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:23 <Bike> no i like elegancy
01:47:53 <Sgeo> Maybe caching layers should have some kind of hooks allowing applications to build their own ESI-like things... somehow
01:48:08 <Sgeo> Not at all thinking about how that could work
01:52:14 <Sgeo> 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:53:23 <Sgeo> That sort of thing, yeah
01:55:18 -!- nooodl has quit (Ping timeout: 264 seconds).
02:00:06 -!- scoofy has joined.
02:04:28 <doesthiswork> msg lambdabot 'tell taneb This might help with your quote about greeks and frogs http://en.wikipedia.org/wiki/Sexual_inversion_(sexology)
02:07:31 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
02:08:01 -!- copumpkin has joined.
02:19:04 <kmc> 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 <shachaf> kmc: who's water bill and why did you owe him money
03:42:15 -!- Nisstyre has joined.
03:42:56 -!- jconn has joined.
03:43:02 <kmc> `relcome jconn
03:43:08 <HackEgo> 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 <kmc> `paste bin/relcome
03:43:16 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/relcome
03:43:45 <kmc> `run printf '#!/bin/sh\nwelcome "$@" | rainwords\n' > bin/rwlcome && chmod +x bin/rwlcome
03:43:50 <kmc> `rwlcome jconn
03:43:52 <HackEgo> 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 <kmc> looks better imo
03:44:05 <elliott> that already exists I think
03:44:13 <kmc> well now it exists... exactly as many times
03:44:14 <elliott> also you're welcoming a bot :P
03:44:20 <kmc> jconn: 2+2
03:44:24 <kmc> jconn: fungot
03:44:24 <jconn> kmc: |value error: fungot
03:44:25 <fungot> 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 <Bike> jconn is the people's hero, elliott
03:44:40 <Jafet> `run grep -l rainwords -IR bin
03:44:40 <kmc> jconn: who taught you that joke?
03:44:41 <jconn> kmc: who (taught you that joke ?)
03:44:42 <HackEgo> bin/rwelcome \ bin/rwlcome
03:45:04 <Jafet> `run grep -l welcome -IR bin
03:45:05 <HackEgo> 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:19 <HackEgo> 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:28 <HackEgo> (.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 <shachaf> zomg since when is that there
03:45:52 <Jafet> `run grep -l rainwords -IR bin | cat -v
03:45:53 <HackEgo> bin/rwelcome \ bin/rwlcome
03:45:59 <Bike> can't help but notice `welcome doesn't name the welcomed person!
03:46:01 <Jafet> `run grep -l welcome -IR bin | cat -v
03:46:02 <HackEgo> 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:24 <HackEgo> (.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:48:21 <shachaf> kmc: when are you coming to mountain view
03:56:41 <kmc> uh, I'm biking from Millbrae, plan to arrive in MV around noon
03:56:46 <kmc> but that's subject to heavy variance
03:57:35 <kmc> both on my end and because the people I'm meeting may not be in MV by noon
03:58:07 <kmc> we'll actually be heading through EPA... should I call you if we're in EPA and have time to stop?
04:00:02 <shachaf> i was thinking in a couple of weeks or something
04:03:14 <kmc> that was re: tomorrow
04:06:31 <shachaf> my father is in ca until ~thu so i'll probably not be around epa
04:10:01 -!- doesthiswork has quit (Quit: Leaving.).
04:33:40 -!- dessos has left.
04:59:01 -!- doesthiswork has joined.
05:01:44 -!- sacje has joined.
05:22:47 <Gracenotes> hm, I should get my chain lubed so I can better manage longer rides.
05:22:53 <Gracenotes> or maybe I should just get a road bike
05:22:58 <Bike> http://www.kickstarter.com/projects/1806558764/st-paul-reincarnated-twice
05:23:09 <kmc> what kind of bike do you have Gracenotes?
05:24:35 <kmc> "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 <elliott> Bike: not even one backer? that's sad
05:25:12 <kmc> wait only $100 to interview St. Paul the Apostle?
05:25:15 <kmc> that's a p. good deal
05:25:58 <Bike> 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 <kmc> im the reincarnation of the fig tree that jesus yelled at for no reason
05:27:04 <shachaf> Bike: did you read that one book
05:27:13 <Bike> meanwhile, i was a cambodian rice farmer. you jerks get all the attention
05:27:51 <kmc> Experience: Rice farmer, self-employed, 1523-present
05:27:53 <Bike> Oh, Master and Margarita? yeah
05:27:58 <kmc> Skills: Rice farming, cultivation of rice, MS Office
05:28:29 <Bike> it was funny realizing it was the only book i'd read that had parts set in roman judea
05:28:47 <Bike> "wow, you'd think people would have covered this more often"
05:29:08 <kmc> pkd thought we were all secretly living in roman judea
05:29:10 <kmc> or something
05:29:16 <kmc> a pink laser beam from outer space told him this
05:29:33 <Bike> yeah but he didn't like, depict rome, except insofar as depicting 1970s california and saying it was secretly rome
05:30:13 <Bike> 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 <shachaf> Bike: did you read that other book
05:35:47 <shachaf> i didn't even have a book in mind that time
05:35:50 <Bike> what other...................................
05:36:08 <shachaf> just hoping that you would name one
05:36:26 <Bike> naked lunch? no
05:38:16 <kmc> i have that book
05:40:56 <Sgeo> I suddenly want salt water
05:40:59 <Sgeo> Salt water tastes good
05:41:02 <Sgeo> Salt tastes good
05:41:06 <Sgeo> Garlic salt tastes good
05:41:15 <kmc> then you probably are low on salt
05:41:33 <Sgeo> I just had a bunch of salty peanuts
05:41:44 <Sgeo> Haven't had garlic salt since forever :(
05:42:21 <Sgeo> How did ancient seafaring people learn that they can't drink the water?
05:42:28 <kmc> probably by trying it and then puking
05:43:07 <Sgeo> So you'd probably puke it before it kills you?
05:43:17 <kmc> pretty sure, yeah
05:43:45 <kmc> 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 <kmc> in which case you might die either way
05:44:42 <Sgeo> I've tasted a few drops of salt water before, it tastes good
05:44:58 <kmc> try a mouthfull
05:46:03 <Sgeo> bitter herbs also taste good
05:48:08 <Sgeo> WHY is there so much salt in the ocean?
05:48:30 <kmc> because the water evaporates and the salt stays
05:48:32 <kmc> or something
05:48:50 <kmc> water washes minerals into the ocean, then evaporates, then rains on the land to do it again
05:49:34 <doesthiswork> the saltyness is actually at about equilibrium, extra salt precipitates out
05:50:47 <kmc> lenovo fixed my laptop but also broke it in another way at the same time
05:51:10 <Sgeo> http://lambda-the-ultimate.org/node/4786
05:55:20 <Sgeo> "Each occurrence of ask obtains the value from its own environment,
05:55:20 <Sgeo> which it finds by type"
05:55:28 <kmc> nice ligature
05:56:27 <kmc> hmm http://zem.fi
05:56:29 <kmc> works in chrome :)
05:56:40 <kmc> whoops I probably shouldn't admit to using chrome anymore
05:57:12 <kmc> fizzie: did you know ^
05:57:20 <kmc> or should i say fizzie
05:58:05 <Sgeo> Is Firefox starting to become usable again?
05:58:10 <Sgeo> I know extensions are more powerful
05:58:17 <zzo38> 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 <Sgeo> And the tabs hit the top of the screen when window maximized
05:58:27 <kmc> I use FF at work
05:58:33 <kmc> i don't notice a huge difference from chrome
05:58:49 <kmc> some of FF's UI behaviors are slightly better (I would be hardpressed to say which offhand)
05:58:54 <Sgeo> Actually-effective adblock?
05:59:00 <kmc> I don't use adblock
05:59:07 <kmc> on my awful 6 year old netbook, chrome is still a lot faster
05:59:23 <Sgeo> 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:34 <zzo38> I read somewhere that they removed the <BLINK> command. They broke their promise to not remove that command!
06:04:01 <kmc> you should implement <BLINK> for Servo and submit a pull request
06:05:15 <zzo38> They are supposed to implement it in Mozilla.
06:05:17 <kmc> a new web browser rendering engine, written in Rust
06:05:34 <kmc> it's a Mozilla project and it's what I work on for my day job
06:05:35 <kmc> https://github.com/mozilla/servo
06:06:09 <zzo38> Well, technically they only promised they would not remove the <BLINK> command from the Mozilla engine, not from Servo.
06:06:36 <zzo38> Does the new one have a really paranoid mode?
06:06:53 <Bike> "turn off the browser"
06:11:09 <zzo38> 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:51 <HackEgo> danddreclist 39: shachaf nooodl
06:42:27 -!- asie has joined.
06:42:47 <zzo38> I hope you like this game.
06:44:26 <zzo38> 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 <zzo38> Do you have a astrolabe?
07:12:06 <kmc> what do you use yours for
07:12:22 <zzo38> I don't actually have any either, but my Dungeons&Dragons character has
07:13:01 <kmc> what does your character use it for?
07:16:28 <zzo38> For things that it isn't really suited for, although it could be used to determine how much space is warped
07:17:43 <zzo38> 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 <zzo38> It described in the Dungeons&Dragons game recording.
07:21:31 <zzo38> (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:36:50 <Gracenotes> 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 <Vorpal> 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 <oerjan> @ask kmc <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:57:58 <oerjan> @tell shachaf <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.
11:00:09 <oerjan> `run diff r/rw{,e}lcome
11:00:11 <HackEgo> diff: r/rwlcome: No such file or directory \ diff: r/rwelcome: No such file or directory
11:00:20 <oerjan> `run diff bin/rw{,e}lcome
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 <oerjan> `run diff bin/{wow,emoclew}
11:07:56 <oerjan> `run diff bin/{wow,rwelcome}
11:07:57 <HackEgo> 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 <Taneb> oerjan, now I'm imagining Burning Man being the Hexham of the West
11:28:08 <Taneb> I am of course utterly unfamiliar with Burning Man
11:28:18 <Taneb> And also regrettably currently unfamiliar with lunch
11:28:26 <Taneb> I can fix the latter, though
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 <olsner> 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 <olsner> I expected something to do with prefixes and postfixes (of functions?) in a novel differencing algorithm and some clever special kind of matching
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 <Jafet> 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 <tswett> Hey guys, I'm typing on Dvorak! Woo.
16:20:15 -!- zzo38 has joined.
16:43:29 -!- asie has joined.
17:02:04 <fizzie> tswett: Don't worry, it doesn't show.
17:06:14 <Sgeo> I think I just had a major impact in Active Worlds
17:07:51 <Bike> like you were hit by a car?
17:08:24 <elliott> `addquote <Sgeo> I think I just had a major impact in Active Worlds <Bike> like you were hit by a car?
17:08:27 <HackEgo> 1094) <Sgeo> I think I just had a major impact in Active Worlds <Bike> like you were hit by a car?
17:08:28 <Sgeo> 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 <Phantom_Hoover> 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 <Vorpal> well that was interesting... Seems like a glitchy power connector on the USB hub for the the RPi's external HDD
18:17:43 <Bike> p. sure being hit by a car would be sadder "just saying"
18:18:21 -!- conehead has joined.
18:18:53 <Vorpal> Bike, without knowing the context (due to network issues due to RPi issues), I would have to agree
18:23:40 -!- yorick has joined.
18:32:46 <Sgeo> Some of those builds are over a decade old, and now random people can't come in and destroy them
18:36:17 <Phantom_Hoover> thank god you have spearheaded the initiative to preserve these cultural treasures
18:36:54 <olsner> 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 <fizzie> 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 <tswett> Ahoy. So my senior thesis is about counting the number of words of each length admitted by a context-free language.
20:13:08 <tswett> Now, this is easy enough for unambiguous languages. But for ambiguous ones, I'm pretty much lost.
20:13:56 <tswett> I don't suppose anyone here can suggest any reading?
20:13:58 <coppro> tswett: how much enumeration do you know?
20:14:43 <tswett> coppro: mm, very little. Binomial coefficients are pretty much the most advanced thing I know there.
20:15:06 <tswett> Yeah, I guess I should read about combinatorics, shouldn't I.
20:21:21 <coppro> tswett: enumeration specifically
20:21:40 <coppro> enumeration of languages is already a well-studied topic
20:21:56 <coppro> although your problem is, I believe, ultimately undecideable
20:22:31 <tswett> Not really. You can calculate it by brute force.
20:22:39 <Taneb> Just found out that SPJ is going to be seminaring at York University next February
20:22:41 <tswett> Just look through all words of each length, and see which ones are admitted and which ones aren't.
20:22:51 <tswett> "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 <tswett> Should that say "two disjoint combinatorial families"?
20:23:33 <coppro> what was I thinking of, then?
20:23:48 <Taneb> AND PHILIP WADLER NEXT OCTOBER
20:23:58 <coppro> tswett: a) yes and b) stop reading wikipedia, go get a real source
20:24:13 <Taneb> Simon Peyton-Jones
20:24:15 <coppro> Taneb: are you going to be at york?
20:24:51 <coppro> it's the University of York then
20:24:55 <coppro> that's not a prerequisite
20:25:00 -!- asie has joined.
20:25:03 <coppro> although I'd think you much too smart for our York
20:25:07 <Taneb> But yeah, the University of York
20:25:29 <Taneb> Wow, your York must really be awful if I'm too smart for it
20:26:43 <tswett> 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 <Phantom_Hoover> Taneb, i feel like every university but mine has a functional programming great at it
20:29:50 <Phantom_Hoover> like apt guy has conor mcbride of all people lecturing him
20:31:19 <Taneb> Serves you right for going to the Midlands
20:32:05 <tswett> Pretty sure GVSU doesn't have any functional programming greats.
20:34:07 <Taneb> York has the grandfather of hlint!
20:37:16 <tswett> "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 <Taneb> Aaaah on the same day as Phil Wadler there's Neil Mitchell and Malcolm Wallace also speaking!
20:42:52 <tswett> And Terry Tao is in ##chess!
20:42:58 <tswett> Or someone pretending to be him.
21:12:36 -!- AnotherTest has joined.
21:15:31 -!- mnoqy has joined.
21:25:18 -!- yorick has quit (Remote host closed the connection).
21:27:47 <Taneb> fungot, how are you doing?
21:27:47 <fungot> 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 <fungot> 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 <Taneb> fizzie, is it possible to get fungot to join another channel?
21:30:53 <fungot> 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 <fungot> http://git.zem.fi/fungot/blob/HEAD:/fungot.b98
21:32:17 <fizzie> Taneb: It doesn't know anything about channels, but I can tell it to ^raw JOIN #somewhere.
21:32:39 <fizzie> (It will then reply to whichever channel it gets a message from.)
21:37:13 <oerjan> <coppro> what was I thinking of, then? <-- presumably the undecidability of whether a CF grammar is unambiguous in the first place hth
21:44:45 <Taneb> Apparently the University of York has the highest duck to student ratio of any UK university
21:45:03 <Taneb> And also a lake that eats Lancaster University students
21:45:07 -!- AnotherTest has quit (Ping timeout: 260 seconds).
21:48:17 <oerjan> i bet the ducks are behind the lake hth
21:48:29 <Taneb> Yes, that seems to be the theory
21:48:41 <Bike> aren't ducks usually on top of lakes.
21:49:06 <oerjan> i meant in the metaphorical sense, Bike
21:49:13 <Taneb> `addquote <oerjan> i bet the ducks are behind the lake hth <Bike> aren't ducks usually on top of lakes.
21:49:17 <HackEgo> 1095) <oerjan> i bet the ducks are behind the lake hth <Bike> aren't ducks usually on top of lakes.
21:50:45 <oerjan> Taneb: i somehow don't think that quote works without context
21:51:03 <HackEgo> *poof* <oerjan> i bet the ducks are behind the lake hth <Bike> aren't ducks usually on top of lakes.
21:51:34 <coppro> oerjan: why do you stick hth on everything
21:51:44 <oerjan> coppro: to be helpful hth
21:52:03 <coppro> oerjan: it's not helpful hth
21:52:09 <oerjan> (above statement may contain lies hth)
22:04:31 <oerjan> well i've got a bad stomach and people hate my hths hth
22:05:14 <Taneb> http://www-student.cs.york.ac.uk/uni_history/lake.html
22:05:20 <Taneb> When asked how the lake ecology works, Professor Alister Fitter from the Biology department replied, ``Basically, it doesn't.''
22:06:10 <oerjan> Taneb: a steady input of lancaster student protein?
22:07:56 <oerjan> oh seems the lake doesn't need more nitrogen
22:08:18 <oerjan> 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 <Taneb> "an ecosystem which leaves the lake looking green, brown and sometimes even glowing"
22:09:57 -!- doesthiswork has quit (Quit: Leaving.).
22:13:33 <oerjan> Taneb: your link contains a deficit of mentions of lancaster students.
22:14:05 <Taneb> 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> Taneb's Esoteric Challenge for Autumn 2013: Write an IRC bot in Inform 7
22:30:45 <zzo38> 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 <Taneb> zzo38, that is open to your interpretation
22:33:12 <oerjan> elliott has convinced me to test out a new irssi script
22:33:30 <oerjan> you should be able to guess what it does
22:38:21 <quintopia> my guess: appends hth to every privmsg
22:38:49 <Taneb> Also, I should totally make seasonal Taneb's Esoteric Challenge
22:39:35 <quintopia> do it once. if anyone completes it, then do a second.
22:44:45 -!- Taneb has quit (Quit: Leaving).
22:53:00 <Koen_> why not write an irc client in inform 7
22:54:15 -!- oerjan has quit (Quit: Nithg).
22:58:48 <Bike> drivers i need installed via downloaded shell script. feeling pretty safe atm.
23:00:38 <Vorpal> Hm I have both adduser and useradd and they are completely different
23:00:44 <Vorpal> well that isn't confusing at all...
23:01:31 -!- doesthiswork has joined.
23:03:57 <quintopia> i think useradd is the easier one?
23:05:51 <ion> “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 <zzo38> 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:29:16 <fizzie> One is kinda-sorta a frontend for the other.
23:29:35 <shachaf> kmc: how long are you around today
23:30:50 <zzo38> 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 <fizzie> Very clever: Windows spins up all disks (even those set "offline") in order to go to sleep.
23:35:53 <Bike> well you gotta sleep stringly enough
23:38:11 <fizzie> 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:52:26 <HackEgo> danddreclist 40: shachaf nooodl
23:53:02 -!- epicmonkey has quit (Ping timeout: 264 seconds).
23:56:09 <Bike> `? danddreclist
23:56:10 <HackEgo> http://zzo38computer.org/dnd/recording/level20.tex (the precompiled .dvi is also available)
23:56:18 <Bike> it's zzo's d&d games.
23:59:34 -!- mnoqy has quit (Quit: hello).
23:59:56 <zzo38> 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.