Mercurial > repo
comparison paste/paste.9857 @ 3521:2d8e2108cd57
<nooodl> pastelogs shachaf>.*:3
| author | HackBot |
|---|---|
| date | Thu, 29 Aug 2013 19:03:32 +0000 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 3520:6a8d0986841c | 3521:2d8e2108cd57 |
|---|---|
| 1 2011-12-20.txt:10:33:15: <shachaf> elliott: It's 02:32. | |
| 2 2012-01-07.txt:10:31:01: <shachaf> 13:30 -!- Irssi: Unknown command: cs | |
| 3 2012-01-09.txt:18:41:02: <shachaf> 21:37 < shachaf> rwbarton: Back in my day, reading a file *denoted* something! | |
| 4 2012-01-09.txt:18:41:02: <shachaf> 21:38 < conal> shachaf: :) | |
| 5 2012-01-10.txt:02:29:20: <shachaf> elliott: I have an appointment at 09:30. | |
| 6 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 | |
| 7 2012-03-08.txt:01:37:55: <shachaf> 17:37 -!- shachaf( Erroneous Nickname | |
| 8 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) | |
| 9 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) | |
| 10 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++ | |
| 11 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 | |
| 12 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 | |
| 13 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 | |
| 14 2012-04-14.txt:19:33:08: <shachaf> 12:31 < zhulikas> how can I force evaluation of something? | |
| 15 2012-04-14.txt:19:33:10: <shachaf> 12:32 < mcstar> $!, !, seq, deepseq? | |
| 16 2012-04-14.txt:19:33:14: <shachaf> 12:32 < zhulikas> thanks | |
| 17 2012-04-14.txt:19:33:19: <shachaf> 12:32 < zhulikas> :))) | |
| 18 2012-04-14.txt:19:34:17: <shachaf> 12:34 < reinoud> what does it mean with: Use `+RTS -Ksize -RTS' to increase it. | |
| 19 2012-04-14.txt:19:34:20: <shachaf> 12:34 < reinoud> ?? | |
| 20 2012-04-14.txt:19:34:24: <shachaf> 12:34 < rasfar> i'm in type constraint hell, can anyone help?!... | |
| 21 2012-04-27.txt:11:35:28: <shachaf> elliott: HOW IS IT 04:35 :-( | |
| 22 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 | |
| 23 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. | |
| 24 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. | |
| 25 2012-05-07.txt:07:38:42: <shachaf> 00:34 < dolio> You have to add an extra diagonal to it. | |
| 26 2012-06-08.txt:03:38:31: <shachaf> 20:38 elliott shachaf: Did you know: The OS X Terminal can't display dark grey? | |
| 27 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 | |
| 28 2012-07-27.txt:07:32:02: <shachaf> 00:31 <ion> you’re wachaf | |
| 29 2012-09-02.txt:03:40:25: <shachaf> kmc: 20:39 <@lexande_> hunpuns | |
| 30 2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> TODO: -- do I need to care about this? | |
| 31 2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> # Pipermail assumes that message bodies contain US-ASCII text. | |
| 32 2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> # Change this option to define a different character set to be used as | |
| 33 2012-09-04.txt:00:36:29: <SHACHAF> 17:33 <elliott> # the default character set for the archive. The term "character set" | |
| 34 2012-09-28.txt:00:35:25: <shachaf> 17:34 <jmcarthur> kmc left #haskell? | |
| 35 2012-09-28.txt:00:35:28: <shachaf> 17:35 <jmcarthur> :( | |
| 36 2012-10-13.txt:18:36:46: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too. | |
| 37 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" | |
| 38 2012-10-14.txt:00:38:32: <shachaf> 11:35 <shachaf> Unless you're Zeno. | |
| 39 2012-10-14.txt:00:38:35: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too. | |
| 40 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. | |
| 41 2012-10-14.txt:22:38:45: <shachaf> 15:35 <elliott> @get-shapr | |
| 42 2012-10-14.txt:22:38:45: <shachaf> 15:35 <lambdabot> shapr!! | |
| 43 2012-10-14.txt:22:38:45: <shachaf> 15:35 <elliott> it's not working | |
| 44 2012-10-14.txt:22:40:30: <shachaf> He's the one who 15:38 <shachaf> 15:35 <elliott> @get-shapr | |
| 45 2012-10-14.txt:23:35:51: <shachaf> 16:32 <ion> ಠ_ಠ | |
| 46 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" | |
| 47 2012-10-15.txt:04:37:07: <shachaf> 11:35 <shachaf> Unless you're Zeno. | |
| 48 2012-10-15.txt:04:37:10: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too. | |
| 49 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 | |
| 50 2012-10-21.txt:02:36:35: <shachaf> 19:36 <copumpkin> I just don't see the point | |
| 51 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 | |
| 52 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 | |
| 53 2012-11-26.txt:18:33:44: <shachaf> 10:31 <rwbarton> thachaf | |
| 54 2012-11-26.txt:18:33:45: <shachaf> 10:31 <shachaf> ywbarton | |
| 55 2012-12-10.txt:22:37:52: <shachaf> And now 14:32 <edwardk> man shachaf is the death of fun in #haskell ;) | |
| 56 2012-12-16.txt:10:53:05: <shachaf> 02:34 <elliott> what we need is some kind of constraint (MaybeUnify a b) | |
| 57 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 | |
| 58 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 | |
| 59 2013-01-07.txt:22:50:06: <shachaf> 14:35 <ais523> becaUSE INSTEAD OF YOUR SENTENCE LOOKING LIKE THIS | |
| 60 2013-01-07.txt:22:50:07: <shachaf> 14:35 <ais523> it l°ks like this | |
| 61 2013-01-14.txt:03:23:11: <shachaf> 12:37:53 <beaky> stacks ftw | |
| 62 2013-01-14.txt:03:23:15: <shachaf> 12:38:08 <Cale> beaky: GHC doesn't use a call stack | |
| 63 2013-01-14.txt:03:23:19: <shachaf> 12:38:43 <Cale> (but it does actually use a stack, just not for function applications) | |
| 64 2013-01-14.txt:03:23:22: <shachaf> 12:38:48 <beaky> ah | |
| 65 2013-01-14.txt:03:23:34: <shachaf> 12:39:22 <mauke> mcstar: that's still recursion :-) | |
| 66 2013-01-14.txt:03:23:34: <shachaf> 12:39:30 <beaky> recursion ftw | |
| 67 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? | |
| 68 2013-01-17.txt:20:14:27: <shachaf> :33 < don't be prepawsterous, Taneb. your theory n33ds work | |
| 69 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 | |
| 70 2013-01-24.txt:22:05:43: <shachaf> 20:59:32: <oerjan> <shachaf> `run sed -i s/dal/dahl/g wisdom/* | |
| 71 2013-02-03.txt:02:35:47: <shachaf> > (compare `on` void) (1:2:3:4:5:undefined) [10,20,30] | |
| 72 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" | |
| 73 2013-02-18.txt:13:36:17: <shachaf> 05:32 <shachaf> You provide an indexing and a non-indexing version of the operator. | |
| 74 2013-03-06.txt:04:14:51: <shachaf> :33 < it's purrty bad, Firoara | |
| 75 2013-03-24.txt:03:03:53: <shachaf> :33 < hi | |
| 76 2013-03-24.txt:03:04:01: <shachaf> :33 < I'm not very good at this. | |
| 77 2013-03-24.txt:03:05:09: <shachaf> !bfjoust :33 < hi | |
| 78 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. | |
| 79 2013-03-27.txt:06:00:35: <shachaf> 22:35 <KeithW> SHA-256: e74d0d323226046e402dd469a176075fc2013b69b0e67cea49762c957175df46 | |
| 80 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 | |
| 81 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. | |
| 82 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. | |
| 83 2013-04-14.txt:15:38:28: <shachaf> 08:36 <GOMADWarrior> what if there was a mmo game, a very cool one | |
| 84 2013-04-14.txt:15:38:29: <shachaf> 08:37 <pjb> Yes, what if? | |
| 85 2013-04-14.txt:15:38:29: <shachaf> 08:38 <GOMADWarrior> but it'd be in a browser | |
| 86 2013-04-14.txt:15:38:29: <shachaf> 08:38 <GOMADWarrior> with node.js | |
| 87 2013-04-14.txt:22:22:39: <shachaf> 05:34 <Botje> mushi: are you seriously expecting me to figure out _your_ problem like this? | |
| 88 2013-04-14.txt:22:22:48: <shachaf> 05:34 <Botje> mushi: go to bed, take another look tomorrow. | |
| 89 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? | |
| 90 2013-04-25.txt:10:14:19: <shachaf> 19:36 <elliott> @tell ais523 is the "Disallow" action somehow preventing the "Block" action? | |
| 91 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) | |
| 92 2013-05-13.txt:03:53:22: <shachaf> 04:12:31 <copumpkin> oh kmc is younger than I thought he was | |
| 93 2013-05-13.txt:03:53:22: <shachaf> 04:12:38 <kmc> heh how old do i seem | |
| 94 2013-05-16.txt:18:39:24: <shachaf> 11:38 -replies: Ignore replies to nick in channels. For example | |
| 95 2013-05-16.txt:18:39:24: <shachaf> 11:38 "/IGNORE -replies *!*@*.fi PUBLIC" ignores everyone | |
| 96 2013-05-16.txt:18:39:24: <shachaf> 11:38 from Finland, but also anyone sending message | |
| 97 2013-05-16.txt:18:39:24: <shachaf> 11:38 "tofinnishnick: blahblah". | |
| 98 2013-05-23.txt:20:54:42: <shachaf> 13:32 <Taneb> I need something to doooooo | |
| 99 2013-06-16.txt:21:46:22: <shachaf> 2008-06-23.txt:22:34:12: <oerjan> tusho: ITYM "IIRC FTW". HTH. | |
| 100 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". | |
| 101 2013-06-19.txt:00:03:12: <shachaf> what does ":3" even mean | |
| 102 2013-06-20.txt:03:53:50: <shachaf> 17:33 -!- mode/#haskell [+o elliott] by ChanServ | |
| 103 2013-06-20.txt:03:53:50: <shachaf> 17:33 -!- fwe was kicked from #haskell by elliott [fwe] | |
| 104 2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [+b *!*ssjsj@31.205.67.*] by elliott | |
| 105 2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [-o shachaf] by elliott | |
| 106 2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [-o elliott] by elliott | |
| 107 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. | |
| 108 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. | |
| 109 2013-07-15.txt:00:37:24: <shachaf> 17:36 <kmc> BIIIIKE | |
| 110 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 | |
| 111 2013-08-13.txt:23:49:42: <shachaf> it looks like it's more like :35bux: |