2011-12-20.txt:10:33:15: <shachaf> elliott: It's 02:32.
2012-01-07.txt:10:31:01: <shachaf> 13:30 -!- Irssi: Unknown command: cs
2012-01-09.txt:18:41:02: <shachaf> 21:37 < shachaf> rwbarton: Back in my day, reading a file *denoted* something!
2012-01-09.txt:18:41:02: <shachaf> 21:38 < conal> shachaf: :)
2012-01-10.txt:02:29:20: <shachaf> elliott: I have an appointment at 09:30.
2012-01-27.txt:13:05:01: <shachaf> 19:38:03 <Philippa> tigger: for what it's worth, it's a more than fair question to have :-) Just the sort of thing that needs an even smarter type system than Haskell's, or a less safe one
2012-03-08.txt:01:37:55: <shachaf> 17:37 -!- shachaf( Erroneous Nickname
2012-03-13.txt:05:16:31: <shachaf> 22:16 -NickServ(NickServ@services.)- Registered : Apr 29 23:37:31 2009 (2 years, 45 weeks, 3 days, 05:38:45 ago)
2012-03-13.txt:05:16:37: <shachaf> 22:16 -NickServ(NickServ@services.)- Registered : Jul 03 22:30:48 2004 (7 years, 36 weeks, 2 days, 06:45:31 ago)
2012-04-02.txt:23:34:00: <shachaf> elliott: 16:32 < johannes__> who here thinks that haskell is one of the best languages. I do have one problem, it is not good for game development . do any of you know what the best language is other than c++
2012-04-14.txt:02:45:03: <shachaf> Apr 13 19:43:30 carbon avahi-autoipd(wlan0)[7970]: Callout BIND, address 169.254.9.114 on interface wlan0
2012-04-14.txt:02:45:06: <shachaf> Apr 13 19:43:34 carbon avahi-autoipd(wlan0)[7970]: Successfully claimed IP address 169.254.9.114
2012-04-14.txt:09:08:25: <shachaf> 01:39 < cppbot> pon pon way way way pon pon way pon way pon - way way pon pon pon way way pon way pon way way
2012-04-14.txt:19:33:08: <shachaf> 12:31 < zhulikas> how can I force evaluation of something?
2012-04-14.txt:19:33:10: <shachaf> 12:32 < mcstar> $!, !, seq, deepseq?
2012-04-14.txt:19:33:14: <shachaf> 12:32 < zhulikas> thanks
2012-04-14.txt:19:33:19: <shachaf> 12:32 < zhulikas> :)))
2012-04-14.txt:19:34:17: <shachaf> 12:34 < reinoud> what does it mean with: Use `+RTS -Ksize -RTS' to increase it.
2012-04-14.txt:19:34:20: <shachaf> 12:34 < reinoud>  ??
2012-04-14.txt:19:34:24: <shachaf> 12:34 < rasfar> i'm in type constraint hell, can anyone help?!...
2012-04-27.txt:11:35:28: <shachaf> elliott: HOW IS IT 04:35 :-(
2012-05-03.txt:05:49:51: <shachaf> 11:38 < elliott> 19:18 <elliott> 08:05:37: <monqy> Patashu: http://dl.dropbox.com/u/13786158/shachaf.png http://dl.dropbox.com/u/13786158/eliot.png
2012-05-07.txt:07:38:35: <shachaf> 00:33 < dolio> The reason is, I guess, that Left (n, n) is the same as Right n, and Left (m, n) is the same as Left (n, m), so there are two of every thing you want to make into one element.
2012-05-07.txt:07:38:38: <shachaf> 00:34 < dolio> You can't just divide Nat * Nat by 2, though, because there is only one of each of the diagonal.
2012-05-07.txt:07:38:42: <shachaf> 00:34 < dolio> You have to add an extra diagonal to it.
2012-06-08.txt:03:38:31: <shachaf> 20:38  elliott  shachaf: Did you know: The OS X Terminal can't display dark grey?
2012-06-29.txt:03:37:47: <shachaf> 20:37 <zzo38> edwardk: Do you know what I was writing about above? Maybe you know, nobody else responded and neither did you
2012-07-27.txt:07:32:02: <shachaf> 00:31 <ion> you’re wachaf
2012-09-02.txt:03:40:25: <shachaf> kmc: 20:39 <@lexande_> hunpuns
2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> TODO: -- do I need to care about this?
2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> # Pipermail assumes that message bodies contain US-ASCII text.
2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> # Change this option to define a different character set to be used as
2012-09-04.txt:00:36:29: <SHACHAF> 17:33 <elliott> # the default character set for the archive.  The term "character set"
2012-09-28.txt:00:35:25: <shachaf> 17:34 <jmcarthur> kmc left #haskell?
2012-09-28.txt:00:35:28: <shachaf> 17:35 <jmcarthur> :(
2012-10-13.txt:18:36:46: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too.
2012-10-14.txt:00:38:26: <shachaf> 11:34 <ousado> I found this to be a very nice informal intro: "Some of the best things in life are free; and some are not. Truth is free. Having proved a theorem, you may use this proof as many times as you wish, at no extra cost. Food, on the other hand, has a cost. Having baked a cake, you may eat it only once. If traditional logic is about truth, then linear logic is about food"
2012-10-14.txt:00:38:32: <shachaf> 11:35 <shachaf> Unless you're Zeno.
2012-10-14.txt:00:38:35: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too.
2012-10-14.txt:17:10:18: <shachaf> 10:31 <shachaf> cmccann: I like the part where «foo would just be a special case» could either mean that you implement unusual behavior for foo or that you don't.
2012-10-14.txt:22:38:45: <shachaf> 15:35 <elliott> @get-shapr
2012-10-14.txt:22:38:45: <shachaf> 15:35 <lambdabot> shapr!!
2012-10-14.txt:22:38:45: <shachaf> 15:35 <elliott> it's not working
2012-10-14.txt:22:40:30: <shachaf> He's the one who 15:38 <shachaf> 15:35 <elliott> @get-shapr
2012-10-14.txt:23:35:51: <shachaf> 16:32 <ion> ಠ_ಠ
2012-10-15.txt:04:37:01: <shachaf> 11:34 <ousado> I found this to be a very nice informal intro: "Some of the best things in life are free; and some are not. Truth is free. Having proved a theorem, you may use this proof as many times as you wish, at no extra cost. Food, on the other hand, has a cost. Having baked a cake, you may eat it only once. If traditional logic is about truth, then linear logic is about food"
2012-10-15.txt:04:37:07: <shachaf> 11:35 <shachaf> Unless you're Zeno.
2012-10-15.txt:04:37:10: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too.
2012-10-17.txt:22:38:36: <shachaf> 15:38 <elliott> <shachaf> 15:07 <byorgey> shachaf: once upon a time I had this idea that log corresponded to "paths" in data structures
2012-10-21.txt:02:36:35: <shachaf> 19:36 <copumpkin> I just don't see the point
2012-11-11.txt:04:14:20: <shachaf> 19:22:37 <kmc> i'll take a moment to plug my tiny thread library: http://hackage.haskell.org/packages/archive/spawn/0.2/doc/html/Control-Concurrent-Spawn.html
2012-11-25.txt:09:41:36: <shachaf> @ask elliott 01:41 <fizzie> logs/freenode/#esoteric/2010-01.log:[2010-01-06 00:31:45] <ehird> everyone should preemptively add http://ehird.blogspot.com/ to their feed readers because i am awesome
2012-11-26.txt:18:33:44: <shachaf> 10:31 <rwbarton> thachaf
2012-11-26.txt:18:33:45: <shachaf> 10:31 <shachaf> ywbarton
2012-12-10.txt:22:37:52: <shachaf> And now 14:32 <edwardk> man shachaf is the death of fun in #haskell ;)
2012-12-16.txt:10:53:05: <shachaf> 02:34 <elliott> what we need is some kind of constraint (MaybeUnify a b)
2012-12-18.txt:00:46:53: <shachaf> 00:10:35 <shubshub> I should make a Language that only sometimes works :D ill call it MaybeNumericBatch
2013-01-02.txt:04:38:16: <shachaf> 20:37 <lensbot> lens/master 98245d6 Edward Kmett: more generalization, because that last patch wasn't general enough
2013-01-07.txt:22:50:06: <shachaf> 14:35 <ais523> becaUSE INSTEAD OF YOUR SENTENCE LOOKING LIKE THIS
2013-01-07.txt:22:50:07: <shachaf> 14:35 <ais523> it l°ks like this
2013-01-14.txt:03:23:11: <shachaf> 12:37:53 <beaky> stacks ftw
2013-01-14.txt:03:23:15: <shachaf> 12:38:08 <Cale> beaky: GHC doesn't use a call stack
2013-01-14.txt:03:23:19: <shachaf> 12:38:43 <Cale> (but it does actually use a stack, just not for function applications)
2013-01-14.txt:03:23:22: <shachaf> 12:38:48 <beaky> ah
2013-01-14.txt:03:23:34: <shachaf> 12:39:22 <mauke> mcstar: that's still recursion :-)
2013-01-14.txt:03:23:34: <shachaf> 12:39:30 <beaky> recursion ftw
2013-01-16.txt:01:18:59: <shachaf> haskell/12.12.22:01:09:30 <beaky> All programming languages were born to solve a problem. C was invented to port the UNIX operating system. Perl was designed as an awk killer to efficiently process text. Javascript was designed to implement interactive webpages. What was Haskell born to do?
2013-01-17.txt:20:14:27: <shachaf> :33 < don't be prepawsterous, Taneb. your theory n33ds work
2013-01-21.txt:23:48:05: <HackEgo> 23:44:47: <shachaf> monqy: no!! it's about uh clojure \ 23:45:02: <monqy> are you confusing me for sgeo. i don't know clojure........ \ 23:45:34: <shachaf> do you know lens......... \ 23:45:39: <monqy> : ) \ 23:45:54: <shachaf> : ) \ 23:46:01: <ion> : ) \ 23:47:45: <shachaf>  ion knows lens. \ 23:48:27: <shachaf> (If I start a line with a space it 
2013-01-24.txt:22:05:43: <shachaf> 20:59:32: <oerjan> <shachaf> `run sed -i s/dal/dahl/g wisdom/*
2013-02-03.txt:02:35:47: <shachaf> > (compare `on` void) (1:2:3:4:5:undefined) [10,20,30]
2013-02-08.txt:06:35:33: <shachaf> 22:30 <lexande> sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski"
2013-02-18.txt:13:36:17: <shachaf> 05:32 <shachaf> You provide an indexing and a non-indexing version of the operator.
2013-03-06.txt:04:14:51: <shachaf> :33 < it's purrty bad, Firoara
2013-03-24.txt:03:03:53: <shachaf> :33 < hi
2013-03-24.txt:03:04:01: <shachaf> :33 < I'm not very good at this.
2013-03-24.txt:03:05:09: <shachaf> !bfjoust :33 < hi
2013-03-27.txt:00:35:47: <shachaf> 17:35 <Cale> Shin-LaC: Really, it doesn't work differently. There are just some local bindings in scope and some Prelude definitions are hidden.
2013-03-27.txt:06:00:35: <shachaf> 22:35 <KeithW> SHA-256: e74d0d323226046e402dd469a176075fc2013b69b0e67cea49762c957175df46
2013-03-30.txt:02:35:27: <shachaf> 19:35 <sorear> parcs: for instance, we still don't know whether \pi + e is rational or not
2013-04-02.txt:23:51:11: <shachaf>         23:36 <ddarius> shachaf: Awodey's book and/or Barr and Wells' ESSLLI lecture notes to start.
2013-04-13.txt:20:39:46: <shachaf> 13:39 <edwardk> applicative, ski: equivalent doesn't mean equally useful. Twan's version keeps the 'next' 'f' in the free applicative that you need for interpretation  exposed without recursion. Oerjan's requires you to walk uselessly over n levels to get to it.
2013-04-14.txt:15:38:28: <shachaf> 08:36 <GOMADWarrior> what if there was a mmo game, a very cool one
2013-04-14.txt:15:38:29: <shachaf> 08:37 <pjb> Yes, what if?
2013-04-14.txt:15:38:29: <shachaf> 08:38 <GOMADWarrior> but it'd be in a browser
2013-04-14.txt:15:38:29: <shachaf> 08:38 <GOMADWarrior> with node.js
2013-04-14.txt:22:22:39: <shachaf> 05:34 <Botje> mushi: are you seriously expecting me to figure out _your_ problem like this?
2013-04-14.txt:22:22:48: <shachaf> 05:34 <Botje> mushi: go to bed, take another look tomorrow.
2013-04-25.txt:07:11:46: <shachaf> 23:36 <shachaf> the puzzle is: how many "8" shapes (let's say that an 8 shape is two circles tangent to each other) can you fit on the real plane?
2013-04-25.txt:10:14:19: <shachaf> 19:36 <elliott> @tell ais523 is the "Disallow" action somehow preventing the "Block" action?
2013-04-25.txt:10:14:22: <shachaf> 19:36 <elliott> @tell ais523 maybe it's only meant to have the latter or something (see AbuseLog)
2013-05-13.txt:03:53:22: <shachaf> 04:12:31 <copumpkin> oh kmc is younger than I thought he was
2013-05-13.txt:03:53:22: <shachaf> 04:12:38 <kmc> heh how old do i seem
2013-05-16.txt:18:39:24: <shachaf> 11:38     -replies: Ignore replies to nick in channels. For example
2013-05-16.txt:18:39:24: <shachaf> 11:38               "/IGNORE -replies *!*@*.fi PUBLIC" ignores everyone
2013-05-16.txt:18:39:24: <shachaf> 11:38               from Finland, but also anyone sending message
2013-05-16.txt:18:39:24: <shachaf> 11:38               "tofinnishnick: blahblah".
2013-05-23.txt:20:54:42: <shachaf> 13:32 <Taneb> I need something to doooooo
2013-06-16.txt:21:46:22: <shachaf> 2008-06-23.txt:22:34:12: <oerjan> tusho: ITYM "IIRC FTW". HTH.
2013-06-16.txt:21:46:55: <shachaf> 2008-08-10.txt:12:32:43: <fizzie> Mostly used in the construction "ITYM 'foo' HTH HAND".
2013-06-19.txt:00:03:12: <shachaf> what does ":3" even mean
2013-06-20.txt:03:53:50: <shachaf> 17:33 -!- mode/#haskell [+o elliott] by ChanServ
2013-06-20.txt:03:53:50: <shachaf> 17:33 -!- fwe was kicked from #haskell by elliott [fwe]
2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [+b *!*ssjsj@31.205.67.*] by elliott
2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [-o shachaf] by elliott
2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [-o elliott] by elliott
2013-07-09.txt:22:43:23: <shachaf> haskell/13.05.02:09:06:34 <mike4_> please check that link that gives an extensive critique on FUNCTIONAL PROGRAMMING.
2013-07-09.txt:22:45:43: <shachaf> haskell/13.04.24:11:58:35 <philosophy> hi, i thought programming was about solving peoples problems, instead of creating more.
2013-07-15.txt:00:37:24: <shachaf> 17:36 <kmc> BIIIIKE
2013-08-02.txt:03:09:04: <shachaf> 06:30:59 <sclv_> @remember knuth To help the reader drowning in a sea of abstraction, the following example may serve as a concrete life preserver
2013-08-13.txt:23:49:42: <shachaf> it looks like it's more like :35bux: