|
2379
|
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]
|
