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: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: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
07:11:43 <oklopol> one of the comments said "spurrious"
07:12:54 <fizzie> Oh no, the foundations of mathematics are crumbling as we speak.
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: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:39 <Arc_Koen> @tell oerjan I see in the logs you've tried to message me but lambdabot doesn't seem to agree
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: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: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: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: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:35 <Arc_Koen> well when I had to pay it it was 40 EUR here
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.
14:00:30 <fizzie> Hello. We were just talking about Belgian railways.
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?
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
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:19 <lambdabot> atriq: You have 1 new message. '/msg lambdabot @messages' to read it.
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: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: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: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:41:25 <atriq> Well, in about two years, I'll be able to read Homestuck offline!
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: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: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: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 <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: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:14:47 <olsner> I think one person uses arch
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:52 * oerjan notes that searching for /// on esolang takes you directly to the main page.
20:16:14 <olsner> oerjan: aren't you the wiki admin?
20:16:22 <elliott> oerjan is the reason it is broken
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: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: line 2: /opt/ghc/bin/ghc-7.6.1: No such file or directory
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> Probable cause: `join' is applied to too many arguments
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:18 <elliott> Prelude Control.Monad> :t fmap fmap fmap join join join
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: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: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:58 <elliott> -> (m1 (m1 (m0 (m0 a0))) -> m0 (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: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:28 <olsner> the wiki could have a rewrite rule that makes esolangs.org/// into a /// interpreter
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: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: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: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> Probable cause: `join' is applied to too few arguments
20:24:28 <lambdabot> Occurs check: cannot construct the infinite type:
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:25:13 <oerjan> oh that's the ghc 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: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:31:21 <elliott> oerjan: Should I use the [testing] repo to get a 7.6.1 package, or use my self-compiled binary?
20:32:09 <oerjan> (i know you didn't actually expect a serious answer)
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: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: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:36 <shachaf> elliott: With the parentheses?
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: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: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: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:36 <zzo38> data Command = Case Word8 (Word8 -> [Command]) | Command ByteString | Wire Pin Pin Connection | Part x => Part Int x;
20:47:06 <zzo38> I think you shouldn't change it
20:47:30 -!- boily has quit (Quit: Poulet!).
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:34 <zzo38> No, I don't think you should change it either.
20:49:40 <oerjan> Ørjan Erroneous Nickname
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: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:55 <olsner> hmm, I guess you are rude
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:47 <atriq> That is the best nick by far.
21:21:00 <shachaf> atriq: Better than rot13 shachaf?
21:21:29 <oerjan> olsner är en sådan byfare
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:25:15 <oerjan> so he's secretly welsh, ok
21:26:23 <olsner> ubbire is probably how you say umpire with a cold
21:27:20 <shachaf> elliott: There's a #haskell person with the nick avpx
21:28:10 <olsner> effilry is like rivalry but for effils
21:28:53 <elliott> i thought it sounded familiar
21:29:20 <olsner> shachaf: didn't you quit #haskell?
21:29:42 <olsner> !ebg13 should be the inverse of rot13
21:31:03 <Gregor> I'm surprised by how often the result is pronounceable.
21:31:22 <oerjan> if you say so, Mr. Tertbe
21:31:50 <Gregor> I think “Tertbe” is perfectly pronounceable.
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: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:05 <olsner> -kf works fine, I'm a bit sad that no language I know uses that combination though
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: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: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: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: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: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:42 <HackEgo> 100) <fax> okay I see it now, quines do exist
21:36:55 <HackEgo> 101) <Warrigal> Darn, now I can't acknowledge the reference you were making.
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: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: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:25 <HackEgo> 380) <oklofok> what would you ever need petrol for <oklofok> newsflash: it doesn't actually taste that good
21:37:39 <oerjan> elliott: i did `quote [ ]< to check and the first example that showed up had one space :(
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:20 <shachaf> There should be a command for that.
21:38:22 <oerjan> hm that's not useful...
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: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 <lambdabot> Plugin `quote' failed with: getRandItem: empty list
21:39:17 <lambdabot> DukeDave says: what, if your kids start doing drugs? or worse, business school
21:39:19 <lambdabot> Plugin `quote' failed with: getRandItem: empty list
21:39:20 <lambdabot> co_dh says: I don't like it, but I don't know why.
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 <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 <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 <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 <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 <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 <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:41:19 <fizzie> `run echo quote $(($$ % 870 + 1)) # the qupidote
21:41:23 <olsner> shachaf: better than stereo quotes
21:41:36 <fizzie> Whoop, forgot the echo.
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: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: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:34 <HackEgo> 869) <elliott> `delquote 869
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: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: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:40 <Gregor> shachaf: Still 100% (are the odds)
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:59 <shachaf> Gregor: 100 is one of the evens.
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:46:06 -!- fungot has joined.
21:46:17 -!- kinoSi has quit (Read error: Connection reset by peer).
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: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:45 -!- kinoSi has joined.
21:46:50 <fungot> olsner: it's just one of those
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:25 <oerjan> elliott: fizzie did...
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: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:48 <oerjan> `run sed -i '867s/ <o/ <o/g' quotes
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:40 <shachaf> A channel that had a bot which is presently offline.
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: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: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: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: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:33 <shachaf> It makes bots over 14 times better.
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: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: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:54:26 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.20890
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: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:58 -!- oerjan has joined.
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:28 <olsner> grins grits fnord waits wants wanes waves raves raven
21:56:42 <oerjan> MY TRACKPAD SEEMS TO WORK AGAIN
21:56:55 <elliott> oerjan: Remember how optbot stood for Oerjan's Terrible Puns Bot?
21:57:01 <elliott> But then it became optbot.
21:57:02 <oerjan> i assume it was a cosmic ray
21:57:13 <elliott> oerjan: The Golden Age of #esoteric, right?
21:57:18 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: Welcome: not found
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: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: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.
22:00:07 <elliott> That needs to be much higher.
22:00:57 <olsner> wow! I have karma, now I can do at least 14 evils before I turn officially evil
22:01:55 <elliott> "have", lambdabot. "have".
22:02:41 <elliott> oerjan: Wake up monqy, would you?
22:03:44 -!- zzo38 has left.
22:03:45 <olsner> maybe we could raise karma in private messages instead of in the channel?
22:04:02 <shachaf> elliott: What happens in #esoteric ought to stay in #esoteric
22:04:09 <elliott> You're officially unlucky now, olsner.
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:42 * lambdabot hits elliott with an assortment of kitchen utensils
22:04:42 <elliott> But I remember having a good reason.
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:49 <HackEgo> #!/bin/sh \ echo "$1 has $(lib/karma "$1") karma."
22:07:05 <olsner> oh, I expected it to just print "$1 has 0 karma"
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: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:46 <olsner> !rot13 I am disappoint
22:08:46 <elliott> FreeFull: What are you full of?
22:08:52 * oerjan swats FreeFull for speling -----###
22:09:09 <elliott> FreeFull: Are you American?
22:09:54 <oerjan> it's free for a small fee
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:12:04 <Sgeo> https://gist.github.com/3036120
22:12:58 <elliott> shachaf: Well, uh, Europe is the national anthem of Kosovo.
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: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: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:30:47 <elliott> monqy: you still use arch right
22:30:57 <lambdabot> monqy: You have 12 new messages. '/msg lambdabot @messages' to read them.
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:32 <elliott> monqy: but it was actually a legit question
22:31:35 <elliott> monqy: do you use [testing]
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: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: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: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: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: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: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:25 <monqy> elliott: im bad at decisions yw
22:37:29 <elliott> Phantom_Hoover: i doubt it is that kind of reflection
22:37:45 <elliott> monqy: i was hoping you'd go "oh yeah i totally use reflection"
22:37:56 <elliott> monqy: i was hoping you'd go "oh yeah i totally use testing"
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: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:06 <atriq> It doesn't like :T
22:43:14 <atriq> By which I mean ":t"
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: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:02 <elliott> It's actually defaulting and fundeps and stuff.
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: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: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: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: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: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)