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