Mercurial > repo
comparison paste/paste.26557 @ 2960:fa0aa602a819
<boily> pastelogs shachaf
author | HackBot |
---|---|
date | Tue, 28 May 2013 12:23:16 +0000 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
2959:abd25e4a08a8 | 2960:fa0aa602a819 |
---|---|
1 2008-06-21.txt:21:41:06: -!- shachaf has joined #esoteric. | |
2 2008-06-23.txt:12:04:35: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
3 2008-06-23.txt:12:10:06: -!- shachaf has joined #esoteric. | |
4 2008-06-23.txt:12:22:52: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
5 2008-06-23.txt:12:23:09: -!- shachaf has joined #esoteric. | |
6 2008-06-23.txt:13:04:00: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
7 2008-06-23.txt:13:07:20: -!- shachaf has joined #esoteric. | |
8 2008-06-25.txt:02:40:50: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
9 2008-06-25.txt:02:41:20: -!- shachaf has joined #esoteric. | |
10 2008-06-25.txt:05:13:32: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
11 2008-06-25.txt:05:13:52: -!- shachaf has joined #esoteric. | |
12 2008-06-25.txt:18:02:00: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
13 2008-06-25.txt:18:02:35: -!- shachaf has joined #esoteric. | |
14 2008-06-25.txt:18:03:13: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
15 2008-06-25.txt:18:03:38: -!- shachaf has joined #esoteric. | |
16 2008-06-27.txt:08:35:04: -!- shachaf has quit (Remote closed the connection). | |
17 2008-06-27.txt:08:35:09: -!- shachaf has joined #esoteric. | |
18 2008-06-27.txt:18:03:06: <tusho> AAA_AAA ais523 AnMaster atsampson augur bsmntbombdood cctoide cherez clog Corun Deewiant Dewi fizzie ihope Ilari jamesstanley Judofyr lament lifthras1ir mtve oklopol Polar puzzlet RodgerTheGreat sebbu sekhmet Sgeo shachaf SimonRC Slereah_ timotiis tusho | |
19 2008-07-01.txt:08:38:09: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
20 2008-07-01.txt:08:39:08: -!- shachaf has joined #esoteric. | |
21 2008-07-10.txt:13:05:34: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
22 2008-07-10.txt:13:08:22: -!- shachaf has joined #esoteric. | |
23 2008-07-11.txt:06:12:16: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
24 2008-07-11.txt:06:18:28: -!- shachaf has joined #esoteric. | |
25 2008-07-20.txt:20:12:32: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
26 2008-07-20.txt:20:13:31: -!- shachaf has joined #esoteric. | |
27 2008-07-23.txt:23:06:01: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
28 2008-07-23.txt:23:06:11: -!- shachaf has joined #esoteric. | |
29 2008-07-30.txt:00:38:44: -!- shachaf has quit (Read error: 104 (Connection reset by peer)). | |
30 2008-07-30.txt:00:38:46: -!- shachaf has joined #esoteric. | |
31 2008-07-31.txt:12:07:16: -!- shachaf has quit (Read error: 104 (Connection reset by peer)). | |
32 2008-07-31.txt:12:07:20: -!- shachaf has joined #esoteric. | |
33 2008-08-05.txt:16:54:11: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
34 2008-08-05.txt:17:03:12: -!- shachaf has joined #esoteric. | |
35 2008-08-06.txt:15:34:41: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
36 2008-08-06.txt:15:39:32: -!- shachaf has joined #esoteric. | |
37 2008-08-08.txt:23:46:19: -!- shachaf has quit (clarke.freenode.net irc.freenode.net). | |
38 2008-08-08.txt:23:48:43: -!- shachaf has joined #esoteric. | |
39 2008-08-09.txt:10:06:29: -!- shachaf has quit (Read error: 104 (Connection reset by peer)). | |
40 2008-08-23.txt:20:29:13: -!- shachaf has joined #esoteric. | |
41 2008-09-04.txt:07:19:47: -!- shachaf has quit (Remote closed the connection). | |
42 2011-01-04.txt:16:25:35: -!- shachaf has joined #esoteric. | |
43 2011-01-04.txt:16:27:32: <shachaf> Relax, people. I deal with esoteric languages all the time. | |
44 2011-01-04.txt:16:27:46: <shachaf> Today I'll probably be doing something with C++, for instance. | |
45 2011-01-04.txt:16:28:07: <Silvah> shachaf: seconded | |
46 2011-01-04.txt:16:28:45: <shachaf> Cale: What, lambdabot doesn't support hot reloading of the startup code? :-) | |
47 2011-01-04.txt:16:28:57: <shachaf> elliott: Was that bug fixed? | |
48 2011-01-04.txt:16:29:08: <elliott> shachaf: What bug? | |
49 2011-01-04.txt:16:29:19: <shachaf> ?where+ bug ?where haskell | |
50 2011-01-04.txt:16:29:27: <shachaf> Wait, she's not even in here. | |
51 2011-01-04.txt:16:29:40: <elliott> shachaf: I doubt she responds to herself. | |
52 2011-01-04.txt:16:29:48: <elliott> shachaf: But, er, if that works then yes, there is slight cause for concern. | |
53 2011-01-04.txt:16:29:54: <shachaf> elliott: Yes, you need two lambdabots for that to work. | |
54 2011-01-04.txt:16:30:07: <elliott> shachaf: Say hello to EgoBot, HackEgo, and fungot. | |
55 2011-01-04.txt:16:30:28: <Cale> shachaf: It was a different change I wanted to make (the flags for running mueval) | |
56 2011-01-04.txt:16:30:37: <shachaf> Cale: Ah. | |
57 2011-01-04.txt:16:31:36: <shachaf> @unlambda `.xv | |
58 2011-01-04.txt:16:31:46: <shachaf> Ah, lambadbot belongs here after all. | |
59 2011-01-04.txt:16:31:57: <Vorpal> shachaf, how so? | |
60 2011-01-04.txt:16:32:07: <shachaf> Vorpal: Well, @bf and @unlambda. | |
61 2011-01-04.txt:16:32:14: <shachaf> Maybe that's not esoteric enough for this channel, though. | |
62 2011-01-04.txt:16:32:14: <Vorpal> shachaf, right | |
63 2011-01-04.txt:16:32:26: <elliott> shachaf: EgoBot already does those! :-P | |
64 2011-01-04.txt:16:32:26: <shachaf> > text "hello" | |
65 2011-01-04.txt:16:32:41: <shachaf> Cale: mueval is broken. | |
66 2011-01-04.txt:16:32:54: <elliott> shachaf: So is the Brainfuck 8-bit, 16-bit, bignum? Left-infinite or right-infinite tape? What EOF convention? (Any input?) | |
67 2011-01-04.txt:16:33:05: <shachaf> @version | |
68 2011-01-04.txt:16:33:06: <elliott> shachaf: Do c and d interact properly in the Unlambda? | |
69 2011-01-04.txt:16:33:23: <shachaf> Clearly lambdabot should support Lazy K instead of unlambda. | |
70 2011-01-04.txt:16:33:30: <elliott> shachaf: I approve. | |
71 2011-01-04.txt:16:35:32: <shachaf> elliott: In the main directory. | |
72 2011-01-04.txt:16:36:42: <shachaf> It should support http://samuelhughes.com/boof/ | |
73 2011-01-04.txt:16:37:00: <elliott> shachaf: It should support every language on http://esolangs.org/wiki/Language_list. | |
74 2011-01-04.txt:16:37:10: <elliott> shachaf: But especially http://esolangs.org/wiki/Brainfuck/w/index.php%3Ftitle%3DTalk:Brainfuck/index.php. | |
75 2011-01-04.txt:16:37:10: <shachaf> Phantom_Hoover: What do you mean? | |
76 2011-01-04.txt:16:37:16: <Phantom_Hoover> shachaf, note that a fair deal of those languages are not computable. | |
77 2011-01-04.txt:16:37:35: <shachaf> Phantom_Hoover: The latter is an alias for the former, as far as I can tell. | |
78 2011-01-04.txt:16:37:45: <Phantom_Hoover> shachaf, Sam Hughes of qntm.org. | |
79 2011-01-04.txt:16:37:55: <shachaf> Phantom_Hoover: No, it's "the other" Sam Hughes. | |
80 2011-01-04.txt:16:38:29: <shachaf> Ha! | |
81 2011-01-04.txt:16:38:33: <shachaf> We've caught you. | |
82 2011-01-04.txt:16:38:56: <shachaf> Like Java? | |
83 2011-01-04.txt:16:38:59: <shachaf> How esoteric. | |
84 2011-01-04.txt:16:39:12: <elliott> shachaf: Oh man, that's as funny as that one time someone called Perl line noise!</cranky> | |
85 2011-01-04.txt:16:39:16: <Phantom_Hoover> shachaf, we have a well-established boundary between "esoteric" and "boring". | |
86 2011-01-04.txt:16:39:18: <zzo38> shachaf: Actually we discuss like a lot of various things in this channel, although esoteric programming is its main topic. | |
87 2011-01-04.txt:16:40:34: <elliott> shachaf: Really though, our favourite esoteric language, so theoretical and academic to be almost useless, yet so beautiful in its purity that it's almost a shame that it's impossible to write real programs in it... | |
88 2011-01-04.txt:16:40:37: <elliott> shachaf: Haskell. | |
89 2011-01-04.txt:16:41:11: <shachaf> elliott: Why? I doubt most of #haskell would seriously disagree with you. | |
90 2011-01-04.txt:16:41:27: <shachaf> Maybe dons and the other Galois folks. | |
91 2011-01-04.txt:16:41:59: <shachaf> Phantom_Hoover: Well, as far as languages that *try* to be theoretically pure, Haskell probably ranks pretty badly. | |
92 2011-01-04.txt:16:42:43: <shachaf> Is there any language that uses FRP in any meaningful way? | |
93 2011-01-04.txt:16:42:52: <elliott> shachaf: Conalskell! | |
94 2011-01-04.txt:16:43:06: <shachaf> elliott: Is "elliott" /= "elliottt"? | |
95 2011-01-04.txt:16:43:17: <elliott> shachaf: Yes indeed. | |
96 2011-01-04.txt:16:43:27: <elliott> shachaf: In fact I have talked to elliottt before I believe. Quite confusing. | |
97 2011-01-04.txt:16:43:49: <shachaf> Ah, you're ehird. OK. | |
98 2011-01-04.txt:16:46:16: <shachaf> This channel seems like such a time-waster. | |
99 2011-01-04.txt:16:46:25: * shachaf doesn't play Minecraft, though. | |
100 2011-01-04.txt:16:46:35: <shachaf> So presumably when you show your true colors it'll subside. | |
101 2011-01-04.txt:16:47:43: <elliott> shachaf: That is, until you start playing. | |
102 2011-01-04.txt:16:59:59: <shachaf> 08:59 < Khaos> !pom | |
103 2011-01-04.txt:16:59:59: <shachaf> 08:59 < Rodney> The Moon is New. New moon in NetHack for the next 3 days. | |
104 2011-01-04.txt:17:00:06: <shachaf> lambdabot needs to get this functionality. | |
105 2011-01-04.txt:17:00:38: <elliott> shachaf: psht, soon you will ascend from nethack to playing dwarf fortress. then you'll descend from playing dwarf fortress to lego^Wminecraft. | |
106 2011-01-04.txt:17:01:10: <shachaf> elliott: Dwarf Fortress? Minecraft? What about your liberty? | |
107 2011-01-04.txt:17:01:27: <elliott> shachaf: NetHack takes away the liberty referred to as "free time" | |
108 2011-01-04.txt:17:02:39: <shachaf> elliott: Dwarf Fortress doesn't provide the source code. Minecraft doesn't even provide the binary without payment. | |
109 2011-01-04.txt:17:02:55: <elliott> shachaf: And NetHack doesn't provide free time. | |
110 2011-01-04.txt:17:03:20: <shachaf> elliott: Look, in this comparison you're not gaining anything by saying that one of them takes away your free time. | |
111 2011-01-04.txt:17:03:29: <shachaf> That's considered an invariant. | |
112 2011-01-04.txt:17:03:39: <elliott> shachaf: I'm not actually being serious | |
113 2011-01-04.txt:17:04:06: * shachaf isn't completely either. | |
114 2011-01-04.txt:17:04:20: <shachaf> I had more or less stopped with NetHack until two people independently tried to get me to start again. | |
115 2011-01-04.txt:17:04:24: * shachaf sighs. | |
116 2011-01-04.txt:17:04:57: * shachaf vanishes in a puff of orange smoke. | |
117 2011-02-09.txt:04:04:58: -!- shachaf has quit (*.net *.split). | |
118 2011-02-09.txt:04:05:45: -!- shachaf has joined #esoteric. | |
119 2011-02-09.txt:04:18:40: <zzo38> For your information, I have received TIME responses from the following: nddylliog,fizzie,Sgeo,joo,sebbu,Zuu,clog,taotree,pingveno,copumpkin,Slereah,Leonidas,ineiros,variable,quintopia,Mannerisky,aloril,dbc,Deewiant,jix,poiuy_qwert,cal153,fizzie,SimonRC,olsner,miekko,mycroftiv,pikhq_,shachaf,tswett,Gregor,Gregor,lifthrasiir | |
120 2011-02-09.txt:18:10:20: -!- shachaf has quit (Ping timeout: 272 seconds). | |
121 2011-02-09.txt:18:14:27: -!- shachaf has joined #esoteric. | |
122 2011-02-11.txt:03:08:54: -!- shachaf has quit (*.net *.split). | |
123 2011-02-11.txt:03:39:37: -!- shachaf has joined #esoteric. | |
124 2011-02-11.txt:14:53:06: -!- shachaf has quit (*.net *.split). | |
125 2011-02-11.txt:15:00:14: -!- shachaf has joined #esoteric. | |
126 2011-02-15.txt:17:31:35: -!- shachaf has quit (*.net *.split). | |
127 2011-02-15.txt:17:45:40: -!- shachaf has joined #esoteric. | |
128 2011-02-15.txt:17:46:12: -!- shachaf has quit (*.net *.split). | |
129 2011-02-15.txt:17:48:23: -!- shachaf has joined #esoteric. | |
130 2011-02-19.txt:03:46:29: <zzo38> I received notice from: fizzie,Sgeo,Leonidas,sebbu2,olsner,variable,dbc,yiyus,clog,elliott_,coppro,Mannerisky,comex_,Gregor,ineiros_,pikhq_,aloril,fizzie,yorick,Gregor,oerjan,tswett,shachaf,mycroftiv,Deewiant,quintopia,SimonRC,Zuu,lifthrasiir,pingveno,Zwaarddijk,jix_,copumpkin. I did receive twice from some | |
131 2011-02-19.txt:03:56:04: <shachaf> Is zzo38's bug-everybody mode strictly necessary? | |
132 2011-02-19.txt:03:56:25: <zzo38> shachaf: I don't know. | |
133 2011-02-19.txt:03:56:37: <elliott_> shachaf: apparently. | |
134 2011-02-21.txt:02:21:47: <elliott> Prelude> length . words $ "pikhq Zuu augur elliott cheater- Wamanuz5 oerjan Sgeo sebbu Mathnerd314 fungot copumpkin coppro variable HackEgo tswett_ aloril jix pingveno mtve cal153 Gregor Mannerisky sftp lambdabot quintopia clog Slereah jcp rodgort Ilari ineiros_ comex_ SimonRC shachaf Deewiant Zwaarddijk dbc Leonidas fizzie Vorpal olsner yiyus EgoBot myndzi lifthrasiir Ilari_antrcomp mycroftiv" | |
135 2011-02-22.txt:20:35:21: -!- shachaf has quit (*.net *.split). | |
136 2011-02-22.txt:20:37:05: -!- shachaf has joined #esoteric. | |
137 2011-03-02.txt:23:52:54: -!- shachaf has quit (Ping timeout: 272 seconds). | |
138 2011-03-02.txt:23:53:00: -!- shachaf has joined #esoteric. | |
139 2011-03-03.txt:17:39:07: -!- shachaf has quit (Ping timeout: 250 seconds). | |
140 2011-03-03.txt:17:39:33: -!- shachaf has joined #esoteric. | |
141 2011-03-12.txt:03:04:47: -!- shachaf has quit (Remote host closed the connection). | |
142 2011-03-12.txt:03:28:32: -!- shachaf has joined #esoteric. | |
143 2011-03-14.txt:05:54:59: -!- shachaf has quit (*.net *.split). | |
144 2011-03-14.txt:06:15:54: -!- shachaf has joined #esoteric. | |
145 2011-03-19.txt:23:37:36: <shachaf> Phantom_Hoover: What is she doing in #esoteric? Is this your doing too? | |
146 2011-03-19.txt:23:37:44: <shachaf> Haskell does not qualify as esoteric. | |
147 2011-03-19.txt:23:51:32: <shachaf> Phantom_Hoover: Take that. | |
148 2011-03-19.txt:23:51:40: * shachaf shouldn't abuse lambdabot bugs, actually. | |
149 2011-03-19.txt:23:52:04: <Phantom_Hoover> shachaf, I HAVE POWERS BEYOND YOVR IMAGINING | |
150 2011-03-20.txt:00:14:36: <shachaf> pikhq_: 17. | |
151 2011-03-20.txt:00:14:57: <shachaf> No, 16. | |
152 2011-03-29.txt:02:59:55: -!- shachaf has quit (*.net *.split). | |
153 2011-03-29.txt:03:20:32: -!- shachaf has joined #esoteric. | |
154 2011-04-04.txt:08:20:39: -!- shachaf_ has joined #esoteric. | |
155 2011-04-04.txt:08:21:34: -!- shachaf has quit (Disconnected by services). | |
156 2011-04-04.txt:08:21:41: -!- shachaf_ is now known as shachaf. | |
157 2011-04-04.txt:11:00:28: -!- shachaf has quit (Ping timeout: 258 seconds). | |
158 2011-04-04.txt:11:00:58: -!- shachaf has joined #esoteric. | |
159 2011-04-07.txt:02:03:06: -!- shachaf has quit (*.net *.split). | |
160 2011-04-07.txt:02:03:36: -!- shachaf has joined #esoteric. | |
161 2011-04-08.txt:13:44:19: <Phantom_Hoover> <{aloril, bsmntbombdood, dbc, enki-[quit], iamcal, jcp, jix, lifthrasiir, mtve, mycroftiv, pingveno, rodgort, sebbu, sftp, shachaf, SimonRC, yiyus, Zwaarddijk}> ANYTHING AT ALL | |
162 2011-04-19.txt:03:37:16: -!- shachaf has quit (Ping timeout: 246 seconds). | |
163 2011-04-19.txt:03:38:17: -!- shachaf has joined #esoteric. | |
164 2011-04-19.txt:11:58:50: -!- shachaf has quit (*.net *.split). | |
165 2011-04-19.txt:12:01:48: -!- shachaf has joined #esoteric. | |
166 2011-05-26.txt:07:34:17: <shachaf> > fix ((1:).scanl(+)1) -- This? | |
167 2011-05-26.txt:07:34:44: <shachaf> Patashu: Fixed-point combinator. fix f = f (fix f) | |
168 2011-05-26.txt:07:35:35: <shachaf> oerjan: What ar eyou doing in this channel instead of #haskell? :-) | |
169 2011-05-28.txt:07:04:27: -!- shachaf has quit (Ping timeout: 248 seconds). | |
170 2011-05-28.txt:07:13:02: -!- shachaf has joined #esoteric. | |
171 2011-05-30.txt:20:25:57: -!- shachaf_ has joined #esoteric. | |
172 2011-05-30.txt:20:29:04: -!- shachaf has quit (Disconnected by services). | |
173 2011-05-30.txt:20:29:09: -!- shachaf_ is now known as shachaf. | |
174 2011-05-31.txt:20:18:08: -!- shachaf_ has joined #esoteric. | |
175 2011-05-31.txt:20:24:00: -!- shachaf_ has quit (Remote host closed the connection). | |
176 2011-05-31.txt:21:11:04: -!- shachaf has quit (Remote host closed the connection). | |
177 2011-05-31.txt:21:12:17: -!- shachaf has joined #esoteric. | |
178 2011-06-10.txt:02:28:13: -!- shachaf has quit (Remote host closed the connection). | |
179 2011-06-10.txt:03:36:38: -!- shachaf has joined #esoteric. | |
180 2011-06-12.txt:07:44:36: -!- shachaf has joined #esoteric. | |
181 2011-06-12.txt:07:45:09: -!- shachaf has quit (Max SendQ exceeded). | |
182 2011-06-12.txt:07:45:31: -!- shachaf has joined #esoteric. | |
183 2011-07-03.txt:09:36:43: -!- shachaf has quit (Ping timeout: 260 seconds). | |
184 2011-07-03.txt:12:35:34: -!- shachaf has joined #esoteric. | |
185 2011-07-12.txt:09:15:22: -!- shachaf has quit (Read error: Operation timed out). | |
186 2011-07-12.txt:19:34:34: -!- shachaf has joined #esoteric. | |
187 2011-07-16.txt:19:34:54: -!- shachaf has quit (Read error: Connection reset by peer). | |
188 2011-07-16.txt:19:34:58: -!- shachaf has joined #esoteric. | |
189 2011-07-21.txt:00:46:14: <oerjan> copumpkin: shachaf: do any of you have any idea why this differs? | |
190 2011-07-21.txt:00:46:42: <shachaf> oerjan: That's kind of weird. | |
191 2011-07-21.txt:00:47:16: <shachaf> > error `id` error "foo" | |
192 2011-07-21.txt:00:47:38: <shachaf> > id error (error "foo") | |
193 2011-07-21.txt:00:47:46: <shachaf> > error (error "foo") | |
194 2011-07-21.txt:00:48:02: <shachaf> > (let x = error in x) (error "foo") | |
195 2011-07-21.txt:00:48:13: <shachaf> > (let x = error in x `seq` x) (error "foo") | |
196 2011-07-21.txt:00:48:19: <shachaf> > (let x = error in id x) (error "foo") | |
197 2011-07-21.txt:00:48:26: <shachaf> Exciting. | |
198 2011-07-21.txt:00:54:56: <shachaf> So GHC knows that error is strict, but not that id error is? | |
199 2011-07-21.txt:00:55:00: <shachaf> Makes sense, I guess. | |
200 2011-07-21.txt:00:55:30: <shachaf> > id error (error "foo") | |
201 2011-07-21.txt:00:55:33: <shachaf> > error (error "foo") | |
202 2011-07-22.txt:10:29:58: -!- shachaf has quit (Remote host closed the connection). | |
203 2011-07-22.txt:11:46:18: -!- shachaf has joined #esoteric. | |
204 2011-07-31.txt:20:04:04: -!- shachaf has quit (Ping timeout: 252 seconds). | |
205 2011-07-31.txt:20:06:34: -!- shachaf has joined #esoteric. | |
206 2011-08-01.txt:17:26:32: -!- shachaf has quit (Ping timeout: 240 seconds). | |
207 2011-08-01.txt:17:38:44: -!- shachaf has joined #esoteric. | |
208 2011-08-07.txt:07:36:34: <shachaf> It depends on what "break" means, I suppose. | |
209 2011-08-07.txt:07:36:57: <shachaf> I doubt treating something as a Word8 would segfault. | |
210 2011-08-08.txt:19:42:00: <shachaf> Rank-2 types ruin everything. | |
211 2011-08-08.txt:19:42:18: <shachaf> > runST (return True) | |
212 2011-08-08.txt:19:42:20: <shachaf> > id runST (return True) | |
213 2011-08-08.txt:19:42:26: <shachaf> > let x = id runST in x (return True) | |
214 2011-08-08.txt:19:43:35: <shachaf> $ is also not equivalent to parentheses on the type level. | |
215 2011-08-08.txt:19:43:41: <shachaf> Fortunately you can say type a :$ b = a b | |
216 2011-08-08.txt:19:44:02: <shachaf> Battle-hardened types that have been promoted. | |
217 2011-08-08.txt:19:46:23: <shachaf> Up to RANK OMEGA. | |
218 2011-08-08.txt:19:46:32: * shachaf needs sleep. | |
219 2011-08-13.txt:02:18:07: <shachaf> "hash"-haskell? | |
220 2011-08-13.txt:02:18:16: <elliott> shachaf: Shut up my number keys are broken. | |
221 2011-08-13.txt:02:18:18: <shachaf> oerjan: Sure you can. | |
222 2011-08-13.txt:02:18:30: <elliott> shachaf: How? | |
223 2011-08-13.txt:02:18:36: <shachaf> Well, OK, you can't. | |
224 2011-08-13.txt:02:18:38: <oerjan> shachaf: elliott has a long-standing keyboard problem | |
225 2011-08-13.txt:02:18:56: <shachaf> > mаp 1 2 | |
226 2011-08-13.txt:02:19:08: <Lymee> shachaf, how was that done? =p | |
227 2011-08-13.txt:02:19:15: <shachaf> You can't @let type classes or data types in lambdabot, sadly. :-( | |
228 2011-08-13.txt:02:19:32: * shachaf never thought of pronouncing it as "hash". Weird. | |
229 2011-08-13.txt:02:20:12: <shachaf> Er, actually, now that I think of it, I say "sulamit haskell". | |
230 2011-08-13.txt:02:20:22: <oerjan> shachaf: wat | |
231 2011-08-13.txt:02:20:39: <shachaf> I guess "hash" kind of makes sense. Though it has too many meanings. | |
232 2011-08-13.txt:02:21:06: <elliott> shachaf will take his secrets to the grave. | |
233 2011-08-13.txt:02:21:13: <elliott> shachaf: I say octothorpe when I'm not being informal | |
234 2011-08-13.txt:02:21:18: <shachaf> elliott: Which secrets? | |
235 2011-08-13.txt:02:21:39: <elliott> shachaf: How to do a ?let like that | |
236 2011-08-13.txt:02:21:39: <shachaf> > mаp (\x -> x) -> [1,2,3,4] | |
237 2011-08-13.txt:02:21:47: <shachaf> elliott: Like what? | |
238 2011-08-13.txt:02:21:51: <shachaf> > mаp (\x -> x) [1,2,3,4] | |
239 2011-08-13.txt:02:21:54: <elliott> shachaf: Bypassing the ambiguity | |
240 2011-08-13.txt:02:22:05: <elliott> <shachaf> Well, OK, you can't. | |
241 2011-08-13.txt:02:22:17: <shachaf> elliott: Like, whoa, man, you're, like, the same elliott as the one in #haskell. | |
242 2011-08-13.txt:02:22:20: <Lymee> <shachaf> > mаp 1 2 | |
243 2011-08-13.txt:02:22:24: <shachaf> Same number of 't's. | |
244 2011-08-13.txt:02:22:26: <elliott> shachaf: Whoaaaaaaaaaaa. | |
245 2011-08-13.txt:02:22:31: <elliott> shachaf: I'm not that elliottt guy though. | |
246 2011-08-13.txt:02:22:32: <shachaf> Lymee: By typing it in. | |
247 2011-08-13.txt:02:22:45: <shachaf> Maybe you're conal elliottt? | |
248 2011-08-13.txt:02:23:09: <shachaf> elliott: Oh, he came to #haskell once and saw elliottt and was very happy. | |
249 2011-08-13.txt:02:23:17: <elliott> shachaf: Who, elliottcable? | |
250 2011-08-13.txt:02:23:23: <shachaf> elliott: I think so. | |
251 2011-08-13.txt:02:24:07: <shachaf> > (еlliott, elliott) | |
252 2011-08-13.txt:02:24:47: <oerjan> shachaf: i think i've got a hunch there :P | |
253 2011-08-13.txt:02:25:01: <shachaf> oerjan spoils everything. | |
254 2011-08-13.txt:02:25:19: <oerjan> Lymee: i just cut and pasted shachaf's line. i think it has invisible chars | |
255 2011-08-13.txt:02:25:35: <shachaf> oerjan: NOpe. | |
256 2011-08-13.txt:02:27:00: <shachaf> Lymee: You really abuse it, don't you. @define, @undefine, @undefine foo, and so on all reset the entire L.hs file. | |
257 2011-08-13.txt:02:27:14: <elliott> shachaf: Not that there's much other choice | |
258 2011-08-13.txt:02:27:42: <shachaf> There is no invisible character! | |
259 2011-08-15.txt:02:31:17: <shachaf> No, it's a non-exhaustive patterns problem. | |
260 2011-08-15.txt:02:31:57: <shachaf> ? | |
261 2011-08-15.txt:02:32:00: * shachaf can't parse that sentence. | |
262 2011-08-15.txt:02:32:19: <shachaf> Nor that one. | |
263 2011-08-15.txt:02:32:36: <shachaf> If you define a function like "foo (Just x) = x", and then you call it with Nothing, that's a non-exhaustive pattern. | |
264 2011-08-15.txt:02:32:43: <shachaf> You don't define what foo of Nothing is. | |
265 2011-08-15.txt:02:32:55: <shachaf> Oh. | |
266 2011-08-15.txt:02:33:13: <shachaf> I thought this was a Haskell program. | |
267 2011-08-15.txt:02:33:39: <shachaf> So the interpreter is broken. | |
268 2011-08-15.txt:02:34:42: <shachaf> Non-exhaustive patterns means that the Haskell program doesn't take some possibility into account. | |
269 2011-08-15.txt:02:35:46: <shachaf> Like http://www.samuelhughes.com/boof/index.html ? | |
270 2011-08-15.txt:07:30:50: <shachaf> @ahoy Taneb | |
271 2011-08-15.txt:23:50:10: <shachaf> More like >>=, no? | |
272 2011-08-15.txt:23:50:20: <shachaf> Well, it depends. | |
273 2011-08-15.txt:23:51:54: <shachaf> http://okmij.org/ftp/Computation/monadic-shell.html | |
274 2011-08-19.txt:01:36:36: <shachaf> augur: lament used to be in #haskell, at least. | |
275 2011-08-19.txt:07:15:40: <shachaf> NihilistDandy: Why are you asking? | |
276 2011-08-19.txt:07:15:47: <NihilistDandy> shachaf: itidus20: I'm sort of familiar with it, but I'd like something more rigorous | |
277 2011-08-19.txt:07:15:57: <itidus20> shachaf: oh your question asking method is so elegant | |
278 2011-08-19.txt:18:29:27: -!- shachaf_ has joined #esoteric. | |
279 2011-08-19.txt:18:37:23: -!- shachaf has quit (*.net *.split). | |
280 2011-08-19.txt:21:45:48: -!- shachaf_ is now known as shachaf. | |
281 2011-08-20.txt:07:18:38: <shachaf> evincar: You don't need to call it "monads" unless you generalize it like Haskell does. | |
282 2011-08-20.txt:07:18:49: <evincar> shachaf: Why wouldn't I generalise it? | |
283 2011-08-20.txt:07:19:26: <shachaf> Well, sure. | |
284 2011-08-20.txt:12:46:57: <shachaf> An old Visual Basic program ported to Haskell, I believe. | |
285 2011-08-20.txt:12:47:22: <shachaf> Just some regexp matches with a bit of randomness, or something of the sort. | |
286 2011-08-21.txt:14:04:15: <shachaf> elliott: Don't worry, you'll die by the time you're 32. | |
287 2011-08-21.txt:14:04:33: <elliott> shachaf: OK, who stored my age in an unsigned five-bit integer? | |
288 2011-08-21.txt:14:04:50: <shachaf> It was actually a signed six-bit integer. | |
289 2011-08-21.txt:14:05:22: <shachaf> No, he'll die. | |
290 2011-08-21.txt:14:06:10: <shachaf> You deserve it. | |
291 2011-08-21.txt:14:06:21: <shachaf> I think there was a song that said that. | |
292 2011-08-21.txt:14:06:38: <elliott> shachaf: Thanks for the CTCPs | |
293 2011-08-22.txt:05:45:17: <CakeProphet> aloril atehwa_ augur augur chickenzilla clog GreaseMonkey iamcal ineiros jcp jcp|other jix lifthrasiir mycroftiv myndzi rodgort sebbu shachaf SimonRC variable twice11 Wamanuz yiyus yorick Zwaarddijk: sup | |
294 2011-08-22.txt:05:56:46: <shachaf> @slap CakeProphet | |
295 2011-08-23.txt:01:24:15: <shachaf> No. | |
296 2011-08-23.txt:01:26:19: <shachaf> getArgs also might not have "--interactive". | |
297 2011-08-23.txt:01:26:27: <shachaf> Or it might not be in the first position. | |
298 2011-08-23.txt:01:26:41: <shachaf> It might give you an empty list, in which case your program will crash. :-) | |
299 2011-08-23.txt:01:28:21: <elliott_> shachaf: Out of curiosity, when would --interact not be in getArgs using GHCi? | |
300 2011-08-23.txt:01:28:54: <shachaf> elliott_: Well, when I run ghci and type getArgs, it prints out []. | |
301 [too many lines; stopping] |