00:09:54 <oklopol> estoppel: oklopol: 2.5 kB/s → pause utorrent man <<< already paused
00:11:02 <oklopol> dna's... blob. this usb thing, very slow, and i'm in the middle of nothing atm
00:11:41 <estoppel> oklopol: well the smallest i could get it would be like 5mb and it'd look and sound like shit then
00:11:45 <estoppel> 8mb for something that's kind of okay
00:12:47 <estoppel> oklopol: how long's been going
00:14:18 <estoppel> will you be awake in 3 hours :D
00:14:54 <oklopol> i will watch one episode of scrubs while massaging feet, then sleep.
00:15:07 <estoppel> oklopol: so um how long do those episodes last
00:15:30 <GregorR> oklopol: I read that as "while messaging feet"
00:15:51 <estoppel> oklopol: no way i'm gonna be able to make a file that small without it being unwatchable
00:17:10 <oklopol> the connection was like 0.1 kB/s at first, so actually you probably could
00:17:34 <estoppel> oklopol: yeah but you'd have to restart it.
00:17:45 <estoppel> how much left does it estimate?
00:17:52 <GregorR> You can't change the encoding midway? LAME.
00:18:18 <oklopol> so if you got it to 8, about half an hour
00:19:10 <estoppel> oklopol: just stay awake because you can't possibly wait.
00:20:18 -!- FireFly has quit ("Later").
00:22:43 -!- sgeo has joined.
00:23:57 <estoppel> haha this is so hard to transcript
00:28:04 <GregorR> Y'know what I just realized? It's weird that Google still has a Firefox start page :P
00:28:23 <GregorR> But then again, what are they supposed to do, put ads for Google Chrome on it?
00:28:52 <estoppel> GregorR: google recommend firefox too
00:29:01 <estoppel> e.g. in youtube's "lol we're gonna stop supporting ur shit ie6"
00:31:54 <estoppel> GregorR: google have a lot of relation with browser makers anyway
00:32:13 <estoppel> safari and firefox get $$$$$$$ for google searches from their toolbar
00:42:32 <estoppel> where's oerjan when you need him
00:46:52 <oklopol> only 1 hours, 26 minutes left!
00:47:21 <estoppel> i made it just for you oklopol
00:47:35 <oklopol> the connection can occasionally drop for hours, not really surprising it's not that stable when it's on.
00:59:40 -!- MizardX- has joined.
01:00:43 -!- MizardX- has quit (Read error: 104 (Connection reset by peer)).
01:01:08 -!- MizardX- has joined.
01:02:42 -!- MizardX has quit (Read error: 104 (Connection reset by peer)).
01:03:04 -!- MizardX- has changed nick to MizardX.
01:07:45 <estoppel> ==============================================================
01:07:45 <estoppel> The (Interactive) Glasgow Haskell Compiler -- version 6.10.4
01:07:46 <estoppel> ==============================================================
01:08:14 <Slereah> (define you (cons nigger nigger))
01:10:53 -!- Gracenotes has quit (hubbard.freenode.net irc.freenode.net).
01:10:53 -!- coppro has quit (hubbard.freenode.net irc.freenode.net).
01:10:54 -!- CESSMASTER has quit (hubbard.freenode.net irc.freenode.net).
01:10:54 -!- randomity has quit (hubbard.freenode.net irc.freenode.net).
01:10:54 -!- Leonidas has quit (hubbard.freenode.net irc.freenode.net).
01:10:55 -!- upyr[ema` has quit (hubbard.freenode.net irc.freenode.net).
01:10:56 -!- GregorR has quit (hubbard.freenode.net irc.freenode.net).
01:10:56 -!- olsner has quit (hubbard.freenode.net irc.freenode.net).
01:10:57 -!- lifthrasiir has quit (hubbard.freenode.net irc.freenode.net).
01:10:57 -!- MizardX has quit (hubbard.freenode.net irc.freenode.net).
01:10:57 -!- fizziew has quit (hubbard.freenode.net irc.freenode.net).
01:10:57 -!- fungot has quit (hubbard.freenode.net irc.freenode.net).
01:10:57 -!- fizzie has quit (hubbard.freenode.net irc.freenode.net).
01:10:57 -!- Deewiant has quit (hubbard.freenode.net irc.freenode.net).
01:11:37 -!- MizardX has joined.
01:11:37 -!- coppro has joined.
01:11:37 -!- Gracenotes has joined.
01:11:37 -!- upyr[ema` has joined.
01:11:37 -!- CESSMASTER has joined.
01:11:37 -!- fizzie has joined.
01:11:37 -!- fizziew has joined.
01:11:37 -!- GregorR has joined.
01:11:37 -!- Leonidas has joined.
01:11:37 -!- randomity has joined.
01:11:37 -!- olsner has joined.
01:11:37 -!- fungot has joined.
01:11:37 -!- lifthrasiir has joined.
01:11:37 -!- Deewiant has joined.
01:20:55 -!- oklopol has quit (Read error: 110 (Connection timed out)).
01:21:54 <Slereah> Does that definition works for n = 0?
01:22:54 <estoppel> Well, we're looking at numbers between 1 to 0; if we interpret this as ascending like every other case, there are no numbers to consider.
01:23:03 <estoppel> If we interpret it as descending, there aren't any either.
01:23:59 <estoppel> Both of the above definitions incorporate the instance
01:24:06 <estoppel> as an instance of the fact that the product of no numbers at all is 1.
01:24:24 <estoppel> ais523: Thank you, that's utterly useless :P
01:27:47 <estoppel> ais523: I'm not sure "(n ∏ k=1) k" is a reasonable linear expression of that, though.
01:27:58 <estoppel> Maybe n ∏ k=1: k or something would be better.
01:47:11 -!- sgeo has quit ("Leaving").
01:47:27 -!- Sgeo has joined.
02:03:19 <AnMaster> <AnMaster> estoppel, there? <estoppel> yes <estoppel> now I am <-- damn missed you.... now what was it I wanted to ask hm... meh forgot
02:04:11 <AnMaster> 18% 6800KB 2.9KB/s - stalled - <-- scp to NZ isn't a good solution when both end has DSL
02:04:26 <estoppel> ADSL is better than other DSL, no?
02:04:37 <AnMaster> estoppel, SDSL would be even better?
02:05:31 <AnMaster> estoppel, 8 mbit down. But ISP provides 24 mbit down with same modem, just costs more
02:05:38 <AnMaster> estoppel, I do, but I never used it
02:05:46 <estoppel> although they might not offer it to you
02:06:01 <estoppel> american megatrends...? Or ... texas instruments...? or something
02:06:07 <AnMaster> estoppel, that was luxury compared to 28.8k!
02:06:15 <estoppel> i figured out i could turn down the volume one day
02:06:15 <AnMaster> estoppel, usrobotics or whatever it was
02:06:19 <estoppel> i never missed those bleeps and whines
02:07:00 <AnMaster> those sounds did have a certain charm
02:07:56 <AnMaster> estoppel, that us robotics modem had a volume control on the side though
02:08:14 <estoppel> and yes, i love the sounds now
02:08:29 <AnMaster> estoppel, I never found where to enter the modem commands thingy under MacOS
02:08:57 <AnMaster> estoppel, a full wheel here, but not sticking out from the modem, flat against the surface with some grippy thing on it
02:09:44 <AnMaster> estoppel, not exactly this, but very similar: http://en.wikipedia.org/wiki/File:Fax_modem_antigo.jpg
02:10:16 <AnMaster> you can't see it from that view
02:10:59 <AnMaster> estoppel, from google image search. this colour scheme: http://www.frontierpc.com/ProductImages/Large/1010110777.jpg
02:11:14 <estoppel> yeah mine didn't look like that.
02:11:36 <AnMaster> estoppel, you can see the wheel inhttp://www.wrca.net/images/USrobotics/US_robotics_USR0268_14_4_Modem.jpg
02:11:49 <AnMaster> properly clickable url: http://www.wrca.net/images/USrobotics/US_robotics_USR0268_14_4_Modem.jpg
02:12:02 <AnMaster> estoppel, this was a *fax* modem
02:13:39 <estoppel> they're like teleporters but it has to be made of paper
02:13:52 <AnMaster> estoppel, we never had a fax, and we never got the fax application working for the modem
02:13:57 <estoppel> it felt like you were REALLY sending that document
02:14:01 <AnMaster> plus we didn't want the computer turned on all the time
02:14:08 <estoppel> it would actually appear, the same one, wherever you sent it
02:14:15 <AnMaster> estoppel, the original cam back?
02:14:32 <estoppel> what happens after is irrelevant
02:14:42 <AnMaster> estoppel, also it would fail at colours
02:15:50 <AnMaster> estoppel, heard about the black paper in circle thingy?
02:16:32 <AnMaster> estoppel, take a fax machine, dial up another one and such. then feed it a completely black paper, then take the ends of said paper to each other, so it went in a circle.
02:16:44 <AnMaster> do this when there was no one at home at the other fax machine
02:16:58 <AnMaster> estoppel, I never did it. but I heard about it being done. might be an urban myth
02:17:07 <estoppel> if only i had a time machine...
02:17:22 <AnMaster> estoppel, can't you get fax machines these days?
02:17:40 <estoppel> AnMaster: the kind of people who'd do that and report on it would be the phreakers and they, um... aren't very reliable
02:17:45 <AnMaster> estoppel, there is a wikipedia article on that prank: http://en.wikipedia.org/wiki/Black_fax
02:18:46 <AnMaster> "Description of Black Faxing in court documents -- usdoj.gov"
02:18:54 <AnMaster> not sure if that is a reliable source
02:18:59 <estoppel> http://en.wikipedia.org/wiki/Lace_card
02:19:16 <AnMaster> <estoppel> that can't possibly work <estoppel> AnMaster: it probably worked
02:19:45 <estoppel> things that can't happen usually do
02:25:53 -!- CESSMASTER has changed nick to CESSMASTER420.
02:30:36 -!- CESSMASTER420 has changed nick to CESSMASTER.
02:40:38 <GregorR> CESSMASTER would like to announce his proclivity towards drugs.
02:41:07 <CESSMASTER> GregorR: as if being called "cessmaster" weren't enough
02:42:09 <GregorR> I honestly have no idea if that's a reference...
02:42:33 <estoppel> He likes cess (http://en.wikipedia.org/wiki/Cess)
02:45:12 <estoppel> CESSMASTER: Anyway, you can't do that now; it's not 4:20.
02:54:07 -!- upyr[ema` has quit (Remote closed the connection).
03:06:42 -!- Slereah has set topic: coNsidering the traged yof the international neglEct of the Pringlestinian pEople | I'm don't that stupid who understand obviously | http://tunes.org/~nef/logs/esoteric/?C=N;O=D.
03:16:30 -!- estoppel has changed nick to ehird.
06:07:39 -!- Pthingg has quit (Remote closed the connection).
06:58:22 <Warrigal> Wow: http://www.rainedog.com/d/20090501.html
07:00:12 <Warrigal> Out of context, that strip is quite *interesting*.
07:00:36 <Warrigal> In context, it's not much different.
07:00:55 <Warrigal> The context is that she has a completely innocent reason for being under the same roof.
07:35:54 -!- Sgeo has quit ("Leaving").
07:56:47 -!- FireFly has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:02:31 -!- ais523 has quit (Read error: 104 (Connection reset by peer)).
08:50:38 <augur> warrigal: girl dogs :(
08:51:57 <augur> also, i dont think theres anything out of context there
08:52:35 <augur> ignoring the implication that they sexed, thats pretty "JEFF! OH MY GOD!"
09:01:56 -!- pokarine has joined.
09:18:35 -!- pokarine has left (?).
09:31:28 -!- MigoMipo has joined.
10:02:15 -!- Judofyr has quit (Remote closed the connection).
10:23:58 -!- MigoMipo has quit (Nick collision from services.).
10:23:59 -!- MigoMipo_ has joined.
10:29:59 -!- MigoMipo_ has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server").
10:30:10 -!- MigoMipo has joined.
10:36:55 -!- ehird has quit (Remote closed the connection).
10:37:49 -!- ehird has joined.
10:38:17 -!- BeholdMyGlory has joined.
11:00:38 -!- oklofok has joined.
11:01:04 <oklofok> lol, disconnected right after i went to sleep
11:01:19 <oklofok> ff probably doesn't know how to continue
11:04:10 -!- M0ny has joined.
11:04:40 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server").
11:09:04 -!- M0ny has quit (Client Quit).
11:16:09 -!- Shuu has joined.
11:21:04 <oklofok> i guess it's switching time back to ie
11:22:18 <oklofok> lol, ie transfers faster too :D
11:23:09 <oklofok> (ff couldn't even start the transfer)
11:25:57 -!- upyr[emacs] has joined.
11:37:50 -!- Judofyr has joined.
12:48:09 <ehird> 22:58:22 <Warrigal> Wow: http://www.rainedog.com/d/20090501.html
12:48:12 <ehird> Fucking furries; furries fucking.
12:50:45 <ehird> "Because saying Twitter sucks strikes me as kind of like saying haiku sucks?" // srsly?
12:52:26 -!- oklopol has joined.
12:52:52 <ehird> is the file playableability.
12:52:58 <ehird> the very concept itself
12:53:01 <oklopol> for some reason, my computer crashed even though i had vlc on fullscreen.
12:55:25 <oklopol> can't make out all you say at the end
12:55:28 <ehird> i did tell you i was terrible at it
12:55:31 <ehird> also, i don't even remember
12:55:34 <ehird> i was just mumbling
12:55:46 <ehird> i think at the end i commented on how just walking was making it spew crap
12:56:10 <oklopol> i thought you said "you really shouldn't buy one of these things" or something :D
12:56:58 <fizzie> You picked that thought right out of his head.
12:57:26 <oklopol> from some of the introductory vids i've gotten the impression some are linear, some are not
12:58:40 <oklopol> i think i've mostly mastered aerial fingering already, some of the jumps are still somewhat jittery
12:59:45 -!- Judofyr has changed nick to Judofyr2.
12:59:51 <oklopol> because while the thumb and the wrist are the stable part, the rest are the part that makes the sound in the next octave, making it hard to get a fast jump right
13:00:14 -!- Judofyr2 has changed nick to Judofyr3.
13:00:24 -!- Judofyr3 has changed nick to Judofyr.
13:00:30 <oklopol> ehird: basically one centimeter = some interval
13:00:37 <oklopol> instead of some amt of hertz
13:00:51 <ehird> oklopol: you mean, like, it's non-continuous?
13:00:59 <ehird> 1, 2, 3, 4, 5, 20, 21, 22, 23, 24, 25, 40, ...
13:01:05 <oklopol> i'm just assuming that's what's meant, i can't estimate thhat from the vids.
13:01:37 <ehird> oklopol: what do you mean then
13:01:40 <oklopol> wait till python starts up
13:01:58 <ehird> your computer is slow :D
13:04:09 <oklopol> my intuition says something like
13:04:09 <oklopol> >>> [440*2**(float(i)/12) for i in xrange(12)]
13:04:09 <oklopol> [440.0, 466.16376151808993, 493.88330125612413, 523.25113060119725, 554.36526195374415, 587.32953583481515, 622.25396744416184, 659.25511382573984, 698.45646286600777, 739.9888454232688, 783.99087196349853, 830.60939515989025]
13:04:38 <oklopol> no idea what non linear is, stuff like
13:04:39 <oklopol> >>> [440+440*(float(i)/12) for i in xrange(12)]
13:04:39 <oklopol> [440.0, 476.66666666666669, 513.33333333333337, 550.0, 586.66666666666663, 623.33333333333337, 660.0, 696.66666666666674, 733.33333333333326, 770.0, 806.66666666666674, 843.33333333333326]
13:05:26 <oklopol> iterating 12 steps of some length
13:06:32 <oklopol> for the linear one, you'd get some constant interval of change for a constant rise in centimeters, but there's a limit for how high you can go
13:06:42 <ehird> i think all are linear
13:06:50 <oklopol> non linear could be like how guitars do it, in which case you can get infinitely high
13:07:04 <oklopol> of course probably not the case in reality, but mathematically speaking
13:07:10 <ehird> no, there's definitely a limit as you touch the antenna
13:07:25 <ehird> oklopol: big jumps just consist of immediately cutting the volume, jumping to the next note and going back, i think
13:08:00 <oklopol> that's just avoiding the glissando.
13:08:20 <ehird> oklopol: well you stand so that with your hands to your side there's no tone
13:08:28 <ehird> and with your hand stretched out it touches the pitch antenna
13:08:39 <ehird> so... it's not exactly hard to do big jumps
13:09:18 <oklopol> i don't see your point, did i say it's hard to do big jumps?
13:09:23 -!- oklofok has quit (Read error: 110 (Connection timed out)).
13:09:41 <ehird> 12:59 oklopol: because while the thumb and the wrist are the stable part, the rest are the part that makes the sound in the next octave, making it hard to get a fast jump right
13:09:47 <ehird> that isn't related to linearness then
13:10:15 <oklopol> linearness is related to how your aerial fingering needs to change depending on where your stable part is located
13:10:34 <oklopol> and that was about getting the fingering right
13:10:52 <ehird> oklopol: are you actually playing with a nonexistent theremin? xD
13:11:04 <ehird> oklopol: there are programs i think that use a webcam to make a virtual theremin
13:11:13 <oklopol> it's not exactly hard to mentally divide the air into notes
13:11:33 <ehird> oklopol: there's no division, just so you know
13:11:43 <ehird> it's a smooth scale of hz i'm pretty sure
13:11:55 <ehird> oklopol: btw at points in that video i fiddle with the knobs
13:11:57 <oklopol> i often play the piano without sound, why not a theremin
13:12:07 <ehird> just in case you're misinterpreting me playing slightly different afterwards or sth
13:12:13 <oklopol> yeah i know it's smooth, lol
13:12:24 <oklopol> you talk like i'm not an expert at it.
13:12:48 <ehird> oklopol: i generally work on the assumption that you're not a world expert in everything :D
13:13:07 <oklopol> i wish i had like meat or something, i'm hungry
13:13:18 <ehird> oklopol: when i just did one and it went weeeeeeeeearuuuuuuuuuuhhhhhhhhh that was the pitch one, in case you're retarded and didn't know that
13:13:29 <ehird> leftmost on the video would be my rightmost which was brightness
13:13:33 <ehird> and the remaining one's waveform i think
13:13:40 <ehird> pitch, waveform, brightness
13:14:07 <oklopol> not the retarded part, i knew it was the pitch :P
13:14:10 <ehird> i don't know what the latter two actually -do-
13:14:27 -!- oerjan has joined.
13:14:36 <ehird> oklopol: btw my £200 figure is inaccurate because i got it off ebay (albeit new)
13:14:45 <ehird> also it was more like £250
13:14:52 <ehird> (at least i think it was new, too long ago to remember)
13:15:46 <oklopol> i don't really care about anything except pitch
13:16:02 <oklopol> so i'll just call some of my hifi friends to make it sound nice
13:16:04 <oerjan> <oklopol> i hate how he actually gets the words right.
13:16:18 <oerjan> i _did_ use google translate in case it bothers you :D
13:16:30 <ehird> oklopol: they do markedly change the sound though
13:16:39 <ehird> i mean, some sounds will be hard to get without twiddlin' them
13:16:49 <oklopol> but you do have a history of getting some of the stuff right no one else does
13:16:56 <ehird> oklopol: but you're meant to use only one pitch setting
13:17:07 <oklopol> like the translation of the part you did not translate in your quit msg.
13:17:09 <ehird> you have to stand the right distance and make it so that you get either a very low tone or silence when your hands are by your side
13:17:42 <oklopol> i think you're supposed to set the pitch so that aerial fingering lets you get one full octave
13:18:25 <oklopol> but hey what do i know i'm not a world expert in everything
13:18:27 <ehird> i think that's what doing that does
13:18:32 <ehird> oklopol: i'm quoting the manual from the holy moog
13:21:09 <oklopol> ehird: if you're unlazy enough to google for a webcam theremin at some point, do tell. i'm not actually sure whether it's the webcam that's broken or the one program i had for it.
13:21:20 <ehird> oklopol: not a typo no
13:21:29 <oklopol> (if it's the program, the complete crashing of the computer is somewhat impressive)
13:21:34 <ehird> oklopol: http://homepages.ihug.com.au/~squires/vt/
13:21:50 <ehird> http://www.instructables.com/community/The-Virtual-Theremin/
13:22:36 <ehird> oklopol: are you using a laptop? there's a tool from Synaptics that uses the touchpad to do it :D
13:22:44 <ehird> [[if you have a Synaptics touchpad in your laptop (and windows) you can get a free theremin here:
13:22:44 <ehird> http://www.synaptics.com/support/utili.cfm
13:22:46 <ehird> the x& y axes control the pitch & tremelo, while the pressure on the pad controls the volume.
13:22:48 <ehird> (don't forget to staccato tap all over the pad to make R2D2 noises)]]
13:22:50 <ehird> might not be a synaptics touchpad ofc
13:24:25 <oklopol> it's the lack of touch that makes it a theremin
13:24:48 <oerjan> <estoppel> where's oerjan when you need him <-- wat
13:25:10 <oklopol> i've seen and played surfaces and strings mapped to smooth scales before
13:25:40 <ehird> oerjan: what's a reasonable linear representation of capital sigma/pi notation (with unicode)
13:25:50 <ehird> i later did "(a {{SIGMA}} b) c" is:
13:26:12 <ehird> you're mathematician, you should know what the operations feel like. QED
13:26:31 <oklopol> you usually use ellipses, if i understand the q
13:26:42 <ehird> oklopol: like what?
13:27:35 <oklopol> basically you do c(with a substituted for iteration var) + c(same for a+1) + ... + c(with b for it)
13:27:43 <oerjan> \sum_{a}^{b} c is the TeX
13:27:57 <ehird> oklopol: yeah that's not what i was asking.
13:28:07 <oklopol> oerjan: yes, but that's not what it feels like
13:28:46 <oklopol> i'll probably go offline now, because the webcam will crash my computer
13:29:41 <fizzie> "sum_{a to b} c" is what I've been writing when I've wanted to talk about a sum in a single-line ascii-only context. It's a bit TeX-inspired, but not quite. And not very pretty either.
13:29:45 <ehird> oklopol: oerjan: n! = ??? ∀n ∈ ℕ
13:30:06 <oklopol> i don't see those characters right
13:30:14 <ehird> oklopol: first three are question marks
13:30:19 <ehird> then upside down A
13:30:29 <ehird> in the ??? = part, it's pi
13:30:34 <ehird> the issue is that,
13:30:46 <ehird> is ambiguous wrt k=1 and the k
13:30:55 <ehird> implies some sort of currying to my mind
13:31:00 <oerjan> \product_{k=1}^n k, i think
13:31:08 <ehird> so i'm not sure the most readable & most accurate way to represent it
13:31:11 <fizzie> Just write the tex, everyone's got a built-in TeX renderizer in their brains.
13:31:16 <ehird> oerjan: that's nothing close to the corresponding mathematical notation
13:31:37 <fizzie> It overrides the visual input and embeds the result there.
13:31:50 <ehird> anyway i hate writing tex.
13:32:15 -!- ehird has set topic: 〃 http://tunes.org/~nef/logs/esoteric/?C=N;O=D.
13:32:28 <oerjan> ehird: you need {} around unless it's a single character, or thereabouts
13:33:05 <ehird> is still hard to distinguish in a moment imo
13:34:40 <fizzie> Why is that even in that "end ∏ start" order?
13:34:58 <ehird> http://upload.wikimedia.org/math/0/e/8/0e85eaace43199521530c584b3350444.png
13:35:04 <ehird> my brain instinctively orders the n first.
13:35:13 <ehird> if yours doesn't it's weird
13:35:34 <fizzie> I write TeX sums always \sum_{k=1}^n style, since the progression is "start from here, end up here".
13:35:40 <oerjan> mine certainly doesn't
13:35:40 <ehird> fizzie: i'm kind of tempted to make $$this render in tex$$
13:35:49 <ehird> what's the Proper symbolism for that
13:37:22 <fizzie> A simplified "∏{k=1 → n} k" could work; you rarely need an → in the start/end conditions, and the way there's no space after ∏ makes the {} part look like it's closely related to the ∏. But this is a subjective onion.
13:37:48 <ehird> yeah that's ugly. now what's the tex symbolism for mathematics stuff
13:37:57 <ehird> and how do i get you all to surround your tex with it on IRC.
13:38:40 <fizzie> For inline math, LaTeX is just $foo$. And for displayed equations, it's that \[ bar \]. That's the LaTeX way, though, not the pure-TeX thing.
13:38:41 <oerjan> $ ... $ for inline stuff
13:38:57 <ehird> what's the pure tex?
13:39:07 <ehird> oerjan: ugh but $ to $ is so ambiguous
13:39:12 <ehird> do you ever put spaces around them?
13:39:20 <ehird> "I'll give you $100 if you name a basic variable dick$."
13:39:30 <ehird> so it's still ambiguous
13:39:36 <ehird> I guess I could require whitespace around it but
13:39:38 <ehird> "I'll give you $100 if you name a basic variable dick$"
13:39:41 <fizzie> I think pure TeX might've been $ ... $ too for inline, and the double-dollar for display mode.
13:40:05 <oerjan> ehird: it's not ambiguous in TeX
13:40:19 <ehird> i'm not interpreting full irc lines as tex, oerjan :)
13:40:31 <fizzie> Incidentally, I think the ∏ I used there is different from Π you had. The first one is the special "n-ary product" character, while the latter might be just uppercase pi from the Greek slot.
13:41:30 <ehird> oerjan: fizzie: so, no delimiter suggestions then :D
13:42:40 <fizzie> Not really, no. Though you could use $...$ with suitable guesstimate-heuristics based on the content, if you want to be "TeX-compatible" and yet avoid that "any two dollar signs" thing.
13:43:52 <ehird> any tex math worth its salt will include \, won't it
13:44:43 <ehird> now i have to figure out tex's awful batch mode command line tools and how to turn an expression into a png :D
13:44:48 <GregorR> $3$ // I just wanted this rendered in mathfont :P
13:45:01 <ehird> GregorR: Tough shit :P
13:45:08 <ehird> Do $3\nop$ or something
13:45:24 <GregorR> $2^3$ people in this channel think that's too limited :P
13:45:50 <ehird> GregorR: How can I possibly understand you without a superscript :P
13:46:21 <fizzie> There are TeX plugins for every wiki software in existence, you could just steal/"borrow" someone else's code. They all render to small png pictures.
13:46:21 * oerjan swats GregorR -----###
13:46:54 <fizzie> oerjan: Ah, but it wasn't TeX, since there wasn't a \ in there.
13:47:08 <ehird> fizzie: i'm just not sure how they do it :P
13:47:42 <ehird> it's okay, he didn't say anything
13:47:48 <ehird> he tried to add "3$" to 2 dollars
13:48:11 <oerjan> FORTE string variable, obviously
13:48:15 <fizzie> There's a "texvc" script in the MediaWiki stuff which does the work. It's written in OCaml of all things. :p
13:49:16 <ehird> http://gizmodo.com/5315766/suspiciously-prescient-man-files-patent-for-ipod+like-device-in-1979 // wow
13:49:32 <ehird> fizzie: wmf have a ton of ocaml infrastructure
13:50:11 <ehird> windows media framework, duh
13:50:16 <ehird> (wikimedia foundation)-:
13:50:21 <ehird> Parasitic smilies.
14:00:07 <ehird> "I told Steve that I suspected that Microsoft was going to clone the Mac, but he wasn't that worried because he didn't think they were capable of doing a decent implementation, even with the Mac as an example."
14:03:10 <ehird> "It didn't even have overlapping windows, preferring a simpler technique called "tiling"."
14:03:39 <ehird> GregorR: I was thinking of tiling window managers :)
14:04:19 <GregorR> http://www.youtube.com/watch?v=xiKwErpPwMs
14:05:15 <ehird> Whatever it is, it isn't as good as the video where Ballmer yells about Windows being $99, or the crack-filled 10 minute spy advert.
14:06:47 <GregorR> It's not an advert ... per se? It's a floppy they distributed to encourage people to use Windows. It's a slideshow of "features"
14:07:25 <ehird> If it starts playing, I'll watch.
14:10:03 <HackEgo> Fri Jul 17 13:10:03 UTC 2009
14:10:10 <fizzie> There's reversi, though. And it stayed there up to 3.0, but was dropped from 3.1. :/
14:11:05 <ehird> it plays now, yay.
14:11:30 <fizzie> The Youtube clip seems to advertise the black-and-white version; something like 1.02 or 1.04 added colors.
14:11:33 <ehird> I gotta admit that Windows 1.0 _was_ pretty cool.
14:11:51 <ehird> Fitting the existing, hardware-poking DOS applications into a multitasking & windowing system.
14:13:11 <fizzie> Not too well, though. And DESQView did it earlier.
14:13:59 <ehird> True, but it's not exactly easy to make applications that mess with all your hardware directly play together nicely.
14:16:54 <fizzie> Besides, getting Windows 1 for the classroom PC made it trivial for everyone to access the directory with the alt-255 invisible character in the name, where the larry 1 copy had successfully been hiding, available only for those who were "in" on the secret.
14:17:52 <fizzie> Since the "MS-DOS Executive" let you just point-and-click. :/
14:18:14 <ehird> ...and forevermore, fizzie eschewed graphical interfaces in favour of the more arcane ways.
14:18:16 -!- MizardX has quit ("reboot").
14:21:03 * oerjan wonders why US radio stations abbreviations seem to begin with "K"...
14:22:20 <ehird> They don't all, do they?
14:22:38 <ehird> Or maybe "K" means "United Kstates?"
14:23:04 <augur> they dont all do that
14:23:40 <oerjan> that's what i found. no explanation for the letters, though...
14:24:05 <ehird> for my joke to work
14:24:18 <fizzie> http://www.oldradio.com/archives/general/kwtrivia.htm has the story.
14:24:29 -!- MizardX has joined.
14:24:48 <fizzie> Wait. The link promised for it to have the story.
14:24:51 <augur> http://en.wikipedia.org/wiki/Call_sign#North_America
14:24:52 <ehird> "(Initially ship stations were the reverse, with W assignments in the west, and K in the east)"
14:24:55 <ehird> SOMEBODY UNDERSTANDS ME
14:25:33 <augur> http://en.wikipedia.org/wiki/Broadcast_callsign#K_and_W
14:25:48 <ehird> I wonder why people make such complex federated single-sign-on systems
14:26:17 <ehird> augur: totally unrelated to the conversation at hand you must realise
14:26:31 <augur> whats a single sign on system?
14:26:49 <ehird> like Shibboleth. a university or company or whatever wants to provide a bunch of services to people
14:26:53 <ehird> but they have a ton of unrelated systems
14:26:59 <ehird> and want you to only have to sign in once
14:27:08 <ehird> for non-web stuff too
14:27:13 <ehird> all the solutions are so complex
14:27:32 <ehird> why not just use https or something and do https://authserver/authkey/${key_provided_by_client}? Use the IP or something
14:27:44 <ehird> i can't understand how it's a nontrivial problem
14:27:47 <ehird> juts random thought
14:28:56 <fizzie> It still doesn't really explain why exactly K and W. "The call letters assigned to the United States are all combinations (676) beginning with the letter N and all (676) beginning with the letter W, and all combinations (598) from KDA to KZZ, inclusive. (NOTE: The assignment of W and K to the United States appears to have been completely arbitrary--the letters have no particular significance. N, however, had been commonly used by the U.S. Navy since November,
14:30:52 <oerjan> well, that's what they _want_ us to think
14:32:42 <ehird> fizzie: isn't using K and W using 5 bits for 1? :D
14:33:23 <ehird> well N too I guess
14:33:33 <augur> whats your opinion of the Mancunian accent?
14:33:53 <ehird> actually ~1.5849 according to \bot
14:34:04 <ehird> augur: i don't have many accents assigned to names
14:34:09 <ehird> but i probably find it annoying.
14:34:19 <augur> the accent of people from Manchester. :P
14:34:32 <oerjan> augur: my opinion is: what the heck is the Mancunian accent?
14:35:08 <fizzie> Er, it's an international thing. It has to not-conflict with other places, which have other combinations assigned to them.
14:35:27 <ehird> augur: yah i don't actually know what they sound like i don't associate people with places.
14:35:29 <fizzie> "The United Kingdom uses G, M, VS, ZB–ZJ, ZN–ZO, ZQ, and 2."
14:35:40 <ehird> .......booooooring.
14:35:59 * oerjan _did_ sort of know LA was norway, but only because of a norwegian comedy sketch...
14:36:12 <fizzie> Hey, that page provides one hypothesis:
14:36:13 <fizzie> "The United States was represented by the military at the 1927 conference, which is why it received (or, in some cases, retained) A (for Army) and N (for Navy). The W and K for civilian stations followed as the simple addition of a dash to the Morse code letters A and N."
14:36:16 <GregorR> * oerjan _did_ sort of know LA was norway, but only because of a norwegian comedy sketch...
14:36:56 <oerjan> probably only used by radio amateurs, though
14:37:34 <fizzie> I know OH is Finland, because one sees that painted on airplanes. (Although apparently according to the table Finland has the OF-OJ range. And Norway has LA-LN)
14:38:13 <oerjan> since that was what the sketch was about, and i've never heard it about any other kind of station...
14:40:17 <fizzie> Yes, "normal" radio stations don't use the codes here either. Although I guess they might still be allocated one, technically speaking.
14:47:19 -!- MizardX has quit ("brb").
14:48:17 <ehird> http://tirania.org/blog/archive/2009/Jul-16.html ← Yow.
14:50:35 <ehird> "LLVM is not able to support some of the features that Mono needs, so in those cases the JIT compiler will still fall back to Mono's JIT engine (methods that contain try/catch clauses or methods that do interface calls). "
14:50:43 <ehird> I think LLVM can do try/catch.
14:51:14 -!- MizardX has joined.
14:51:15 <ehird> ah, they just can't do it "at the moment"
14:51:37 <ehird> John Harrop commented positively.
14:51:42 <ehird> Harrop. Praising Mono. What the fuck.
14:51:49 <ehird> ...probably an impersonator.
14:51:59 <ehird> "You should do a Mono port of android. It must be fairly easy to translate Java to C# given how similar they are."
14:52:07 <oerjan> hey hey many people get softer with age
14:54:56 <ehird> "Aha! yet more Elaborate intellectual justifications from the weak beta males..."
14:54:59 <ehird> Am I really reading this on Less Wrong?
14:56:24 <oerjan> are you implying it's not true?
14:57:45 <ehird> oerjan: I wasn't talking about xkcd if you thought so; but I'm incredibly surprised that there's an idiotic "ALPHA MALE HURR" person criticizing people for justifying things… intellectually… on a community about rationalism.
14:57:52 <GregorR> http://www.explosm.net/comics/1736/ Sooooooooooooooooo offensive
14:58:17 <ehird> (the post triggering the thread was about how all the neeeeeeeeeeeeeeerds here are beta males who won't take action and be total assholes to women so that they can have sex with attractive people.)
14:58:20 <ehird> (I'm quoting almost directly.)
14:58:54 <ehird> http://lesswrong.com/lw/12w/absolute_denial_for_atheists/xg9?context=1#xg9
15:00:34 <Deewiant> ehird: LLVM doesn't support EH on Windows.
15:01:02 <ehird> That's no reason to disable it for all platforms, tohugh.
15:01:08 <Deewiant> SEH is fairly undocumented and the devs don't use Windows.
15:01:18 <Deewiant> There's little interest in implementing it.
15:02:32 <ehird> That's no reason to disable it for all platforms, tohugh.
15:04:08 <GregorR> <ehird> That's no reason to disable it for all platforms, tohugh.
15:04:18 <ehird> [[Take-away from this comic: The new meme of proposing a comically horrible and violent plan, and then adding, "Like men once did."]] — like men once did.
15:06:09 <ehird> Everything Munroe says is a meme and utter comedic & inspirational genius to the people on the xkcd forum
15:07:11 <ehird> Hip language + LLVM seems to be a popular combination these days.
15:07:20 <ehird> I wonder when we'll get Erlang + LLVM. Or Haskell + LLVM.
15:08:36 <Deewiant> We already have Haskell + LLVM.
15:08:46 <Deewiant> (Google it, can't remember where.)
15:09:12 <ehird> http://www.google.com/search?client=safari&rls=en-us&q=haskell++llvm&ie=UTF-8&oe=UTF-8 ;; the only relevant thing seems to be that stc/ehc thing
15:09:36 <ehird> and it appears to be vaporware/presentationware: http://www.cs.uu.nl/wiki/bin/view/Stc/CompilingHaskellToLLVM
15:11:14 <Deewiant> Right, http://hackage.haskell.org/cgi-bin/hackage-scripts/package/llvm was only bindings
15:17:47 <GregorR> 23 is such a lame birthday :P
15:23:31 <oerjan> i'd say it's a prime age
15:23:39 <Deewiant> Calling your birthday lame is a lame way of drawing attention to it
15:23:46 <ehird> Deewiant: no, i did that.
15:24:38 <GregorR> I assumed "hb" = "happy birthday"
15:24:42 <GregorR> Since it is in fact my birthday.
15:32:11 -!- Judofyr_ has joined.
15:32:11 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
15:39:25 -!- oerjan has quit ("leaving").
15:43:51 <GregorR> http://www.flickr.com/photos/72186321@N00/3727447769/sizes/o/
15:48:28 -!- Judofyr_ has quit (Read error: 104 (Connection reset by peer)).
15:48:59 -!- Judofyr has joined.
15:49:41 -!- jix has quit ("leaving").
15:53:14 <ehird> 13:31 oerjan: \product_{k=1}^n k, i think
15:54:30 <ehird> blame jsmath's lab tool
15:55:22 <ehird> n! = \prod_{k=1}^n k \qquad \forall n \in \mathbb{N}\!
15:55:34 <AnMaster> ehird, btw you said something about me having a lot of edits on MB a few days ago iirc?
15:55:48 <AnMaster> ehird, I'm at 233 in total now
15:56:00 <ehird> on one hand, they must love you
15:56:05 <ehird> on the other, you're fucking nuts.
15:56:06 <AnMaster> 143 open ones, two accepted 83 auto edits
15:56:25 <AnMaster> ehird, AND I HAVE STILL OVER 30 classical CDs to add!
15:56:44 <AnMaster> ehird, currently I'm adding roughly four per day
15:57:17 <pikhq> What are you doing, tagging them by hand?
15:57:25 <ehird> pikhq: into musicbrainz, yes.
15:57:37 <ehird> he listens to über obscure classical without any entries :-P
15:57:59 <AnMaster> and doing lots of other edits of course, such as fixing incorrect info in cds that are in there. (The tracks with yellow bg in http://musicbrainz.org/release/3c969e3d-1fdc-4186-90fc-73eb0e70708e.html were edited by me. Note that listing shows the state *before* the edits, since they are still open)
15:58:49 <ehird> isn't (disc 1) in the title forbidden?
15:58:52 <ehird> i forget the policy
15:59:06 <AnMaster> ehird, actually most of the ~30 cds left to add are compilations trying to make classical music popular. You know... stuff like "The best of Vivaldi" and such.
15:59:17 <ehird> AnMaster: has that ever worked though? exactly!
15:59:18 <AnMaster> Often lacking a detailed info like Opus numbers and such
15:59:51 <ehird> i think i know of one instance where any kind of traditional music was made popular through an album.
16:00:11 <AnMaster> ehird, no idea. But I met quite a few people who didn't know of Grieg or "In the hall of the Mountain King", but when they heard it they went "Oh that one, used in <some movie I forgot>" and such
16:00:39 <ehird> (The example I was thinking of is http://en.wikipedia.org/wiki/Buena_Vista_Social_Club_(album))
16:00:40 <AnMaster> so I suspect a lot of people listen to more classical than they think they do
16:00:52 <ehird> people don't actively listen to soundtracks though
16:00:57 <ehird> you're not meant to notice them
16:02:14 <AnMaster> ehird, I assume you have seen Star Wars? Do you remember the music from (in the 5th movie) when the Empire attacked that rebel base on the ice planet?
16:02:30 <ehird> i have idly seen some star wars movies occasionally.
16:02:34 <AnMaster> some sort of march. Very noticable.
16:02:41 <ehird> no. i don't recall at all
16:03:38 <AnMaster> ehird, huge green walking machines? http://en.wikipedia.org/wiki/File:Battlehothesb.JPG
16:03:42 <pikhq> Do you remember the Emperial March?
16:03:55 <ehird> Emperial is my new favourite word.
16:03:58 * GregorR listens to Josef Suk's Fantastic Scherzo
16:03:58 <GregorR> I wurve this almost too much.
16:03:59 <ehird> It's empire + imperial!
16:04:00 <AnMaster> pikhq, that is the one they play there iirc?
16:04:06 <pikhq> s/Emperial/Imperial/
16:04:11 -!- bsmntbombdood_ has quit (Read error: 110 (Connection timed out)).
16:04:17 <AnMaster> heh, I mentally corrected it without noticing
16:04:17 <pikhq> AnMaster: Believe so.
16:04:32 <pikhq> But the theme comes up quite often; it's a bit of a leitmotif. ;)
16:05:50 <AnMaster> the point I was trying to make was that "<ehird> you're not meant to notice [movie soundtracks]" isn't always true. Another example: The main music "signature" in the India Jones movies.
16:06:04 -!- bsmntbombdood_ has joined.
16:06:50 <pikhq> I at least listen to soundtracks...
16:07:00 <ehird> i'm talking about during the movie
16:07:01 <AnMaster> pikhq, yes, you are usually meant to notice the leitmotifs of movies.
16:07:03 <pikhq> Including video game soundtracks.
16:07:29 <AnMaster> I actually have a abridged version of the complete star wars soundtracks on CD... Somewhere
16:07:42 <pikhq> ehird: Then they do a crappy job by having leitmotifs.
16:07:45 <AnMaster> (as in, not everything, just the more popular stuff)
16:07:51 <pikhq> Believe me, they're noticable. ;)
16:08:19 <AnMaster> however, when I listened to the track "Yoda's theme" (iirc) it wasn't familiar. Because it was one of the fainter ones you weren't meant to notice...
16:08:23 <ehird> apart from leitmotifs okay?!
16:08:35 <AnMaster> ehird, in that case star wars has two leitmotifs...
16:08:41 <AnMaster> the Empire one and the Rebel one
16:08:49 <ehird> God, shut up, all of you :P
16:09:28 <ehird> AnMaster: I thought you had a φilter.
16:09:38 <ehird> Anyway, φi is the only acceptable letter replacement. It's so pretty.
16:09:53 <AnMaster> at the end of movie 6 the Rebel leitmotif is *VERY* noticable. Well a variation on it I guess. A happier "triumphal" variant than heard earlier.
16:10:01 <ehird> (Note: I preφer the closed version; not the one that looks like the uppercase one.)
16:10:12 <ehird> (If your φont has it closed, get a new φont.)
16:10:19 <AnMaster> ehird, forgot to put the filter script on autoload in the bouncer
16:11:25 <pikhq> Þou haſt too much Greek.
16:11:34 <ehird> AnMaster: Thou ɸails.
16:11:50 <AnMaster> anyway what is φ? It is missing from my filter
16:12:12 <ehird> Those are the same character.
16:12:17 <ehird> They are both lowercase.
16:12:18 <pikhq> It's all Greek to me.
16:12:33 <AnMaster> pikhq, do they have any sensible meaning in that text?
16:13:41 <Asztal> I 'dfill the blank with a blank
16:13:42 <pikhq> AnMaſter: I believe þat þou miſunderſtood the ɸraſe “It's all Greek to me”.
16:14:07 <AnMaster> <pikhq> AnMaster: I believe that thou misunderstood the ɸrase “It's all Greek to me”. <-- you are using it now. No way around providing a consistent mapping for it!
16:14:31 <pikhq> I intentionally misused it! HAH!
16:14:51 <ehird> AnMaster's next filtering trick will be to change all of my opinions to his.
16:15:27 <AnMaster> ehird, that would require understanding what the text meant, thus requiring a strong AI~ ;P
16:15:39 <ehird> I'm not sure it requires intelligence.
16:15:44 <ehird> You seem to partly understand me sometimes.
16:15:52 <AnMaster> ehird, to parse what you say? Probably not
16:16:05 <ehird> Excuse me, that was a burn for you, not me.
16:16:35 <AnMaster> anyway... you could just use a lookup table + a bit of fuzzy matching. Would need maybe 50-60 entries?
16:16:52 <ehird> yours could be a φne liner.
16:17:46 <AnMaster> ehird, if you don't use φ consistently it seems completely pointless.
16:18:14 <ehird> I am usiφ it consistently; maybe you just caφt make out what sound it represents.
16:18:38 -!- coppro has quit (Read error: 104 (Connection reset by peer)).
16:18:40 <AnMaster> lets see what it replaces: a, o, g (during the last few lines)
16:18:52 <fizzie> ϕ and φ are both lowercase-phi, generated by \phi and \varphi in LaTeX, respectively.
16:19:11 -!- coppro has joined.
16:19:16 <AnMaster> "anyway" and "one". Same sound? Err?
16:19:16 <ehird> AnMaster: You assume that phonology is directly related to spelling.
16:21:52 <AnMaster> ehird, is /wʌn/ and /ˈɛniweɪ/ same sound?
16:22:13 <AnMaster> I mean, beginning with same even
16:22:26 <ehird> This really isφt difficult.
16:22:27 <AnMaster> http://en.wiktionary.org/wiki/one#Pronunciation http://en.wiktionary.org/wiki/anyway#Pronunciation
16:22:43 <AnMaster> sure there are several for "one", but none seems to match
16:23:32 <ehird> Hmm, "φnyway" was a typo.
16:23:42 <ehird> It should have been "aφyway"
16:24:09 <AnMaster> fizzie, must have been a typo too then.
16:25:21 <AnMaster> ehird, that removes the /wʌ/ ?
16:26:58 <AnMaster> ehird, would you replace "on" with φn then?
16:27:44 <AnMaster> ehird, I can't see how this makes sense for /wʌn/ being represented as "φe" assuming φ really is /n/
16:28:27 <pikhq> GregorR: And now I know the meaning of Life.
16:28:48 <AnMaster> Unless you try to argue that the orders of the sounds and their roughly corresponding letters are in reverse order
16:29:10 <AnMaster> which, knowing English, isn't *entirely* impossible
16:30:06 <AnMaster> (knowing is not a good word here, the meaning I was trying to use it in doesn't work in there, does it?)
16:39:48 <pikhq> In fact, it's a common idiom.
16:45:53 -!- Pthing has joined.
16:58:56 <ehird> EMACS WITH A RESOUNDING SNAKE
16:59:56 <ehird> M-sssssssssssssssssssssssss
17:05:06 <GregorR> Esssssssssssssssssscape-meta-alt-control-ssssssssssssssssssssssssssssshift
17:05:52 <ehird> Six megabytesssssssssssssssss and conssssssssstantly sssssssssswapping
17:07:48 * ehird attempts to learn (La)TeX by writing lots of little expressions in it.
17:07:50 <ehird> \prod_{k=n}^m x = x_n \times x_{n+1} \times \ldots \times x_{m-1} \times x_m
17:10:17 <AnMaster> pikhq, yes I know that "knowing x, blah blah" is. but "knowing English" seemed to have a different meaning there.
17:10:43 <AnMaster> which might imply I'm not "knowing English" that well ;P
17:11:08 <pikhq> AnMaster: No, it has the same meaning in this context.
17:21:16 <ehird> Yay, \[\prod_{k=n}^m x = x_n \times x_{n+1} \times \ldots \times x_{m-1} \times x_m\] typesets properly.
17:21:53 <pikhq> Well of course it does. It's TeX -- where correct typesetting is the norm.
17:22:21 <ehird> pikhq: I mean, I wrote it correctly.
17:24:14 <ehird> pikhq: Also, default TeX is kind of crap for not doing Unicode and the like.
17:24:24 <ehird> If you replaced TeX with XeTeX, I'd agree.
17:34:26 <ehird> Meanwhile, http://filebin.ca/gyhqza/sums-and-products.pdf
17:35:02 <pikhq> XeTeX is an implementation of the TeX language.
17:37:03 <ehird> but you can easily make a TeX implementation that looks really ugly
17:37:11 <fizzie> Incidentally, I think that should be $\sum_{k=n}^m x_k$ instead of just $x$ there.
17:38:25 <ehird> http://filebin.ca/vkuvr/sums-and-products.pdf
17:39:09 <fizzie> Sums and products are made of sugar and spice and everything nice.
17:39:31 <ehird> Someone should make a TeX expression _evaluator_. :-)
17:40:11 <fizzie> That's called Mathematica; it can ToExpression["input", TeXForm].
17:40:18 <Warrigal> augur: well, as I kind of said, the context implies that they didn't.
17:40:29 <ehird> fizzie: I don't think it can evaluate my sum expression.
17:40:42 <ehird> Admittedly, it's not very semantic.
17:41:07 <pikhq> ehird: You could write it in TeX.
17:41:23 <pikhq> TeX *is* Turing-complete.
17:41:23 <ehird> ToExpression::esntx: Could not parse \sum_{k=n}^m x_k=x_n+x_{n+1}+ \ldots+x_{m-1}+x_m as Mathematica input.
17:41:36 <Warrigal> So, you guys are using single letters for digraφs again.
17:42:15 <Warrigal> It looks like ðis, or Ðis in uppercase.
17:42:45 <Warrigal> I'm totally pronouncing ðose "you" and, um, "yy".
17:43:05 <ehird> I'm going to write a plugin φor φi replacement.
17:43:14 <ehird> Whereby "plugin" I mean "patch to my IRC client".
17:43:34 <fizzie> Well now, that wasn't a very useful Mathematica session: http://pastebin.com/m147cd2e5
17:43:46 <pikhq> Correct -- þ was written as "y" by early Enliſh typeſetters. ;)
17:44:19 <ehird> pikhq: Mark Twain loves them.
17:44:51 <ehird> Warrigal: Yes; "S".
17:47:32 * pikhq prefers Compose f s
17:52:23 <pikhq> Indeed, ðis is madneß.
17:54:42 <fizzie> Having some trouble getting the fuck-mobile started?
17:55:03 <ehird> Fuck-fuck-fuck darn.
17:56:03 <ehird> 84en it seems to me like we should 102uck all 116e bru115els sprouts.
17:56:11 <ehird> 09:56:03 <ehird> 84en it seems to me like we should 102uck all 116e bru115els sprouts.
17:58:53 <ehird> Ðen I ðink we should φuck all ðe brußels sprouts.
17:59:16 <ehird> pikhq: did ðat work?
17:59:19 <ehird> It isn't reφlected here.
17:59:35 <fizzie> <ehird> Ðen I ðink we should φuck all ðe brußels sprouts.
18:01:56 <pikhq> Þou need'ſt moar ſ.
18:02:20 <ehird> No, mine is φar more elegant; a ðesis on what ðe most noble oφ men must do. Or someðing.
18:02:39 <ehird> (Repaste ðat, please.)
18:02:47 <pikhq> 12:02 < ehird> No, mine is φar more elegant; a ðesis on what ðe most noble oφ men must do. Or someðing.
18:03:13 <ehird> Moto, eh, soak you?
18:03:24 <fizzie> I keep reading φ as q, though. Wonder-qul.
18:03:55 <pikhq> ehird: Moto = moar, kure = please (informal).
18:04:18 <ehird> Moar is never said wið please.
18:06:33 <pikhq> "Please" is a crappy translation of "kure".
18:10:37 <ehird> Then, I ðink we should fuck all ðe brussels sprouts. 100%
18:11:15 <ehird> pikhq: I am an elegant, civilised person.
18:11:31 <ehird> Do impart unto me ðe secret "φs", so ðat I may incorporate it.
18:12:14 <ehird> Holy praise to ðou.
18:12:51 <ehird> Now wið 100% more ſ replacement.
18:13:04 <ehird> pikhq: wait, doeſ it apply at ðe end oφ a word?
18:13:50 <pikhq> Nor doeþ it apply after an s or an f.
18:14:14 <ehird> pikhq: what about aφter an ß?
18:14:35 <pikhq> How often doþ þou write 'sss'?
18:15:45 <ehird> (cons 1 (cons 2 (cons 3 '())))
18:20:57 -!- Sgeo has joined.
18:29:55 <ehird> "Haypreß Creek Supercomputer: 360 cores and 250 billion inſtructions per ſecond. On an 8cm x 8cm board."
18:29:57 <ehird> http://colorφorð.com/haypreß.htm
18:30:05 <ehird> http://colorforth.com/haypreß.htm
18:30:07 <ehird> http://colorforth.com/haypress.htm
18:30:11 <ehird> Ðis could poſe a problem, pikhq.
18:30:34 <ehird> how do you get around it?
18:31:23 <pikhq> I'm typing ſ and þ manually.
18:31:41 <ehird> What about GregorR?
18:31:44 <pikhq> Not that hard; just a compose key, and then two letters.
18:32:45 <ehird> i mean, I have %char to eſcape.
18:32:51 <ehird> well φraſe not char really
18:33:08 -!- GuestShadowSkunk has joined.
18:42:23 <Gracenotes> hah... I have, like, 6 wget wrappers now...
18:44:19 <Gracenotes> actually, 7, if you count the mp4 appending
18:44:42 <Gracenotes> wget from specific websites with varying amounts of preprocessing and cookies
18:45:36 <Gracenotes> for example I have one for YouTube videos I use
18:46:23 -!- Slereah has quit (Read error: 110 (Connection timed out)).
18:52:26 -!- GregorR-L has joined.
18:59:33 -!- AnMaster has quit (Connection reset by peer).
19:04:35 -!- AnMaster has joined.
19:08:24 -!- coppro has quit (Read error: 104 (Connection reset by peer)).
19:09:29 <AnMaster> grr, X crashed and I was unable to unfsck my terminal. Had to use sysrq.
19:10:15 <AnMaster> iirc there is work in progress to clean up graphics handling code in kernel
19:10:29 <AnMaster> hopefully it will also make handling X segfaulting easier
19:11:48 -!- Shuu has left (?).
19:12:08 <pikhq> All graphics mode changing will be done in the kernel, rather than the crazy junk that is having X override the kernel's graphics layer.
19:30:47 <AnMaster> pikhq, how long before binary nvidia drivers start doing that?
19:31:19 <pikhq> Approximately forever.
19:31:42 <pikhq> The same for binary ATI drivers, but that's okay because the binary ATI drivers are intended to be deprecated.
19:31:54 * pikhq checks on how Nouveau's going
19:32:41 <pikhq> Well, Nouveau already supports that.
19:32:55 <pikhq> Shame it doesn't have stable 3D working.
19:33:34 <AnMaster> pikhq, yeah, I pretty much need that. If I can't do flightsim with 2x AA then I'm not changing. :P
19:33:54 <pikhq> I suggest you pick up an ATI card in the future. ;p
19:34:08 <AnMaster> pikhq, when I got this card that would have been insane
19:44:48 -!- nescience has quit (Read error: 104 (Connection reset by peer)).
19:45:01 -!- nescience has joined.
19:45:10 -!- KingOfKarlsruhe has joined.
20:02:22 -!- oerjan has joined.
20:12:17 <oerjan> <pikhq> Þou. <-- certainly not, that was a plural use.
20:13:45 <pikhq> No, it was a ſingular in response to a plural.
20:13:58 <pikhq> I was explicitly telling ehird to shut up. :)
20:14:17 <pikhq> Alſo, I like only sometimes using ſ. :P
20:14:23 -!- zzo38 has joined.
20:15:39 <zzo38> I implemeneted auto-answer CTRL+A now (can be turned on and off with a configuration setting)
20:16:27 <zzo38> Now you can check to see if it works properly for you, please.
20:16:59 * oerjan doesn't know what zzo38 is talking about
20:17:07 <pikhq> 14:16 [freenode] CTCP VERSION reply from zzo38: PHIRC:0.2:PHP 4.4.0 on Windows NT 5.1 i586
20:17:28 * pikhq vomits, vomits some more, and then feels an odd urge to vomit still more
20:17:41 <oerjan> 21:17 CTCP PING reply from zzo38: 0.503 seconds
20:18:00 <oerjan> do you mean answers to those?
20:18:26 <zzo38> Yes, it auto answers to CTRL+A message VERSION and PING and also FINGER and TIME, if it is enabled
20:18:58 <zzo38> It displays the CTRL+A message anyways, and then prints "AUTO ANSWERED" if it understood it and answered it
20:20:47 * oerjan didn't know about FINGER. the reply (user id only) doesn't look too useful...
20:21:09 <zzo38> It gives idle time since the user typed in a command, also.
20:21:17 <oerjan> zzo38: also, your clock is 4 minutes late or so :D
20:21:45 <pikhq> oerjan: He uses Windows; NTP is done poorly there.
20:21:51 <zzo38> I know my clock on my computer is wrong, I think it is slow and that's why it is never correct
20:22:25 <pikhq> zzo38: Use a real OS; get your clock within milliseconds of accuracy.
20:22:36 <oerjan> my windows clock is within the same minute as nvg's linux servers
20:22:53 -!- ehird has left (?).
20:22:57 -!- ehird has joined.
20:23:07 <oerjan> i haven't checked whether it is more accurate than that.
20:23:21 <pikhq> Yeah, that's how crappy Windows NTP is.
20:23:24 <zzo38> The next time I upgrade my operating system it won't be Windows, it will be a Linux distribution of my own design
20:23:44 <oerjan> pikhq: because i don't have a _need_ for it, silly :D
20:23:47 <pikhq> They take a protocol that makes it easy to get sub-second accuracy and make it get minute accuracy.
20:24:08 <pikhq> zzo38: See, that's where you're dumb.
20:24:10 <oerjan> it could very well be on the second.
20:28:13 <oerjan> my clock seems to be up to a second late, but not more.
20:28:40 <zzo38> If you send FINGER, did you receive the number after the colon? What number did you get?
20:29:48 <zzo38> The number after the colon is the idle time (counting only what the user actually typed to the server)
20:31:30 <oerjan> i interpreted that as "the user id is 43" :D
20:32:32 <oerjan> i suppose user is your actual username. given how my windows username happened to be the norwegian translation of that.
20:32:42 <zzo38> It might seem so, but if you send another time you might get a different answer and you can know that is not it.
20:32:49 <zzo38> Yes, "user" is my actual username
20:33:50 <zzo38> I can see you just did that. It does display the message on the screen even if it auto-answer (it also displays the "AUTO ANSWERED" so I can know it did auto-answered)
20:36:22 <oerjan> irssi does the first (in a different window) and also says "Unknown CTCP" if it doesn't know about it.
20:37:46 <oerjan> (except ACTION which is in the same window of course)
20:45:27 <oerjan> <ehird> Yay, \[\prod_{k=n}^m x = x_n \times x_{n+1} \times \ldots \times x_{m-1} \times x_m\] typesets properly. <-- i'm not quite sure but i think i would have used \cdots there.
20:45:40 <ehird> yeah i realiſed ðat recently
20:45:49 <ehird> ugh ðat φilter's ſtill ðere
20:47:33 <zzo38> Do you think PHIRC is good IRC client?
20:47:50 <zzo38> Unfortunately there is no documentation yet
20:48:38 <ehird> It's written in ΦP and preliminary eſtimates ſuggeſt ðat ðere are 5 billion conφiguration options.
20:49:20 <zzo38> Why is your writing replaced with other symbols?
20:49:43 <ehird> Which is "sophisticated".
20:49:54 <zzo38> O, I knew what it meant
20:50:08 <ehird> It's Olde Engliſh, Icelandic and ſtuφφ and Greek.
20:50:14 <ehird> Which means I'm, like, 3x ðe ſoφiſtication.
20:50:15 <zzo38> I can tell. PuTTY does support UTF-8 and will display it correctly
20:50:20 <ehird> Even iφ I'm not ſure "φφ" is valid.
20:50:41 <oerjan> ehird: that http://filebin.ca/gyhqza/sums-and-products.pdf
20:50:51 <oerjan> looks a bit wrong to me
20:50:52 <ehird> oerjan: look at ðe reviſed one
20:50:58 <ehird> but what looks wrong about it
20:51:12 <ehird> apart φrom not being \cdots
20:52:06 <zzo38> PHIRC actually has only 5 configuration options so far, and 16 slash-commands. If you put a slash it is interpret by client, if there is no slash then it will be sent to the server
20:52:15 <oerjan> the bare x to the left of the equation sign
20:52:34 <oerjan> it needs a k index in both cases
20:53:32 -!- Ilari has quit (Read error: 60 (Operation timed out)).
20:54:37 <oerjan> bah why don't i read two lines down before commenting :D
20:56:32 <zzo38> O, and it does display asterisks when you are typing your password.
20:58:04 <zzo38> It types asterisks, and green, if your command is PASS or /PASS even though there is no /PASS command. It might seem weird but it is possible to add /PASS command by add-in file
20:58:35 <oerjan> the answer, of course, is my neurotic fear of forgetting i was going to comment.
21:01:54 -!- Ilari has joined.
21:10:31 -!- zzo38 has quit.
21:12:46 -!- GregorR-L has quit ("Leaving").
21:15:30 * ehird teaches emacs and LaTeX to a non-programmer at the same time.
21:15:38 <ehird> It's like juggling but harder.
21:19:31 <oerjan> real juggling requires three balls. try adding some haskell.
21:20:22 * oerjan cackles evilly. literally.
21:20:38 <pikhq> oerjan: I suspect that'd be easier for a non-programmer, *initially*.
21:20:48 <ehird> pikhq: Well, he is a math guy, so.
21:20:51 <pikhq> Simply because they have no expectations of how things work at all.
21:21:04 <ehird> Let's just call LaTeX his gateway drug to programming :P
21:21:13 <pikhq> Of course, that's only starting out.
21:21:36 <pikhq> Unless the guy is into category theory, monads will freak him out longer than is usual. :P
21:21:53 <pikhq> Oh, and corecursion might also do that.
21:22:01 -!- GuestShadowSkunk has changed nick to Slereah.
21:22:36 <pikhq> > do {x <- (+1); y <- (+x); return (x,y)} $ 3 -- what's so hard about that?
21:22:48 <ehird> pikhq: Corecursion is easy.
21:22:51 <ehird> It's not anything special.
21:22:54 <ehird> it's just infinite data structures, really
21:22:56 <pikhq> ehird: For programmers, sure.
21:23:08 <pikhq> I change my statement.
21:23:16 <ehird> mathematics has it too
21:23:17 <pikhq> s/corecursion/recursion/
21:23:23 <ehird> Mathematics has recursion, dood.
21:23:46 <pikhq> And most people don't know enough math to get recursion.
21:24:47 -!- KingOfKarlsruhe has quit (Remote closed the connection).
21:25:20 <pikhq> In that case, the only hard part is going to be monads.
21:25:31 <oerjan> to get recursion, you must first get recursion.
21:25:47 <ehird> pikhq: data Z = Integer
21:25:52 <ehird> Call every function "f".
21:25:59 <pikhq> Hmm. Actually, the idea of a "type system" might be slightly tricky.
21:26:00 <ehird> Put extraneous parentheses and pass multiple arguments in tuples.
21:26:05 <ehird> pikhq: Uh, mathematical functions are typed.
21:26:17 <ehird> You see "f : ℕ → ℕ" all the time.
21:26:38 <pikhq> ehird: I'm not sure what level of knowledge is involved here.
21:26:50 <ehird> Although you usually use "f : ℕ × ℕ → ℕ".
21:26:53 <pikhq> Is this someone that was competent at high-school mathematics, or an actual math geek?
21:26:59 <ehird> Which would be (Integer,Integer) -> Integer, of course.
21:27:44 <pikhq> If it was the former, they've probably only seen functions on the reals and the complex numbers. Types are brain-breaking from that background.
21:27:58 <ehird> Well, I don't think you get many higher-order functions in mathematics.
21:28:16 <pikhq> Lambda calculus is math.
21:28:17 -!- ais523 has joined.
21:28:24 <ehird> So is all programming.
21:28:50 <pikhq> Some of it is more formal than others, of course.
21:32:45 <AnMaster> argh, copying track names from a cd sleeve is hard for me.... Since I'm used to touch typing I can't type *without* looking at the screen.
21:32:57 <ehird> you're not used to touch typing
21:33:01 <ehird> you just get your feedback after the fact.
21:33:09 <ehird> touch typing is simply not needing to look.
21:33:36 <AnMaster> ehird, I can type without looking, just my head constantly wants to pull away and look at the screen, automatically.
21:34:21 <oerjan> integration and derivation are higher-order functions, you know :)
21:34:29 <pikhq> I often-times carry on a conversation, talking to someone else, doing the eye contact bit and everything, while still talking. It kinda surprises people that I can do that, but. :)
21:34:39 <ehird> oerjan: you don't think of them as functions though, reall.
21:34:41 <pikhq> oerjan: Yes, and many people don't realise this at all. ;)
21:35:03 <ehird> pikhq: Let me confirm. Your third-last statement is a way of saying:
21:35:09 <ehird> "I can carry on a conversation normally."?
21:35:38 <pikhq> No; talking to someone IRL while typing on the computer.
21:35:43 <ehird> That's what I meant.
21:35:53 <ehird> I can't, but that's just because my conversation engine is singletasking.
21:36:08 <pikhq> Bah, single-tasking.
21:36:23 <ehird> I can't help it. If you want to talk to me, you'd better be prepared to wait a minute. :)
21:36:32 <oerjan> pikhq: http://xkcd.com/604/
21:36:45 <ehird> i get that but i also can't type any more
21:54:08 <oklopol> usually when i try to multitask conversations, i stop both conversations.
21:54:20 <oklopol> and wait for one of them to end
21:57:27 <oklopol> i've been asked to ask you guys to takl
21:58:36 <oklopol> judging by all the squirming, somesorta worm.
21:59:02 <ehird> is this person, like, in here
21:59:23 <ehird> why'd they want us to talk :D
21:59:30 <ehird> also are you implying it's you.
22:00:16 <ehird> dear person watching the screen: YOU'RE A DICK.
22:00:35 <pikhq> oklopol: Kon'nitiha. Hazimemasite? Dōzo yorosiku onegaisimasu.
22:01:08 <oklopol> oerjan: in calculus, while integration and derivation are higher-order functions in the sense that they are functions on functions, there's a clear separation of functions that are data and the -ations them selves
22:01:17 <pikhq> oklopol: Saluton! Kiel vi fartas?
22:01:46 <oklopol> "hello! how do we travel?"
22:02:16 <oklopol> so... not completely correct?
22:02:45 <pikhq> Standard introduction.
22:02:49 <oklopol> you can also translate the esperanto in case there were subtle errors
22:03:00 <pikhq> "Hi! How are you?"
22:03:21 <oklopol> can you specify that a bit
22:03:50 <pikhq> Farti, IIRC, was "fare", not "travel". :P
22:04:03 <pikhq> If it's not, then I feel dumb.
22:04:15 <oklopol> do realize i don't know even one word of esperanto
22:04:56 <oklopol> and "travel" was a joke, although admittedly i didn't come up with fare
22:06:04 <oklopol> just making sure... for some reason
22:06:11 <ehird> oklopol: PERSON ON SCREEN IS BITCH ASS
22:06:53 <oklopol> ehird: aren't you the one who's on screen?
22:08:06 <pikhq> Deewiant: In the imperative sense.
22:16:44 <ehird> oerjan: hm do you \usepackage{amsmath}? it doesn't help that _I'm_ lerning latex too
22:16:54 <ehird> amssymb+amsmath seems to fuck up fonts here
22:17:23 <oerjan> i may have done, when i actually wrote stuff
22:19:06 <oerjan> oklopol: tangent spaces of manifolds can be defined as consisting of derivation operators. see http://en.wikipedia.org/wiki/Tangent_space#Definition_via_derivations
22:19:34 <oerjan> so no, there is not a clear separation.
22:22:48 <oklopol> i just meant in the usual bore-calculus.
22:23:19 <oklopol> i don't really know anything about manifolds yet, have to wait till sunday
22:23:21 <ehird> has anyone used auctex?
22:23:29 <ehird> what's the command to run latex? i can only get it from the mode menu
22:35:20 <ehird> http://imgur.com/qy8jN.jpg
22:36:14 <pikhq> Or if you're using xetex, xelatex
22:36:17 <ehird> pikhq: Congratulations! I give you the Does Not Know What AUCTeX Is award.
22:36:22 <ehird> Also Didn't Check Before Answering. :P
23:00:10 <oerjan> ehird: ah i see you found out where all my vague recalls come from
23:02:55 * oerjan starts scanning the reddit alien soap comments for the obligatory "but is it made from _real_ reddit aliens?"
23:06:00 <oerjan> s/scanning/slowly crawling through/
23:09:27 <ehird> oerjan: hmm in mathematics is there actually a difference between x_n and x(n)?
23:09:36 <ehird> there never seems to be
23:10:46 <oerjan> i guess it sort of depends on whether it's intuitively an index or not.
23:11:31 <ehird> oerjan: does it makes sense to say 'x : N -> N' if it's x_n?
23:12:01 <oerjan> well, it may not be correct style
23:12:38 <oerjan> probably depends on subject, like everything else
23:13:35 <oerjan> i suppose this is sort of a kind of weak typing, just to guide intuition
23:15:05 <ehird> wow, doing multiline equations in latex is a pain
23:16:37 <AnMaster> ehird, I'm at 282 edits now. :P And I added something that wasn't classical music last.
23:16:51 <AnMaster> but still nothing you will ever have heard of
23:16:53 * ehird attempts to figure out \begin{align} in latex
23:17:02 <ehird> I'm just trying to align the : of a type of a function and its definition
23:17:12 <ehird> pikhq: and I can't figure out how :D
23:17:34 <ehird> the : is aligning to the start of the =
23:17:37 <ehird> as opposed to the middle
23:18:06 <AnMaster> ehird, translated title is roughly (but with the puns lost): "The best of Povel Ramel". He was a Swedish comedian and jazz musician. Most of his works would be untranslatable.
23:18:19 <ehird> oerjan: first result on google is "Avoid eqnarray!"
23:18:22 <ehird> colour me unimperssed :)
23:18:35 <ehird> Abstract Whenever the eqnarray environment appears in a question or an example
23:18:35 <ehird> of a problem on comp.text.tex or the TEXhax mailing list there is a large
23:18:36 <ehird> chance that someone will tell the poster not to use eqnarray. This article
23:18:38 <ehird> will provide some examples of why many of us consider eqnarray to be
23:18:40 <ehird> harmful and why it should not be used.
23:18:45 <AnMaster> ehird, that was a boxed set of 5 cds. Did you know what the titles ended up like thanks ot MB guidelines?
23:19:06 <AnMaster> Det bästa av Povels mångsidor: Karamelodier i kategorier (disc 4: Tvålar, Corkar och kokosnötter: Povel - Bearbetaren)
23:19:24 <ehird> looks quite sane to me.
23:19:27 <AnMaster> ehird, couldn't use , for newline in the subtitle of the disc, since that was already used in the title
23:19:53 <AnMaster> , seems to be used quite often for that otherwise
23:20:04 <AnMaster> - was used too in the title as you can see
23:20:43 <AnMaster> ehird, oh and google translate won't be much use. Two made up words.
23:22:55 * oerjan doesn't have a coconut to fail at opening :(
23:25:42 <AnMaster> oerjan, Are you flying though?
23:26:27 * oerjan cannot find the lyrics to it either
23:26:37 <AnMaster> oerjan, Possibly with a cone filled with caramels?
23:27:07 <oerjan> is this the same song? i don't recall _that_ many povel ramel songs...
23:27:16 <AnMaster> oerjan, are you at Blue Hawaii?
23:27:27 <AnMaster> oerjan, not *exact* names. Some got lost in translation
23:27:47 <oerjan> blue hawaii rings a bell, but isn't that vikingarna or something?
23:27:53 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
23:28:15 <AnMaster> "Titta jag flyger", "Tänk dig en strut karameller", "Vårt eget Blue Hawaii", and you mented "Far jag kan inte få upp min kokosnöt"
23:28:34 <AnMaster> oerjan, But whatever you do, don't buy a zebra? Ok?
23:28:36 <oerjan> ah so blue hawaii _is_ his
23:29:04 <AnMaster> oerjan, did you remember that one? It is hilarious :)
23:29:37 <AnMaster> oerjan, why not listen to something happy? Like a blues?
23:29:58 <AnMaster> "Köp inte en zebra" and "En glad blues"
23:30:38 <AnMaster> oerjan, I have a book with music sheets and lyrics for a lot (far from all of course) by Povel Ramel
23:31:16 <AnMaster> I read somewhere that Povel Ramel was more productive than Mozart even, if you count in number of different music pieces!
23:31:41 <oerjan> that may well be. i happened to look at his wikipedia page the other day
23:32:06 <AnMaster> (of course, it could be argued that in most cases Mozart's works were much longer, having several movements and so on)
23:32:37 <AnMaster> I never seen any "total bar count" or "total note count" for either.
23:33:03 <oerjan> i was looking through the novelty songs category, and came upon the original english song kokosnöttar was translated from
23:34:14 <oerjan> "I've got a lovely bunch of coconuts"
23:34:29 <Slereah> Everyone is sitting in a row!
23:34:48 <Slereah> Give them a twist, a flick of the wrist, that's what the showman said!
23:35:30 <oerjan> same melody i assume, but the text is quite different
23:35:55 <ehird> I seem to be getting a little better at TeX.
23:36:29 <oerjan> and although i can only recall the beginning, i vaguely think ramel's was funnier than that
23:36:52 <Slereah> oerjan : http://www.youtube.com/watch?v=cSzeE0YysV0
23:41:05 <oerjan> now what michael jackson was doing in there i cannot say.
23:41:31 <Slereah> Maybe it's a joke on Michael Jackson being white
23:41:38 <Slereah> (If you know the ethnic slur coconut)
23:42:27 * oerjan wonders about the comment claiming it isn't monty python anyway
23:43:27 <ehird> Merv Griffin's recording with Freddie Martin and His Orchestra is often miscredited to Monty Python on the Internet. The Martin/Griffin version reached the Billboard retail Top 10 and is widely reported to be a million-seller.
23:43:45 <oerjan> ooh i spelled kokosnöt wrong
23:44:51 * oerjan throws a coconut at pikhq (@)
23:45:04 -!- Judofyr has quit (Remote closed the connection).
23:45:59 <ehird> "I came home Sunday and immediately fell asleep. I dreamt of an army of monkeys. Not The Army of The Twelve Monkeys, just a run-of-the-mill army of an indeterminate number of monkeys. Not an infinite number of monkeys, although the monkeys were willing to commit suicide by solving an infinite number of simultaneous equations. They were ascending a staircase of some sort. A golden staircase, ascending to Heaven. Good Lord, not a Stairway To Heaven, but ye
23:46:02 <ehird> s, there was a stairway involved, and Heaven. And monkeys. Perhaps it was a non-golden staircase, but began its ascent from the Golden Gate Bridge. But there were definitely monkeys. Monkeys solving an infinite number of simultaneous equations, and then dying. They were mathematical martyrs. Mathematical martyr monkeys."
23:46:28 <oerjan> ok ramel's lyrics are _definitely_ funnier
23:46:35 * pikhq throws an IO Coconut at oerjan.
23:46:48 <pikhq> That one can have side effects!
23:46:57 * oerjan refuses to go near the IO monad, so there!
23:47:17 * pikhq returns oerjan in the IO monad
23:49:05 <ehird> Oleg's a true Monad a.
23:50:52 <ehird> Monad a → alpha monad
23:50:59 <ehird> it's not really funny
23:51:01 <ehird> it's soooooo funny
23:51:13 <pikhq> ... Oleg's an instance of monad, eh?
23:51:22 <ehird> NO THAT IS NOT THE JOKE YOU SUCK
23:51:59 <oerjan> the other way around, possibly.
23:52:02 <ehird> pikhq: LEARN DE JOKE
23:52:54 <oerjan> apparently ehird can no longer distinguish greek and roman letters.
23:54:41 <pikhq> ehird: Functor off.
23:58:00 <oerjan> augur will be so pleased.
23:59:57 <ehird> Hey, I don't think sucking is some sort of uncommon action. :-P