00:04:15 -!- elliott has joined.
00:08:25 <shachaf> hi monqy
00:08:30 <elliott> monqy: no
00:08:59 <shachaf> monqy: yessss
00:09:09 <shachaf> just one hi
00:09:09 <oerjan> hi drama
00:09:13 <shachaf> hi oerjan
00:12:36 <elliott> kmc: How come there's so much C++ programmer/Haskell programmer overlap?
00:13:44 <shachaf> elliott: There is?
00:13:55 <shachaf> Most C++ programmers have probably never heard of Haskell.
00:13:56 <elliott> Yes.
00:14:09 <elliott> Well, a lot of Haskellers also do C++, at least.
00:14:21 <shachaf> Well, C++ is a very popular language.
00:14:25 <shachaf> But I don't even know if that is true.
00:15:03 <elliott> Well, a lot of SO people who answer Haskell questions also answer C++ questions? WORK WITH ME HERE
00:15:38 <shachaf> I think SO questions are just karma-crazy.
00:16:07 <shachaf> There are a few strategies for karma: Answer specialized questions like Haskell questions, or answer mainstream questions like C++.
00:16:16 <shachaf> Probably people do some of both.
00:16:46 <elliott> I gather answering C or C++ questions doesn't get you much rep because of the high turnover rate.
00:19:58 -!- PatashuXantheres has joined.
00:23:02 -!- Patashu has quit (Ping timeout: 244 seconds).
00:36:00 -!- Sgeo_ has joined.
00:45:25 -!- augur has quit (Remote host closed the connection).
00:54:03 -!- zzo38 has joined.
00:54:31 <zzo38> OK
00:55:21 <elliott> ok
00:58:56 -!- augur has joined.
01:03:25 -!- Sgeo_ has quit (Ping timeout: 265 seconds).
01:19:13 -!- PatashuXantheres has changed nick to Patashu.
01:32:41 -!- kmc has quit (Quit: Leaving).
01:54:28 -!- kmc has joined.
02:15:33 <shachaf> elliott: I heard kmc bought a computer at a BRICK AND MORTAR STORE.
02:15:48 <shachaf> I guess he's neither ESR nor PG.
02:15:58 <shachaf> Unless, wait, was it an Apple store?
02:16:00 <kmc> no
02:16:11 <zzo38> What is ESR and PG?
02:16:32 <shachaf> No one really knows.
02:16:44 <shachaf> kmc: Is it the new Thinkpad you were waiting for?
02:17:03 <kmc> no
02:17:17 <elliott> kmc only starts talking when shachaf talks to him :'(
02:17:24 <kmc> it's a refurb thinkpad for $250
02:17:44 <kmc> cause i had no working laptop at all
02:17:53 <shachaf> What happened to your other working laptop?
02:19:18 <oerjan> elliott: what we need is a shachaf simulator
02:19:52 <elliott> We have one.
02:19:54 <elliott> He's called shachaf.
02:20:08 <elliott> Hmph, I was hoping oerjan would take care of that [[Tiny]] edit.
02:20:21 <oerjan> ...i have no idea what that meant, so no.
02:20:32 <kmc> the X200s has a cracked screen and is now in many pieces as part of a failed attempt to resolve this
02:20:41 <kmc> the old T61 has hella problems but the dealbreaker is that the fan doesn't work anymore
02:20:58 <kmc> so i bought a new refurb T61
02:21:18 <elliott> oerjan: http://esolangs.org/w/index.php?title=Tiny&curid=1810&diff=31902&oldid=30619
02:21:32 <kmc> thinking (inter alia) that if things go wrong with it, I can grab parts from the old T61
02:21:38 <kmc> i already cannibalized the RAM
02:21:39 <oerjan> elliott: i didn't say i didn't see it, i said i didn't know what it meant
02:21:49 <shachaf> kmc: I didn't know you could buy ThinkPads in brick-and-mortar stores.
02:21:55 <kmc> yeah, MicroCenter has some
02:22:00 <shachaf> (...I thought the main things they sold was brick and mortar.)
02:22:03 <shachaf> (...Sorry.)
02:22:06 <kmc> HA HA HA HA HA
02:22:19 <shachaf> No, but I really didn't.
02:22:21 <kmc> you can also get refurb machines online but I think the advantage is not so great
02:22:40 <kmc> and i wanted this quickly because i am leaving town in less than a week
02:22:40 <shachaf> I bought this laptop refurbished online.
02:22:50 <shachaf> Where are you going?
02:22:58 <kmc> i like that, if MicroCenter's refurb laptop turns out to be not so furbished after all, I can return it by walking down the street
02:23:57 <shachaf> Is this the MicroCenter people at BosHac told me to go to?
02:24:05 <kmc> flying to SF, taking the train to LA, riding in a car out to Coachella for the eponymous music festival
02:24:07 <kmc> yes this makes no sense
02:24:14 <kmc> maybe?
02:24:22 <kmc> it's a computer store in cambridge (and some other places)
02:24:22 -!- oerjan has quit (Quit: Good night).
02:24:54 <shachaf> elliott: Have you ever been to cambridge (and some other places too)?
02:25:07 <kmc> shachaf, has anyone ever been etc
02:25:22 * shachaf has been etc
02:25:34 <shachaf> kmc: The part that makes no sense is that you're not going to SF by train.
02:26:22 <kmc> from Boston??
02:27:03 -!- augur has quit (Remote host closed the connection).
02:27:05 <shachaf> Think of the legroom!
02:27:50 <kmc> it takes /forever/
02:27:54 <kmc> and would cost more
02:28:24 <shachaf> Flying costs more of your soul.
02:28:31 <kmc> kind of
02:28:34 <kmc> i don't actually mind flying
02:28:51 <kmc> the carbon footprint is not great, but it's still public transit of sorts
02:29:04 <shachaf> Why are you going through SF?
02:29:07 <kmc> everything about flying sucks, except the part where you're actually in the air
02:29:41 <kmc> so it's proportionally better on longer trips
02:29:44 <shachaf> Usually I'm stuck on a chair inside the airplane instead of in the air. :-(
02:29:55 <kmc> HA HA HA HA HA
02:30:23 <shachaf> I think that must be some sort of subtle cue about something...
02:30:23 <kmc> so my friends who live in SF, LA, and SD are going to Coachella
02:30:24 <elliott> Does flying really count as public transport?
02:31:14 <kmc> Coachella is much closer to those cities than to Boston
02:31:51 <kmc> so I needed to buy plane tickets long before I could get any of them to figure out their transpo plans
02:31:57 <kmc> so I reduced to a solved problem
02:32:06 <kmc> by flying to/from where one of my friends would be starting
02:32:10 <shachaf> I guess that works.
02:32:14 <kmc> Boston to SF is also a very cheap route
02:32:22 <kmc> per mile anyway
02:32:37 <elliott> Wait, isn't LA on the other side of USillyA to SF?
02:32:44 <elliott> I... don't know much about USillyA geography.
02:32:47 <kmc> LA = Los Angeles, not Louisiana
02:32:54 <elliott> I knew that. :(
02:33:00 <elliott> Well, you learn something every day.
02:33:02 <elliott> Wait, I knew that.
02:33:11 <shachaf> SFO->SEA is cheaper than SFO->PDX.
02:33:13 <kmc> and I can be more flexible about dates if I fly to/from SF, because I have places I can stay there
02:33:21 <elliott> I think I was thinking the USA had, like, a left, a right, and a third thing.
02:33:47 <shachaf> That's pretty much how it works.
02:33:49 <elliott> I... am quite tired.
02:33:49 <kmc> SF is like 600 km north of LA; they're both in California, which is on the west coast
02:34:00 <kmc> California is a big state
02:34:06 <shachaf> 600km?
02:34:08 <shachaf> Hmm, I guess it is.
02:34:09 <elliott> Yes, I realised that about 15 seconds after I asked.
02:34:18 <elliott> The UK is much simpler :(
02:34:32 <shachaf> I've yet to make any sense of the UK.
02:34:39 <kmc> elliott, I would call commercial airlines "public transportation", yes
02:35:09 <kmc> the term does not imply government-affiliated
02:35:30 <elliott> Hmm.
02:35:41 <elliott> Right, I associated "public transport" with "public" as in state-run.
02:35:45 <kmc> lots of bus and train routes around the world are fully private
02:35:51 <kmc> many others are weird hybrids
02:35:51 <elliott> But then our trains aren't really "state-run" here either.
02:36:13 <elliott> (Oblig. daily thanks to Conservatives for ruining everything.)
02:36:34 -!- Mathnerd314 has quit (Ping timeout: 260 seconds).
02:36:52 <elliott> I CAN'T DEAL WITH THE PRESSURE OF EVERYBODY THINKING I'M CONAL
02:36:59 <shachaf> The UK has really weird place names.
02:37:05 <elliott> I wonder how many people just never ask and go away with a significantly tarnished view of Conal.
02:37:06 <shachaf> Like New Castle Upon Thyme.
02:37:08 <kmc> in britain they sold off the right to run the trains, and sold off the infrastructure separately, and then kind of gradually bought them back in weird ways
02:37:32 -!- Mathnerd314 has joined.
02:37:48 <kmc> (they = govt)
02:38:10 * elliott appreciates kmc's train wisdom.
02:38:16 <kmc> thanks elliott
02:38:18 <kmc> thelliott
02:38:19 <elliott> Trisdom.
02:38:25 <elliott> I was typing that before you said that.
02:38:30 <kmc> you're psychic
02:38:35 <elliott> No, that's you. :(
02:38:42 <kmc> i knew you would say that
02:38:42 <shachaf> Tʜᴇᴍ
02:38:56 <elliott> Also, 16:40:45: <elliott> kmc: that "replacement for SSH" wording + "uses SSH for login" is really confusing people
02:39:02 <kmc> yeah
02:39:10 <kmc> do you suggest a better way to deal?
02:39:15 <shachaf> Rename SSH.
02:39:22 <elliott> Maybe it should say "replacement for interactive ssh"?
02:39:31 <shachaf> Replacement for ssh -t
02:39:36 <elliott> Something that implies it's the actual terminally bits it's replacing, not ssh itself.
02:39:51 <shachaf> Except it's replacing more than that.
02:39:59 <shachaf> It does have its own protocol, after all.
02:40:13 <shachaf> Wouldn't want people to be overtrusting of it, would you.
02:40:32 <kmc> shachaf, some people are worried about what if Mosh drops a UDP packet while I'm typing "rm *foo\n" and it gets "rm *\n"
02:40:51 <elliott> kmc: Doesn't it sequentialise those properly?
02:40:53 <kmc> it does
02:41:00 <elliott> Those people are silly, then.
02:41:08 <kmc> i guess it is not common knowledge that one can implement a reliable protocol on top of UDP
02:41:13 <kmc> or that reliable protocols other than TCP exist
02:41:20 <elliott> You have to bake it into the ethernet cable itself.
02:41:23 <elliott> See, UDP is just like this big open hole.
02:41:26 <kmc> we've also been accused of "reinventing TCP" on this grounds
02:41:32 <elliott> But TCP has a bunch of gates to make sure everything goes through in the right order.
02:41:52 <elliott> I get the feeling everyone is sick of TCP nowdays.
02:41:54 <shachaf> kmc: You should invent a protocol that lets you send fds over the network.
02:42:02 <kmc> because TCP is like the platonic ideal of a reliable protocol, and there is no way you could ever do better even with total application domain knowledge
02:42:13 <kmc> I kind of think we should describe the Mosh protocol as more akin to video streaming
02:42:25 <kmc> if a packet drops, the server doesn't resend you that exact packet stream again
02:42:27 <shachaf> TCP is pretty good at what it does, to be fair.
02:42:38 <kmc> it tries to get you up to date as directly as possible
02:43:08 <shachaf> Well, for live video.
02:43:12 <elliott> kmc: Have you tried any of those ANSI films over mosh?
02:43:36 <shachaf> ANSI has gotten into the film business?
02:44:00 <pikhq> TCP could be better.
02:44:46 <elliott> shachaf: There's that Star Wars-over-telnet thing.
02:47:31 <kmc> i haven't elliott
02:47:33 <kmc> i should
02:48:04 <elliott> Everyone should elliott.
02:52:22 <kmc> shouldn't "apt-get -f" be named "apt-get -un-f"
02:52:45 -!- augur has joined.
02:53:21 <elliott> no
02:53:24 <kmc> shachaf, well, Keith's actual graduate research is in improving TCP, so I think he thinks it can be improved :)
02:54:01 <shachaf> kmc: Oh, I'm sure it can.
02:54:53 <kmc> i'm not sure it's even "pretty good"
02:54:58 <kmc> for the Internet as it exists today
02:55:01 <shachaf> Right.
02:55:05 <kmc> it deals very poorly with non-congestive losses
02:55:07 <kmc> which are common on radio
02:55:22 <kmc> so link layer protocol designers sometimes go to great lengths to hide those
02:55:24 <shachaf> But just the fact that it's from ~1974 and it actually works is pretty good.
02:55:27 <elliott> Nobody has yet been able to adequately explain to me why the internet works.
02:55:37 <elliott> AFAICT, it shouldn't. Actually, AFAICT it doesn't.
02:55:39 <kmc> we can maybe blame TCP for bufferbloat too
02:55:40 <kmc> i don't know
02:55:49 <elliott> But then it all goes and works and I don't know how or why. :(
02:55:50 <shachaf> I thought we were blaming buffers for that.
02:56:34 <elliott> shachaf: Does the internet work?
02:57:17 <elliott> 628...
02:58:19 <shachaf> elliott: I think the answer involves pictures of cats.
03:01:04 -!- Mathnerd314 has quit (Ping timeout: 246 seconds).
03:07:16 <zzo38> When I told someone about something near the end of one of the games in Super ASCII MZX Town series, that they tell you "You will need all of these things! Take it, please!" and leaves. They give you a bunch of ammunition, health, money, torches, and a multimeter; none of which is of the least bit of useful to you; it only serves to burden you. They told me that this game is diabolical.
03:29:38 <kmc> super latin-1 mzx town
03:30:28 <elliott> super unicode big endian mzx town
03:32:34 <shachaf> I'm getting some web server requests that start with U+FEFF
03:32:48 <shachaf> I'm not sure whether it's Unicode Big Endian or not, though.
03:37:25 <zzo38> kmc: Actually the game is based on CP437, not Latin-1
03:37:33 <shachaf> My compose key is broken. :-( <<On Windows platforms, which are mostly little endian, UTF-16LE is just called "Unicode" and UTF-16BE is just called "Unicode (Big Endian)".>>
03:38:21 -!- kmc has quit (Quit: Leaving).
03:38:24 <elliott> shachaf: That doesn't make the "Unicode non-big-endian only has 65536 codepoints" thing any less true.
03:38:26 <elliott> Erm.
03:38:27 <elliott> shachaf: That doesn't make the "Unicode non-big-endian only has 65536 codepoints" thing any less false.
03:38:30 <elliott> shachaf: That doesn't make the "Unicode non-big-endian only has 65536 codepoints" thing any more true.
03:39:03 <shachaf> elliott: Sure.
03:44:09 <pikhq> Windows also refers to legacy codepages as "ANSI".
03:44:16 <pikhq> That doesn't make it any less idiotic.
03:50:49 -!- kmc_ has joined.
04:11:38 <zzo38> findIndex p = snd . foldl (\(y, z) x -> (succP y, bool z (z <|> pure y) $ p x)) (zeroP, empty);
04:12:43 <zzo38> At least this is my version of findIndex
04:13:24 <zzo38> Has anyone ever played Final Jeopardy by themself without two opponents?
04:14:07 -!- kmc_ has changed nick to kmc.
04:20:06 <pikhq> zzo38: I don't know, but there has apparently been at least one instance of *nobody* playing Final Jeopardy.
04:34:30 <elliott> `addquote <Edwin Brady> Just seen this comment on reddit: "Parallel programming has been a solved problem for decades." I might have to stop reading the internet.
04:34:41 <HackEgo> 828) <Edwin Brady> Just seen this comment on reddit: "Parallel programming has been a solved problem for decades." I might have to stop reading the internet.
04:34:53 <elliott> (He's an esolanger, it counts!)
04:35:23 -!- hagb4rd2 has quit (Ping timeout: 246 seconds).
04:36:17 -!- asiekierka has joined.
04:50:25 <kmc> "parallel programming has been a solved problem for decades, but everyone is too dumb to appreciate my favorite solution"
04:50:52 <kmc> just like writing programs with no bugs
04:51:48 <elliott> My solution is to not read the internet.
04:53:35 <kmc> insert snarky remark about how the internet and the web are different
05:02:06 -!- elliott has quit (Quit: Leaving).
05:03:20 -!- MDude has changed nick to MSleep.
05:03:34 <kmc> insert reference to saying something annoying, which is somehow supposed to be less annoying than saying it
05:04:12 <shachaf> Writing programs with no bugs is easy.
05:04:27 <zzo38> ...if it doesn't do anything.
05:04:29 <shachaf> Every computer program written by the majority of people alive has no bugs.
05:04:33 <qfr> What zzo38 said
05:04:48 <shachaf> Why are programmers so bad at programming?!
05:04:59 <zzo38> shachaf: Vacuously.
05:05:00 <qfr> Because most of them are human
05:06:09 <shachaf> 22:05 < Utkarsh_> How do I fix this? main = map print (map read (words getLine))
05:10:11 <kmc> with shachaf here, it's like i never really left #haskell!
05:10:21 <monqy> thanks shachaf
05:10:29 <kmc> thachoo
05:10:34 <kmc> excuse me, bit of a sneeze
05:10:39 <zzo38> It does show you that some people do not understand Haskell
05:10:46 <kmc> zzo38: shocking
05:10:52 <monqy> im shockt
05:11:04 <shachaf> kmc: Hey, at least you don't get the dozens-of-people-typing-in-answers bit.
05:11:08 <shachaf> hi monqy
05:11:13 <monqy> shachaf: how predictable !
05:11:18 <monqy> shachaf: that's my new greeting now
05:11:21 <monqy> shachaf: how predictable !
05:11:35 <shachaf> have you forgotten about the power of hi monqy
05:11:42 <monqy> how predictable !
05:12:01 <shachaf> hi
05:12:05 <monqy> how predictable !
05:12:31 <shachaf> hi
05:12:33 <shachaf> hi monqy
05:12:34 <shachaf> hi hi hi
05:12:37 <monqy> :(
05:12:38 <shachaf> hi predictable?
05:12:39 <shachaf> hi
05:12:41 <shachaf>     - a poem
05:12:49 <shachaf>           - that monqy might've written
05:12:59 <shachaf>                       - if he was still with us today
05:13:03 <shachaf>                                           - :(
05:15:33 -!- rvchangue has quit (Ping timeout: 252 seconds).
05:18:50 -!- rvchangue has joined.
06:19:53 -!- calamari has quit (Quit: Leaving).
06:31:40 -!- monqy has quit (Quit: hello).
06:39:30 -!- Tod-Autojoined has joined.
06:39:57 <zzo38> Is it ever possible to make a monad (or applicative) from Density comonad? I can think of    return = flip Density zero . const;   but then how to define join? Or, make pure and then how to define <*> or liftPair?
06:40:50 -!- TodPunk has quit (Read error: Connection reset by peer).
06:53:43 <Sgeo> tswett, you awake?
06:56:31 -!- kmc has quit (Quit: Lost terminal).
06:57:22 -!- kmc has joined.
07:08:05 -!- kmc has quit (Quit: leaving).
07:08:38 -!- kmc has joined.
07:12:53 <zzo38> Or there is another way too
07:40:19 <zzo38> Maybe like this:   pure = liftA2 Density const pure; liftPair (Density f1 x1, Density f2 x2) = Density (f1 . fmap fst &&& f2 . fmap snd) (liftPair x1 x2);
07:48:39 -!- azaq23 has joined.
07:59:26 <pikhq> RocketJSquirrel: Ever thought about Microcosm on A/UX?
08:10:13 <pikhq> Dammit, no working Mac emulators for the purpose.
08:11:24 <pikhq> MESS's support is a WIP, and all other emulators HLE part of the Toolbox, which A/UX doesn't even use.
08:11:59 <kmc> so get to work, jeez
08:12:47 <pikhq> I'm almost as work-averse as elliott. It's a bit of a problem.
08:13:21 -!- itidus20 has changed nick to beer_and_xanx.
08:16:20 -!- beer_and_xanx has changed nick to itidus20.
08:17:13 <kmc> pro nick itidus20
08:18:08 <itidus20> it was an artifact of another conversation i saw
08:18:20 <zzo38> Which game did you prefer? The game that the sun rises in the wrong place?
08:23:54 -!- Slereah_ has quit (Ping timeout: 252 seconds).
08:24:57 -!- Slereah has joined.
09:04:29 -!- Ngevd has joined.
09:06:42 -!- Ngevd has quit (Client Quit).
09:31:20 -!- Phantom_Hoover has joined.
10:04:51 -!- cheater_ has joined.
10:08:19 -!- cheater has quit (Ping timeout: 276 seconds).
10:14:58 -!- MoALTz has quit (Read error: Connection reset by peer).
10:15:04 -!- zzo38 has quit (Remote host closed the connection).
10:15:24 -!- MoALTz has joined.
10:35:36 -!- MoALTz_ has joined.
10:38:57 -!- MoALTz has quit (Ping timeout: 252 seconds).
10:47:59 -!- MoALTz__ has joined.
10:50:53 -!- MoALTz_ has quit (Ping timeout: 245 seconds).
10:52:31 -!- MoALTz_ has joined.
10:55:28 -!- MoALTz__ has quit (Ping timeout: 245 seconds).
10:56:54 -!- MoALTz__ has joined.
11:00:03 -!- MoALTz_ has quit (Ping timeout: 245 seconds).
11:15:20 -!- MoALTz_ has joined.
11:18:23 -!- MoALTz__ has quit (Ping timeout: 245 seconds).
11:22:39 -!- sebbu2 has joined.
11:22:40 -!- sebbu2 has quit (Changing host).
11:22:40 -!- sebbu2 has joined.
11:23:50 -!- sebbu has quit (Ping timeout: 246 seconds).
11:27:56 -!- derdon has joined.
11:29:53 -!- cswords_ has quit (Read error: Connection reset by peer).
11:33:24 <RocketJSquirrel> <pikhq> RocketJSquirrel: Ever thought about Microcosm on A/UX? // *shakes fist*
11:38:19 -!- derdon has quit (Remote host closed the connection).
11:40:02 -!- nortti has joined.
12:38:51 -!- MoALTz_ has quit (Quit: brb).
12:39:21 -!- MoALTz has joined.
12:43:42 -!- MoALTz has quit (Client Quit).
12:53:55 -!- MoALTz has joined.
13:30:18 -!- PatashuXantheres has joined.
13:33:23 -!- PatashuXantheres has quit (Remote host closed the connection).
13:33:29 -!- Patashu has quit (Ping timeout: 245 seconds).
13:33:36 -!- Patashu has joined.
13:43:04 <Phantom_Hoover> RocketJSquirrel, so from now on I will always snigger whenever Americans profess a love for bacon.
13:43:04 <lambdabot> Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them.
13:43:26 <RocketJSquirrel> Phantom_Hoover: Uhh, OK?
13:43:40 <nortti> http://gizmodo.com/5901263/court-rules-it-is-impossible-to-steal-computer-code
13:45:27 <RocketJSquirrel> nortti: Sweeeeeeeeeeeeeet.
13:45:49 <RocketJSquirrel> Phantom_Hoover: Is it because you think that the uncooked junk you eat in the UK is bacon?
13:46:05 <Phantom_Hoover> Hahahahaha, stupid American.
13:46:07 <RocketJSquirrel> Phantom_Hoover: Or because there's better bacon in continental Europe than either of us, which is true.
13:46:44 <Phantom_Hoover> How would you know, you don't taste.
13:47:40 <RocketJSquirrel> Of course, brits don't know how to cook eggs, either.
13:47:55 <RocketJSquirrel> Actually, your whole breakfast selection is a lesson in poor cooking.
13:48:25 <Phantom_Hoover> What are you talking about, you people can't even make toast properly.
13:48:30 <Phantom_Hoover> It's toast, for fuck's sake.
13:48:37 <Phantom_Hoover> You: take bread and you: toast it.
13:48:44 <Phantom_Hoover> You don't stop halfway through.
13:53:08 <RocketJSquirrel> ... do you blacken toast or something?
13:53:24 <RocketJSquirrel> I'm honestly unsure what you mean by that, but it's ironic that you'd mention it tsince to cook eggs you fucking COOK EGGS.
13:53:27 <RocketJSquirrel> You don't stop halfway through.
13:59:35 -!- sebbu2 has changed nick to sebbu.
13:59:48 <Phantom_Hoover> I think you only mean fried eggs here, which are cooked all the way through anyway, just not flipped.
14:00:10 <RocketJSquirrel> Having had many breakfasts in the UK, I can assure you that they are neither cooked all the way through nor flipped.
14:00:30 <RocketJSquirrel> And the fact that you describe it that way means that the {over,under} {hard,medium,easy} system is meaningless to you.
14:04:27 -!- itidus22 has joined.
14:05:06 <RocketJSquirrel> Phantom_Hoover: Every foreigner eating breakfast at a restaurant for their first time in the US:
14:05:12 <RocketJSquirrel> <waiter> How would you like your eggs?
14:05:16 <RocketJSquirrel> <foreigner> ... huh?
14:05:23 <RocketJSquirrel> <waiter> OK, over hard then.
14:07:09 <Phantom_Hoover> RocketJSquirrel, they're hardly raw on top.
14:07:17 -!- itidus20 has quit (Ping timeout: 248 seconds).
14:13:47 -!- Patashu has quit (Remote host closed the connection).
14:14:04 -!- ais523 has joined.
14:21:17 -!- Patashu has joined.
14:23:50 <RocketJSquirrel> ais523: Eggs. Do you know how to cook them?
14:24:34 <ais523> RocketJSquirrel: in theory, I don't think I've cooked one in practice
14:25:00 <ais523> except if I was acting under the instructions of someone else
14:53:05 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
14:53:54 <RocketJSquirrel> Why has this topic stayed for so long >_>
14:55:54 <nortti> oh my ${DEITY}. Hv3 web browser is amazingly fast
15:00:51 <RocketJSquirrel> nortti: http://codu.org/websplat/ g'luck
15:06:47 <nortti> doesn't work
15:08:01 <RocketJSquirrel> THEN YOUR BROWSER IS MADE OF FAIL
15:08:30 <nortti> it runs on computer with 64MB of RAM
15:11:04 <nortti> and passes both Acid 1 and 2
15:12:46 <RocketJSquirrel> If it can't run WebSplat, it is not useful.
15:13:40 <nortti> what about lynx, links2 and netsurf?
15:14:10 <RocketJSquirrel> Yuck, yuck, never used it but presumably yuck.
15:14:25 <RocketJSquirrel> I've considered writing a curses backend for WebKit, but (thank jebus) never followed through :)
15:14:39 <nortti> what is wrong with them
15:15:47 <RocketJSquirrel> If you want to go download some code from a project, they're super.
15:16:02 <RocketJSquirrel> If you want to replace your web browser with them, then you will live in a very small, sad version of the web.
15:16:29 <RocketJSquirrel> It's similar to the small, sad version of the web that people like ais523 who use JS blockers live in.
15:16:46 <ais523> RocketJSquirrel: websplat works fine for me
15:17:02 <RocketJSquirrel> Yeah, once you tweak the appropriate knob to accept it ;)
15:17:12 <ais523> RocketJSquirrel: I didn't even have to do that, it was pre-tweaked
15:17:20 <ais523> presumably I'd found reason to whitelist codu.org some time in the past
15:17:28 <nortti> I tried using Midori on this machine. After it had loaded its homepage form 10 mins I killed it
15:17:37 <RocketJSquirrel> Because codu.org has only the most awesome of JS code 8-D
15:17:44 <ais523> anyway, I find that something like 90-95% of websites don't meaningfully benefit from JS
15:17:54 <nortti> and hv3 has ECMAScript support
15:18:10 <ais523> and in a significant fraction of the ones that would theoretically benefit from JS, the JS is written so badly that they're better off without it
15:18:16 <nortti> it is just turned off by default and that is good thing
15:18:20 <RocketJSquirrel> ais523: Heh, that's true ^^
15:18:49 <ais523> although, what I'm most annoyed at is websites that intentionally break blocked-JS; not as in not degrading gracefully, but as in specifically making a <noscript> tag that breaks the site and the site works fine if you use firebug to get rid of it
15:20:43 <nortti> yeah. That's fucking stupid
15:23:16 -!- KingOfKarlsruhe has joined.
15:25:17 -!- KingOfKarlsruhe has quit (Client Quit).
15:26:16 <nortti> @time
15:26:18 <RocketJSquirrel> ais523: How broken is codu.org/music without JS? It has dropdown menus ...
15:26:20 <lambdabot> Local time for nortti is Fri Apr 13 17:29:11 2012
15:26:29 <nortti> @time fizzie
15:26:31 <lambdabot> Local time for fizzie is Fri Apr 13 18:26:29 2012
15:26:40 <RocketJSquirrel> I guess I could check that myself, couldn't I X-D
15:26:55 <nortti> I fucking hate daylight saving time...
15:27:26 <RocketJSquirrel> It is ... considerably less broken than logic would dictate ... CSS for the win I suppose.
15:27:38 <ais523> RocketJSquirrel: the menus work, but they don't have an opaque background
15:27:39 -!- KingOfKarlsruhe has joined.
15:27:49 <ais523> and the "rescheme this page" link doesn't work, for what I hope are completely obvious reasons
15:27:51 <RocketJSquirrel> ais523: Yeah, that's what I'm seeing.
15:27:57 <RocketJSquirrel> Heh, duh :)
15:30:27 <nortti> @time
15:30:31 <lambdabot> Local time for nortti is Fri Apr 13 18:33:16 2012
15:50:20 -!- calamari has joined.
16:23:04 -!- elliott has joined.
16:27:42 -!- Mathnerd314 has joined.
16:32:57 <elliott> "The simplest explanation I can give for monads is that they take a basic data type and wrap it in a computation. This results in a new type that carries around a computation (or action, if you like) along with it."
16:32:59 <elliott> fffffffffffffffff
16:33:09 <elliott> i need to be a mod of /r/haskell so i can delete posts like that
16:42:33 -!- augur has quit (Remote host closed the connection).
16:44:02 <Phantom_Hoover> hello
16:44:03 <Phantom_Hoover> im back
16:44:47 <Mathnerd314> elliott: s/in a computation// and I think it's OK
16:44:51 <ais523> elliott: gah, it's not wrong /enough/ to not be confusing
16:46:23 <Mathnerd314> so my post would be: "The simplest explanation I can give for monads is that they take a basic data type and wrap it. This results in a new type."
16:47:22 <elliott> Mathnerd314: no, it's not
16:47:27 <elliott> oh
16:47:30 <elliott> that was not the s// you sai
16:47:31 <elliott> d
16:47:39 <elliott> anyway "wrap it" implies "the result contains it"
16:47:54 <elliott> s/monad/comonad/ might be the easiest way to make it not totally wrong :)
16:53:18 <elliott> "Note: for those of you that cannot do better than coming up with boring, witless comments and even suggestions to close a valid question, please see the accepted answer here: Using GNU/Linux system call `splice` for zero-copy Socket to Socket data transfers in Haskell as an excellent example of how to be of proper help to those that really seek constructive answers!!"
16:53:25 <elliott> The best part is that the answer they got to that question was wrong.
17:06:54 <kmc> the simplest explanation i can give for monads is that they're cake
17:07:43 <itidus22> all i know is they're not related to the monadology (or i hope not else i would be wrong)
17:07:57 <ais523> elliott: bleh, the backquotes there made me think splice was (1) rather than (2)
17:08:01 <ais523> but AFAIK there isn't a splice(1)
17:08:17 <ais523> what was the question, anyway? that seems like a valid answer to at least one question
17:08:54 <elliott> eh? that's not an answer
17:09:02 <elliott> "that question" in my line is "Using GNU/Linux ..."
17:09:16 <ais523> oh, I see
17:09:19 <elliott> They put that at the top of their question to whine after people criticised and closed the question as off-topic.
17:09:20 <ais523> I assumed that was the answer, not the question
17:09:39 <elliott> (It was a request for someone to benchmark RSA implementations.)
17:09:43 <ais523> as in "if you aren't getting enough performance from your userspace program, why not use a syscall that does the same thing instead"?
17:09:45 <ais523> oh, I see
17:09:46 <kmc> also shouldn't it be "Linux system call" not "GNU/Linux system call"
17:09:47 <kmc> :3
17:09:50 <ais523> kmc: indeed!
17:10:14 <ais523> phrases like "GNU/Linux system call" can only meaningfully refer to things like readdir(3)
17:10:37 <elliott> ais523: the `splice` thing was another question by the same person
17:10:45 <elliott> ais523: which got a wrong answer from someone who didn't know Haskell
17:10:46 <ais523> (readdir is typically a syscall, but glibc readdir is a wrapper around getdents(2)
17:10:49 <ais523> elliott: ah, OK
17:11:00 <elliott> (it appears to work, but is broken, because they don't understand GHC's IO manager, because they don't know any Haskell)
17:11:23 <elliott> (and of course now the broken library is on hackage hogging the name so that nobody competent can put up a working package)
17:12:21 <ais523> what sort of breakage is involved? the meaning being wrong so that the optimiser can change an incidentally-correct naive version into an incorrect optimised version?
17:12:37 <elliott> err, that seems an awfully specific reason to guess without having any context
17:12:58 <itidus22> lol
17:13:03 <ais523> it is, but it's quite a common one wrt Haskell and unsafePerformIO
17:13:08 <elliott> the answer was "to avoid the syscall returning EAGAIN, set the socket to blocking mode"
17:13:15 <ais523> ah, OK
17:13:22 <elliott> GHC, as you might know, does all IO through an event loop using non-blocking IO
17:13:27 <elliott> so that's... a bad idea
17:14:29 <ais523> this is why CPAN has so many vaguely similar namespaces
17:17:06 -!- MSleep has changed nick to MDude.
17:22:13 -!- augur has joined.
17:24:30 -!- ais523 has quit (Remote host closed the connection).
17:34:58 -!- ion has quit (Quit: switching to a new tmux).
17:35:13 -!- Nisstyre has quit (Quit: Leaving).
17:35:57 -!- Nisstyre has joined.
17:36:08 -!- ion has joined.
17:39:10 <elliott> kmc: how can i make ssh-agent prompt me for my key password on first login
17:39:22 <kmc> dunno
17:39:26 <kmc> try the ssh-agent manpage
17:39:33 <elliott> i did
17:41:11 <kmc> re: nonblocking IO: sigh
17:42:45 <elliott> both me and bryan o'sullivan pointed out it's a bad idea on reddit but they didn't believe us
17:43:09 <elliott> we just don't know as much as $random_SO_answerer_who_doesn't_know_Haskell
17:46:38 <elliott> kmc: can you fix haddock so i can doc things in the export list
17:47:47 <Deewiant> elliott: I do it in my .xinitrc, but if you want to maintain ssh-agent across login sessions you might be interested in keychain: https://wiki.archlinux.org/index.php/Using_SSH_Keys#Keychain
17:48:17 <elliott> Deewiant: Hmm, how do you do it in .xinitrc?
17:48:24 <Deewiant> if ! ssh-add < /dev/null; then
17:48:24 <Deewiant>    eval `ssh-agent`
17:48:24 <Deewiant>    ssh-add < /dev/null
17:48:24 <Deewiant> fi
17:48:32 <elliott> Deewiant: Yes, but what about your key password?
17:48:38 <Deewiant> ssh-add asks me
17:48:53 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643]).
17:48:58 <elliott> Deewiant: How? .xinitrc doesn't run in a terminal, does it?
17:49:27 <Deewiant> ENVIRONMENT
17:49:28 <Deewiant>        DISPLAY and SSH_ASKPASS
17:49:28 <Deewiant>               If  ssh-add needs a passphrase, it will read the passphrase from
17:49:28 <Deewiant>               the current terminal if it was run from a terminal.  If  ssh-add
17:49:28 <Deewiant>               does  not  have  a  terminal  associated with it but DISPLAY and
17:49:30 <Deewiant>               SSH_ASKPASS are set, it will execute the  program  specified  by
17:49:32 <Deewiant>               SSH_ASKPASS and open an X11 window to read the passphrase.  This
17:49:35 <Deewiant>               is particularly useful when calling ssh-add from a .xsession  or
17:49:37 <Deewiant>               related script.  (Note that on some machines it may be necessary
17:49:40 <Deewiant>               to redirect the input from /dev/null to make this work.)
17:49:54 <elliott> Huh. What does SSH_ASKPASS default to / what do you have it set to?
17:50:04 <Deewiant> /usr/lib/openssh/qt4-ssh-askpass
17:50:18 <elliott> :(
17:50:43 <elliott> Anyway, what I essentialy want is for it to ask me for my key pw on first ssh login (just like if I didn't use ssh-agent), but then remember it thereafter for the rest of the X session.
17:50:43 <Deewiant> It defaults to empty, presumably. :-P
17:50:56 <elliott> Just like sudo, more or less.
17:51:00 <elliott> (Except without the timeout.)
17:51:01 <Deewiant> There are various dialogs, this one is community/openssh-askpass.
17:51:37 <Deewiant> So you probably want keychain, and then make ssh a shell script that runs keychain and then ssh, or something.
17:52:02 <elliott> Yes, the "make ssh a shell script" is the part I don't want to do. Especially since I'm not sure how mosh would like that.
17:52:47 <Deewiant> Alternatively, make it an alias in your .${SHELL}rc ;-P
17:53:14 <elliott> Deewiant: Well, that would completely defeat the point, since I don't use ssh directly.
17:53:16 <Deewiant> I doubt ssh itself supports starting up an ssh-agent if necessary.
17:53:27 <Deewiant> Ah, okay.
17:53:35 <elliott> Hmm.
17:53:40 <Deewiant> Well, I'd try the shell script way.
17:53:47 <elliott> I wouldn't be surprised if ssh let you set up "command to run before connecting", or something.
17:53:53 <elliott> In which case I could merely make it ssh-add.
17:54:06 <Deewiant> I don't see why mosh shouldn't like a shell script, if you do it right.
17:54:18 -!- ion has quit (Quit: :q).
17:54:51 -!- ion has joined.
17:54:56 <elliott> kmc: Hey, will mosh like a shell script?
17:55:02 <elliott> If I do it right, I mean.
17:55:23 <elliott> Deewiant: It occurs to me that a shell script would be very tricky to get right if I used ssh to more than one server.
17:55:37 <elliott> (Okay, to more than one server and where one of them isn't authenticated by that pubkey.)
17:55:43 <elliott> Privkey. w/e.
17:55:49 <Deewiant> Possibly.
18:08:36 <kmc> will it... like... a script? what do you mean?
18:08:55 <kmc> i guess i should read scrollback
18:09:15 <kmc> if ssh is really a shell script that invokes ssh
18:09:23 <kmc> and it still supports ssh's command line syntax
18:09:23 * elliott is glad his question was as unhelpful as he tried to make it
18:09:29 <kmc> then mosh should be fine
18:09:47 <elliott> kmc: Okay. It still feels wrong. :(
18:09:51 <elliott> Does scp invoke ssh?
18:09:57 <elliott> Like, what if it suddenly didn't???
18:10:00 <elliott> Then scp wouldn't do what I want any more.
18:10:03 <Deewiant> According to its manpage, yes.
18:10:34 <kmc> we're thinking of supporting mosh --ssh="~/whatever/ssh --foo --bar"
18:10:41 <kmc> or you know --ssh="rsh" if that's your think
18:10:55 <kmc> except I think that won't work because it uses too many ssh-specific options
18:11:28 <elliott> mosh --ssh=telnet
18:12:05 <Deewiant> mosh --ssh=echo
18:14:26 <elliott> mosh --ssh=mosh
18:15:04 <kmc> WE NEED TO GO DEEPER
18:15:21 <elliott> > fix (\mosh -> "mosh --ssh=" ++ show mosh)
18:15:23 <lambdabot>   "mosh --ssh=\"mosh --ssh=\\\"mosh --ssh=\\\\\\\"mosh --ssh=\\\\\\\\\\\\\\\"...
18:15:35 <kmc> you aren't using my posix-escape package !!
18:15:50 <elliott> <mekeor> do you know this? http://news.ycombinator.com/
18:16:05 <kmc> ;.;
18:16:19 <elliott> kmc: "For safety, these functions drop all non-ASCII characters." :(
18:16:24 <kmc> yeah
18:16:28 <kmc> blame ghc not me
18:16:34 <kmc> (there is a Unicode submodule tho)
18:16:38 <elliott> are you sure I can't blame Unix instead
18:16:46 <elliott> I like to blame all problems involving Unix on Unix
18:17:20 -!- itidus22 has changed nick to itidus21.
18:18:05 <elliott> awesome, Rob Pike has brand new definitions of concurrency and parallelism
18:18:11 <elliott> just what we needed
18:18:34 <elliott> (okay, they're fairly close to the GHC devs' definition)
18:21:18 <elliott> ion: Is tomodo always this funny?
18:22:56 <ion> Hmm, i don’t remember.
18:37:28 <elliott> shachaf: Since when is rank-2 type inference decidable?
18:52:23 -!- MoALTz_ has joined.
18:54:59 -!- MoALTz__ has joined.
18:55:56 -!- MoALTz has quit (Ping timeout: 265 seconds).
18:56:38 -!- MoALTz_ has quit (Ping timeout: 240 seconds).
19:00:44 <elliott> what the heck
19:00:51 <elliott> search for "esolang" on google
19:01:00 <elliott> in our wiki result is
19:01:00 <elliott> Brainfuck
19:01:00 <elliott> An overview of the language, history, and example code.
19:01:03 <elliott> who wrote that summary???
19:01:18 <elliott> oh
19:01:20 <elliott> http://www.dmoz.org/Computers/Programming/Languages/Brainfuck/ dmoz
19:08:30 <qfr> http://www.dmoz.org/img/moz/moz_gamer.gif
19:21:22 -!- zzo38 has joined.
19:22:08 -!- oerjan has joined.
19:25:07 <zzo38> Yes.
19:25:23 <elliott> No.
19:26:30 <itidus21> http://www.dmoz.org/Computers/Programming/Languages/Obfuscated/
19:27:49 <elliott> oerjan: since when is rank-2 inference decidable
19:32:04 <oerjan> elliott: i vaguely recall seeing that mentioned
19:32:15 <oerjan> _very_ vaguely
19:32:20 <zzo38> No.
19:32:23 <elliott> it am go against my intuition :(
19:35:41 -!- KingOfKarlsruhe has joined.
19:38:57 -!- asiekierka has quit (Remote host closed the connection).
19:39:49 <pikhq> http://research.swtch.com/qart Hey, it makes graphical QR codes without hoping the error handling works. Neat.
19:42:10 <elliott> Hmm, research!rsc didn't look like that a year ago.
19:42:15 <oerjan> elliott: i assume that might have something with Rank2 and RankN being different extensions.
19:42:22 <oerjan> *to do with
19:45:08 <elliott> oerjan: does GHC implement the full inference for rank-2 types, though?
19:45:15 <oerjan> i dunno
19:47:31 -!- azaq23 has quit (Quit: Leaving.).
19:51:52 <elliott> pikhq: Hey, it's Taral!
19:52:11 <pikhq> ?
19:53:11 <elliott> In the comments of that post.
19:53:56 <pikhq> Ah.
19:57:09 <oerjan> <elliott> I CAN'T DEAL WITH THE PRESSURE OF EVERYBODY THINKING I'M CONAL <-- hird of conal-replacing elliotts
19:57:24 <elliott> :(
19:57:54 <olsner> elliott: I don't understand, are you conal?
19:58:12 <elliott> Totally.
19:58:13 <ion> `addquote <elliott> I CAN'T DEAL WITH THE PRESSURE OF EVERYBODY THINKING I'M CONAL
19:58:22 <olsner> Conal Elliott Hird
19:58:23 <HackEgo> 829) <elliott> I CAN'T DEAL WITH THE PRESSURE OF EVERYBODY THINKING I'M CONAL
20:08:51 <elliott> oerjan: whats a snap
20:09:20 <oerjan> that's when you do with your fingers like *this*
20:10:01 <elliott> now im froge :(
20:10:43 <oerjan> i'm afraid i don't know froge.  now nn:fråge, otoh, that's a different en:question
20:11:00 <oerjan> (or sv:fråga)
20:11:29 <itidus21> it seems that the noise of the snap is using the thumb to increase the power with which you collide a finger against your palm
20:12:04 <elliott> *frogg
20:12:11 <oerjan> hm actually i'm not sure that is nynorsk at all.  the first google hit for fråge nynorsk is not encouraging.
20:12:26 <itidus21> somehow i always thought it was the thumb against the finger that made the noise
20:12:51 <elliott> wow norwegian wikipedia only has 335k articles
20:12:53 <elliott> baby pedia :')
20:13:32 <itidus21> in 100 years, esolangs.org will probably be the most important website
20:13:39 * oerjan hits elliott with the saucepan ===\__/
20:13:55 <elliott> :'(
20:14:37 <oerjan> (to be honest, i rarely bother with the norwegian wikipedia myself)
20:14:54 <oerjan> it's nice for translating species names, though :P
20:15:10 <itidus21> i sometimes check alternate wikis on a topic just to see if theres different content
20:16:03 <itidus21> this probably goes even worse than it seems since i rarely translate it
20:16:49 <itidus21> when i see a blurb of text in a foreign language i am not very good at anticipating what it says
20:17:08 <itidus21> the odds of being wrong are very high
20:17:31 <oerjan> itidus21: my best snap is when i let the middle finger hit just between the palm and the ring finger resting on it
20:18:03 <itidus21> oerjan: it's a bit like how the japanese speed up their sword drawing by pressing it against the sheath
20:18:09 <mroman_> keep dreamin' @100 years
20:18:16 <oerjan> it's not exactly a world-class one, though
20:18:42 <elliott> world class snapping contest
20:19:55 <itidus21> its quite incredible the speed of a snap.. 
20:20:31 <itidus21> i don't entirely understand the mechanics of why it works so well
20:24:33 <oerjan> http://www.mezzacotta.net/owls/?comic=425
20:25:50 <elliott> oerjan: ps team hexham hit 20k take that trondheim losers we r on 2 u
20:26:02 <oerjan> O KAY
20:26:34 * elliott sets fire to trondheim
20:28:43 <oerjan> oh no, not again
20:29:09 <elliott> wat
20:29:21 <oerjan> fortunately it has wide streets to prevent fire from spreading
20:29:48 <oerjan> that doesn't help the block where it starts, though
20:30:59 <shachaf> elliott: Rank-2 type inference is decidable?
20:31:54 <kmc> believe so
20:32:36 <elliott> shachaf: Apparently. :(
20:33:22 <shachaf> Well, I want my money back.
20:33:35 <elliott> Type inference for rank-2 polymorphism is decidable, but reconstruction for rank-3 and above is not.[1]
20:33:40 <elliott> ^ a b c Pierce, B. C. 2002 Types and Programming Languages. MIT Press.
20:33:49 <oerjan> shachaf: no, but you can switch it for a new rank-n for free
20:34:53 <shachaf> I should probably read TaPL.
20:35:14 <elliott> tApple COINCIDENT???
20:37:36 <elliott> shachaf: Did you know he's also a Christian right-winger? :(
20:38:24 <shachaf> What, Pierce?
20:38:34 <elliott> No.
20:38:38 <elliott> Doug TenNapel.
20:40:36 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.1 [Firefox 11.0/20120312181643]).
20:59:22 <Mathnerd314> are there many esolangs based on pattern-matching?
21:00:04 <Mathnerd314> I'd count /// as one, but that's probably it...
21:01:26 <nortti> thue?
21:02:58 <oerjan> REGXY is linked from ///
21:03:28 <oerjan> http://esolangs.org/wiki/Category:String-rewriting_paradigm
21:04:34 <elliott> There's also http://esolangs.org/wiki/Category:Pattern-based, which is... sort of related.
21:07:06 <Mathnerd314> those all seem to use a pattern-matcher for implementing, but don't have a pattern-matching construct
21:07:41 <Phantom_Hoover> elliott, saw this and thought of you: http://www.reddit.com/r/math/comments/s6i49/why_are_there_so_few_logicians_but_so_many_people/c4bieem
21:08:47 <elliott> Phantom_Hoover: That person is just a wimp who can't handle the cardinals.
21:09:03 <Phantom_Hoover> You've clearly never been to Rome.
21:09:11 <Phantom_Hoover> The cardinals can grow very large indeed.
21:09:19 <Phantom_Hoover> My uncle was squashed by one.
21:10:19 <pikhq> Is awk esoteric?
21:13:03 <oerjan> an awkward question
21:14:53 <Phantom_Hoover> pikhq, not by design.
21:15:22 <pikhq> Still, its pattern matching semantics *are* pretty weird.
21:17:21 -!- Mathnerd314 has quit (Read error: Connection reset by peer).
21:17:59 -!- Mathnerd314 has joined.
21:26:09 -!- Mathnerd314__ has joined.
21:26:29 -!- Mathnerd314 has quit (Ping timeout: 260 seconds).
21:26:42 -!- Mathnerd314__ has changed nick to Mathnerd314.
21:36:39 <pikhq> XD
21:36:59 <pikhq> archive.org currently has 1,000 external hard drive enclosures for sale.
21:37:32 <Mathnerd314> can one buy them individually?
21:37:40 <pikhq> The reason? In a fit of complete economic inefficiency, currently the cheapest way to get a hard drive is to buy an external drive and remove the drive from the enclosure.
21:37:57 <pikhq> "Bulk preferable"
21:38:16 <pikhq> For details, jscott@archive.org
21:38:54 <elliott> hmm, aren't external HDs lower quality than internal HDs?
21:39:21 <pikhq> No, they're generally just internal HDs shoved in an enclosure.
21:42:01 <zzo38> pikhq: I do like awk for text-processing though
21:42:24 -!- Mathnerd314 has quit (Read error: Connection reset by peer).
21:42:38 <pikhq> zzo38: As you should: that's the one thing it does well.
21:42:38 <pikhq> :)
21:42:56 -!- Mathnerd314 has joined.
21:48:53 <zzo38> Perhaps I could write some phlog journal messages about idea of Ibtlfmm, in case you are interested about that. But maybe the syntax  *(x) -> {x} -> *  is not so good because of the datakinds   kind K x = K * (x -> x);  it might use ( for grouping too. Maybe this syntax better?  (* =x) -> {x} -> *  or something else you have idea?
21:49:59 <zzo38> Do you even like this feature at all? Or can find any problems it would cause? If so, I would like to fix it
21:54:30 -!- derdon has joined.
21:55:32 -!- nortti has quit (Quit: leaving).
21:56:09 -!- monqy has joined.
22:01:20 -!- nortti has joined.
22:07:23 <elliott> * Glor (889f1007@gateway/web/freenode/ip.136.159.16.7) has joined #haskell
22:07:24 <elliott> <Glor> hello i know this is not a prolog channel but noone is in prolog and im wondering if i could ask a question about prolog in here
22:07:47 <zzo38> elliott: Do you know Prolog?
22:07:51 <elliott> Sorto f.
22:07:53 <elliott> * of.
22:07:58 <monqy> wow me too
22:11:11 -!- MoALTz_ has joined.
22:11:50 <nortti> I used it few years ago. I don't think I can remember the syntax though
22:13:54 -!- MoALTz__ has quit (Ping timeout: 245 seconds).
22:17:44 <zzo38> What is your opinion of the Ibtlfmm's extended kind system? Is crazy? Is good? Is bad? Is you don't know?
22:18:37 <monqy> is I don't know.
22:18:55 <zzo38> Then you must learn.
22:22:52 -!- derdon_ has joined.
22:23:31 <elliott> oerjan: oh btw i had a question for you
22:23:46 <elliott> oerjan: you mentioned how relations were (co+contra)variant in both parameters
22:23:48 <Mathnerd314> elliott: you could have had him ask on #esoteric :p
22:24:02 <elliott> oerjan: that got me to thinking, is there a nice way to define relations constructively in type theory...
22:24:10 <elliott> Mathnerd314: the prolog guy? i considered it
22:26:20 -!- derdon has quit (Ping timeout: 260 seconds).
22:26:56 <oerjan> elliott: A -> B -> Bool ?
22:30:17 <oerjan> although that doesn't give that covariance, i think
22:30:53 <oerjan> while [(A,B)] doesn't give contravariance
22:31:18 <elliott> oerjan: well the variance always gets messed up in type theory, it seems
22:31:27 <elliott> oerjan: e.g. a set is (a -> Bool)
22:31:41 <elliott> oerjan: but sets are both co- and contravariant in set theory
22:31:55 <elliott> in type theory you lose the co-, I think because it's not constructive enough
22:32:08 <oerjan> mhm
22:32:16 <elliott> (actually shouldn't it be (a -> Prop))
22:32:27 <elliott> (I think it should, you can construct sets based on undecidable propositions)
22:33:31 <elliott> <copumpkin> well, computationally, that roughly describes a decidable binary relation
22:33:31 <elliott> <copumpkin> a real one is a -> a -> Prop
22:33:33 <elliott> holy fucking synchronicity
22:33:42 <zzo38> I have seen a different kind of set in some Haskell code using   (a -> Bool) -> a   but there are no empty sets
22:34:17 <zzo38> But this is not contravariant; if it is then it is not Functor
22:38:44 <Phantom_Hoover> <elliott> (actually shouldn't it be (a -> Prop))
22:38:52 <Phantom_Hoover> what is the difference i am but a simple mathematician
22:40:11 <zzo38> How do you represent the undecidable propositions?
22:41:35 <elliott> Phantom_Hoover: Prop is the type of all proposition types.
22:41:41 <Phantom_Hoover> Oh, yes.
22:41:47 <elliott> Usually you say that all values x,y : P where P : Prop are equal (proof irrelevance).
22:41:51 <Phantom_Hoover> (Said in a Churchill voice.)
22:41:52 <elliott> Bool is just a two-element type.
22:41:57 <elliott> zzo38: Types.
22:42:12 -!- augur has quit (Remote host closed the connection).
22:42:24 <zzo38> How can a type have types?
22:42:29 <elliott> zzo38: Hmm, (a -> Bool) -> a is the impossible infinite search stuff, right?
22:42:34 <elliott> And because it's types all the way down in type theory.
22:42:43 <elliott> T : Type : Type[1] : Type[2] : and so on
22:43:47 <zzo38> elliott: (a -> Bool) -> a is the one for infinite search. I have read, that it is a monad even if you replace Bool with something else. But it cannot be empty. Maybe if you had a transformer you can transform Maybe and make it empty?
22:44:20 <elliott> Hmm, how do you represent (singleton x) and (member x s) with that?
22:44:51 <zzo38> singleton = const
22:46:28 <elliott> Ah.
22:46:37 <elliott> Is member x s = s (== x) == x?
22:46:57 <zzo38> Yes
22:47:18 <elliott> What about union s t?
22:47:26 <zzo38> http://hackage.haskell.org/packages/archive/infinite-search/0.12/doc/html/src/Data-Searchable.html
22:47:45 <zzo38> (join = bigUnion)
22:48:07 <elliott> join is a bit more powerful an operation than union.
22:48:24 <zzo38> Yes
22:48:34 <elliott> Can union be defined simply without bigUnion?
22:48:41 <Sgeo> Go or Arimaa?
22:49:01 <Sgeo> Although I think that choice was sort of settled for me when I introduced her to Arimaa first
22:50:15 <elliott> zzo38: I can't figure out how to inline bigUnion in union to get a simpler definition. :(
22:50:52 <zzo38> elliott: I don't know either (but that might simply be because I haven't tried)
23:00:47 -!- MoALTz__ has joined.
23:02:33 -!- Patashu has joined.
23:03:56 -!- MoALTz_ has quit (Ping timeout: 272 seconds).
23:04:51 <elliott> zzo38: (a -> Bool) -> Maybe a does indeed seem to work
23:06:04 <zzo38> Can it make a transformer?   newtype SetT b m a = SetT ((a -> b) -> m a);
23:10:28 <Phantom_Hoover> <Sgeo> Go or Arimaa?
23:10:28 <Phantom_Hoover> <Sgeo> Although I think that choice was sort of settled for me when I introduced her to Arimaa first
23:10:29 <Phantom_Hoover> i
23:10:30 <Phantom_Hoover> context
23:10:32 <Phantom_Hoover> was there any
23:10:41 <elliott> zzo38: Dunno about that, even with b = Bool
23:10:45 <elliott> zzo38: The join defn. depends on forsome
23:10:50 <elliott> Dunno how to implement forsome for any m
23:13:14 <elliott> zzo38: Do you know where you read that it's a monad even if you replace Bool?
23:13:19 <elliott> I'd be interested in reading the same.
23:17:51 <Sgeo> Phantom_Hoover, which is a better game
23:18:06 <Phantom_Hoover> <Phantom_Hoover> <Sgeo> Although I think that choice was sort of settled for me when I introduced her to Arimaa first
23:18:15 <Phantom_Hoover> This is the major contextual point.
23:18:29 <Sgeo> Do you really want to know?
23:18:47 <Phantom_Hoover> Well I haven't got much of a choice now, have I?
23:19:03 <Phantom_Hoover> My curiosity is going to get the better of me whatever I do.
23:19:11 <Sgeo> My gf
23:19:29 <zzo38> elliott: http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/
23:19:54 <Phantom_Hoover> Is she a) 3/4 blind or b) an idiot?
23:20:08 <Sgeo> No and no.
23:20:29 <Sgeo> Although I'm not a fan of "3/4 blind" as an insult the way to seemed to just now
23:20:34 <Phantom_Hoover> YOU HAVE MY BLESSING
23:21:56 * Phantom_Hoover -> sleep
23:21:59 <Phantom_Hoover> Effing jetlag.
23:22:00 -!- Phantom_Hoover has quit (Quit: Leaving).
23:23:11 <elliott> Deewiant: Help.
23:25:00 <elliott> zzo38: Oh, that also explains why Maybe won't work.
23:25:51 -!- MoALTz has joined.
23:27:11 -!- MoALTz__ has quit (Ping timeout: 244 seconds).
23:28:18 <elliott> @djinn ((a -> Bool) -> a) -> (a -> (b -> Bool) -> b) -> (b -> Bool) -> b
23:28:19 <lambdabot> f a b c =
23:28:19 <lambdabot>     b (a (\ _ -> False)) (\ _ ->
23:28:19 <lambdabot>                           c (b (a (\ _ -> False)) (\ _ -> False)))
23:28:23 <elliott> lame
23:28:30 <elliott> @djinn ((a -> bool) -> a) -> (a -> (b -> bool) -> b) -> (b -> bool) -> b
23:28:30 <lambdabot> f a b c = b (a (\ d -> c (b d c))) c
23:29:06 <Sgeo> zzo38, what do you think of Arimaa?
23:34:49 -!- augur has joined.
23:36:47 <elliott> siracusa has been in here?
23:36:52 <elliott> (Also, who's siracusa?)
23:36:59 <shachaf> hi siracusa
23:37:00 <shachaf> hi monqy
23:37:01 <shachaf> hi
23:37:33 <monqy> how predictable !
23:37:43 <shachaf> hi
23:37:50 <Sgeo> hi shachaf 
23:37:56 <shachaf> hi Sgeo, monqy, monqy
23:38:04 <monqy> don't encourage him, sgeo
23:38:11 <monqy> you aren't an enabler are you
23:38:12 <Sgeo> hi monqy 
23:38:18 <shachaf> hi monqy
23:38:43 <elliott> you're shameful wretches
23:39:23 <shachaf> hi elliott
23:39:33 <Sgeo> Ugh, how much does a chess set cost
23:39:49 <Sgeo> If it's much less than $40, I'll have to consider this Arimaa set a bit of a ripoff
23:40:01 <elliott> $41
23:40:04 -!- MoALTz_ has joined.
23:40:06 <shachaf> I got one for free once.
23:41:03 <Sgeo> Although for playing Arimaa, I would want Arimaa pieces
23:41:03 <calamari> you can get a chess set at the dollar store
23:41:14 -!- MoALTz__ has joined.
23:41:21 <shachaf> Can you get a chess set at the $40 store?
23:41:24 <Sgeo> "The Arimaa set also doubles as an animal theme Chess set when you flip over the board. Kids love playing with the animal theme pieces, making Chess more fun and interesting for them."
23:41:39 -!- MoALTz has quit (Ping timeout: 244 seconds).
23:41:40 <Sgeo> That's... vaguely offensive to anyone who wants to teach chess, I think
23:41:47 <elliott> im offended
23:42:00 <shachaf> My name is elliott, and I'm offended by this message.
23:42:05 <monqy> i dont want to teach chess, so im not offended
23:42:16 <calamari> a nice wood board and pieces will cost a bit more tho 
23:42:33 <Sgeo> http://arimaa.com/arimaa/store/gameSet.html
23:42:42 <elliott> im chess
23:44:11 <elliott> im headache
23:44:16 * Sgeo has never heard of SolidCoin before
23:44:32 <elliott> watercoin
23:44:36 <elliott> poopcoin
23:44:45 -!- MoALTz_ has quit (Ping timeout: 244 seconds).
23:45:18 <Sgeo> http://solidcoinmafia.com/
23:45:27 <Sgeo> "SolidCoin Mafia is a Bitcoin merged mining pool that pays out in SolidCoins. When a Bitcoin block is won those Bitcoins are taken to various exchanges and used to buy SolidCoins using a variety of algorithms."
23:47:03 <elliott> iim sloidcoin
23:47:11 <elliott> sapcoin
23:47:14 <elliott> im headache
23:47:29 -!- AndGregor has joined.
23:47:39 <shachaf> hi headache, monqy
23:47:53 <AndGregor> New pseudoipad!
23:47:58 <elliott> itap
23:49:15 <elliott> https://bitcointalk.org/index.php?topic=73986.0 sloidcarn
23:49:22 <elliott> hello Sgeo welcome to slayedcairn
23:49:28 <elliott> holy shit it accidentally became metal
23:49:34 <elliott> i want to live in slayedcairn
23:49:37 -!- AndGregor has quit (Read error: Connection reset by peer).
23:49:52 -!- AndGregor has joined.
23:50:01 <elliott> hi AndGregor
23:50:03 <elliott> im lsayedciarn
23:50:14 <AndGregor> Oh, wireless disconnects when it sleeps :-) 
23:50:42 <shachaf> hi sleep
23:50:54 <Sgeo> "and how is it better? people who create it take more care about end-user then bitcoin people"
23:50:54 <calamari> I was having that trouble on my wii
23:51:06 <Sgeo> "e.g. Instead of waiting 1 hour for 6 confirms, it goes a lot faster"
23:51:09 <elliott> slewedcoma
23:51:13 <calamari> so I just had it ping the router every few seconds 
23:51:13 <elliott> AndGregor: since when do you :-)
23:51:47 <AndGregor> elliott: Client hotkey
23:51:57 <elliott> AndGregor: :-)
23:52:20 <elliott> slerdcern
23:52:24 <elliott> sludcurn
23:52:29 <elliott> slamcad
23:52:48 <elliott> slokab
23:54:05 <elliott> "Well, looks like this is pretty much dead courtesy of a >51% attack by Luke Jr. The more interesting features should in theory be available in Bitcoin eventually - including the removal of existing legacy Bitcoin addresses if Luke Jr gets his way (he was threatening to refuse to mine transactions using them). No idea when though and I certainly won't be developing the tools to make use of them."
23:54:14 <elliott> bticion drmama
23:54:34 <elliott> luke "juke lr" jr
23:56:09 -!- nortti has quit (Quit: nortti).
23:56:25 -!- AndGregor has quit (Ping timeout: 276 seconds).
23:58:20 <Sgeo> Wait, luke jr has control of BitCoin?
23:58:26 <Sgeo> What is "this" here?
23:58:31 <elliott> luke jr "head of bitcoin"
23:58:31 <Sgeo> SolidCoin, or what?
23:58:36 <elliott> Sgeo: "coiledcoin"
23:58:37 <elliott> so many
23:58:38 <elliott> bitcoin
23:58:39 <elliott> derivatives!!!
23:58:43 <elliott> theyrel ike brianfuck derivatives
23:58:50 <elliott> in that all their creators have bricks for brains
23:59:02 <Sgeo> brianfuck?
23:59:04 <monqy> he has complete cointrol
23:59:12 <calamari> but.. but.. I created a brainfuck derivative :(
23:59:23 <Sgeo> As have we all. As have we all.
23:59:28 <shachaf> I haven't!
23:59:29 <monqy> didn't you make a brainfuck derivative, elliott
23:59:31 <monqy> I haven't!
23:59:34 <elliott> # Convert ehird's "brainfuck to B Nomic platonic autoaction english" to brainfuck
23:59:36 <elliott> hey i
23:59:36 <shachaf> hi monqy
23:59:38 <elliott> vaguely remember this
23:59:44 <elliott> i gotta dig up that email