2014-06-06 22:47:07 +0000ircbrowse(~chrisdone@unaffiliated/chrisdone)
2014-06-06 22:47:53 +0000 <ircbrowse> :-)
2014-06-06 22:50:16 +0000 <chirpsalot> :)
2014-06-06 22:50:29 +0000 <bitemyapp> ircbrowse: :)
2014-06-06 22:50:33 +0000 <bitemyapp> ircbrowse: <3
2014-06-06 22:50:54 +0000luz1e(~lu.cy@unaffiliated/ne)
2014-06-06 22:53:41 +0000genisage(~charles@static-173-55-8-149.lsanca.fios.verizon.net)
2014-06-06 22:57:08 +0000 <chirpsalot> :O
2014-06-06 22:57:10 +0000 <chirpsalot> <3
2014-06-06 22:57:54 +0000mausch(b5a833d1@gateway/web/freenode/ip.181.168.51.209)
2014-06-06 22:58:52 +0000mausch(b5a833d1@gateway/web/freenode/ip.181.168.51.209) (Client Quit)
2014-06-06 22:59:24 +0000 <bitemyapp> chirpsalot: are you CD?
2014-06-06 23:02:22 +0000 <chirpsalot> bitemyapp: what does that mean?
2014-06-06 23:02:25 +0000 <chirpsalot> Probably not?
2014-06-06 23:02:41 +0000 <bitemyapp> chirpsalot: k, that's a no.
2014-06-06 23:02:49 +0000 <bitemyapp> chirpsalot: I was wondering if you were the person I asked to bring ircbrowse here :)
2014-06-06 23:02:55 +0000 <chirpsalot> bitemyapp: :D
2014-06-06 23:03:02 +0000 <chirpsalot> bitemyapp: nope, nope I am not.
2014-06-06 23:03:05 +0000 <bitemyapp> chirpsalot: ircbrowse [~chrisdone@unaffiliated/chrisdone]
2014-06-06 23:03:16 +0000 <chirpsalot> bitemyapp: ooooh.
2014-06-06 23:03:17 +0000 <bitemyapp> chirpsalot: well, welcome. What brings you here?
2014-06-06 23:03:29 +0000 <chirpsalot> bitemyapp: you mentioned the channel in #haskell.
2014-06-06 23:03:38 +0000 <bitemyapp> chirpsalot: cool, you a learner or looking to help?
2014-06-06 23:03:38 +0000 <chirpsalot> And then I appeared.
2014-06-06 23:03:47 +0000 <chirpsalot> bitemyapp: maybe both?
2014-06-06 23:04:26 +0000 <bitemyapp> the best sort. Cool :)
2014-06-06 23:04:44 +0000oscarvarto(~oscarvart@187.193.105.252) (Quit: oscarvarto)
2014-06-06 23:07:33 +0000 <chirpsalot> bitemyapp: yeah! I don't know how busy this channel is, but I guess I might know enough to answer a question or two.
2014-06-06 23:07:44 +0000chirpsalothas been dabbling in Haskell for a long time.
2014-06-06 23:07:54 +0000 <chirpsalot> Never done enough, though :|.
2014-06-06 23:08:01 +0000 <chirpsalot> Working on that this summer :).
2014-06-06 23:08:45 +0000 <bitemyapp> chirpsalot: awesome. Yeah, I'd learned a bit long ago, but never really got a proper understanding.
2014-06-06 23:14:25 +0000oscarvarto(~oscarvart@187.193.105.252)
2014-06-06 23:18:15 +0000 <bitemyapp> kini: I didn't know you were in Austin!
2014-06-06 23:18:43 +0000 <kini> bitemyapp: I'm not! I'm in Portland for the summer :)
2014-06-06 23:18:48 +0000 <bitemyapp> kini: does a comathematician consume proofs and produce caffeine?
2014-06-06 23:18:56 +0000 <bitemyapp> a studious coffee-brewer?
2014-06-06 23:19:01 +0000 <kini> nope, a comathematician consumes cotheorems and produces ffee
2014-06-06 23:19:12 +0000 <bitemyapp> LOL
2014-06-06 23:19:14 +0000 <kini> I have been asked what on earth ffee is, and whether I can really produce it or not
2014-06-06 23:19:21 +0000 <kini> my stance is, show me a cotheorem and then we'll talk
2014-06-06 23:19:26 +0000bitemyappapplause
2014-06-06 23:19:41 +0000shelf(~bnc@unaffiliated/shelf)
2014-06-06 23:19:43 +0000 <bitemyapp> cotheorem - because category theory wasn't meta enough.
2014-06-06 23:20:01 +0000 <kini> (for others in the channel, my twitter handle is @ffee_machine ;) )
2014-06-06 23:20:02 +0000 <kini> hi shelf
2014-06-06 23:20:03 +0000 <bitemyapp> too good. I have to get ready for a code golf competition now.
2014-06-06 23:20:11 +0000 <bitemyapp> cheers :)
2014-06-06 23:20:16 +0000 <kini> have fun!
2014-06-06 23:20:33 +0000 <GrooveStomp> Q: Do you guys use Emacs or Vim ... or something else? (Not looking to flame, just curious for tooling.)
2014-06-06 23:20:47 +0000 <genisage> vim on linux, notepad++ on windows
2014-06-06 23:21:13 +0000 <bitemyapp> GrooveStomp: Emacs and vim mostly.
2014-06-06 23:21:18 +0000 <bitemyapp> mostly Emacs.
2014-06-06 23:21:37 +0000 <kini> emacs here, primarily because everyone told me a couple years ago that emacs was the thing to use for haskell, coq, agda, acl2, nntp, org, etc.
2014-06-06 23:21:38 +0000 <GrooveStomp> @romanandreg has a wicked Haskell Emacs setup.
2014-06-06 23:21:39 +0000 <lambdabot> Unknown command, try @list
2014-06-06 23:21:41 +0000 <kini> and I believed them
2014-06-06 23:21:41 +0000 <genisage> I recommend ed though
2014-06-06 23:22:08 +0000 <GrooveStomp> Roman (@romanandreg) has a wicked Haskell Emacs setup.
2014-06-06 23:22:30 +0000 <GrooveStomp> I've dabbled in both Emacs and Vim... Currently using Vim, but am really tempted to hop back to Emacs.
2014-06-06 23:22:39 +0000 <GrooveStomp> I am afraid of Ed. :-)
2014-06-06 23:22:54 +0000 <kini> I use evil-mode to get a good portion of the benefits of vim within emacs
2014-06-06 23:23:10 +0000 <GrooveStomp> kini: That's what I did last time, and what @romanandreg does, too.
2014-06-06 23:23:26 +0000 <genisage> Then I recommend writing your code in paint and using an ocr program to put it into a source file
2014-06-06 23:24:00 +0000 <kini> unfortunately some tools don't play well with it - for example in haskell-mode in GUI emacs, backspace deletes text even in evil's normal state (whereas it's supposed to just move the cursor to the left)
2014-06-06 23:24:01 +0000 <GrooveStomp> genisage: makes sense.
2014-06-06 23:24:07 +0000 <GrooveStomp> genisage: Doesn't GHC do that already? :-)
2014-06-06 23:24:27 +0000 <kini> structured-haskell-mode also wants to completely rebind RET, which evil-mode probably doesn't like (at least, *something* screws up shm hardcore when I try to use it)
2014-06-06 23:25:01 +0000 <kini> ok, I'm off to meet edwin brady :) see y'all
2014-06-06 23:25:09 +0000 <genisage> bye
2014-06-06 23:25:10 +0000 <GrooveStomp> kini: Interesting. I thin I encountered something similar, but can't remember the specifics. For that reason I'm thinking I'd just learn regular Emacs commands and forget evil-mode.
2014-06-06 23:25:13 +0000 <GrooveStomp> Bye!
2014-06-06 23:27:45 +0000jomg(~johannes@95-91-251-79-dynip.superkabel.de) ()
2014-06-06 23:29:45 +0000 <shelf> hey kini
2014-06-06 23:29:51 +0000 <shelf> brazenly followed your tweet yes
2014-06-06 23:32:52 +0000 <kini> o
2014-06-06 23:33:21 +0000 <kini> (I guess I'll hang around for a few more minutes after all)
2014-06-06 23:33:40 +0000 <kini> GrooveStomp: yeah I was thinking I might do the same. Though probably any issues can be resolved by a little customization of evil-mode
2014-06-06 23:34:10 +0000 <kini> shelf: nice to "meet" you finally
2014-06-06 23:34:10 +0000 <kini> (I guess talking on IRC is marginally closer to being face-to-face than talking on twitter, lol)
2014-06-06 23:36:36 +0000 <shelf> heh
2014-06-06 23:36:44 +0000 <shelf> u2 m8
2014-06-06 23:36:50 +0000 <shelf> enjoying pdx?
2014-06-06 23:37:38 +0000 <shelf> lucky to have an audience with edwin!
2014-06-06 23:43:59 +0000 <kini> yup! I'm from the pdx area originally so it's nice to be back home for the summer
2014-06-06 23:44:32 +0000deweyvm(~dewey@unaffiliated/moops)
2014-06-06 23:46:01 +0000 <shelf> nice.
2014-06-06 23:46:15 +0000 <shelf> OPLSS is the first time i'll visit oregon i think
2014-06-06 23:55:29 +0000genisage(~charles@static-173-55-8-149.lsanca.fios.verizon.net) (Remote host closed the connection)
2014-06-07 00:35:05 +0000jfischoff(~jfischoff@corp.imvu.com) (Quit: jfischoff)
2014-06-07 00:50:41 +0000Or1(~ori@c-24-131-33-106.hsd1.ga.comcast.net) (Ping timeout: 264 seconds)
2014-06-07 00:58:17 +0000 <ReinH> Oh more pdx people awesome
2014-06-07 01:17:02 +0000Or1(~ori@c-24-131-33-106.hsd1.ga.comcast.net)
2014-06-07 02:12:39 +0000genisage(~genisage@host-134-71-140-45.allocated.csupomona.edu)
2014-06-07 02:22:09 +0000 <akurilin> What kind of abstractions are there in haskell for dealing with tree in Haskell? As in, I have a JSON tree of heterogenous nodes and it'd be cool if there was a unified way of navigating through that tree
2014-06-07 02:24:21 +0000 <genisage> there's data.Tree
2014-06-07 02:26:38 +0000 <akurilin> hm I could wrap each node type in a Tree, that's a thing
2014-06-07 02:28:33 +0000oscarvarto(~oscarvart@187.193.105.252) (Quit: oscarvarto)
2014-06-07 02:40:25 +0000oscarvarto(~oscarvart@187.193.105.252)
2014-06-07 02:52:52 +0000 <akurilin> Ok I'm back to where I was a month ago trying to parse a JSON tree into a tree of sum types