←2012-11-22 2012-11-23 2012-11-24→ ↑2012 ↑all
00:00:18 <tswett> Yes, those quotes are definitely very relevant to the fact that I used to type on a piano.
00:00:25 <tswett> `quote 88
00:00:26 <shachaf> `quote
00:00:26 <shachaf> `quote
00:00:26 <shachaf> `quote
00:00:26 <shachaf> `quote
00:00:27 <shachaf> `quote
00:00:29 <shachaf> `quote
00:00:32 <shachaf> `quote
00:00:34 <shachaf> `quote
00:00:36 <shachaf> `quote
00:00:39 <shachaf> `quote
00:00:41 <Phantom_Hoover> shachaf has gone rogue
00:00:44 <Phantom_Hoover> someone stop him!
00:00:50 <shachaf> `quote rogue
00:00:51 <shachaf> `quote stop
00:00:51 <olsner> istr we removed quote 88
00:00:58 <tswett> I will try to stop shachaf.
00:01:00 <tswett> shachaf: please stop.
00:01:03 <tswett> I'm not sure if that worked.
00:01:03 <HackEgo> 88) <ais523> (still, whatever possessed anyone to invent the N-Gage?)
00:01:08 <shachaf> tswett: stop what
00:01:15 <HackEgo> ​/bin/sh: Can't open /hackenv/bin/allquotes
00:01:17 <tswett> shachaf: I'm not sure.
00:01:29 <tswett> shachaf: ask Phantom_Hoover.
00:01:35 <ais523> shachaf: please stop spamming the bots
00:01:38 <olsner> ah, we didn't delete 88, we just made another quote about it
00:01:39 <HackEgo> ​/bin/sh: Can't open /hackenv/bin/allquotes
00:01:42 <shachaf> ais523: OK.
00:01:49 <Phantom_Hoover> what was 88
00:01:52 <shachaf> Why me and not elliott?
00:02:17 <ion> Why not Zoidberg?
00:02:34 <tswett> `quote 1
00:02:46 <ais523> shachaf: there's a tradition where we request exactly five quotes then delete one
00:02:46 <tswett> I don't like how HackEgo renumbers a quote any time a prior quote is deleted.
00:02:50 <ais523> even that gets spammy after a while
00:03:04 <shachaf> What about requesting 10 quotes and deleting two.
00:03:05 <ais523> requesting that many in a row is ridiculous, though
00:03:05 <tswett> There's also a tradition where HackEgo is really slow.
00:03:14 <shachaf> That method is clearly superior.
00:03:19 <Phantom_Hoover> tswett, you're talking about a system designed by someone who implemented fortune by selecting a random line in the quotes file and seeking back to the separator.
00:03:19 <HackEgo> 1) <Aftran> I used computational linguistics to kill her.
00:03:31 <HackEgo> 623) <zzo38> Can you file for univorce if you are unmarried and don't like yourself anymore?
00:03:33 <shachaf> ais523: You get more choice, so you can delete worse quotes on average.
00:03:34 <HackEgo> 115) <Mathnerd314> Gregor-P: I don't think lambda calculus is powerful enough
00:03:41 <HackEgo> 15) IN AN ALTERNATE UNIVERSE: <pikhq> First, invent the direct mind-computer interface. <pikhq> Second, learn the rest with your NEW MIND-COMPUTER INTERFACE.
00:03:41 <HackEgo> 638) <Darth_Cliche> There's British KFC? Kent Fried Chicken?
00:03:41 <HackEgo> 823) <fungot> olsner: over the undertow! under the overpass! around the future and not just fnord for example. it's just the syntax
00:03:41 <HackEgo> 747) <fungot> Phantom_Hoover: gsi-ffs.scm just has a tendency to give procedures meaningful, spelled out, names, unlike " fnord)"
00:03:41 <HackEgo> 182) <Phantom_Hoover> OK, let's reduce the human genome to 4 chromosomes, in 2 homologous pairs.
00:03:41 <HackEgo> 188) <Sgeo> My quotes are boring
00:03:47 <HackEgo> 277) <ZOMGMODULES> elliott: parents who put just "Chris" on a birth certificate are... like parents who put just "Bob" on a birth certificate.
00:03:48 <HackEgo> 50) <apollo> Maternal instincts? <apollo> Don't you just leave the thing in a box until it starts crying, and then shake it until it stops? \ 278) <Phantom_Hoover> ZOMGMODULES, St. Christopher, saint and werewolf. \ 289) <oklopol> and then there's the slightly annoying one where suddenly, i start rolling forward and i can't stop <oklopol> like i can be having some great sex dream or whatever and then suddenly "oh
00:03:56 <shachaf> ais523: And there's less of the noise-spam that happens between `quotes.
00:04:56 <Phantom_Hoover> why is hackego so slow to respond, fwiw?
00:05:22 <tswett> "I certify that ____ ____ ____ was born to parents ____ ____ ____ and ____ ____ ____ here in ____ this ____ day of ____, CHRIS."
00:05:40 <shachaf> Phantom_Hoover: It boots up a VM and installs Debian on it before running your program.
00:05:43 <shachaf> Or something.
00:06:25 <Phantom_Hoover> but it's actually just running with a patched libc or something, no?
00:07:20 <oerjan> *"I certify that CHRIS ____ ____ was born to parents CHRIS ____ ____ and CHRIS ____ ____ here in CHRIS this CHRIS day of CHRIS, CHRIS."
00:09:22 <olsner> it might be doing a clean checkout of that hg repo for every command, then committing whatever changes the command made
00:09:49 <olsner> don't think that would be that slow though
00:10:19 <elliott> olsner: it's doing that + starting linux
00:11:50 <olsner> oh great, this is one of those indiana jones episodes
00:14:04 <olsner> featuring: germans, russians, macgyver and traps
00:15:19 <Phantom_Hoover> my dwarves are idiots pt. 325:
00:15:37 <Phantom_Hoover> 175 units of forgotten beast meat, sitting out in the open to rot
00:20:30 -!- DHeadshot has quit (Read error: Connection reset by peer).
00:20:36 -!- DH____ has joined.
00:23:16 <Phantom_Hoover> the goblins have arrived
00:23:36 <Phantom_Hoover> i forgot to actually make the bridges into my fortress retractible
00:23:39 <Phantom_Hoover> `oh deer'
00:23:46 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: oh: not found
00:27:06 <elliott> `quote
00:27:06 <elliott> `quote
00:27:06 <elliott> `quote
00:27:07 <elliott> `quote
00:27:07 <elliott> `quote
00:27:19 <HackEgo> 549) <oklopol> king is something women are better at than men
00:27:50 <HackEgo> 417) <Taneb> I can't afford one of those! <Taneb> A grandchild, not a laser printer
00:27:56 <HackEgo> 768) <tswett> ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome." <tswett> Except that by "it", Lawlabee was referring to something entirely different. <tswett> So when I added that quote, Lawlabee emotifrowned.
00:27:59 <HackEgo> 537) <fungot> elliott: mr president, commissioner, i fully accept that description when it comes to human rights. yes, with an average fat content of chocolate, and we are using double standards! we all know that under present legislation and also in relation to standardization bodies. if i do not want.
00:28:01 <HackEgo> 289) <oklopol> and then there's the slightly annoying one where suddenly, i start rolling forward and i can't stop <oklopol> like i can be having some great sex dream or whatever and then suddenly "oh god not this again" <oklopol> (i go "not this again" but not necessarily realize it's a dream)
00:28:46 <elliott> monqy: any opinions
00:29:48 <Phantom_Hoover> yes mayor this is the opportune moment to declare a party
00:30:22 <oerjan> we shall found... the Cheese Party!
00:30:22 <elliott> Phantom_Hoover: im going to start the df fort in a few minutes but
00:30:25 <monqy> hm
00:30:25 <elliott> ive forgotten how to play df entirely
00:30:52 <Phantom_Hoover> wiki man
00:31:12 <monqy> imo termcast it
00:31:25 <elliott> monqy: ugh have you seen termcast brogue
00:31:30 <elliott> er
00:31:31 <elliott> df...
00:31:33 <elliott> i like to play `hugeterm faketerm df'
00:31:34 <monqy> ive seen termcast df yes
00:31:39 <monqy> its hieous
00:31:39 <elliott> with a teeny tiny font
00:31:46 <elliott> 80x25 df sounds unplayable
00:32:02 <monqy> i forget, did i termcast df adventure mode when i played it
00:32:11 <elliott> ye.
00:32:13 <elliott> it was
00:32:13 <elliott> something
00:32:17 <Phantom_Hoover> i missed that :(
00:32:35 <Phantom_Hoover> meanwhile, shachaf is whipping sorry motherfuckers apart left right and centre
00:32:36 <elliott> Phantom_Hoover: it's pretty much how any first df adventure mode experience goes
00:32:47 <Phantom_Hoover> he is 'quite content' with this
00:33:08 <Phantom_Hoover> his favourite food is also coelecanth
00:33:20 <Phantom_Hoover> best dorf
00:33:28 <shachaf> hi Phantom_Hoover
00:33:33 <shachaf> "whats going on"
00:33:38 <Phantom_Hoover> holy shit
00:33:43 <Phantom_Hoover> i checked his kills list
00:33:46 <oerjan> coelephant
00:33:47 <elliott> monqy: any opinions on the quotes btw
00:33:57 <shachaf> Phantom_Hoover: "oh"
00:34:01 <shachaf> Phantom_Hoover: Rename that dwarf!
00:34:07 <Phantom_Hoover> "thirty-three trolls (female sign) in Ghouldrip"
00:34:22 <Phantom_Hoover> "one troll (male sign) in The Mire Of Stroking"
00:34:34 <monqy> elliott: uhh
00:34:34 <Phantom_Hoover> you really hate female trolls
00:34:56 <oerjan> it's their rude winking at him
00:35:34 <monqy> elliott: #1 problem is my eyes keep glazing over, so to speak, when i try reading 537
00:36:22 <tswett> fungot: hey, what are those corpora you can use, again?
00:36:22 <fungot> tswett: it is as bad as please. the channel secretary will mail you the bill. :)
00:36:32 <tswett> fungot: thanks in advance.
00:36:32 <fungot> tswett: ( i threw in the python-style slicing e.g. ( is that a computer cannot do?
00:36:33 <oerjan> ^style
00:36:33 <fungot> Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube
00:36:44 <Phantom_Hoover> elliott, req. that you at least enable scourges in the raws
00:36:48 <Phantom_Hoover> for dorfs, that is
00:36:56 <tswett> ^style qwantz
00:36:56 <fungot> Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011)
00:36:59 <tswett> fungot: oi
00:37:00 <fungot> tswett: but i've got great names for everyone else's hypothetical sons! anything that comes out and people want to know
00:37:07 * tswett nods.
00:38:28 <elliott> Phantom_Hoover: what do those do again
00:38:50 <Phantom_Hoover> whip shit
00:38:56 <elliott> that sounds bad
00:39:10 <Phantom_Hoover> also goblins
00:39:43 -!- sivoais has quit (Ping timeout: 260 seconds).
00:41:19 <elliott> Phantom_Hoover: im going to leave the raws unchanged
00:41:21 <elliott> u r going to have to deal w/ it
00:41:32 <Phantom_Hoover> :(
00:42:52 -!- sivoais has joined.
00:44:11 -!- ais523 has quit.
00:45:49 <elliott> `welcome sivoais
00:45:54 <HackEgo> sivoais: 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.)
00:45:54 -!- nooga has joined.
00:46:48 -!- DH____ has quit (Read error: Connection reset by peer).
00:46:54 -!- DHeadshot has joined.
00:48:40 * Phantom_Hoover checks shachaf's entry in legends
00:48:56 <Phantom_Hoover> his title is the Scholarly Ghost
00:49:30 <tswett> fungot: can I have another one svp?
00:49:31 <fungot> tswett: are you in this house, god? i am!
00:49:40 <tswett> fungot: I dunno. One more svp.
00:50:07 <tswett> fungot: well? Don't just ignore me svp.
00:50:20 <shachaf> Phantom_Hoover: let t=t+1 let t=t+1 let t=t+1 let t=t+1 let t=t+1 let t=t+1
00:50:22 <shachaf> qed
00:50:53 <Phantom_Hoover> what's tha
00:50:54 <Phantom_Hoover> t
00:52:12 <shachaf> Phantom_Hoover: Hmm, was that an impostor a couple of days ago?
00:52:27 <shachaf> Doesn't look like it.
00:53:22 <Phantom_Hoover> what are you talking about
00:53:34 <shachaf> Never mind.
00:59:38 -!- DHeadshot has quit (Read error: Connection reset by peer).
00:59:46 -!- DH____ has joined.
01:02:31 -!- Jafet has quit (Ping timeout: 245 seconds).
01:09:27 -!- nooga has quit (Ping timeout: 244 seconds).
01:11:55 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:21:14 -!- monqy has quit (Quit: hello).
01:24:13 -!- carado_ has joined.
01:24:14 -!- carado has quit (Read error: Connection reset by peer).
01:33:17 -!- Jafet has joined.
01:37:16 -!- carado_ has quit (Remote host closed the connection).
01:38:25 -!- carado has joined.
01:42:46 <kmc> fungot: hug
01:42:47 <fungot> kmc: looks more to me like a bush. my first play is more abstract, for you see, i ran this exercise! i also like to say hello
01:43:09 <shachaf> i also like to say hello
01:43:13 <shachaf> fungot = monqy?
01:43:14 <fungot> shachaf: alternate universe, that's " law and order". and it doesn't have to be shakespeare. how's the weather up there so it makes sense, dromiceiomimus! anyway, if i did, good! cause you're just walking around, chatting with their friends, being attractive in the media
01:44:07 <Jafet> fungot knows about the dromiceiomimus
01:44:08 <fungot> Jafet: i don't think i ever want to be on to something like this, if people saw me on a mountaineering tale of the star of the story! choose from! and if i ever turn into a werewolf, i would definitely rate her current attractiveness as at least, i've never remembered them and they've never been enough to wake me up, which amounts to pretty much, yeah, i was there, encouraging when i see a jerk sitting, cautious in your movemen
01:45:10 <shachaf> kmc: Should I listen to Alice's Restaurant today?
01:45:11 <fungot> Jafe: i think, as a people, have been responsible. it'll all come flooding, then i'll certainly be blue! because
01:45:20 <kmc> tswett: you used to type on a piano?
01:45:29 <kmc> shachaf: today and every day
01:45:54 <shachaf> Jafet: How did you do that?
01:46:09 <shachaf> kmc: Have you been to the restaurant?
01:46:17 <shachaf> It's in MA somewhere, isn't it?
01:46:45 <shachaf> Stockbridge, MA
01:46:46 <kmc> i have not
01:47:05 <kmc> that is at the other end of massachusetts :(
01:47:35 <shachaf> Are there any trains stopping there?
01:47:55 <kmc> i could take the train to albany and bike
01:47:56 <Jafet> fungot: check check, i am making sense? reverse duck nailed on the fnord, we examine it gravely
01:47:57 <fungot> Jafet: oh, but i was never going to. but, i do know that others may live a real life it'll be a great show. people can call me...
01:50:26 <kmc> or to pittsfield actually
01:51:27 <shachaf> kmc: Did you know they made an Alice's Restaurant film?
01:51:38 <shachaf> Featuring Officer Obie as Officer Obie.
01:51:47 <kmc> less than 4 hours
01:51:50 <kmc> heh
01:53:18 <Arc_Koen> Ripple Effect
01:53:19 <Arc_Koen> haha
01:53:28 <Arc_Koen> à égalité avec Window of Opportunity je pense
01:53:39 <Arc_Koen> merci coppro de m'avoir poussé à continuer
01:56:21 <Arc_Koen> oh wait, wrong language
01:57:28 <Arc_Koen> I was saying, thank you coppro for talking me into watching the last two seasons of sg-1
01:58:06 -!- Arc_Koen has quit (Quit: and with that I'm off. gnight everyone).
02:00:25 <tswett> kmc: I used to type on a device with 88 keys. A piano is a device with 88 keys.
02:00:33 <tswett> Therefore, it is possible to logically conclude that I used to type on a piano.
02:01:11 -!- oerjan has quit (Quit: dgghinoot).
02:02:04 <kmc> ... i see
02:02:13 <kmc> i was hoping for a cooler answer than that, sorry
02:02:48 <Jafet> Yamaha makes keyboards with 88 keys; therefore, it can be concluded that this sentence makes no sense
02:13:05 -!- sirdancealot7 has quit (Ping timeout: 255 seconds).
02:16:42 <tswett> kmc: feel free to come up with a cooler answer.
02:19:47 <kmc> the cooler answer would be that you had a MIDI keyboard hooked up to your computer and were using it to type in some clever way
02:20:05 <kmc> not just "one key per character" but like sweet chords and such
02:20:35 <Jafet> Imagine using emacs with that
02:21:16 <kmc> obviously you would use pedals for control and meta
02:21:55 <shachaf> I,I pedal to the meta
02:22:22 <pikhq_> tswett removed 17 of the alphabet characters from his keyboard.
02:22:24 <Jafet> "I sprained my ankles the other day." "How?"
02:24:06 <shachaf> I am currently two keys short of a full keyboard.
02:24:54 <shachaf> (...If you know what I mean.)
02:25:51 <kmc> i should buy the kinesis foot pedals
02:30:40 <elliott> kmc: can someone direct me to the list of available IRC commands for this channel? seems to be unique (restricted), relative to other channels.
02:30:42 <elliott> s/ //
02:30:44 <elliott> er
02:30:45 <elliott> s/ / /
02:33:13 -!- carado has quit (Ping timeout: 246 seconds).
02:34:59 -!- aloril_ has quit (Ping timeout: 260 seconds).
02:47:26 -!- aloril_ has joined.
03:06:26 <Jafet> s/\/\//\/ \//
03:11:23 <tswett> kmc: yeah, I like that idea.
03:11:27 <tswett> Should be easy enough to implement.
03:12:02 -!- monqy has joined.
03:12:40 <tswett> First, say that there are 31 characters that you can type by pressing some combination of the notes C through G.
03:12:50 <tswett> Make them octave-independent, so that you can alternate between hands.
03:14:04 <tswett> You could make other characters using black keys, right? Say that D, E, and G can be flatted, giving you three options for those letters instead of two, so that brings you up to... 107 characters.
03:14:29 <tswett> Which is more than the number of ASCII printable characters, so you should be more or less in business.
03:14:31 <Bike> what about the other two notes in the octave...?
03:15:05 <tswett> I dunno.
03:15:18 <tswett> As and Bs can be modifiers, if you want.
03:25:34 -!- lightquake has quit (Quit: ZNC - http://znc.in).
03:25:55 -!- lightquake has joined.
04:00:34 <kmc>
04:03:03 <elliott> hi
04:04:19 <shachaf> elliott: Solved the unsafeCoerce!
04:04:29 <shachaf> monqy, kmc:
04:04:46 <monqy> hi
04:07:48 <elliott> yuck, fmap unsafeCoerce
04:07:50 <elliott> that's inefficient
04:09:27 <monqy> "just use unsafeCoerce :: (Functor f) => f a -> f b"
04:09:53 <shachaf> elliott: Huh?
04:09:56 <shachaf> That's not the solution.
04:10:07 <shachaf> The solution is fmap (const undefined)
04:10:15 <shachaf> elliott: "btw this function never actually gets called ever"
04:10:33 <elliott> is https://github.com/ekmett/lens/commit/529aa2e6992de1c1a91ae58bc77e29381cb1de00 the wrong commit
04:10:35 <shachaf> "should i feel foolish now"
04:10:40 <elliott> so why does coerce exist
04:10:42 <elliott> if it is never called
04:10:50 <elliott> and why is it (<$) undefined rather than just undefined
04:10:55 <shachaf> Yes, that's when I told edwardk "you can use fmap undefined" and he read it as "fmap unsafeCoerce"
04:11:37 <monqy> instance Gettable g => Gettable (EvilBazaar a b g) where
04:11:40 <shachaf> elliott: "why not"
04:12:02 <shachaf> monqy: "who needs the where"
04:12:16 <elliott> who needs the random double quotes around every sentence
04:13:49 <shachaf> I do.
04:13:52 <monqy> "yeah who needs them"
04:14:56 <shachaf> 'Haddock' seems to 'require' 'them'
04:15:22 <kmc> http://windows95tips.tumblr.com/
04:20:51 <ion> It’s just as i remember.
04:23:20 -!- Jafet1 has joined.
04:24:56 -!- Jafet has quit (Ping timeout: 250 seconds).
04:26:01 <shachaf> kmc: Wasn't Windows 95 great?
04:26:20 <kmc> no
04:27:01 <kmc> hth
04:27:42 <shachaf> http://25.media.tumblr.com/tumblr_mcdjm3MIdo1rehruqo1_500.png
04:27:50 <shachaf> That screen was great.
04:28:26 <kmc> ah yes
04:29:29 <ion> Now that BazaarT’s Gettable doesn’t use unsafeCoerce, couldn’t one just have a single Bazaar and document it with “plz don’t make stupid Gettable instances, kthxbye”?
04:29:47 <shachaf> I think I brought that up in #-blah
05:00:07 -!- Jafet1 has quit (Ping timeout: 260 seconds).
05:00:32 -!- Jafet has joined.
05:45:02 -!- copumpkin has quit (Ping timeout: 255 seconds).
05:45:34 -!- copumpkin has joined.
05:47:04 -!- sirdancealot8 has joined.
06:00:31 -!- Jafet has quit (Quit: Leaving.).
06:01:53 -!- sirdancealot8 has quit (Ping timeout: 244 seconds).
06:03:30 <shachaf> kmc: Uh oh.
06:17:49 <elliott> shachaf: is edwardk really adding this abomination
06:20:17 <shachaf> elliott: "should i fight it"
06:20:43 <elliott> how about
06:20:44 <elliott> yes
06:20:47 <elliott> or at least
06:20:51 <elliott> fight for it to not take the name field :P
06:20:58 <elliott> but hey free country
06:21:03 <elliott> do whatever is right
06:21:46 <shachaf> Which country?
06:22:02 <elliott> exactly
06:24:44 <ion> There’s about ⅓ chance he’s trolling us.
06:25:53 <shachaf> elliott is hitting back.
06:25:57 <shachaf> "countertroll"
06:26:56 <elliott> no i'm serious about this peek thing
06:28:47 -!- sirdancealot8 has joined.
06:36:57 -!- Jafet has joined.
06:37:10 -!- copumpkin has quit (Ping timeout: 246 seconds).
06:37:42 -!- copumpkin has joined.
07:01:21 -!- nooga has joined.
07:03:36 <elliott> shachaf: are you really improving this awful thing
07:04:03 <elliott> it'll go on your tombstone
07:05:07 <shachaf> "sorry"
07:06:21 <elliott> container analogies :(
07:06:59 <elliott> shachaf: wow, I had no idea it was this bad
07:07:17 -!- FreeFull has quit.
07:08:36 <shachaf> "covariant" is just a scary word. :-(
07:08:53 <shachaf> Maybe I should say a functor "produces" a value in some sense.
07:09:01 <elliott> shachaf: congrats on introducing a new use of unsafeCoerce
07:09:03 <elliott> hope you're happy
07:09:07 <elliott> oh
07:09:09 <elliott> there was one before too!
07:09:18 <shachaf> elliott: Yes, how else would it work?
07:09:21 <monqy> elliott: remember that time you used unsafeCoerce
07:09:30 <shachaf> Hmm, maybe if it kept the TypeRep around?
07:09:31 <monqy> I dont think I've ever used unsafeCoerce!!
07:09:41 <shachaf> Well, that wouldn't really help, would it?
07:09:42 <elliott> monqy: i use unsafeCoerce a lot, i like it
07:09:59 <monqy> > unsafeCoerce 5 :: IO Int
07:09:59 <monqy> 1342177280
07:10:00 <lambdabot> Not in scope: `unsafeCoerce'
07:10:03 <monqy> theres a first time for everything
07:10:32 <shachaf> wrong monqy
07:10:33 <shachaf> λ> unsafeCoerce 5 :: IO Int
07:10:33 <shachaf> -3458764513820540928
07:10:39 <monqy> > unsafeCoerce "hello" :: IO String
07:10:39 <monqy> <interactive>: internal error: stg_ap_v_ret (GHC version 7.6.1 for i386_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
07:10:40 <shachaf> when will you learn to haskell :'(
07:10:41 <lambdabot> Not in scope: `unsafeCoerce'
07:10:42 <monqy> [1] 10014 abort (core dumped) ghci
07:10:57 <monqy> i'm liking this function
07:12:23 <monqy> Prelude Unsafe.Coerce System.IO.Unsafe> unsafeCoerce (unsafePerformIO $ putStr "safe") :: String
07:12:26 <monqy> "safe"
07:12:28 <monqy> this is the best function ever
07:12:41 <elliott> monqy.... you just coerced a to a
07:12:43 <elliott> oh no wait
07:12:48 <elliott> you coerced () to String
07:12:49 <elliott> cool cool
07:12:52 <monqy> yes
07:29:32 <Sgeo_> o.O at that working
07:29:54 <monqy> what
07:30:23 <Sgeo_> Getting "safe" back from putStr "safe"
07:30:47 <monqy> are you sure you understand what's going on
07:32:13 <Sgeo_> My understanding says it's surprising that that happens, so possibly not.
07:34:06 <elliott> shachaf: bam
07:34:15 <shachaf> bam?
07:34:19 <elliott> immutable data jokes.
07:34:55 <ion> bam
07:36:16 <shachaf> elliott: "fighting the good fight"
07:37:25 <ion> I like how our IRC is spread pretty arbitrarily over, like, four active channels.
07:37:44 <shachaf> What's the fourth one?
07:37:51 <ion> -lens
07:37:59 <shachaf> Oh, I guess.
07:38:13 <elliott> there's a lens channel?
07:38:32 <shachaf> It's mostly a "making fun of elliott" channel.
07:38:48 <ion> mun of elliott
07:38:50 <ion> mulliott
07:39:17 <elliott> that's every channel
07:39:22 <elliott> so is it #haskell-lens
07:40:06 <monqy> #making-fun-of-elliott-lens
07:42:42 -!- Frooxius has quit (Ping timeout: 264 seconds).
07:49:53 -!- augur has joined.
07:52:05 -!- elliott has quit (Remote host closed the connection).
08:03:36 -!- Sgeo__ has joined.
08:06:47 -!- Sgeo_ has quit (Ping timeout: 256 seconds).
08:16:57 -!- Bike has quit (Quit: leaving).
09:30:54 -!- Phantom_Hoover has joined.
09:42:59 -!- aloril_ has quit (Read error: Connection reset by peer).
09:46:12 -!- aloril has joined.
09:58:00 -!- augur has quit (Ping timeout: 244 seconds).
09:59:26 -!- epicmonkey has joined.
10:53:25 -!- Jafet has quit (Quit: Leaving.).
11:37:34 <ion> WYRMWOOD - An Australian Zombie Film (Out 2013) http://youtu.be/yFrGrH5zfbg
11:38:03 <Phantom_Hoover> do you just continually dump irrelevant links
11:40:35 <fizzie> I think it's some sort of a bot.
11:40:47 <ion> Is that a problem? I can cease if they’re not wanted. (That trailer was promising, though.)
11:41:44 <Phantom_Hoover> well it's mainly that you just post them without comment or anything
11:41:44 <fizzie> It seems to have an impressive capability of providing superficially relevant-looking responses.
11:41:54 <Phantom_Hoover> oh wow
11:42:00 <fizzie> fungot: Listen and learn something, would you?
11:42:01 <fungot> fizzie: alternate universe, that's " law and order". and it doesn't have to be shakespeare. i'll do better next time, ok? let me know, right?
11:42:06 <Phantom_Hoover> fizzie's claws are out
11:42:08 <Phantom_Hoover> i'm scared
11:42:31 <fizzie> No, no, I was just monkeying around.
11:44:43 <Phantom_Hoover> ion, also zombies have been done to death by now
11:45:13 <ion> I know. That trailer was still promising.
11:45:35 <ion> *Everything* has been done to death by now. :-P
11:45:54 <Phantom_Hoover> It just looked like a lot of shaky camera work and washed-out filters to me
11:46:52 <ion> Ignoring the visual style, i found what they were doing with the zombies (not spoiling) interesting.
11:46:58 <ion> Hadn’t seen that before.
11:47:03 <Phantom_Hoover> you mean the gas?
11:48:10 <ion> yeah
11:48:26 <Phantom_Hoover> i'm not sure adding a new infection vector makes zombies interesting again
11:48:40 <ion> No, not that.
11:49:11 <ion> Gurl jrer hfvat mbzovrf sbe shry.
11:49:50 <Phantom_Hoover> well that's just silly
11:50:43 <ion> Feel free to dislike it, but i’m going to watch that movie. :-P
11:51:56 <Phantom_Hoover> http://www.bay12games.com/dwarves/mantisbt/view.php?id=5971
11:52:00 <Phantom_Hoover> df bugs are best bugs
11:52:22 <ion> It’s not as if the concept of zombies isn’t silly in the first place, it can still be entertaining.
11:52:46 <ion> hah
11:53:14 <ion> I like the links to graphs.
11:54:20 <Phantom_Hoover> there are correct ones later on
11:54:36 <Phantom_Hoover> df's temperature system is probably the most awful piece of coding in it
11:54:51 <fizzie> I like the bit that says "When the unit's fat amount crosses a 2500 boundary, its clothing insulation is recomputed."
11:55:09 <Phantom_Hoover> it has very little effect on gameplay outside of a couple of situations, yet having it on at all cuts your fps in half
11:56:24 -!- monqy has quit (Quit: hello).
13:32:22 -!- atriq has joined.
13:36:45 <atriq> Monads are pronounced "mon-adds"?
13:36:47 <atriq> Wow
13:36:57 <atriq> I've always pronounced them "moan-adds"
14:00:33 -!- carado has joined.
14:01:23 -!- boily has joined.
14:05:39 <fizzie> I've always pronounced them "gonads".
14:21:01 -!- ogrom has joined.
14:33:01 <Deewiant> atriq: Both are acceptable
14:33:33 <atriq> Oh, that's a relief
14:33:42 <atriq> "mon-add" sounds really weird to me
14:45:16 -!- DH____ has quit (Ping timeout: 244 seconds).
14:48:30 -!- Nisstyre has quit (Ping timeout: 248 seconds).
14:51:13 -!- Arc_Koen has joined.
14:57:19 -!- Nisstyre has joined.
15:07:26 -!- Frooxius has joined.
15:10:23 <boily> the ad in gonad is not pronounced the same way as the add in add?
15:29:10 -!- carado has quit (Ping timeout: 246 seconds).
15:41:57 -!- AnotherTest has joined.
15:42:05 <AnotherTest> Hello
15:54:14 -!- osho_ has joined.
16:02:29 -!- osho_ has left ("Leaving").
16:51:45 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
16:54:09 <coppro> I cannot believe it
16:54:16 <coppro> my music prof was going to give us a dictation test
16:54:33 <coppro> and managed to pull off a rare and highly irritating psyche out 3x combo
16:54:44 <coppro> *x3
16:55:33 <atriq> Did you enjoy the ballet, then?
16:55:40 -!- Arc_Koen has quit (Quit: Gateship. It's a ship. It goes through the gate!).
17:21:12 -!- FreeFull has joined.
17:28:22 -!- augur has joined.
17:37:13 -!- elliott has joined.
17:39:34 <coppro> atriq: no ballet :(
17:43:46 -!- Bike has joined.
17:52:44 <atriq> I have no idea what I'm doing
17:52:56 <atriq> I'm stumbling around in the darkness of my own mind
17:52:59 <coppro> atriq: neither does elliott
17:53:24 <elliott>
17:53:30 <coppro> see?
17:53:36 -!- epicmonkey has quit (Ping timeout: 276 seconds).
18:50:49 -!- ogrom has quit (Read error: Connection reset by peer).
19:10:19 -!- epicmonkey has joined.
19:11:49 <Phantom_Hoover> oi elliott
19:11:52 <Phantom_Hoover> how dwarfs
19:12:11 <atriq> Phantom_Hoover, should I continue with PalaceCrushed?
19:12:45 <Phantom_Hoover> well... i don't think a succession game with 2 people really /works/
19:13:10 <Phantom_Hoover> for one thing, there's no succession like with 3 people, you're just swapping
19:13:22 <atriq> Hmm
19:13:45 <atriq> It's a pretty nice fort, though, so I'll continue it on my own
19:14:23 <elliott> Phantom_Hoover: oh i didn't start it
19:14:24 <elliott> i will soon
19:24:15 -!- oerjan has joined.
19:28:56 -!- Frooxius has quit (Quit: ChatZilla 0.9.89-rdmsoft [XULRunner]).
19:30:52 -!- atriq has quit (Quit: Leaving).
19:33:51 -!- Frooxius has joined.
19:36:35 <coppro> so today
19:36:41 <coppro> i walked into class to hear elevatorstuck
19:36:57 <coppro> i think the world is trying to tell me something
19:37:01 <coppro> its probably to get more sleep
19:37:33 <oerjan> <Phantom_Hoover> ion, also zombies have been done to death by now <-- they were dead from the start hth
19:38:11 <Phantom_Hoover> i waited so long for someone to make that joke
19:38:38 <oerjan> i guess i did help, then
19:42:32 <oerjan> 17:52:44: <atriq> I have no idea what I'm doing
19:42:32 <oerjan> 17:52:56: <atriq> I'm stumbling around in the darkness of my own mind
19:42:41 <oerjan> welcome to the club
19:43:09 <oerjan> > " "
19:43:11 <lambdabot> " "
19:44:00 <FreeFull> > xor 3 4
19:44:02 <lambdabot> 7
19:44:22 <FreeFull> > print "test"
19:44:23 <lambdabot> can't find file: L.hs
19:45:00 <oerjan> that's a lambdabot race condition, i think.
19:45:04 <oerjan> > print "test"
19:45:06 <lambdabot> No instance for (GHC.Show.Show (GHC.Types.IO ()))
19:45:06 <lambdabot> arising from a use of ...
19:45:29 <oerjan> that's the usual response. or wait it didn't use to that for IO types...
19:45:36 <oerjan> *to do that
19:45:54 <oerjan> the number of stupid conflicting instances in lambdabot is growing.
19:46:21 <coppro> yeah
19:47:28 <oerjan> in any case under none of the instances would lambdabot actually print "test"
19:47:59 <coppro> lol
19:48:14 <elliott> <oerjan> the number of stupid conflicting instances in lambdabot is growing.
19:48:17 <elliott> read the error again
19:48:21 <elliott> it's shrinking
19:48:49 -!- carado has joined.
19:50:16 <oerjan> oh there are _none_ now?
19:51:01 <elliott> well I wouldn't go that far.
19:51:10 <oerjan> well for IO.
19:52:24 <elliott> shachaf: i see edwardk renamed field
19:54:35 -!- zzo38 has joined.
19:54:58 <zzo38> This week I thought of using RGB<->HSV for audio as well not only for pictures
19:57:23 <pikhq_> What would that even mean for audio?
19:58:42 <Fiora> the closest I can think of for audio would be like an FFT...? but it's really not the same thing
19:58:49 <olsner> extract the red, green and blue sounds, put back hued, saturated and valuable sounds
19:59:32 <Bike> something with the colors of noise?
19:59:42 <zzo38> What I thought was something like using R,G,B as the left, front, back channels and then convert to HSV to do modification on that and then back to RGB
20:01:02 <pikhq_> There's something *analogous* done in a lot of audio formats, actually.
20:01:50 <pikhq_> Backwards-compatible analog stereo is generally done via L+R and L-R signals, and audio compression prefers doing that too.
20:02:00 <zzo38> Yes I know about that.
20:02:12 <zzo38> Is it something like YUV?
20:03:22 <Fiora> L+R is literally L added to R (and similarly for L-R)
20:03:58 <zzo38> Yes, and I think Ambisonic-B is similar but with more directions than just left and right
20:04:01 <Fiora> I... think YUV has more complex coefficients
20:04:20 <Fiora> Y ~= 0.7G + 0.2R + 0.1B?
20:04:23 <pikhq_> zzo38: Yeah, Ambisonic-B is more similar.
20:04:46 -!- Vorpal has joined.
20:05:04 <pikhq_> Fair approximation.
20:07:55 <zzo38> I have won all 23 games of basketball this season. But I still try to improve, just in case.
20:08:31 <zzo38> Fiora: Once I have made something like YUV for pictures, but treating all channels as equal instead of using coefficients like that
20:08:51 <Fiora> I think you need the coefficients to match human perception...
20:10:45 <Phantom_Hoover> great
20:11:06 <Phantom_Hoover> my mayor has sentenced a random bone doctor to 40 days in jail because i forgot to make him some damn shields
20:11:32 <Phantom_Hoover> little does he realise that i have a cold case for murder that i can pin on anyone i want
20:11:32 <pikhq_> Fiora: Strictly speaking it's not *necessary*.
20:11:51 <pikhq_> The advantage of the coefficients is that it lets you transmit U and V with less resolution and still look acceptable.
20:11:53 <Fiora> for the best results I mean, but yeah
20:12:00 <Fiora> isn't there also the thing with grayscale?
20:12:10 <Fiora> i.e. "the Y channel looks like a grayscale version of the video"
20:12:13 <pikhq_> Ah, right, duh.
20:12:15 <Fiora> like if it was shot with black and white film
20:12:36 <Fiora> I remember YUV was originally created as a backwards-compatibility thing to black and white television if I'm remembering my wikipedia right
20:12:45 <pikhq_> Yes, you wouldn't be able to use the Y signal as greyscale.
20:12:49 <pikhq_> And, yes, that's what it's for.
20:12:50 <Phantom_Hoover> enjoy your 201 days in prison you twat
20:12:54 <zzo38> You can also use that with component video input/output in TV sets and other devices which have that.
20:13:01 <pikhq_> It just so happens it's *also* good as an easy compression format.
20:13:01 <zzo38> I have tried that and it works.
20:13:08 -!- ais523 has joined.
20:13:17 <Fiora> aha
20:13:36 <pikhq_> The other compression scheme used on analog video, interlacing, sucks ass though.
20:24:14 <kmc> does that even qualify as a compression scheme?
20:24:33 <kmc> it's more of a hack to increase the perceived framerate without affecting the bandwidth at all
20:27:52 <Vorpal> I just noticed an interesting behaviour of flash videos on Windows, if the browser window is not focused the video stutters badly (< 1 FPS). How strange.
20:32:43 <kmc> it makes a certain amount of sense that programs that aren't focused should get fewer resources
20:32:54 <kmc> it's not necessarily a good idea but i could see why someone would think it is
20:40:03 <Vorpal> hm
20:40:34 <Vorpal> kmc, it is not like the computer is heavily loaded either though
20:40:51 <Fiora> could flash itself choose to do that? maybe to avoid loading the CPU when the tab isn't active
20:41:01 <Vorpal> well, that is of course possible
20:41:04 <Fiora> like, to not render images when it's not displayed
20:41:26 <Vorpal> possibly since it doesn't happen on youtube in fact
20:43:34 <olsner> flash would never avoid loading the CPU
20:45:29 <Vorpal> true
20:48:58 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
20:52:04 <shachaf> elliott: Renamed field *and* pushed it into Data.Data.Lens!
20:52:08 <shachaf> "i did it 4 u"
20:56:48 <Vorpal> is it just me is the IO scheduler of windows terrible when under heavy load?
20:57:38 <Vorpal> as soon as you start an installer for something huge, anything else trying to use the disk become very unresponsive. Linux on the same computer doesn't do that.
21:00:30 -!- atriq has joined.
21:04:02 <atriq> The thing you're searching for is always the hardest to find...
21:09:48 <atriq> Nevermind, I found it
21:09:56 <oerjan> i hear it's always in the last place you look
21:12:00 -!- Phantom_Hoover has joined.
21:22:35 -!- epicmonkey has quit (Ping timeout: 244 seconds).
21:24:31 <Sgeo__> oerjan, that's totally not true.
21:25:09 <Sgeo__> ...I don't see a way to elaborate without killing the joke
21:25:36 <Bike> don't fret, you already have
21:25:52 <Sgeo__> If you never find it, it was not in the last place you looked.
21:29:15 <atriq> Bike, how's the Eodermdrone interpreter going?
21:29:57 <oerjan> he's probably stuck on the edge cases
21:30:07 <Bike> got as far as subgraph isomorphism, got bored with the replacement bit
21:30:11 <Bike> guess I should figure that out
21:32:37 <kmc> oerjan: c.c
21:33:09 * oerjan hasn't seen that smiley before
21:35:24 -!- Nisstyre has quit (Ping timeout: 250 seconds).
21:40:34 <oerjan> :t (%~)
21:40:36 <lambdabot> Setting s t a b -> (a -> b) -> s -> t
21:41:01 <oerjan> :t both
21:41:02 <lambdabot> Applicative f => (a -> f b) -> (a, a) -> f (b, b)
21:43:04 <atriq> > both %~ 4 $ ("hello","oerjan"
21:43:06 <lambdabot> <hint>:1:30: parse error (possibly incorrect indentation)
21:43:06 <atriq> > both %~ 4 $ ("hello","oerjan")
21:43:08 <lambdabot> (4,4)
21:43:19 <shachaf> atriq: I can't tell if that's meant as a joke or not.
21:43:31 <atriq> Who knows
21:43:42 <shachaf> You're applying the function 4 to two strings.
21:44:06 <atriq> 4 is the best function, which means I should get some sleep soon
21:44:25 <atriq> Because I haven't had sugary food in... 30 hours
21:44:52 <Bike> :t 4
21:44:53 <lambdabot> Num a => a
21:45:06 <atriq> :t 4 `asAppliedTo` ""
21:45:08 <lambdabot> Num b => [Char] -> b
21:45:21 <atriq> Of course, I should have written
21:45:24 <Bike> just what i've always wanted
21:45:28 <oerjan> :t (both %~)
21:45:28 <oerjan> > "hm..."
21:45:29 <lambdabot> (a -> b) -> (a, a) -> (b, b)
21:45:30 <lambdabot> "hm..."
21:45:33 <atriq> > both .~ 4 ("hello", "oerjan")
21:45:36 <lambdabot> *Exception: show: No overloading for function
21:45:42 <atriq> > both .~ 4 $ ("hello", "oerjan")
21:45:44 <lambdabot> (4,4)
21:45:54 <shachaf> > set both 4 ("hello","Bike")
21:45:56 <lambdabot> (4,4)
21:46:30 <shachaf> > productOf both (4,4)
21:46:31 <lambdabot> 16
21:46:59 -!- monqy has joined.
21:47:02 <oerjan> :t productOf
21:47:03 <lambdabot> Getting (Product a) s t a b -> s -> a
21:47:15 <oerjan> AAAAAAAAAAAAAAAAaa
21:47:39 <oerjan> s t a b seems like the right sequence of characters, there
21:47:40 <shachaf> monqy: help
21:47:50 <atriq> > productOf folded [1,2,3,4,5,6,7,8,9,10]
21:47:52 <lambdabot> 3628800
21:47:58 <shachaf> oerjan: I advocated for it and went through th entire package renaming to it.
21:48:01 <oerjan> :t folded
21:48:02 <shachaf> It was a b c d before.
21:48:03 <lambdabot> (Applicative f1, Foldable f, Gettable f1) => (a -> f1 a) -> f a -> f1 (f a)
21:48:14 <atriq> Folded turns a Foldable into a Fold
21:48:16 <shachaf> That type is ugly.
21:48:27 <shachaf> folded :: Foldable f => Fold (f a) a
21:48:55 <shachaf> @ty id :: Getting a a a a a
21:48:57 <lambdabot> Getting a a a a a
21:49:22 <atriq> id ^?! "huh"
21:49:32 <atriq> > id ^?! "huh"
21:49:34 <lambdabot> Not in scope: `^?!'
21:49:34 <lambdabot> Perhaps you meant one of these:
21:49:34 <lambdabot> `^!' (imported from...
21:50:01 <atriq> Apparently, Cale doesn't upgrade his libraries every half an hour like the rest of us
21:50:21 <atriq> That's a type error anyway
21:50:45 <shachaf> > "huh" ^? folded
21:50:46 <atriq> "huh" ^?! id, however
21:50:47 <lambdabot> Just 'h'
21:51:01 <shachaf> > "huh" ^? id
21:51:03 <lambdabot> Just "huh"
21:51:21 <shachaf> But why use ^?! when you can use ^. ?
21:51:29 <oerjan> i think haskell has officially gone off the deep end.
21:51:43 <atriq> Haskell started off the deep end
21:51:44 <shachaf> oerjan: NO U
21:51:49 <atriq> It's doing laps of the pool
21:51:58 <shachaf> oerjan: Want a quick explanation of lens?
21:52:43 <oerjan> no, i don't think my brain can absorb one.
21:52:53 <shachaf> It's not that complicated!
21:53:02 <oerjan> i was just reading the first post in a slow one.
21:53:03 <shachaf> > sumOf mapM [1,2,3,4]
21:53:05 <lambdabot> No instance for (GHC.Base.Monad
21:53:05 <lambdabot> (Control.Lens.Internal....
21:53:14 <shachaf> Hah.
21:53:14 <atriq> Lenses are like Monads: they look complicated because they are complicated
21:53:20 <atriq> However you get them with practise
21:53:26 <shachaf> Good point.
21:54:36 <atriq> oerjan, basically, edwardk went insane and kidnapped then brainwashed and enslaved shachaf
21:54:37 <oerjan> my problem right now is that :t gives types that don't fit together without memorizing type synonyms...
21:55:02 <Phantom_Hoover> atriq, eh, the problem with monads is that they're actually infuratingly simple
21:55:03 <shachaf> The synonyms are actually simple if you know the pattern.
21:55:12 <Phantom_Hoover> there's just no obvious motivation for them to exist at all
21:55:23 <atriq> They're like lenses but backwards then
21:55:27 <atriq> sesnel
21:55:45 <shachaf> snel
21:55:49 <shachaf> whoa, dude
21:55:52 <shachaf> whoa
21:56:04 <shachaf> fresnel lens = almost a palindrome
21:56:12 <shachaf> fresnel lens erf
21:56:14 <oerjan> bitte snel
21:56:24 <atriq> Ee, fresnel lens, er... free!
21:56:30 <shachaf> kmc: "this fact requires immediate attention"
21:57:04 <shachaf> monqy: ☝
21:57:15 <monqy> hi
21:57:33 <oerjan> i thought monqy quit
21:57:36 <shachaf> oh monqy
21:57:40 <shachaf> where would we be without you
21:57:43 <shachaf> a dark ungreeted world
21:57:47 <monqy> I quit????
21:57:53 <oerjan> monqy: don't ever start smoking, ok?
21:57:59 <shachaf> monqy: quit hi
21:58:04 <monqy> never
21:58:13 <shachaf> hi is bad for you, monqy
21:58:20 <shachaf> you might get irc cancer
21:58:35 <monqy> :[
21:58:38 <oerjan> hi is the gateway drug to irc
21:58:54 <atriq> I went cold turkey on "Hello"
21:59:04 <atriq> You can give up hi, monqy!
21:59:05 <shachaf> oerjan: I thought they made computers?
21:59:08 <atriq> It's not hard!
21:59:16 <oerjan> shachaf: who?
21:59:25 <shachaf> Gateway
21:59:31 <oerjan> oh
21:59:36 <shachaf> On October 16, 2007, Acer Inc. completed its acquisition of Gateway for approximately US$710 million.[3]
22:01:32 <shachaf> > set (partsOf (traverse.both.traverse)) "OERJAN JOHANSEN" [("hi","there"),("to","you"),("san","francisco")]
22:01:34 <lambdabot> [("OE","RJAN "),("JO","HAN"),("SEN","francisco")]
22:02:06 <shachaf> oerjan johansen francisco
22:03:04 <Lumpio-> What did that even do
22:03:21 <shachaf> No one knows.
22:03:26 <shachaf> Well, Bike knows.
22:03:30 <shachaf> Maybe Fiora knows?
22:03:34 <pikhq_> Oe rjan jo han Sen Francisco.
22:03:37 <shachaf> Jafet would know.
22:03:47 <shachaf> Deewiant knows.
22:03:49 <shachaf> Phantom_Hoover knows.
22:04:10 <Lumpio-> oh
22:04:14 <monqy> would I know?
22:04:21 <shachaf> sorry monqy
22:04:24 <shachaf> "the answer is no"
22:04:28 <monqy> :'(
22:04:37 <shachaf> "wait, was the answer know?"
22:04:38 <Bike> why would you ever want to do that, I wonder
22:04:41 <shachaf> "maybe it was a command"
22:04:41 <Lumpio-> ...well to be honest I see what it did but I have no idea why
22:04:43 <Phantom_Hoover> @type traverse
22:04:44 <shachaf> know monqy
22:04:45 <lambdabot> (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b)
22:04:53 <shachaf> know monqy!
22:05:10 <monqy> @type partsOf
22:05:12 <lambdabot> Functor f => LensLike (Control.Lens.Internal.Bazaar a a) s t a a -> ([a] -> f [a]) -> s -> f t
22:05:35 <monqy> im glad everything in lens has a dumb type signature
22:05:44 <shachaf> "wow that type is old"
22:05:47 <Bike> everything is so clear now
22:05:48 <shachaf> "and outdated"
22:05:50 <shachaf> partsOf :: Functor f => LensLike (BazaarT a a f) s t a a -> LensLike f s t [a] [a]
22:06:51 <monqy> "if only i knew lens"
22:07:00 <monqy> maybe i should learn it!!!!!!!
22:07:14 <shachaf> monqy: "tbh idk if you can handle it"
22:07:23 <monqy> woops
22:07:38 <atriq> Okay, partsOf takes a Traversal and returns a Lens
22:07:57 <atriq> A Traversal is basically a traditional Haskell Traversable
22:08:00 <atriq> :t traverse
22:08:02 <lambdabot> (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b)
22:08:05 <shachaf> partsOf' :: LensLike (Bazaar a a) s t a a -> Lens s t [a] [a]
22:08:34 <shachaf> monqy: lens 3.6 is getting a new function called "upon"
22:08:38 <atriq> traverse is in base, AND in lens! And it's exactly the same thing!
22:08:42 <monqy> is upon good ?
22:08:51 <shachaf> monqy: no it's evil :'(
22:08:57 <monqy> I heard there's a function called "field" and it's evil
22:08:59 <shachaf> The deeply-nested version will be called uponTheDeep
22:09:06 <oerjan> shachaf: then it's only a matter of time before it gets "smite"
22:09:10 * oerjan sidles away carefully ->
22:09:10 <shachaf> monqy: "field" is now called "upon" :'(
22:09:14 <monqy> ah
22:09:23 <atriq> Anyway, a Traversal s t a b is Applicative f => (a -> f b) -> s -> f t
22:09:35 <shachaf> / s t a b atriq
22:09:42 <atriq> Oh no!
22:09:44 * atriq dies
22:14:46 <atriq> You can read a Traversal s t a b as something where if you can change an a into a b, you can change an s into a t, and also if you can turn a into a monoid, you can turn s into THE SAME MONOID!
22:15:12 <atriq> Pretty cool, huh?
22:15:25 <Vorpal> why does everything have to be single letters
22:15:41 <atriq> Because single letters make words
22:15:45 <atriq> Like "stab"
22:15:54 <Vorpal> I guess that is a good answer
22:16:17 <atriq> And also I can't think of long names
22:16:34 <shachaf> Traversal hi there monqy
22:16:36 <atriq> "Traversal collectionType1 collectionType2 elementType1 elementType2"?
22:16:44 <atriq> RIDICULOUS
22:16:49 <shachaf> Traversal source target alpha beta
22:18:14 <atriq> > partsOf both %~ reverse $ ('a','b')
22:18:16 <lambdabot> ('b','a')
22:18:42 <elliott> atriq: ew
22:18:47 <atriq> partsOf lets you use list functions on Traversals with a consistent element type
22:18:48 <elliott> partsOf :(
22:18:53 <Bike> okay, wait
22:18:59 <atriq> It's very good for overkilling like that
22:18:59 <Bike> > reverse $ ('a','b')
22:19:01 <lambdabot> Couldn't match expected type `[a0]' with actual type `(t0, t1)'
22:19:06 <Bike> geh.
22:19:08 <atriq> > swap ('a','b')
22:19:10 <lambdabot> ('b','a')
22:22:42 <shachaf> atriq: ghc doesn't inline reverse :-(
22:22:50 <shachaf> I mean that it doesn't turn reverse [a,b] into [b,a]
22:23:14 -!- AnotherTest has quit (Quit: Leaving.).
22:23:15 <shachaf> Which is to say, if you write unsafePartsOf both %~ (\[x,y] -> [y,x]), the code gets nicely optimized.
22:23:28 <shachaf> Even without unsafe
22:23:38 <shachaf> monqy: can you fix ghc's optimizer
22:23:56 <atriq> That assumes you know that it's being given a traversal with only two elements
22:24:08 <shachaf> atriq: You do.
22:24:15 <atriq> True, true
22:24:32 <shachaf> m_X1kK =
22:24:32 <shachaf> case reverse1
22:24:32 <shachaf> @ a_aRu
22:24:32 <shachaf> (:
22:24:32 <shachaf> @ a_aRu
22:24:34 <shachaf> (case w_s1mf of _ { (a4_a1e3, a'_a1e4) -> a4_a1e3 })
22:24:37 <shachaf> (:
22:24:39 <shachaf> @ a_aRu
22:24:42 <shachaf> (case w_s1mf of _ { (a4_a1e8, a'_a1e9) -> a'_a1e9 })
22:24:43 <atriq> Bit if I said "partsOf traverse %~ reverse"
22:24:44 <shachaf> ([] @ a_aRu)))
22:25:12 <atriq> > partsOf traverse %~ reverse $ Seq.fromList [1,2,3]
22:25:14 <lambdabot> fromList [3,2,1]
22:25:37 -!- impomatic has joined.
22:26:29 <atriq> I need to learn to read GHC Core
22:26:47 <shachaf> cabal install ghc-core
22:27:10 <shachaf> ghc-core --no-cast file.hs
22:27:14 <shachaf> Just learn to ignore everything
22:27:23 <shachaf> Ignore all the parts that have @s
22:27:32 <shachaf> Those are type arguments.
22:28:36 <shachaf> The trick to reading generated code is knowing what *not* to read.
22:29:21 -!- boily has quit (Quit: POULEEEEEEEEEEEET!).
22:32:02 -!- copumpkin has joined.
22:32:40 <kmc> you should just compile -fvia-C and read the C code instead
22:32:41 <kmc> obviously
22:33:54 <atriq> I was going to write a Haskell interpreter at one point
22:35:36 <monqy> were you
22:35:37 -!- jix has quit (Read error: Connection reset by peer).
22:35:42 <atriq> Yes
22:35:44 <atriq> Yes I was
22:35:47 -!- jix has joined.
22:35:50 <atriq> It was going to be called "PHI"
22:37:00 -!- oerjan has quit (Quit: Lost terminal).
22:40:44 <atriq> Portinatx Haskell Interpreter
22:42:01 -!- atriq has quit (Quit: Leaving).
22:43:41 -!- oerjan has joined.
22:55:54 <Sgeo__> I think that we should airlift nomic players to any nation that has just been through revolution, so maybe they can check for loopholes that allow power grabs.
22:56:37 <oerjan> i sense a sudden decrease in nomic player life expectancy
23:01:34 <Phantom_Hoover> yo elliott r you fortress
23:01:51 <elliott> no, should i
23:02:21 <Phantom_Hoover> yes!!
23:04:59 <Phantom_Hoover> also i just know you're going to do something dumb like embark on a terrifying glacier, don't do that
23:05:06 <Phantom_Hoover> well, if you do anything at all
23:05:22 <elliott> well i am busy playing crawl to an audience of 76 people right now
23:05:26 <elliott> sorry, 55 now
23:05:35 <elliott> now it's 9
23:05:46 <Phantom_Hoover> excellent
23:05:56 <Phantom_Hoover> projected time till it hits 0?
23:06:10 <Sgeo__> Infinite.
23:06:31 <elliott> it's still 9
23:06:42 <shachaf> 9 million?
23:06:49 <Phantom_Hoover> tell them to go away!
23:22:05 -!- impomatic has quit (Quit: http://BASICcomic.com).
23:27:39 <shachaf> elliott: "you're missing all the lens discussions"
23:27:45 <shachaf> "your chance to make history"
23:29:26 <elliott> what discussions
23:29:56 -!- Vorpal has quit (Ping timeout: 248 seconds).
23:31:32 <oerjan> they seem to have lost focus.
23:31:56 <shachaf> oerjan: Is this a pun?
23:32:01 <shachaf> Do you have a spy in our midst?
23:32:24 <oerjan> no comment.
23:32:47 <elliott> what discussions
23:32:57 <shachaf> oerjan: We're talking about renaming operations in .Zipper now
23:33:07 <elliott> oh
23:33:08 <shachaf> "focus" is one of the operations in .Zipper
23:33:13 <shachaf> This can't be a coïncidence.
23:33:14 <elliott> is the joke that it's in the secret lens channel
23:33:19 <elliott> that you won't tell me the name of if i ask
23:33:46 <shachaf> Yes I will?
23:34:35 <elliott> so that isn't the joke
23:34:42 <elliott> i did already ask yesterday iirc anyway
23:34:49 <shachaf> Oh.
23:34:52 <shachaf> It's #haskell-lens
23:36:22 <elliott> shachaf: this channel doesn't make any sense
23:36:42 <shachaf> elliott: It doesn't even have a topic!
23:47:12 <kmc> in Nagios, "output" means "first line of output", and "long output" means "other lines of output"
23:47:36 <shachaf> > let output = take 1 output in output
23:47:40 <lambdabot> mueval-core: Time limit exceeded
23:50:23 <Sgeo__> Fiora, elliott and monqy and Phantom_Hoover have been updated.
←2012-11-22 2012-11-23 2012-11-24→ ↑2012 ↑all