←2012-10-04 2012-10-05 2012-10-06→ ↑2012 ↑all
00:04:43 -!- Sgeo has quit (Ping timeout: 260 seconds).
00:07:11 -!- Jafet has quit (Quit: Leaving.).
00:51:12 -!- Jafet has joined.
00:51:46 -!- augur has quit (Remote host closed the connection).
01:10:18 -!- Sgeo has joined.
01:46:43 -!- augur has joined.
02:29:50 -!- Jafet has quit (Quit: Leaving.).
02:38:14 -!- Nisstyre has quit (Ping timeout: 240 seconds).
02:44:46 -!- oerjan has quit (Quit: Good night).
02:53:54 -!- Nisstyre has joined.
03:00:06 -!- fungot has quit (*.net *.split).
03:00:06 -!- nvt has quit (*.net *.split).
03:00:06 -!- shachaf has quit (*.net *.split).
03:00:23 -!- elliott has quit (Read error: Connection reset by peer).
03:01:06 -!- MoALTz_ has joined.
03:03:54 -!- MoALTz has quit (Ping timeout: 240 seconds).
03:05:32 -!- nvt has joined.
03:05:32 -!- shachaf has joined.
03:15:03 -!- augur has quit (Remote host closed the connection).
03:37:30 <Sgeo> :(
03:37:37 <Sgeo> I may have just convinced my group to use node.js
03:37:58 <Sgeo> Everyone in the group knows Javascript, and it's sort of the home of socket.io
03:39:48 <kmc> you could do much worse than node.js
03:41:44 * kmc wrote his first non-trivial program for Node last night
03:42:06 <kmc> (but it's a command-line batch tool and not a network service or anything like that)
03:52:40 -!- Jafet has joined.
03:53:20 -!- DHeadshot has quit (Read error: Connection reset by peer).
03:54:05 -!- mig22 has joined.
04:01:33 <shachaf> kmc: Twist: A lot of non-trivial JavaScript code runs fine with Node.
04:10:48 -!- augur has joined.
04:24:03 <kmc> what am i twisting?
04:27:44 <kmc> i don't get it
04:28:31 <shachaf> I guess it's possible that you never wrote non-trivial JS node before.
04:29:09 <shachaf> Or only code that depended on the DOM, or something.
04:30:08 <shachaf> But "non-trivial Node program that doesn't use network libraries" sounds a lot like "generic JS code".
04:31:52 <kmc> it used Node-specific filesystem libraries
04:32:25 <shachaf> I guess that exists too.
04:32:33 <shachaf> Do they have non-blocking chdir?
04:32:44 <kmc> they have notblocking lots of stuff
04:32:47 <kmc> i don't know about chdir
04:32:55 <shachaf> Non-blocking DNS is actually an issue.
05:02:51 <Sgeo> I don't tend to write much JS
05:10:01 -!- FreeFull has quit.
05:25:40 -!- evincar has joined.
05:45:30 -!- kinoSi has quit (Read error: Connection reset by peer).
05:45:57 -!- kinoSi has joined.
06:32:53 -!- evincar has left.
06:52:17 <kallisti> has anyone had a Devonshire tea before?
06:59:29 <oklopol> i found a mistake in the proof
06:59:36 <oklopol> of feit-thompson
07:11:43 <oklopol> one of the comments said "spurrious"
07:11:46 <oklopol> that's not a word
07:12:54 <fizzie> Oh no, the foundations of mathematics are crumbling as we speak.
07:17:05 <barts_> fizzie: are they?
07:17:30 <barts_> i guess.
07:17:42 <fizzie> I'm pretty sure. It's all due to that "spurrious". Oh, if only...
07:55:48 -!- ais523 has joined.
07:58:51 -!- ais523 has quit (Client Quit).
07:58:58 -!- ais523 has joined.
08:04:43 <ion> This Machine Creates ANYTHING http://youtu.be/OHyygU1cU0k
08:06:44 -!- DHeadshot has joined.
08:22:11 -!- epicmonkey has joined.
08:24:30 -!- ais523 has quit (Read error: Connection reset by peer).
08:24:42 -!- ais523 has joined.
08:26:40 -!- copumpkin has quit (Ping timeout: 246 seconds).
08:27:14 -!- copumpkin has joined.
08:35:32 -!- ais523_ has joined.
08:37:13 -!- ais523 has quit (Ping timeout: 245 seconds).
08:37:54 -!- ais523_ has changed nick to ais523.
08:53:26 <ion> <…> User request of the month: "I accidentally posted /usr/share/dict/words to a bug report and now it shows up for every search because it contains all the words. Can you clean that up?"
09:01:11 <fizzie> How do you accidentally do that?
09:12:15 -!- ais523 has quit.
09:15:43 -!- copumpkin has quit (Ping timeout: 246 seconds).
09:16:17 -!- copumpkin has joined.
09:34:57 <ion> http://mashable.com/2012/10/02/ew-has-smartphone-inside/
09:45:32 -!- kinoSi has quit (Read error: Connection reset by peer).
09:46:00 -!- kinoSi has joined.
09:46:43 <Jafet> (What kind of information system still uses naïve keyword search?)
09:52:13 -!- monqy has quit (Quit: hello).
10:21:41 <ion> DEFCON 17: More Tricks For Defeating SSL http://youtu.be/ibF36Yyeehw
10:34:28 -!- carado has joined.
11:08:50 -!- barts has joined.
11:12:02 -!- barts_ has quit (Ping timeout: 256 seconds).
11:37:11 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
11:44:43 -!- Frooxius has joined.
11:58:41 -!- copumpkin has joined.
12:13:15 -!- Phantom_Hoover has joined.
12:38:43 -!- sivoais has quit (Ping timeout: 246 seconds).
12:44:12 -!- Arc_Koen has joined.
12:49:07 -!- sivoais has joined.
12:50:27 <Arc_Koen> hello
12:52:32 -!- Jafet has quit (Read error: Connection reset by peer).
12:52:40 -!- Jafet1 has joined.
12:54:54 -!- Jafet has joined.
12:55:00 -!- Jafet1 has quit (Read error: Connection reset by peer).
12:57:15 <Arc_Koen> @messages
12:57:15 <lambdabot> You don't have any new messages.
12:57:39 <Arc_Koen> @tell oerjan I see in the logs you've tried to message me but lambdabot doesn't seem to agree
12:57:39 <lambdabot> Consider it noted.
13:03:11 <Arc_Koen> @tell oerjan anyway yeah, it was also about the brainfuck derivatives; I'd never have made brainfunct if I had found pbrain or others like that before
13:03:11 <lambdabot> Consider it noted.
13:04:19 -!- boily has joined.
13:07:12 <fizzie> Huh. The soft drink vending machine made a very long "whirr-clunk-whirr-clunk-whirr-clunk-kaplonk" solo, and then dumped out two bottles for the price of one.
13:07:24 <fizzie> I suppose I should theoretically return the other.
13:14:23 <Arc_Koen> how so
13:14:49 <Arc_Koen> I don't think "handing out a bottle" is a reversible operation
13:17:56 <fizzie> Because it would be STEALING.
13:18:02 <boily> vending a bottle is like an md5 hash. here you had a collision.
13:18:05 <fizzie> I think it has a "in case of trouble, call" sticker on it somewhere.
13:18:30 <fizzie> I mean, I'd certainly be complaining loudly if I had gotten 0 bottles.
13:19:06 <fizzie> Also maybe the bookkeeping will now become all confused and it's ALL MY FAULT.
13:19:37 <fizzie> Well, up to a degree. Maybe not quite all. Unless I pressed the button wrong somehow.
13:24:35 <Arc_Koen> fizzie: how about you keep the extra bottle in your refrigerator
13:24:47 <Arc_Koen> and if one day you get no bottle, you can use it instead
13:26:43 <fizzie> It has a "best before" date, I'm sure.
13:27:57 <fizzie> Jan 25, 2013.
13:27:59 <Arc_Koen> that shouldn't be a problem if you make a regular use of that vending machine: everytime you buy a bottle, place it in your refrigerator and drink the old bottle instead
13:28:09 <fizzie> Oh, of course.
13:28:32 <Arc_Koen> this way, instead of having one really-out-of-date bottle, you'll have a lot of nearly-out-of-date bottles!
13:28:46 <fizzie> Maybe I'll just drink it early and resolve not to complain if I ever get no bottles.
13:28:55 <fizzie> Asymptotically, it's the same thing anyway.
13:29:11 <Arc_Koen> yes but IT PERTURBS YOUR CONSOMMATION
13:29:41 <Arc_Koen> I do that with tickets when taking the tube, though
13:29:46 -!- carado_ has joined.
13:30:07 -!- carado_ has quit (Client Quit).
13:30:10 -!- carado has quit (Remote host closed the connection).
13:30:23 -!- carado has joined.
13:30:38 <Arc_Koen> a lot of people here take it without paying, because they find the penalty when caught is less that what they gain by not paying the fare
13:31:35 <Arc_Koen> I had always been honest with it; I always pay my tickets, and it's happened once or twice that the vending machine at my station was out of order, so I traveled without a ticket, and bought one once arrived at destination
13:32:04 <Arc_Koen> except one time the machine was out of order and I got caught (even though I would have paid afterwards :( )
13:32:26 <fizzie> I believe a lot of people do that here too. I mean, the "go without paying" thing.
13:32:35 <fizzie> They've been steadily increasing the penalty amount, though.
13:32:49 <fizzie> I think it's now at 80 EUR; it used to be 56 EUR or something not too long ago.
13:33:00 <Arc_Koen> so I made a count of the money I lost because of the penalty, and started not paying my tickets, deducing the money I gained everytime from the money I had lost
13:33:15 <Arc_Koen> and now I'm back to paying my tickets again
13:33:17 <fizzie> And it was 250 FIM before EUR, I think.
13:33:33 <fizzie> That's ingenious.
13:33:35 <Arc_Koen> well when I had to pay it it was 40 EUR here
13:33:44 <fizzie> How much is a ticket?
13:34:14 <Arc_Koen> well that depends where you take it; tickets inside paris are about 1.70 (or they were last time I checked, but prices keep getting higher every year)
13:34:36 <Arc_Koen> but I live in the suburbs, so tickets that cover all zones from my town to paris are about 4.00
13:34:50 <Arc_Koen> (or 3.something when buying then 10 at a times)
13:35:51 <Arc_Koen> I was amazed when I went to london, they had this "oyster card"; you put money on it and everytime you took the tube it was deduced
13:35:59 <Arc_Koen> on our last day we wanted to take a bus
13:36:10 <Arc_Koen> the driver told me there was no money left on my oyster card
13:36:18 <Arc_Koen> in france that would probably have meant that I couldn't take it
13:36:28 <Arc_Koen> but in London he gave me an "unpaid fare notice"
13:36:58 <Arc_Koen> on which it was written that I had taken the bus for free but was expected to go to any station and pay for it
13:37:53 <Arc_Koen> I made a copy of it, and when I paid I gave the copy so I could keep the original because that's just so wonderful, that system would *never* work in france
13:38:13 <fizzie> We don't have anything like that.
13:38:23 <fizzie> Though you can buy tickets from buses and such with cash.
13:38:33 <fizzie> The prices are a bit more than when paying with the card, though.
13:39:21 <Arc_Koen> well yes that's always possible, but that was our last day and we had given all our leftover cash as tip in a coffee shop
13:39:37 <fizzie> Oh, the gaps seem to be larger than I remembered.
13:40:00 <fizzie> It's 4.50 eur vs. 3.47 for the Helsinki/Espoo/Vantaa regional ticket, or 2.70 vs. 1.86 for the single-city one.
13:40:21 <Arc_Koen> (a *great* coffee shop; I'll probably go there once again next time I visit london)
13:42:08 <fizzie> I seem to recall that the Belgian railways had some kind of a differentness when it comes to the no-ticket fees.
13:43:27 <fizzie> Oh, right; if you didn't inform the train staff that you don't have a ticket, but agree to pay it, you don't get a penalty notice, just a 12.50 EUR surcharge to the regular ticket price.
13:43:47 <Arc_Koen> ah, we have that in france too
13:44:14 <Arc_Koen> the guy who must check tickets walks through the whole train twice
13:44:23 <fizzie> But if you don't agree to pay (or can't pay, I suppose) there's a penalty notice plus a penalty fare of 30/60 EUR (under/over 18 years), and then you have 14 days to go pay it yourself at any station.
13:44:26 <Arc_Koen> the first time he does nothing, just showing himself
13:44:36 <fizzie> And then if you still don't go and pay it, "your file will be sent to Central Customer Services and incur administrative charges of € 200".
13:44:42 <Arc_Koen> and if you have a problem with your ticket (or if you don't have one) you're supposed to talk to him at that moment
13:45:33 <fizzie> According to these Belgian rules you need to tell the train staff before actually boarding.
13:45:56 <fizzie> "If you don’t have a valid ticket and you can't pay on the train or provide evidence of your identity or address, the NMBS/SNCB obviously won't be able to allow you to remain on board. The staff may therefore invite you to leave the train at the next stop, or even call in the police."
13:46:02 <fizzie> I like the "invite you to leave the train".
13:46:13 <fizzie> "Sorry, I have to decline your kind invitation."
13:46:22 <fizzie> "This is not where I'm going."
13:48:34 <fizzie> "After being sentenced and ordered into custody, De'Avalon ["a marriage celebrant, self-styled witch and alternative therapies practitioner"] appeared to be sticking by her pagan-immunity theory even in the face of this pretty solid evidence that human laws do in fact apply to her. 'I decline your offer, your Honour,' she said as she was being led away."
13:48:41 <fizzie> http://www.loweringthebar.net/2011/06/witch-who-said-our-laws-do-not-apply.html
13:54:19 -!- carado has quit (Ping timeout: 246 seconds).
13:57:20 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
13:59:21 -!- AnotherTest has joined.
13:59:31 <AnotherTest> Hello
14:00:30 <fizzie> Hello. We were just talking about Belgian railways.
14:00:47 <AnotherTest> oh yes
14:00:49 <AnotherTest> strike
14:00:54 <fizzie> Oh, is there?
14:01:03 <AnotherTest> There was one, yesterday
14:01:08 <fizzie> I did not know that.
14:20:50 -!- AnotherTest has quit (Read error: Connection reset by peer).
14:21:03 -!- AnotherTest has joined.
14:32:06 -!- AnotherTest has quit (Quit: Leaving.).
14:32:29 -!- AnotherTest has joined.
14:33:53 <Arc_Koen> @tell atriq I probably already asked you that, but how does Nandypants/Noryshorts handle end of file?
14:33:53 <lambdabot> Consider it noted.
15:03:23 <Sgeo> I feel like when I use PubNub, I'm cheating
15:03:54 <Sgeo> Writing code that seems like it should require a server-side component, and ... well, using someone else's very general server, I guess.
15:08:07 -!- epicmonkey has quit (Ping timeout: 246 seconds).
15:23:58 -!- Phantom_Hoover has joined.
15:41:56 -!- Vorpal has joined.
15:44:06 <Arc_Koen> @tell Oerjan remember when you modified cat in http://esolangs.org/wiki/Minifuck-2D ? I think you removed a space between ! and @ that might have been important
15:44:06 <lambdabot> Consider it noted.
16:26:14 -!- augur has quit (Remote host closed the connection).
16:27:55 -!- FreeFull has joined.
16:28:17 -!- atriq has joined.
16:31:18 <atriq> @messages?
16:31:19 <lambdabot> atriq: You have 1 new message. '/msg lambdabot @messages' to read it.
16:31:21 <atriq> Wow
16:31:35 <Arc_Koen> YOU HAVE FRIENDS
16:31:40 <Arc_Koen> I wonder who that might be
16:31:45 <atriq> I think it's you
16:32:09 <Arc_Koen> so what do I say?
16:32:24 <atriq> But yeah, Nandypants handles EOF in the same way as brainfuck, ie. implementation defined
16:32:48 <Arc_Koen> so there should be something said about it
16:32:52 <Arc_Koen> especially in the cat example
16:33:08 <Arc_Koen> also I was in the middle of writing an interpreter and I had to stop because I didn't know what to do about end of file
16:33:50 <atriq> Either input -1 or 0 seems to be the convention
16:34:58 <Arc_Koen> or "leave it as it is"
16:35:09 <Arc_Koen> waiiiiit nandypants uses bits
16:35:14 <atriq> Yeeees
16:35:28 <Arc_Koen> oh, ok
16:35:56 <Arc_Koen> I still think you should write a note about it
16:39:04 <Arc_Koen> oh, I was hoping you would say "it assumes eof is coded by..."
16:49:45 <Arc_Koen> anyway, see you later
16:50:06 -!- Arc_Koen has quit (Quit: that's dr. turing to you, punk).
17:07:01 -!- augur has joined.
17:16:12 -!- augur has quit (Read error: Connection reset by peer).
17:16:34 -!- augur has joined.
17:24:43 <shachaf> kmc: They're playing _The Big Lebowski_ at the theatre tomorrow night. Should I go see it?
17:27:56 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
17:31:30 <kmc> have you seen it before?
17:32:01 <shachaf> I've seen parts of it, I think.
17:35:22 <kmc> you should go see it
17:35:32 <kmc> i've never seen it in an actual theatre
17:39:09 <shachaf> «Wear your best "Dude" bathrobe and receive $1 off popcorn!»
17:40:58 <olsner> *one* dollar?
17:41:25 <atriq> Well, in about two years, I'll be able to read Homestuck offline!
17:41:42 <olsner> why in two years?
17:42:04 <atriq> Who knows?
17:42:06 <atriq> Magic!
17:45:42 <fizzie> Do you happen to know tools that'd google-translate .srt subtitles files? I remember writing a script for this once, but can't seem to find it; apparently it doesn't have "sub" in the name.
17:46:49 <fizzie> Oh, srttrans.pl.
17:46:55 <fizzie> Well, that makes sense.
17:48:02 -!- variable has quit (Ping timeout: 252 seconds).
17:49:31 -!- atriq has quit (Ping timeout: 246 seconds).
17:59:46 <kmc> i think the google translate API was taken down :/
18:00:23 -!- Phantom_Hoover has joined.
18:01:24 <Sgeo> Is there a Babelfish API?
18:09:03 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
18:10:59 <fizzie> kmc: The script just produces a empty-line-separated-paragraph output to translate manually, then takes a similar input, and adds the original subtitle timing infos back in.
18:11:12 <fizzie> So I translated via the website.
18:11:35 <fizzie> Calling it a translation script is a bit exaggerationary, I suppose.
18:12:27 <kmc> ah
18:12:45 <kmc> well at that rate you could probably also use the same interface the web page uses, and fully automate it
18:12:51 <kmc> without needing an API per se
18:13:14 -!- Phantom_Hoover has joined.
18:13:28 <olsner> oh, exaggerationary
18:13:39 -!- atriq has joined.
18:16:18 -!- augur has quit (Remote host closed the connection).
18:22:50 -!- Taneb has joined.
18:23:40 -!- atriq has quit (Ping timeout: 246 seconds).
18:28:43 -!- Taneb has quit (Remote host closed the connection).
18:37:44 -!- augur has joined.
18:47:47 -!- AnotherTest has quit (Quit: Leaving.).
18:50:23 -!- AnotherTest has joined.
18:51:51 -!- AnotherTest has quit (Client Quit).
18:53:28 -!- AnotherTest has joined.
18:54:57 -!- AnotherTest has quit (Client Quit).
18:55:06 -!- AnotherTest has joined.
18:58:12 -!- AnotherTest has left.
19:02:44 -!- oerjan has joined.
19:03:53 <oerjan> @messages
19:03:53 <lambdabot> Arc_Koen said 6h 6m 14s ago: I see in the logs you've tried to message me but lambdabot doesn't seem to agree
19:03:53 <lambdabot> Arc_Koen said 6h 42s ago: anyway yeah, it was also about the brainfuck derivatives; I'd never have made brainfunct if I had found pbrain or others like that before
19:03:53 <lambdabot> Arc_Koen said 3h 19m 47s ago: remember when you modified cat in http://esolangs.org/wiki/Minifuck-2D ? I think you removed a space between ! and @ that might have been important
19:05:13 <oerjan> @tell Arc_Koen Stupid me, I left the <>'s around your nick when pasting into @tell...
19:05:13 <lambdabot> Consider it noted.
19:06:18 <olsner> hi oerjan
19:06:22 <oerjan> hi olsner
19:35:41 -!- zzo38 has joined.
19:41:29 <Sgeo> Is it a terribad idea to use Javascript's Math.random() to get a unique key?
19:42:04 -!- Nisstyre has quit (Ping timeout: 252 seconds).
19:42:24 <zzo38> It depends where the Javascript code is being executed, and what the key is being used for.
19:42:36 <zzo38> As well as the implementation of Javascript used.
19:45:23 <oerjan> and possibly the phase of the moon.
19:47:37 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
19:55:08 -!- augur has quit (Remote host closed the connection).
20:11:49 -!- copumpkin has joined.
20:12:53 -!- elliott has joined.
20:13:00 <elliott> does anyone use arch
20:13:07 <oerjan> no.
20:13:12 <oerjan> absolutely no one.
20:14:16 <elliott> oerjan: ok. then op me
20:14:47 <olsner> I think one person uses arch
20:14:57 <shachaf> elliott: Lern2NixOS
20:14:59 <olsner> (I don't)
20:15:01 <shachaf> Like roconnor
20:15:08 <shachaf> All the cool people NixOS
20:15:12 <shachaf> Isn't that right, oerjan?
20:15:16 <elliott> nixos is perfect, unfortunately it is also shit
20:15:20 <elliott> i considered using it for a while
20:15:29 <olsner> perfect shit :)
20:15:52 * oerjan notes that searching for /// on esolang takes you directly to the main page.
20:16:02 * oerjan whistles innocently
20:16:14 <olsner> oerjan: aren't you the wiki admin?
20:16:17 <elliott> yes
20:16:22 <elliott> oerjan is the reason it is broken
20:16:25 <elliott> and he should fix it
20:16:31 <elliott> it is **very** unprofessional
20:16:46 <oerjan> olsner: elliott seems to be thinking so. probably from going mad trying to fix the /// bug.
20:16:58 <shachaf> elliott: Help me simplify this GHC bug!
20:17:01 <shachaf> Do you have 7.6?
20:17:05 <elliott> sort of
20:17:07 <oerjan> > 7.6
20:17:08 <lambdabot> 7.6
20:17:11 <shachaf> Try :t fmap fmap fmap join join join
20:17:12 <elliott> i can't decide how to get my 7.6
20:17:30 <elliott> $ /opt/ghc.old/bin/ghci
20:17:30 <elliott> /opt/ghc.old/bin/ghci: line 2: /opt/ghc/bin/ghc-7.6.1: No such file or directory
20:17:30 <elliott> n/m
20:17:37 <oerjan> :t fmap fmap fmap join join join -- OKAY
20:17:38 <lambdabot> Occurs check: cannot construct the infinite type:
20:17:38 <lambdabot> m = (->) (m (m a))
20:17:38 <lambdabot> Probable cause: `join' is applied to too many arguments
20:17:47 <oerjan> shachaf: BOO
20:17:49 <shachaf> oerjan: THAT'S NOT 7.6
20:18:00 <oerjan> wat
20:18:04 <shachaf> oerjan: Should I flood the channel a bit?
20:18:11 <oerjan> shachaf: are you telling me it works in 7.6?
20:18:15 <shachaf> No.
20:18:18 <elliott> Prelude Control.Monad> :t fmap fmap fmap join join join
20:18:18 <elliott> <interactive>:1:1:
20:18:18 <elliott> Occurs check: cannot construct the infinite type:
20:18:18 <elliott> m1 = (->) (m1 (m1 (m0 (m0 a0))))
20:18:18 <elliott> Expected type: (m0 (m0 a0) -> m0 a0)
20:18:18 <elliott> -> ((m1 (m1 (m0 (m0 a0))) -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:20 <elliott> -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:22 <elliott> -> (m1 (m1 (m0 (m0 a0))) -> m1 (m0 (m0 a0)))
20:18:24 <elliott> -> m1 (m1 (m0 (m0 a0)))
20:18:26 <elliott> -> m0 a0
20:18:28 <elliott> Actual type: (m0 (m0 a0) -> m0 a0)
20:18:30 <elliott> -> ((m1 (m1 (m0 (m0 a0))) -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:32 <elliott> -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:34 <elliott> -> (m1 (m1 (m0 (m0 a0))) -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:36 <elliott> -> m1 (m1 (m0 (m0 a0)))
20:18:38 <elliott> -> m0 a0
20:18:40 <elliott> The function `fmap' is applied to five arguments,
20:18:42 <elliott> but its type `(((m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:44 <elliott> -> m1 (m1 (m0 (m0 a0))) -> m0 a0)
20:18:46 <elliott> -> ((m1 (m1 (m0 (m0 a0))) -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:48 <elliott> -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:50 <elliott> -> (m1 (m1 (m0 (m0 a0))) -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:18:52 <elliott> -> m1 (m1 (m0 (m0 a0)))
20:18:54 <elliott> -> m0 a0)
20:18:54 <FreeFull> Lol
20:18:56 <elliott> -> ((m0 (m0 a0) -> m0 a0)
20:18:58 <elliott> -> (m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:19:00 <elliott> -> m1 (m1 (m0 (m0 a0)))
20:19:02 <elliott> -> m0 a0)
20:19:04 <elliott> -> (m0 (m0 a0) -> m0 a0)
20:19:06 <elliott> -> ((m1 (m1 (m0 (m0 a0))) -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:19:08 <elliott> -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:19:10 <elliott> -> (m1 (m1 (m0 (m0 a0))) -> m1 (m1 (m0 (m0 a0))) -> m0 (m0 a0))
20:19:12 <elliott> -> m1 (m1 (m0 (m0 a0)))
20:19:14 <elliott> -> m0 a0'
20:19:16 <elliott> has only six
20:19:18 <elliott> In the expression: fmap fmap fmap join join join
20:19:20 <elliott> "The function `fmap' is applied to five arguments, but its type has only six" is pretty great
20:19:21 <shachaf> thanks elliott
20:19:23 <FreeFull> Way to pastespam the channel
20:19:28 <olsner> the wiki could have a rewrite rule that makes esolangs.org/// into a /// interpreter
20:19:59 <elliott> FreeFull: well you know
20:20:01 <elliott> FreeFull: fuck rules
20:20:02 <elliott> FreeFull: fuck the police
20:20:04 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
20:20:06 <ion> Mahna Mahna Killer http://youtu.be/ELAFDkXog-s
20:20:07 <elliott> irc anarchy forever
20:21:10 <oerjan> olsner: it _used_ to link to the language article.
20:21:21 <oerjan> :t :t fmap fmap fmap join join
20:21:22 <lambdabot> parse error on input `:'
20:21:24 <oerjan> oops
20:21:25 <olsner> oerjan: how boring
20:21:28 <oerjan> :t fmap fmap fmap join join
20:21:29 <lambdabot> forall (m :: * -> *) a (m1 :: * -> *). (Functor m1, Monad m, Monad m1) => m1 (m1 (m (m a))) -> m1 (m a)
20:21:33 <elliott> esolangs.org/// did *not*
20:22:15 <olsner> by esolangs.org///, obviously I meant esolangs.org////
20:23:32 <oerjan> :t fmap (fmap join) join
20:23:33 <lambdabot> forall (m :: * -> *) a (f :: * -> *). (Monad m, Functor f, Monad f) => f (f (m (m a))) -> f (m a)
20:24:08 <oerjan> :t fmap join (join join)
20:24:09 <lambdabot> Occurs check: cannot construct the infinite type:
20:24:09 <lambdabot> f = (->) (f (f (m (m a))))
20:24:09 <lambdabot> Probable cause: `join' is applied to too few arguments
20:24:27 <oerjan> :t join join
20:24:28 <lambdabot> Occurs check: cannot construct the infinite type:
20:24:29 <lambdabot> m = (->) (m (m a))
20:24:29 <lambdabot> Probable cause: `join' is applied to too few arguments
20:24:50 <shachaf> The function `g' is applied to four arguments,
20:24:53 <shachaf> but its type `(a0 -> ((r0 -> r0 -> a0) -> a0) -> c0)
20:24:55 <shachaf> has only four
20:25:13 <oerjan> oh that's the ghc bug?
20:25:23 <shachaf> Sort of a bug.
20:25:28 <shachaf> 13:19 <elliott> "The function `fmap' is applied to five arguments, but its type has only six" is pretty great
20:27:17 <oerjan> shachaf: it doesn't work if you manually simplify it to :t fmap (fmap join) join join, :t fmap join (join join), or :t join . join join ?
20:28:03 <oerjan> by work, i mean still gives that bug
20:28:13 <shachaf> Nope, none of those do it.
20:28:38 <shachaf> You get the bug with let j f x = f x x, fmap fmap fmap j j j
20:28:49 <shachaf> Also with fmap (.) (.) undefined j j
20:29:25 <oerjan> fancy
20:29:39 <oerjan> :t let j f x = f x x in fmap (.) (.) undefined j j
20:29:40 <lambdabot> Occurs check: cannot construct the infinite type: t = t -> t -> t1
20:29:40 <lambdabot> Expected type: (t -> t -> t1) -> (t -> t -> t1) -> a
20:29:40 <lambdabot> Inferred type: (t -> t -> t1) -> t -> t1
20:30:57 <elliott> oerjan: Q
20:31:07 <oerjan> elliott: A
20:31:21 <elliott> oerjan: Should I use the [testing] repo to get a 7.6.1 package, or use my self-compiled binary?
20:31:35 <oerjan> yes, clearly.
20:31:59 <elliott> oerjan: Which?
20:32:09 <oerjan> (i know you didn't actually expect a serious answer)
20:32:39 <elliott> oerjan: I did.
20:32:43 <oerjan> why, you should use the haskell platform!
20:32:54 <oerjan> it's what i do. i should probably upgrade, though.
20:33:38 <elliott> More like the Haskell Catsdom.
20:33:45 <elliott> Because fascist cats rule the universe.
20:34:22 <oerjan> i thought dogbert had settled that they were fascist squirrels. although maybe catbert paid him to say it.
20:34:31 <elliott> oerjan: Do you want to see a bad reddit post?
20:34:34 <elliott> oerjan: Here you go! http://www.reddit.com/r/coding/comments/11052z/its_amazing_how_microsoft_can_just_shit_on/
20:34:55 <oerjan> based solely on the title part of the url, i guess "no".
20:35:14 <oerjan> as in, it's precisely the kind of title i tend to skip.
20:35:23 <elliott> Don't forget \t for tabs, and that F2 renames files. When I stumble upon these things, I put them on http://efficientgeeks.com/[1] , although I won't renew that domain.
20:35:30 <elliott> mmm spam
20:37:03 <elliott> oerjan: Is the wiki fixed yet?
20:37:31 <oerjan> shachaf: and it disappears if you replace the first fmap with (.) i take
20:37:39 <shachaf> oerjan: Yep.
20:37:42 <shachaf> Although...
20:37:50 <shachaf> 13:22 <shachaf> Hah, this is funny.
20:37:50 <shachaf> 13:22 <shachaf> g :: Functor f => f ~ (->) r => f (b -> c) -> f ((a -> b) -> a -> c)
20:37:53 <shachaf> 13:22 <shachaf> g :: (r -> b -> c) -> (r -> (a -> b) -> a -> c)
20:37:55 <shachaf> 13:22 <shachaf> You'd expect those to be the same, wouldn't you?
20:37:58 <shachaf> 13:22 <shachaf> ghci gives the same :t for them.
20:38:01 <shachaf> It happens with the first g but not with the second g
20:38:06 <shachaf> for g (.) undefined join join
20:38:26 <elliott> shachaf: Remember that time we got GHC to type two identical things differently or something?
20:38:28 <elliott> That wacky bug.
20:38:36 <shachaf> elliott: With the parentheses?
20:38:39 <elliott> No.
20:38:41 <elliott> Where you got an (a => b) in the wrong place.
20:38:47 <elliott> Like, you god a -> b => c or something.
20:38:48 <elliott> *got
20:38:52 <FreeFull> Lol
20:40:08 <oerjan> shachaf: hm so it might be something which happens when f ~ (->) r appears as a constraint during type checking?
20:41:05 <shachaf> oerjan: Also happens with g :: f (b -> c) -> f ((a -> b) -> a -> c); g = undefined; blah = g (.) undefined j j
20:42:07 <oerjan> shachaf: well that would also cause f ~ (->) something to appear during type checking, wouldn't it?
20:42:32 <shachaf> I guess it tries to unify them.
20:42:34 <shachaf> Or something.
20:42:39 <shachaf> I dunno, man! Simplify it for me!
20:42:48 <zzo38> I thought perhaps the monad type for FamicomHDL should be: type Mapper = ContT [Command] ((->) Int);
20:42:54 <zzo38> What would you think?
20:43:32 <oerjan> the g's given type takes 1 argument at least. but it's used with 4.
20:45:14 * oerjan is wildly guessing, of course, and has no intention of installing 7.6.
20:45:25 <shachaf> oerjan: Install 7.6! :-(
20:45:39 <olsner> 4 is not 1, so that's obviously the numbers you're looking for
20:46:17 <shachaf> olsner: Can you /nick to something that doesn't start with o?
20:46:23 <olsner> shachaf: no
20:46:36 <zzo38> data Command = Case Word8 (Word8 -> [Command]) | Command ByteString | Wire Pin Pin Connection | Part x => Part Int x;
20:46:36 <shachaf> But oerjan :-(
20:46:40 <ion> colsner
20:46:42 <zzo38> Is this OK?
20:46:52 <olsner> coolsner
20:47:06 <zzo38> I think you shouldn't change it
20:47:30 -!- boily has quit (Quit: Poulet!).
20:47:46 <olsner> don't worry, I won't
20:48:22 <oerjan> shachaf: it's not like i have a clue what to do next, anyway.
20:49:15 <shachaf> oerjan: You should change your nick.
20:49:18 <shachaf> Maybe to Ørjan
20:49:34 <zzo38> No, I don't think you should change it either.
20:49:39 <shachaf> Øh nø
20:49:40 <oerjan> Ørjan Erroneous Nickname
20:49:49 <shachaf> Errøneøus
20:51:46 <FireFly> Probably because of some møøse or something
20:52:59 -!- copumpkin has joined.
20:53:08 <olsner> beware the erroneous moose
20:53:50 -!- oerjan has set topic: BEWARE THE ERRØNEØUS MØØSE | I, for one, welcome our new hash function overlords | E5081A06F9E364E179B336A2C6D6831D4B50CD7739C7E1565E03EBF2 | God made the natural numbers; all else is the work of ZARDOZ | http://codu.org/logs/_esoteric/ | http://esolangs.org/wiki.
20:57:48 -!- augur has joined.
21:04:46 <elliott> oerjan: What is friends
21:04:58 <shachaf> hi FireFly
21:05:04 <shachaf> How's #stackoverflow?
21:07:31 <FireFly> Nice enough, thus far
21:08:42 <shachaf> Did you know I got banned from that channel?
21:09:17 <oerjan> elliott: UNREVEALED NEMESISES (NEMESES?)
21:09:34 <FireFly> I did not. What was the reason?
21:10:10 <olsner> shachaf: tell us
21:10:32 <shachaf> olsner: Being rude.
21:10:38 <shachaf> It's true!
21:10:55 <olsner> hmm, I guess you are rude
21:11:01 <olsner> someone ban shachaf!
21:13:15 <Phantom_Hoover> ban olsner
21:13:17 <elliott> oerjan: What am friend?
21:13:50 <shachaf> elliott: ban elliott
21:13:56 * oerjan cans shachaf |_|
21:13:56 <shachaf> (by elliott I mean me)
21:15:21 * oerjan fans shachaf \|/
21:15:49 * oerjan tans shachaf /¤
21:16:04 * oerjan pans shachaf ===\__/
21:16:29 * oerjan sans
21:17:01 <shachaf> oerjan++
21:18:34 -!- atriq has joined.
21:19:31 <oerjan> he looks like a regular, but i think it may be atriq
21:20:05 <olsner> oh, was atriq the rot13 of taneb?
21:20:13 <atriq> Of ngevd
21:20:20 <atriq> !rot13 atriq
21:20:23 <EgoBot> ngevd
21:20:31 <atriq> !rot13 taneb
21:20:32 <EgoBot> gnaro
21:20:35 <olsner> !rot13 olsner
21:20:35 <EgoBot> byfare
21:20:41 <shachaf> whoa, dude
21:20:46 <shachaf> !rot13 oerjan
21:20:47 <EgoBot> brewna
21:20:47 <atriq> That is the best nick by far.
21:21:00 <shachaf> atriq: Better than rot13 shachaf?
21:21:12 <olsner> !rot13 shachaf
21:21:12 <EgoBot> funpuns
21:21:23 <olsner> O.O
21:21:24 <shachaf> !rot13 FireFly
21:21:24 <EgoBot> SverSyl
21:21:25 <atriq> What fun puns
21:21:29 <oerjan> olsner är en sådan byfare
21:21:34 <shachaf> !rot13 zzo38
21:21:34 <EgoBot> mmb38
21:21:40 <shachaf> zzo38: /nivk mmb38
21:21:54 <shachaf> !rot13 lambdabot
21:21:55 <EgoBot> ynzoqnobg
21:22:50 <olsner> I wonder if oerjan and shachaf swapped nicks earlier, because the one currently calling itself "oerjan" fits better with funpuns
21:22:57 <elliott> !rot13 nick
21:22:57 <EgoBot> avpx
21:23:00 <elliott> /avpx mmb38
21:23:14 <oerjan> !rot13 archaeopteryx
21:23:14 <EgoBot> nepunrbcgrelk
21:23:24 <FireFly> !rot13 EgoBot
21:23:25 <EgoBot> RtbObg
21:23:51 <olsner> !rot13 nepungrelk
21:23:52 <EgoBot> archateryx
21:23:55 <oerjan> BZT
21:24:49 <oerjan> !rot13 elliott
21:24:49 <EgoBot> ryyvbgg
21:25:11 <FireFly> >> sort "firefly"
21:25:15 <oerjan> so he's secretly welsh, ok
21:25:26 <FireFly> > sort "firefly"
21:25:27 <lambdabot> "effilry"
21:25:53 <elliott> FireFly: hello
21:26:02 <FireFly> Hi
21:26:04 <oerjan> !rot13 Phantom_Hoover
21:26:04 <EgoBot> Cunagbz_Ubbire
21:26:12 <FreeFull> > sort "ant"
21:26:13 <lambdabot> "ant"
21:26:20 <shachaf> elliott: zomg
21:26:23 <olsner> ubbire is probably how you say umpire with a cold
21:26:25 <shachaf> That's what avpx means.
21:26:29 <shachaf> !rot13 zomg
21:26:29 <EgoBot> mbzt
21:26:47 <FireFly> !rot13 FreeFull
21:26:47 <EgoBot> SerrShyy
21:26:52 <oerjan> !rot13 OMGWTFBBQ
21:26:52 <EgoBot> BZTJGSOOD
21:26:53 <elliott> shachaf: means?
21:27:20 <shachaf> elliott: There's a #haskell person with the nick avpx
21:27:29 <olsner> !rot13 effilry
21:27:29 <EgoBot> rssvyel
21:27:40 <olsner> ok, effilry is better
21:28:08 <oerjan> !rot13 fizzie
21:28:09 <EgoBot> svmmvr
21:28:10 <olsner> effilry is like rivalry but for effils
21:28:39 <oerjan> !rot13 Gregor
21:28:39 <EgoBot> Tertbe
21:28:49 <elliott> shachaf: oh right
21:28:53 <elliott> i thought it sounded familiar
21:28:55 <oerjan> !rot13 Richards
21:28:55 <EgoBot> Evpuneqf
21:28:57 <olsner> !rot13 bertle
21:28:57 <EgoBot> oregyr
21:29:02 <FreeFull> !rot13 avpx
21:29:02 <EgoBot> nick
21:29:17 <oerjan> !rot13 !rot13
21:29:18 <EgoBot> ​!ebg13
21:29:20 <olsner> shachaf: didn't you quit #haskell?
21:29:28 <FireFly> !rot13 haskell
21:29:29 <EgoBot> unfxryy
21:29:35 <shachaf> !rot13 ernie and bert
21:29:36 <EgoBot> reavr naq oreg
21:29:38 <FreeFull> !rot13 fry
21:29:39 <EgoBot> sel
21:29:42 <shachaf> @rot13 oregano
21:29:42 <lambdabot> Unknown command, try @list
21:29:42 <olsner> !ebg13 should be the inverse of rot13
21:29:45 <shachaf> !rot13 oregano
21:29:46 <EgoBot> bertnab
21:29:52 <shachaf> olsner: I ought to.
21:30:31 <oerjan> !rot13 tarragon
21:30:32 <EgoBot> gneentba
21:30:40 <olsner> !rot13 dragon
21:30:40 <EgoBot> qentba
21:30:55 <oerjan> !rot13 electron
21:30:56 <EgoBot> ryrpgeba
21:30:59 <olsner> !rot13 smeghead
21:31:00 <EgoBot> fzrturnq
21:31:03 <Gregor> I'm surprised by how often the result is pronounceable.
21:31:04 <oerjan> !rot13 proton
21:31:04 <EgoBot> cebgba
21:31:22 <oerjan> if you say so, Mr. Tertbe
21:31:42 <oerjan> !rot13 higgs boson
21:31:43 <EgoBot> uvttf obfba
21:31:50 <Gregor> I think “Tertbe” is perfectly pronounceable.
21:31:58 <shachaf> !rot13 Gregor
21:31:58 <EgoBot> Tertbe
21:32:03 <Gregor> So is Evpuneqf, though less so because the “q” is terribad.
21:32:08 <oerjan> ...was i appearing to disagree?
21:32:21 <oerjan> just glottal it up
21:32:40 <Gregor> !rot13 Malcom Gray
21:32:41 <EgoBot> Znypbz Tenl
21:32:48 <Gregor> Wow. Really got a loser with that one X-D
21:33:03 <Gregor> That first name is actually pronounced “Snips” though.
21:33:03 <FireFly> !rot13 IRC
21:33:03 <EgoBot> VEP
21:33:05 <olsner> -kf works fine, I'm a bit sad that no language I know uses that combination though
21:33:14 <olsner> like the initial ng
21:33:15 <oerjan> !rot13 Mitt Romney Barack Obama
21:33:16 <EgoBot> Zvgg Ebzarl Onenpx Bonzn
21:33:28 <oerjan> no obvious loser, alas
21:33:44 <olsner> Ebzarl Ngekf
21:33:55 <Gregor> !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie
21:33:56 <EgoBot> Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr
21:34:03 <oerjan> !rot13 Ngekf
21:34:04 <EgoBot> Atrxs
21:34:10 <Gregor> Nccyrwnpx will definitely eat your soul.
21:34:12 <olsner> oh, they're all named after rot13'd welsh words
21:34:18 <Gregor> So will Gjvyvtug Fcnexyr.
21:34:30 <Gregor> lol
21:35:05 <FireFly> Syhggreful is sorta pronounceable
21:35:07 <oerjan> `addquote <Gregor> !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie <EgoBot> Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr <olsner> oh, they're all named after rot13'd welsh words
21:35:07 <shachaf> Puzzle: What word's meaning is preserved under rot13?
21:35:16 <elliott> oerjan: FOLLOW THE GUIDELINES
21:35:18 <HackEgo> 870) <Gregor> !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie <EgoBot> Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr <olsner> oh, they're all named after rot13'd welsh words
21:35:21 <elliott> shachaf: shachaf
21:35:30 <shachaf> elliott: elliott
21:35:36 <oerjan> elliott: none of the double spaces were mine
21:35:43 <elliott> shachaf: The word is "shachaf".
21:35:50 <elliott> oerjan: No, but you forgot the double spaces between each message
21:35:53 <shachaf> elliott: The word is "elliott".
21:36:21 <oerjan> elliott: wait those are double? i checked just the other day and ARGH
21:36:31 <elliott> `quote 3
21:36:36 <HackEgo> 3) <Quas_NaArt> Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order.
21:36:37 <elliott> Wait, that one will be too early.
21:36:37 <olsner> are there guidelines?
21:36:38 <elliott> `quote 100
21:36:42 <HackEgo> 100) <fax> okay I see it now, quines do exist
21:36:52 <shachaf> `quote 101
21:36:54 <olsner> !rot13 quine
21:36:55 <EgoBot> dhvar
21:36:55 <HackEgo> 101) <Warrigal> Darn, now I can't acknowledge the reference you were making.
21:36:59 <elliott> `quote 200
21:36:59 <Gregor> olsner: The guideline is that if you do it wrong, elliott will have a screed and fix it.
21:37:03 <HackEgo> 200) <elliott> oerjan: What, can girls aim their penises better?
21:37:06 <elliott> `quote 300
21:37:07 <elliott> Come on.
21:37:10 <HackEgo> 300) <lament> elliott: well what i would do if i were omniscient and omnipotent would be to create an immortal woman with perfect tits and bang her for the rest of eternity
21:37:13 <Gregor> lol
21:37:14 <elliott> `quote 350
21:37:18 <HackEgo> 350) <ZOMGMODULES> Felix's home page and Falcon's home page are actually the same page
21:37:20 <Gregor> All the multiples of 100 are one-liners.
21:37:22 <elliott> `quote 380
21:37:25 <HackEgo> 380) <oklofok> what would you ever need petrol for <oklofok> newsflash: it doesn't actually taste that good
21:37:28 <elliott> There.
21:37:39 <oerjan> elliott: i did `quote [ ]< to check and the first example that showed up had one space :(
21:37:48 <oerjan> `quote [ ]<
21:37:51 <HackEgo> 1) <Aftran> I used computational linguistics to kill her. \ 2) <Slereah> EgoBot just opened a chat session with me to say "bork bork bork" \ 3) <Quas_NaArt> Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order. \ 4) <AnMaster> that's where I got it <AnMaster> rocket launch facility gift shop \ 5) <Warrigal> GKennethR: he should be told
21:38:03 <shachaf> `run quote $((RANDOM % 870 + 1))
21:38:05 <elliott> oerjan: The old quotes fail to follow the platonically perfect formatting standards.
21:38:06 <HackEgo> 369) <oklopol> but touchscreens should feel like poking a boob
21:38:16 <shachaf> zomg, random quotes
21:38:20 <shachaf> There should be a command for that.
21:38:22 <oerjan> hm that's not useful...
21:38:29 <elliott> shachaf: Uh...
21:38:29 <elliott> `quote
21:38:33 <HackEgo> 393) <Sgeo_> "system is fairly sane <Sgeo_> <elliott> imagine if the roomba was called the Robotic Magic Vacuum <Sgeo_> <elliott> would you object to that being trademarked <Sgeo_> <monqy> I mean <Sgeo_> <monqy> phrase trade" <Sgeo_> oops
21:38:35 <shachaf> `run quote $((RANDOM % 870 + 1))
21:38:36 <oerjan> `quote 868
21:38:37 <shachaf> `run quote $((RANDOM % 870 + 1))
21:38:37 <shachaf> `run quote $((RANDOM % 870 + 1))
21:38:38 <shachaf> `run quote $((RANDOM % 870 + 1))
21:38:38 <shachaf> `run quote $((RANDOM % 870 + 1))
21:38:47 <HackEgo> 105) <DoctorDog> I am an inherently pornographic being.
21:38:52 <HackEgo> 671) * oerjan concludes that unsafeCoerce has no effect on strictness
21:39:15 <shachaf> @quote
21:39:15 <lambdabot> Plugin `quote' failed with: getRandItem: empty list
21:39:17 <shachaf> @quote
21:39:17 <lambdabot> DukeDave says: what, if your kids start doing drugs? or worse, business school
21:39:19 <shachaf> @quote
21:39:19 <lambdabot> Plugin `quote' failed with: getRandItem: empty list
21:39:20 <shachaf> @quote
21:39:20 <lambdabot> co_dh says: I don't like it, but I don't know why.
21:39:21 <shachaf> @quote
21:39:21 <shachaf> @quote
21:39:21 <lambdabot> PhilWadler says: The essence of XML is this: the problem it solves is not hard, and it does not solve the problem well. (POPL2003)
21:39:21 <lambdabot> cypherx says: Oh god, C++ is like a lamprey in my urethra.
21:39:23 <shachaf> @quote
21:39:23 <lambdabot> c_wraith says: I either just got the most awesome piece of spam ever, or am being secretly recruited into the stargate program
21:39:26 <shachaf> @quote
21:39:26 <lambdabot> PatrickRobotham says: GHC has more flags than the united nations.
21:39:28 <olsner> hmm, `quote on its own outputs a random quote, doesn't it?
21:39:28 <shachaf> @quote
21:39:28 <lambdabot> dave_m says: < Bobstopper> Assuming the universe will eventually die of heat death, counting will cease when that happens. So if you start counting now, you'll probably find the largest number (so
21:39:29 <lambdabot> long as nobody else has found a larger one yet) < Cale> what about faster ways to produce larger numbers? < Bobstopper> not after the heat death you can't :P < dave_m> don't you tell me what I can't
21:39:29 <lambdabot> do after the heat death of the universe
21:39:31 <shachaf> @quote
21:39:31 <lambdabot> ryan[WIN] says: forth is like if assembly had sex with math
21:39:32 <HackEgo> 396) <olsner> as always in sweden everything goes to a fixed pattern: thursday is queueing at systembolaget to get beer and schnaps, friday is pickled herring, schnaps and dancing the frog dance around the phallos, saturday is dedicated to being hung over
21:39:32 <HackEgo> 868) <fizzie> Backups are so like one of those circus guys walking on a wire except with a safety rope.
21:39:32 <HackEgo> 564) <elliott> When the moon hits your eye like a big pizza pie, that's a monad.
21:39:33 <HackEgo> 834) <elliott> I couldn't survive an apocalypse. I don't even have any bitcoins.
21:39:33 <shachaf> @quote
21:39:33 <lambdabot> monochrom says: no, you're thinking imperatively. when thinking functionally, you just worry one element, and let recursion worry the rest
21:39:36 <shachaf> @quote
21:39:36 <lambdabot> PreauxPhoto says: catpants: you are lucky i like you, today at lunch i was going to come up behind you kiss you on the neck, pinch you nipple and say "cant wait till out date tonight" but i figured
21:39:36 <lambdabot> that one of those guys was your boss
21:40:30 <elliott> <HackEgo> 564) <elliott> When the moon hits your eye like a big pizza pie, that's a monad.
21:40:34 <elliott> IMO someone should @remember this so it gets in HWN.
21:40:42 <shachaf> elliott: No.
21:40:52 <elliott> I didn't ask you.
21:40:54 <shachaf> Monad quotes = the devil
21:41:05 <elliott> OTOH, you're the devil.
21:41:19 <fizzie> `run echo quote $(($$ % 870 + 1)) # the qupidote
21:41:22 <HackEgo> quote 277
21:41:23 <olsner> shachaf: better than stereo quotes
21:41:30 <shachaf> `quote stereo
21:41:33 <HackEgo> No output.
21:41:36 <fizzie> Whoop, forgot the echo.
21:41:44 <olsner> @quote surround
21:41:44 <lambdabot> baristaTam says: Well, I suppose I shouldn't surround myself in a place full of hate. I think bringing kindness into the world is a value, and this channel seems to spew the opposite.
21:41:46 <fizzie> `run quote $(($$ % 870 + 1)) # the qupidote, rehashed
21:41:50 <HackEgo> 277) <fungot> Phantom_Hoover: if the list is in random order, like poor ehird here
21:42:06 <shachaf> $$ isn't very random.
21:42:09 <elliott> olsner: have you considered writing a book about sweden
21:42:12 <elliott> <HackEgo> 396) <olsner> as always in sweden everything goes to a fixed pattern: thursday is queueing at systembolaget to get beer and schnaps, friday is pickled herring, schnaps and dancing the frog dance around the phallos, saturday is dedicated to being hung over
21:42:14 <elliott> this would be a good opening
21:42:17 <Phantom_Hoover> haha elliott remember when you were in random order
21:42:22 <Phantom_Hoover> those were the days
21:42:23 <fizzie> shachaf: Especially on that system.
21:42:24 <olsner> dunno what to grep for, iirc many of the stereo quotes got purged anyway due to not being very good
21:42:31 <oerjan> `quote 869
21:42:34 <HackEgo> 869) <elliott> `delquote 869
21:42:40 <oerjan> `quote 870
21:42:44 <HackEgo> 870) <Gregor> !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie <EgoBot> Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr <olsner> oh, they're all named after rot13'd welsh words
21:42:49 <fizzie> `run echo $$
21:42:50 <fizzie> `run echo $$
21:42:51 <fizzie> `run echo $$
21:42:55 <HackEgo> 276
21:43:01 <oerjan> `delquote 870
21:43:12 <olsner> elliott: I have considered writing a book, but not about sweden
21:43:13 <HackEgo> ​*poof* <Gregor> !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie <EgoBot> Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr <olsner> oh, they're all named after rot13'd welsh words
21:43:13 <HackEgo> 276
21:43:16 <HackEgo> 276
21:43:21 <shachaf> `run echo $$
21:43:21 <shachaf> `run echo $$
21:43:21 <shachaf> `run echo $$
21:43:21 <shachaf> `run echo $$
21:43:22 <shachaf> `run echo $$
21:43:23 <fizzie> What are the odds! Three times 276.
21:43:24 <elliott> olsner: What would it be about?
21:43:26 <oerjan> `addquote <Gregor> !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie <EgoBot> Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr <olsner> oh, they're all named after rot13'd welsh words
21:43:30 <olsner> elliott: not sweden
21:43:31 <HackEgo> 276
21:43:32 <Gregor> fizzie: 100%
21:43:33 <atriq> elliott, Hexham
21:43:40 <Gregor> shachaf: Still 100% (are the odds)
21:43:45 <shachaf> !rot13 sweden
21:43:47 <elliott> olsner: thanks
21:43:47 <HackEgo> 870) <Gregor> !rot13 Fluttershy Rainbow Dash Rarity Applejack Twilight Sparkle Pinkie Pie <EgoBot> Syhggreful Envaobj Qnfu Enevgl Nccyrwnpx Gjvyvtug Fcnexyr Cvaxvr Cvr <olsner> oh, they're all named after rot13'd welsh words
21:43:49 <EgoBot> fjrqra
21:43:59 <shachaf> Gregor: 100 is one of the evens.
21:44:03 <HackEgo> 276
21:44:08 <HackEgo> 276
21:44:13 <HackEgo> 276
21:44:14 <HackEgo> 276
21:44:19 <atriq> `quote wait
21:44:25 <HackEgo> 96) <AnMaster> fungot!*@* added to ignore list. <fungot> AnMaster: i'd find that a bit annoying to wait for an ack. \ 261) <fizzie> Phantom_Hoover: I have just one tvtropes page open in elinks, but my tvtropes.txt "queue" has 38 tvtropes.org URLs waiting for processing. \ 294) <Gregor> Ohheywait, I can make it a raytracer instead of a photon tracer so long as I run time backwards. \ 304) <Vorpal> elliott, it was an
21:44:28 <olsner> !rot13 fjord
21:44:30 <EgoBot> swbeq
21:44:42 <shachaf> !rot13 fnord
21:44:42 <EgoBot> sabeq
21:44:45 <FireFly> !rot13 esoteric
21:44:45 <EgoBot> rfbgrevp
21:44:47 <shachaf> !rot13 botspam
21:44:48 <EgoBot> obgfcnz
21:44:51 <Phantom_Hoover> !rot13 sweden is awful
21:44:51 <EgoBot> fjrqra vf njshy
21:45:54 <oerjan> !rot13 quebec
21:45:54 <EgoBot> dhrorp
21:46:06 -!- fungot has joined.
21:46:17 -!- kinoSi has quit (Read error: Connection reset by peer).
21:46:22 <fizzie> ^rot13 competition!
21:46:23 <fungot> pbzcrgvgvba!
21:46:23 <olsner> fungot: mix up this botspam with other botspam please
21:46:23 <fungot> olsner: well indv change was easy for you
21:46:24 <oerjan> `quote 867
21:46:27 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
21:46:30 <elliott> fizzie: Why do things other than fungot exist?
21:46:31 <fungot> elliott: seabot's karma lowered to -1.
21:46:35 <elliott> help
21:46:45 -!- kinoSi has joined.
21:46:49 <olsner> !rot13 fungot
21:46:49 <EgoBot> shatbg
21:46:50 <fungot> olsner: it's just one of those
21:47:06 <olsner> yay, doublebot spam
21:47:07 <elliott> oerjan: Did you fix quote and delquote?
21:47:18 <oerjan> `run sed -i '867s/ <o/ <o/' quotes
21:47:18 <fizzie> fungot: Are you feeling well. You're making too much sense.
21:47:19 <fungot> fizzie: i'll just check the last step
21:47:21 <HackEgo> No output.
21:47:25 <fizzie> Scary.
21:47:25 <oerjan> elliott: fizzie did...
21:47:27 <shachaf> Whose bot is fungot?
21:47:28 <fungot> shachaf: it's rather like the way uu did time. had a menu open and a file name. ( define my-ip ( lambda ( a b ( integer 0 fnord)
21:47:30 <oerjan> `quote 867
21:47:31 <elliott> oerjan: So no, then.
21:47:33 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
21:47:38 <oerjan> oops
21:47:40 <elliott> By quote I mean addquote.
21:47:41 <oerjan> `revert
21:47:43 <HackEgo> Done.
21:47:48 <oerjan> `run sed -i '867s/ <o/ <o/g' quotes
21:47:50 <shachaf> fizzie: Yours?
21:47:52 <HackEgo> No output.
21:47:53 <oerjan> `quote 867
21:47:55 <fizzie> shachaf: Yaas.
21:47:57 <HackEgo> 867) <oklopol> t <oklopol> y <oklopol> also i didn't say t\ny on purpose, i just accidentally hit the keyboard with my head
21:48:07 <shachaf> fizzie: You should make fungot join #cslounge!
21:48:07 <fungot> shachaf: thanks for the explanations, by the way, when running an infinite loop", and it has its own toplevel, doesn't it?)
21:48:27 <olsner> what's #cslounge?
21:48:40 <shachaf> A channel that had a bot which is presently offline.
21:48:51 <shachaf> Running low on nonsense.
21:48:59 <FireFly> fungot: who is your owner?
21:49:00 <fungot> FireFly: ( the *parser optimizer has a bug? for shame :( :())
21:49:06 <fizzie> It sounds something like a very serious place.
21:49:07 <FireFly> (that'd surely work)
21:49:14 <elliott> fizzie: Do you remember Way Back, with fungot, and Minecraft?
21:49:16 <fungot> elliott: anyhow, i think there'll be some tag somewhere a long the line is ' back off, man: i'm a scientist.
21:49:27 <fizzie> fungot: TAKE ME TO YOUR LEADER HUMON
21:49:28 <fungot> fizzie: not questioning that. gambit-c is looking especially attractive now that 4.0 is basically here
21:49:29 <shachaf> fizzie: That's why I want theb ot in there.
21:49:51 <elliott> fizzie: I miss Minecraft.
21:49:53 <shachaf> fizzie: Can you add a feature to fungot where you can specify the first word of the sentence?
21:49:54 <fungot> shachaf: clearly a program without interpretation.
21:50:02 <shachaf> fungot: clearly.
21:50:03 <fungot> shachaf: well, you could expedite the development of t until orbit, and racked in the dough. c and pythong have a clear cmd on your computer
21:51:09 <elliott> fizzie: I thoroughly oppose such a feature.
21:51:11 <elliott> fungot is perfect.
21:51:12 <fungot> elliott: help me correct some steps? my stack code used 2n cause it had to, and i don't
21:51:24 <shachaf> fizzie: You should add the feature!
21:51:31 <oerjan> elliott: fungot disagrees!
21:51:31 <fungot> oerjan: i'll shut up
21:51:33 <shachaf> It makes bots over 14 times better.
21:51:42 <elliott> `pastelogs fungot
21:51:43 <fungot> elliott: since most of us have day jobs...
21:51:47 <olsner> fungot: do you want to be 14 times better?
21:51:48 <fungot> olsner: and you probably understand it better. if it's short you can just lex level? is low high enough? o.o :d
21:51:48 <fizzie> shachaf: It's kind of been on the (tail end of the) potentially-todo list. It's just that currently it has no real way to turn words back to tokens, just the other way around. The Perl script version can specify the initial context already.
21:51:52 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.32533
21:52:23 <olsner> write a perl to befunge compiler first then?
21:52:30 <elliott> fizzie: Have you even touched fungot in years?
21:52:31 <fungot> elliott: are you changing any of the others like event-monitor, though.
21:52:44 <elliott> 2008-08-14.txt:10:36:35: <fungot> PISS OUT MY ASS
21:52:45 <fungot> elliott: that file is malloc used
21:52:46 <elliott> Good fourth statement.
21:53:04 <fizzie> (The babbling internally works in terms of 28-bit integers, and only just before output that list of integers is turned to a string of words.)
21:53:14 <elliott> 2008-08-14.txt:15:09:48: <fizzie> optbot; What do you think of fungot?
21:53:15 <fungot> elliott: i could implement io monads and make it available via http? i hope not
21:53:18 <elliott> fizzie: Did you really use "nick;"?
21:53:21 <fizzie> Or maybe 21-bit integers, I forget exactly.
21:53:22 <elliott> ALSO REMEMBER OPTBOT? I loved optbot.
21:53:26 <elliott> #esoteric used to be great.
21:53:39 <shachaf> elliott: You know when it stopped being great, right?
21:53:46 <olsner> what did OPTBOT do?
21:53:52 <shachaf> olsner: OPT
21:53:57 <fizzie> elliott: I think I might have used it. And I also fixed that one bf interp bug, but I suppose that was at least a year ago.
21:53:59 <olsner> shachaf: OPT!?
21:54:21 <olsner> `pastelogs optbot
21:54:26 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20890
21:54:27 <fizzie> ^ignore
21:54:28 <fungot> ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|cuttlefish)!
21:54:29 <fizzie> ^ remembers optbot too.
21:54:42 -!- oerjan has quit (Quit: Trackpad wacky).
21:54:51 <elliott> fizzie: IMO you should remove that in remembrance.
21:55:12 <shachaf> `cat bin/pastelogs
21:55:13 <olsner> <optbot> "bonobos are fucking ehird`"
21:55:14 <HackEgo> ​#!/bin/sh \ cd /var/irclogs/_esoteric \ \ pasterandom() { \ if [ "$1" -gt 150 ]; then \ echo "No." \ exit \ fi \ for i in $(seq "$1"); do \ file=$(shuf -en 1 ????-??-??.txt) \ echo "$file:$(shuf -n 1 $file)" \ done | paste \ } \ \ if [ "$1" ]; then \ if expr "$1" + 0 >/dev/null 2>&1; then \ pasterandom "$1" \ else \ lines=$(grep -P -i -- "$1"
21:55:24 <elliott> Hm, I don't remember getting fungot to spam #ubuntu.
21:55:25 <fungot> elliott: can you put that in /usr/ share/ dict/ words, and it's not not a that have no side effects /me grins grits fnord waits wants wanes waves raves raven)
21:55:27 <elliott> But apparently I did!
21:55:58 -!- oerjan has joined.
21:56:20 <elliott> `WELCOME OERJAN
21:56:23 <HackEgo> OERJAN: 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.)
21:56:26 <oerjan> THANKS
21:56:28 <olsner> grins grits fnord waits wants wanes waves raves raven
21:56:42 <oerjan> MY TRACKPAD SEEMS TO WORK AGAIN
21:56:55 <olsner> JOYFUL TIMES INDEED
21:56:55 <elliott> oerjan: Remember how optbot stood for Oerjan's Terrible Puns Bot?
21:56:59 <elliott> When it was otpbot.
21:57:01 <elliott> But then it became optbot.
21:57:02 <oerjan> i assume it was a cosmic ray
21:57:04 <oerjan> elliott: yes.
21:57:13 <elliott> oerjan: The Golden Age of #esoteric, right?
21:57:14 <FreeFull> `Welcome
21:57:17 <oerjan> right
21:57:18 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: Welcome: not found
21:57:20 <Phantom_Hoover> and then it was a drama bomb
21:57:31 <elliott> Phantom_Hoover: That was literally years later when a bunch of stupid people started being in the channel.
21:57:52 <elliott> oerjan: Kids don't appreciate history nowadays, right?
21:58:07 <oerjan> -- Socrates
21:58:18 <elliott> oerjan: See? A kid wouldn't know who Socrates is!
21:58:26 <oerjan> (slightly translated from the greek)
21:58:44 <FreeFull> Why did you comment Socrates out
21:58:56 <elliott> It's social "comment"ary.
21:59:08 <olsner> Why did you decrement Socrates?
21:59:12 <oerjan> -- Freefull is so stupid he cannot read this
21:59:19 <elliott> 16:00:50: <fizzie> It refers to a PENIS, I think. Usually things on IRC do.
21:59:22 <elliott> fizzie: Thank's.
21:59:37 <oerjan> olsner--
22:00:01 <elliott> @karma olsner
22:00:02 <lambdabot> olsner has a karma of 1
22:00:03 <elliott> Whoa.
22:00:07 <elliott> That needs to be much higher.
22:00:08 <elliott> olsner++
22:00:08 <elliott> olsner++
22:00:08 <elliott> olsner++
22:00:08 <elliott> olsner++
22:00:09 <elliott> olsner++
22:00:10 <elliott> olsner++
22:00:12 <elliott> olsner++
22:00:14 <elliott> olsner++
22:00:16 <elliott> olsner++
22:00:18 <elliott> olsner++
22:00:20 <olsner> @karma
22:00:20 <elliott> olsner++
22:00:20 <lambdabot> You have a karma of 11
22:00:22 <elliott> olsner++
22:00:24 <elliott> @karma olsner
22:00:24 <lambdabot> olsner has a karma of 13
22:00:29 <elliott> @karma+ olsner
22:00:29 <lambdabot> olsner's karma raised to 14.
22:00:31 <elliott> 13 is an unlucky number.
22:00:57 <olsner> wow! I have karma, now I can do at least 14 evils before I turn officially evil
22:01:05 <shachaf> @karma
22:01:05 <lambdabot> You have a karma of 32
22:01:11 <shachaf> @karma elliott
22:01:11 <lambdabot> elliott has a karma of 22
22:01:15 <shachaf> @karma dons
22:01:15 <lambdabot> dons has a karma of 1
22:01:19 <shachaf> @karma sorear
22:01:19 <lambdabot> sorear has a karma of 0
22:01:21 <olsner> @karma chameleon
22:01:21 <lambdabot> chameleon has a karma of 0
22:01:24 <shachaf> @karma larrywall
22:01:24 <lambdabot> larrywall has a karma of 0
22:01:29 <shachaf> @karma timtoady
22:01:29 <lambdabot> timtoady has a karma of 1
22:01:32 <shachaf> @karma preflex
22:01:32 <lambdabot> preflex has a karma of 1
22:01:35 <shachaf> @karma lambdabot
22:01:35 <lambdabot> lambdabot has a karma of 7
22:01:36 <olsner> @karma oerjan
22:01:36 <lambdabot> oerjan has a karma of 8
22:01:44 <shachaf> @karma olsnoerjaner
22:01:44 <lambdabot> olsnoerjaner has a karma of 0
22:01:49 <elliott> @karma funpuns
22:01:49 <lambdabot> funpuns has a karma of 0
22:01:55 <elliott> "have", lambdabot. "have".
22:01:56 <olsner> funpuns++
22:02:41 <elliott> oerjan: Wake up monqy, would you?
22:02:44 <elliott> I have a Linux question.
22:02:52 <oerjan> monqy: WAKE UP
22:03:04 <shachaf> monqy: go to sleep monqy
22:03:08 <Phantom_Hoover> lambdabot--
22:03:12 <elliott> @karma lambdabot
22:03:12 <lambdabot> lambdabot has a karma of 6
22:03:16 <elliott> @karma+ lambdabot
22:03:16 <lambdabot> lambdabot's karma raised to 7.
22:03:16 <elliott> @karma+ lambdabot
22:03:16 <lambdabot> lambdabot's karma raised to 8.
22:03:16 <elliott> @karma+ lambdabot
22:03:16 <elliott> @karma+ lambdabot
22:03:16 <lambdabot> lambdabot's karma raised to 9.
22:03:17 <elliott> @karma+ lambdabot
22:03:17 <lambdabot> lambdabot's karma raised to 10.
22:03:17 <elliott> @karma+ lambdabot
22:03:17 <lambdabot> lambdabot's karma raised to 11.
22:03:18 <lambdabot> lambdabot's karma raised to 12.
22:03:18 <elliott> @karma+ lambdabot
22:03:20 <lambdabot> lambdabot's karma raised to 13.
22:03:20 <elliott> @karma+ lambdabot
22:03:22 <shachaf> elliott: Stop it.
22:03:22 <lambdabot> lambdabot's karma raised to 14.
22:03:22 <elliott> @karma+ lambdabot
22:03:24 <lambdabot> lambdabot's karma raised to 15.
22:03:24 <elliott> @karma+ lambdabot
22:03:25 <shachaf> @ignore + elliott
22:03:26 <lambdabot> lambdabot's karma raised to 16.
22:03:26 <elliott> @karma+ lambdabot
22:03:28 <lambdabot> lambdabot's karma raised to 17.
22:03:28 <elliott> @karma+ lambdabot
22:03:30 <lambdabot> lambdabot's karma raised to 18.
22:03:30 <elliott> @karma+ lambdabot
22:03:32 <lambdabot> lambdabot's karma raised to 19.
22:03:32 <elliott> @karma+ lambdabot
22:03:33 <shachaf> @ignore - elliott
22:03:34 <lambdabot> lambdabot's karma raised to 20.
22:03:34 <elliott> @karma+ lambdabot
22:03:36 <lambdabot> lambdabot's karma raised to 21.
22:03:36 <elliott> @karma+ lambdabot
22:03:38 <lambdabot> lambdabot's karma raised to 22.
22:03:38 <shachaf> @admin - elliott
22:03:39 <elliott> @karma+ lambdabot
22:03:40 <lambdabot> lambdabot's karma raised to 23.
22:03:40 <elliott> @karma+ lambdabot
22:03:41 <shachaf> @ignore + elliott
22:03:42 <lambdabot> lambdabot's karma raised to 24.
22:03:42 <elliott> @karma+ lambdabot
22:03:44 -!- zzo38 has left.
22:03:44 <elliott> I love lambdabot.
22:03:45 <olsner> maybe we could raise karma in private messages instead of in the channel?
22:03:46 <elliott> @admin - shachaf
22:04:00 <elliott> olsner--
22:04:02 <shachaf> elliott: What happens in #esoteric ought to stay in #esoteric
22:04:06 <olsner> elliott--
22:04:09 <elliott> You're officially unlucky now, olsner.
22:04:10 <shachaf> Don't lambdabot karmaspam
22:04:13 <elliott> @karma elliott
22:04:13 <Phantom_Hoover> Phantom_Hoover++
22:04:15 <shachaf> @karma olsner
22:04:15 <lambdabot> olsner has a karma of 14
22:04:21 <elliott> shachaf: I was adjusting lambdabot's karma to be correct.
22:04:31 <elliott> shachaf: Also I once spammed lambdabot in /msg to take down lambdabot's karma from 40-50 or so to 0.
22:04:34 <elliott> So this is just giving back, see?
22:04:38 <elliott> I forget why I did that.
22:04:42 <shachaf> @slap elliott
22:04:42 * lambdabot hits elliott with an assortment of kitchen utensils
22:04:42 <elliott> But I remember having a good reason.
22:04:50 <elliott> Also, take me off ignore.
22:05:51 <elliott> shachaf: If you don't take me off lambdabot ignore I'll... I'll reduce your karma!!!!!
22:06:30 <elliott> oerjan: Remember when HackEgo had a karma system?
22:06:32 <elliott> `karma oerjan
22:06:34 <elliott> Maybe it still does.
22:06:37 <HackEgo> oerjan has 0 karma.
22:06:44 <shachaf> @ignore - elliott
22:06:46 <olsner> `cat bin/karma
22:06:49 <HackEgo> ​#!/bin/sh \ echo "$1 has $(lib/karma "$1") karma."
22:06:58 <elliott> @admin + elliott
22:06:59 <lambdabot> Not enough privileges
22:07:05 <olsner> oh, I expected it to just print "$1 has 0 karma"
22:07:08 <FreeFull> > putStrLn "I am dissapoint"
22:07:09 <lambdabot> <IO ()>
22:07:11 <elliott> olsner: That's a good idea. It should.
22:07:16 <FreeFull> > a <- putStrLn "I am dissapoint"
22:07:17 <lambdabot> not an expression: `a <- putStrLn "I am dissapoint"'
22:07:20 <elliott> @admin + elliott
22:07:20 <lambdabot> Not enough privileges
22:07:25 <elliott> shachaf: It's like you don't even care about your karma.
22:07:30 <shachaf> elliott: Don't @admin - me :-(
22:07:31 <shachaf> @karma
22:07:31 <lambdabot> You have a karma of 32
22:07:33 <FreeFull> > "I am dissapoint"
22:07:34 <lambdabot> "I am dissapoint"
22:07:36 <shachaf> @admin + elliott
22:07:46 <olsner> !rot13 I am disappoint
22:07:47 <EgoBot> V nz qvfnccbvag
22:08:46 <elliott> FreeFull: What are you full of?
22:08:52 * oerjan swats FreeFull for speling -----###
22:08:53 <FreeFull> Freedom
22:09:06 <elliott> FreeFull: Whoa.
22:09:09 <elliott> FreeFull: Are you American?
22:09:12 <FreeFull> No
22:09:17 <FreeFull> America isn't actually free
22:09:54 <elliott> Good point.
22:09:54 <oerjan> it's free for a small fee
22:09:57 <elliott> So, you're European.
22:10:03 <olsner> feeful
22:10:31 <FreeFull> Jupiterian
22:10:43 <elliott> Jupiter isn't in Europe, FreeFull.
22:10:57 <oerjan> sausage lovers are the wurst
22:11:13 <FreeFull> Europa is around Jupiter though!
22:11:18 <shachaf> elliott: Yes it is?
22:11:21 <shachaf> It's in Romania.
22:12:03 <olsner> !rot13 cha-cha-cha
22:12:03 <EgoBot> pun-pun-pun
22:12:04 <Sgeo> https://gist.github.com/3036120
22:12:11 <Sgeo> (not mine)
22:12:58 <elliott> shachaf: Well, uh, Europe is the national anthem of Kosovo.
22:13:08 <shachaf> uh-lliott
22:13:39 <shachaf> kmc: Can you believe Raymond Smullyan was giving a talk in NYC today?
22:18:20 <oerjan> !rot13 Raymond Smullyan
22:18:21 <EgoBot> Enlzbaq Fzhyylna
22:27:21 <Sgeo> I'm starting to really appreciate the Reader monad, now that I see two different Clojure libraries do different things to essentially support it.
22:27:38 <elliott> reader monad sux
22:27:44 <elliott> implicit configurations thru reflection 4 lyfe
22:28:13 -!- hagb4rd has joined.
22:29:35 -!- monqy has joined.
22:29:39 <elliott> mmmm i forgot how great reflection's api is
22:29:45 <elliott> oh hey oerjan thanks
22:30:47 <elliott> monqy: you still use arch right
22:30:57 <monqy> ye
22:30:57 <lambdabot> monqy: You have 12 new messages. '/msg lambdabot @messages' to read them.
22:31:04 <monqy> you got me,....
22:31:08 <Lumpio-> Who doesn't run Arch these days!
22:31:13 <Lumpio-> Unless you want a stable system or something
22:31:29 <elliott> monqy: "tricked u"
22:31:32 <elliott> monqy: but it was actually a legit question
22:31:35 <elliott> monqy: do you use [testing]
22:31:39 <monqy> i dont think so
22:31:43 <elliott> damn
22:31:44 <elliott> can you check
22:31:46 <elliott> i need soul guidance
22:31:46 <Sgeo> elliott, the usage of Reader monad I'm talking about isn't for configuration, it's more for building up a computation that will receive an argument in the future.
22:31:56 <Sgeo> async stuff
22:32:02 <elliott> Sgeo: well ok
22:32:08 <elliott> reflection is still the coolest tho
22:32:16 <elliott> also you can still sort of do that with reflection but whatever
22:33:30 <elliott> monqy: remember reflection
22:34:13 <atriq> That was the thingy you did with edwardk, right?
22:34:18 <monqy> which reflection
22:34:21 <atriq> That was crazy and shouldn't work but did?
22:34:23 <monqy> reflection is a big word
22:34:34 <elliott> class Reifies s a | s -> a where reflect :: proxy s -> a
22:34:35 <elliott> reify :: a -> (forall s. Reifies s a => Proxy s -> r) -> r
22:34:36 <elliott> that reflection
22:34:38 <Phantom_Hoover> is this the kind of reflection they used for the 4-colour theorem
22:34:41 <monqy> someone's like operating the heavy lawnmowing machinery so im bad at remembering
22:35:08 <elliott> implicit configurations, oleg, that reflection
22:35:15 <monqy> yeah i vaugely remember it
22:35:21 <elliott> it's cool.
22:35:25 <elliott> i have nothing to say about it, it is just cool
22:35:42 <elliott> if i made a language it'd support reflection without the zany implementation hacks!!
22:36:16 <elliott> monqy: (/etc/pacman.conf will have an uncommented [testing] block if you use it)
22:36:34 <monqy> its commented out
22:36:39 <monqy> is testing good
22:36:43 <elliott> well,
22:36:48 <elliott> [testing] has ghc 7.6.1
22:36:51 <Phantom_Hoover> elliott, is it the kind of reflection they used for the 4-colour theorem in coq
22:37:00 <elliott> monqy: but it's an all-or-nothing thing you have to take all the possible unstability with it!!!
22:37:02 <elliott> instability
22:37:04 <atriq> What's it used for?
22:37:07 <elliott> monqy: so im trying to decide between
22:37:14 <Sgeo> My brain needs a break from thinking
22:37:15 <elliott> using my /opt/ghc with the binary package of 7.6.1
22:37:17 <elliott> or just enabling [testing]
22:37:19 <Phantom_Hoover> atriq, proving the 4-colour theorem, presumably
22:37:25 <monqy> elliott: im bad at decisions yw
22:37:29 <elliott> Phantom_Hoover: i doubt it is that kind of reflection
22:37:32 <elliott> monqy: help
22:37:45 <elliott> monqy: i was hoping you'd go "oh yeah i totally use reflection"
22:37:45 <oerjan> elliott: yw
22:37:46 <Phantom_Hoover> elliott, idk, curry-howard and all that
22:37:54 <elliott> er
22:37:56 <elliott> monqy: i was hoping you'd go "oh yeah i totally use testing"
22:37:58 <elliott> monqy: "for my packages"
22:38:01 <elliott> monqy: "life on the edge with monqy"
22:39:19 <atriq> elliott, I'm reading the pdf associated with reflection
22:39:26 <atriq> And it sounds vaguely familiar
22:39:30 <atriq> As though I've read it before
22:39:41 <elliott> atriq: the pdf's implementation is quite bad btw
22:39:46 <elliott> reflection has a simpler but less portable one
22:39:50 <elliott> and a simplified version of the paper's
22:39:53 <elliott> as a fallback
22:39:55 <atriq> I'm trying to work out what it's meant to be implementing
22:39:57 <elliott> (though it depends on 8-byte pointers)
22:43:02 <atriq> Hmm
22:43:06 <atriq> It doesn't like :T
22:43:14 <atriq> By which I mean ":t"
22:43:33 <elliott> atriq: what do you mean
22:43:46 <atriq> Prelude Data.Reflection> :t reify 12 (\p -> reflect p + reflect p)
22:43:46 <atriq> <interactive>:1:7:
22:43:46 <atriq> No instance for (Num a)
22:43:46 <atriq> arising from the literal `12'
22:43:46 <atriq> In the first argument of `reify', namely `12'
22:43:46 <atriq> In the expression: reify 12 (\ p -> reflect p + reflect p)
22:43:48 <atriq> Prelude Data.Reflection> reify 12 (\p -> reflect p + reflect p)
22:43:50 <atriq> 24
22:43:59 <FreeFull> > 24 - 42
22:44:00 <lambdabot> -18
22:44:04 -!- zzo38 has joined.
22:44:20 <atriq> Oh, I think it's the monomorphism restriction or something attacking me again
22:44:46 <elliott> atriq: Try reify (12 :: Integer) (\p -> reflect p + reflect p).
22:45:00 <atriq> Works dine
22:45:02 <atriq> *fine
22:45:02 <elliott> It's actually defaulting and fundeps and stuff.
22:45:06 <atriq> I need sleep
22:45:21 <zzo38> NES/Famicom PPU has a restriction although tiles are 8x8 pixels, attributes are 16x16 pixels (2x2 tiles) so I thought of idea, making up a puzzle game based on this, if you push objects together in a 2x2 area with colors from different palettes, the objects will not move.....
22:46:22 <zzo38> Do you like that idea?
22:46:37 <atriq> It sounds interesting
22:49:27 <elliott> atriq: I think :t reify (12 :: Integer) should also work.
22:49:51 <atriq> It does...
22:51:10 <zzo38> I thought of putting a border around each 2x2 area,but then you would also need four tiles in the pattern table for each possible piece in the game, unless something can be done with sprite 0 hit to switch pattern tables so you only need two tiles in each pattern table for each possible piece, but I don't know if you can modify the sprites during rendering
22:51:46 <atriq> I've never tried to make NES games, so I wouldn't know
22:51:47 <zzo38> Another idea would be to use the sprite overflow flag somehow
22:51:49 <atriq> And goodnight
22:51:50 -!- atriq has quit (Quit: Leaving).
23:03:53 -!- Vorpal has quit (Ping timeout: 245 seconds).
23:13:57 <elliott> monqy: i'm scared of [testing]
23:14:04 <monqy> me too
23:14:07 <elliott> monqy: but i really want to recompile my xmonad :(
23:14:15 <elliott> monqy: right now im just relying on the one i compiled with old ghc..........
23:14:18 <elliott> i don't even have an xmonad(1)
23:14:33 <elliott> i just modified my xinitrc to run ~/.xmonad/xmonad-x86_64-linux
23:14:54 <monqy> yikes
23:16:59 <elliott> if i press mod-q i get an error message saying it can't find xmonad in $PATH
23:19:29 <FreeFull> Why don't you symlink that to somewhere that is in $PATH
23:19:53 <elliott> well it wouldn't work
23:19:56 <elliott> it needs ghc for mod+q to work
23:37:08 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
23:39:23 <elliott> oerjan: Realtime Solitaire
23:40:30 <elliott> oerjan: Realtime Solitaire 2.0
23:40:43 <elliott> oerjan: Realtime Solitaire 3.0
23:40:57 <elliott> Sense the patterns to unlock New Real Realtime Solitaire 4.0
23:58:56 <kmc> area man constantly telling everyone he doesn't have an xmonad(1)
←2012-10-04 2012-10-05 2012-10-06→ ↑2012 ↑all