|
4029
|
1 2008-08-22.txt:17:29:57: <AnMaster> hm he is certainly a math nerd it seems
|
|
|
2 2010-04-15.txt:03:25:50: -!- Mathnerd314 has joined #esoteric.
|
|
|
3 2010-04-15.txt:05:52:41: <Mathnerd314> hm, is http://www.frappr.com/esolang down?
|
|
|
4 2010-04-15.txt:05:58:40: <Mathnerd314> ok
|
|
|
5 2010-04-15.txt:05:59:11: <Mathnerd314> how esoteric does a language have to be to be discussable on #esoteric?
|
|
|
6 2010-04-15.txt:06:00:03: <Mathnerd314> ok
|
|
|
7 2010-04-15.txt:08:23:43: <oerjan> <Mathnerd314> how esoteric does a language have to be to be discussable on #esoteric?
|
|
|
8 2010-04-15.txt:14:25:05: <Quadrescence> Mathnerd314: If it's as esoteric as Perl, then it's allowed.
|
|
|
9 2010-04-15.txt:16:04:21: -!- Mathnerd314 has quit (Ping timeout: 276 seconds).
|
|
|
10 2010-04-15.txt:16:05:52: -!- Mathnerd314 has joined #esoteric.
|
|
|
11 2010-04-15.txt:21:07:04: <Mathnerd314> Sgeo|web: what does it do?
|
|
|
12 2010-04-15.txt:23:02:02: -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.2/20100316074819]).
|
|
|
13 2010-04-15.txt:23:18:51: -!- Mathnerd314 has joined #esoteric.
|
|
|
14 2010-04-16.txt:00:40:58: -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.2/20100316074819]).
|
|
|
15 2010-04-16.txt:01:01:25: -!- Mathnerd314_ has joined #esoteric.
|
|
|
16 2010-04-16.txt:01:01:28: -!- Mathnerd314_ is now known as Mathnerd314.
|
|
|
17 2010-04-16.txt:02:41:28: <Mathnerd314> hmm... channel is missing +t
|
|
|
18 2010-04-16.txt:02:43:22: <Mathnerd314> well, it's set by default - so someone removed it
|
|
|
19 2010-04-16.txt:02:45:04: <Mathnerd314> therefore it's missing
|
|
|
20 2010-04-16.txt:02:47:05: <Mathnerd314> +t is /in storage/ ?
|
|
|
21 2010-04-16.txt:02:48:22: <Mathnerd314> so the channel "does not have" +t
|
|
|
22 2010-04-17.txt:18:27:34: -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.2/20100316074819]).
|
|
|
23 2010-04-18.txt:01:50:25: -!- Mathnerd314 has joined #esoteric.
|
|
|
24 2010-04-18.txt:03:50:37: -!- Mathnerd314 has quit (Ping timeout: 240 seconds).
|
|
|
25 2010-04-18.txt:04:20:56: -!- Mathnerd314 has joined #esoteric.
|
|
|
26 2010-04-18.txt:16:20:02: -!- Mathnerd314_ has joined #esoteric.
|
|
|
27 2010-04-18.txt:16:23:01: -!- Mathnerd314 has quit (Ping timeout: 265 seconds).
|
|
|
28 2010-04-18.txt:16:23:15: -!- Mathnerd314_ is now known as Mathnerd314.
|
|
|
29 2010-04-19.txt:11:03:00: -!- Mathnerd314_ has joined #esoteric.
|
|
|
30 2010-04-19.txt:11:06:12: -!- Mathnerd314 has quit (Ping timeout: 268 seconds).
|
|
|
31 2010-04-19.txt:11:06:26: -!- Mathnerd314_ is now known as Mathnerd314.
|
|
|
32 2010-04-19.txt:18:32:57: -!- Mathnerd314_ has joined #esoteric.
|
|
|
33 2010-04-19.txt:18:35:37: -!- Mathnerd314 has quit (Ping timeout: 240 seconds).
|
|
|
34 2010-04-19.txt:18:35:38: -!- Mathnerd314_ is now known as Mathnerd314.
|
|
|
35 2010-04-20.txt:00:34:06: -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.2/20100316074819]).
|
|
|
36 2010-04-20.txt:02:08:26: -!- Mathnerd314 has joined #esoteric.
|
|
|
37 2010-04-20.txt:02:09:45: <Gregor> Mathnerd314: 314 is too obvious, you should go with 271 (272?) or 161 (162?), maybe 141.
|
|
|
38 2010-04-20.txt:02:12:47: <Mathnerd314> Gregor: it's intended to be obvious
|
|
|
39 2010-04-20.txt:02:12:59: <Gregor> Mathnerd314: Exactly the problem :P
|
|
|
40 2010-04-20.txt:02:13:19: <oerjan> pikhq: that's not math nerdy
|
|
|
41 2010-04-21.txt:03:09:13: -!- Mathnerd314 has quit (Ping timeout: 260 seconds).
|
|
|
42 2010-04-21.txt:04:04:38: -!- Mathnerd314 has joined #esoteric.
|
|
|
43 2010-04-22.txt:02:44:29: <Mathnerd314> just encode some other turing-complete language in it
|
|
|
44 2010-04-22.txt:02:53:33: -!- Mathnerd314 changed the topic of #esoteric to: #esoteric, the international hub for esoteric programming language design and deployment - #esoteric is not associated with the joke language Perl, please visit www.perl.org - logs: http://tunes.org/~nef/logs/esoteric/?C=M;O=D
|
|
|
45 2010-04-22.txt:02:55:25: <Mathnerd314> oklofok: well, you haven't defined anything special for how the error set behaves
|
|
|
46 2010-04-22.txt:03:00:07: <Mathnerd314> what happened to []?
|
|
|
47 2010-04-22.txt:03:00:22: <Mathnerd314> your example is no longer valid...
|
|
|
48 2010-04-22.txt:03:01:52: <Mathnerd314> now I'm not following... ([ runs with the empty set?
|
|
|
49 2010-04-22.txt:03:02:07: <oerjan> Mathnerd314: basically the old [] could not be used to get much of any information _out_ of the loop
|
|
|
50 2010-04-22.txt:03:03:21: <oerjan> Mathnerd314: <> doesn't make S the empty set, it _adds_ the empty set as an element
|
|
|
51 2010-04-22.txt:03:03:55: <Mathnerd314> then why does <<>> add the set {{}}?
|
|
|
52 2010-04-22.txt:03:04:37: <Mathnerd314> So, S={}, running <<>> gives S={{{}}}?
|
|
|
53 2010-04-22.txt:03:04:49: <Mathnerd314> and S={}, running <> gives S={{}}
|
|
|
54 2010-04-22.txt:03:04:55: <Mathnerd314> ok
|
|
|
55 2010-04-22.txt:03:06:04: <Mathnerd314> oklofok == oklopol?
|
|
|
56 2010-04-22.txt:03:08:46: <Mathnerd314> so, in Von Neumann, 0=<>, 1=<0>, 2=<0,1>, 3=<0,1,2>, etc.?
|
|
|
57 2010-04-22.txt:03:08:52: <oerjan> Mathnerd314: yes
|
|
|
58 2010-04-22.txt:03:09:22: <Mathnerd314> you might, instead of e, just have 0 1 2 etc.
|
|
|
59 2010-04-22.txt:03:09:52: <Mathnerd314> or just remove e
|
|
|
60 2010-04-22.txt:03:10:07: <Mathnerd314> (since by definition it's just <>)
|
|
|
61 2010-04-22.txt:03:11:09: <Mathnerd314> maybe define error set = <error set> ?
|
|
|
62 2010-04-22.txt:03:12:18: <Mathnerd314> that's the point of turing-completeness :-)
|
|
|
63 2010-04-22.txt:03:13:04: <oerjan> Mathnerd314: not particularly, it's a trivial loop
|
|
|
64 2010-04-22.txt:03:13:28: <Mathnerd314> ok, see you later
|
|
|
65 2010-04-22.txt:03:13:59: <oerjan> bye Mathnerd314
|
|
|
66 2010-04-22.txt:03:17:08: <oklofok> oh and bye mathnerd
|
|
|
67 2010-04-22.txt:03:41:30: <Mathnerd314> oklofok: idea: add variables/functions to the language with =
|
|
|
68 2010-04-22.txt:03:41:52: <Mathnerd314> like e=<>
|
|
|
69 2010-04-22.txt:03:42:27: <Mathnerd314> well, it's just textual substitution
|
|
|
70 2010-04-22.txt:03:44:13: <Mathnerd314> yeah; that's all I'm thinking of
|
|
|
71 2010-04-22.txt:03:45:05: <Mathnerd314> maybe it's more like program-abbreviation
|
|
|
72 2010-04-22.txt:03:45:43: <Mathnerd314> but yeah, shouldn't change anything about turing-completeness or whatever
|
|
|
73 2010-04-22.txt:03:46:50: <Mathnerd314> I'm guessing you should be able to define some of r, a, or u in terms of the others
|
|
|
74 2010-04-22.txt:03:47:45: <Mathnerd314> with loops
|
|
|
75 2010-04-22.txt:03:48:01: <Mathnerd314> your language has no meaning for <r>, right?
|
|
|
76 2010-04-22.txt:03:48:56: <Mathnerd314> that - is weird, then
|
|
|
77 2010-04-22.txt:03:49:15: <Mathnerd314> no real semantics
|
|
|
78 2010-04-22.txt:03:49:28: <Mathnerd314> pay no attention to me ;-)
|
|
|
79 2010-04-22.txt:03:50:38: <Mathnerd314> as an example: tuple=u<>ua-<>u
|
|
|
80 2010-04-22.txt:03:50:47: <Mathnerd314> you can write <> tuple
|
|
|
81 2010-04-22.txt:03:51:31: <Mathnerd314> well, they aren't
|
|
|
82 2010-04-22.txt:03:51:57: <Mathnerd314> because you just run it as <> u<>ua-<>u
|
|
|
83 2010-04-22.txt:03:52:07: <Mathnerd314> well, they do contain sets
|
|
|
84 2010-04-22.txt:03:52:20: <Mathnerd314> like foo=<<<<>>>>
|
|
|
85 2010-04-22.txt:03:52:38: <Mathnerd314> but yeah, it's not a real set, it's a program meaning "add this set to S"
|
|
|
86 2010-04-22.txt:03:55:17: <Mathnerd314> yeah, it's a definite choice
|
|
|
87 2010-04-22.txt:03:55:26: <Mathnerd314> heh :-)
|
|
|
88 2010-04-22.txt:11:04:32: -!- Mathnerd314 has quit (*.net *.split).
|
|
|
89 2010-04-22.txt:11:06:46: -!- Mathnerd314 has joined #esoteric.
|
|
|
90 2010-04-22.txt:15:35:05: -!- Mathnerd314 has quit (Ping timeout: 260 seconds).
|
|
|
91 2010-04-22.txt:15:48:14: -!- Mathnerd314 has joined #esoteric.
|
|
|
92 2010-04-22.txt:17:52:59: -!- Mathnerd314 has quit (Ping timeout: 245 seconds).
|
|
|
93 2010-04-22.txt:17:54:35: -!- Mathnerd314 has joined #esoteric.
|
|
|
94 2010-04-22.txt:21:49:19: -!- Mathnerd314 has quit (Ping timeout: 258 seconds).
|
|
|
95 2010-04-22.txt:21:54:21: -!- Mathnerd314 has joined #esoteric.
|
|
|
96 2010-04-22.txt:23:13:11: -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.2/20100316074819]).
|
|
|
97 2010-04-22.txt:23:38:05: -!- Mathnerd314 has joined #esoteric.
|
|
|
98 2010-04-23.txt:00:48:24: -!- Mathnerd314 has quit (Ping timeout: 245 seconds).
|
|
|
99 2010-04-23.txt:01:00:20: -!- Mathnerd314 has joined #esoteric.
|
|
|
100 2010-04-23.txt:01:02:17: <Mathnerd314> Sgeo: can I have the list? ;-)
|
|
|
101 2010-04-23.txt:01:02:20: <Mathnerd314> no, I just have a few shady friends who like lists of email addresses
|
|
|
102 2010-04-23.txt:01:03:52: * Sgeo gives Mathnerd314 a list
|
|
|
103 2010-04-23.txt:01:03:56: <Mathnerd314> heh
|
|
|
104 2010-04-23.txt:01:04:19: <Mathnerd314> well, I'd need to track my "friends" down first
|
|
|
105 2010-04-23.txt:01:05:15: <Mathnerd314> something like that
|
|
|
106 2010-04-23.txt:01:07:48: <Mathnerd314> hmm... an esolang with email addresses :-)
|
|
|
107 2010-04-23.txt:01:08:37: <Mathnerd314> TLD's are commands, usernames are variables, and domains get ignored
|
|
|
108 2010-04-23.txt:01:09:45: <Mathnerd314> not certain what actual language to embed, though
|
|
|
109 2010-04-23.txt:01:10:26: <Mathnerd314> I was thinking Haskell, actualy
|
|
|
110 2010-04-23.txt:01:10:30: <Mathnerd314> *actually
|
|
|
111 2010-04-23.txt:01:11:14: <Mathnerd314> well, it's more like a DSL
|
|
|
112 2010-04-23.txt:01:12:50: <Mathnerd314> I could go small and just do some lambda calculus
|
|
|
113 2010-04-23.txt:01:16:00: <Mathnerd314> Slightly Pedantic ActiveMail™
|
|
|
114 2010-04-23.txt:01:17:34: <Mathnerd314> Hello.World@print.com
|
|
|
115 2010-04-23.txt:01:18:31: <Mathnerd314> one+two@add.com
|
|
|
116 2010-04-23.txt:01:18:47: <Mathnerd314> something like that
|
|
|
117 2010-04-23.txt:01:19:38: <Mathnerd314> not certain what to do with abuse@ webmaster@ etc.
|
|
|
118 2010-04-23.txt:01:19:59: <Mathnerd314> and I doubt I'll implement it :-/
|
|
|
119 2010-04-23.txt:01:20:39: <Mathnerd314> heh
|
|
|
120 2010-04-23.txt:01:20:48: <Mathnerd314> maybe it should accept actual emails ;-)
|
|
|
121 2010-04-23.txt:01:21:07: <Mathnerd314> and look at the "To" field to see what to execute
|
|
|
122 2010-04-23.txt:01:21:36: <Mathnerd314> so if you put it on a mail server, you have to spam to send it messages :D
|
|
|
123 2010-04-23.txt:01:23:52: <Mathnerd314> no... too close to actual usefulness
|
|
|
124 2010-04-23.txt:01:37:18: <Mathnerd314> a bot?
|
|
|
125 2010-04-23.txt:01:37:20: <Mathnerd314> `help
|
|
|
126 2010-04-23.txt:01:37:42: <Mathnerd314> wow
|
|
|
127 2010-04-23.txt:01:37:50: <Mathnerd314> `sudo
|
|
|
128 2010-04-23.txt:01:38:00: <Mathnerd314> heh
|
|
|
129 2010-04-23.txt:01:38:27: <Mathnerd314> oh?
|
|
|
130 2010-04-23.txt:01:38:34: <Mathnerd314> `ls
|
|
|
131 2010-04-23.txt:01:38:53: <Mathnerd314> `ls /
|
|
|
132 2010-04-23.txt:01:39:04: <Mathnerd314> `sudo ls /
|
|
|
133 2010-04-23.txt:01:39:53: <Mathnerd314> `gcc -v
|
|
|
134 2010-04-23.txt:01:41:46: <Mathnerd314> I don't see really see the point of hacking it
|
|
|
135 2010-04-23.txt:01:43:40: <Mathnerd314> probably
|
|
|
136 2010-04-23.txt:01:48:10: <Mathnerd314> `run sudo 2> out.txt
|
|
|
137 2010-04-23.txt:01:48:50: <Mathnerd314> heh. no wonder it was failing ;-)
|
|
|
138 2010-04-23.txt:01:49:19: <Mathnerd314> `uname
|
|
|
139 2010-04-23.txt:01:52:43: <Mathnerd314> that xen looks unpromising :-|
|
|
|
140 2010-04-23.txt:23:23:59: * Mathnerd314 looks at the Toi wiki page
|
|
|
141 2010-04-23.txt:23:24:29: <Mathnerd314> oklopod: "useful algorithms"!
|
|
|
142 2010-04-23.txt:23:27:13: <Mathnerd314> oklopod: my preprocessor looks even more useful now...
|
|
|
143 2010-04-23.txt:23:31:57: <alise> Mathnerd314 falls under "trying too hard".
|
|
|
144 2010-04-23.txt:23:32:11: <Mathnerd314> alise: ?
|
|
|
145 2010-04-23.txt:23:32:27: <Mathnerd314> you mean my nick? :p
|
|
|
146 2010-04-23.txt:23:33:47: <Mathnerd314> well, it started as a joke :-)
|
|
|
147 2010-04-23.txt:23:34:26: <Mathnerd314> I needed a nick for a quick registration or two...
|
|
|
148 2010-04-23.txt:23:44:47: <oklopod> when i saw Mathnerd314 i thought "what a coincidence, pi starts that way too"
|
|
|
149 2010-04-23.txt:23:45:14: <Mathnerd314> heh
|
|
|
150 2010-04-23.txt:23:46:02: <oklopod> before that i saw Mathnerd<clutter>
|
|
|
151 2010-04-24.txt:17:48:33: <Mathnerd314> I wish I could dream about the awesomeness of unhyped unpopular technology :-(
|
|
|
152 2010-04-24.txt:22:24:01: <Mathnerd314> Sgeo: all that matters is that it's consistent.
|
|
|
153 2010-04-24.txt:22:24:30: <Mathnerd314> so consider extra ] to have needed [ at the beginning ;-)
|
|
|
154 2010-04-24.txt:23:32:31: <Mathnerd314> ignore? what's that?
|
|
|
155 2010-04-24.txt:23:33:53: <ais523> Mathnerd314: you can do, say, "/ignore ais523"; then you wouldn't be able to see anything I said
|
|
|
156 2010-04-24.txt:23:39:48: <Mathnerd314> hmmm... what would /ignore Mathnerd314 do?
|
|
|
157 2010-04-24.txt:23:40:19: <AnMaster> Mathnerd314, depending on client, either filter out all the lines you said or give syntax help
|
|
|
158 2010-04-24.txt:23:41:26: <Mathnerd314> AnMaster: how many channels are you on on freenode?
|
|
|
159 2010-04-24.txt:23:41:31: <AnMaster> Mathnerd314, why?
|
|
|
160 2010-04-24.txt:23:41:45: <Mathnerd314> just want to see if I've found them all :p
|
|
|
161 2010-04-24.txt:23:41:53: <AnMaster> Mathnerd314, some 70+ or so
|
|
|
162 2010-04-24.txt:23:42:04: <Mathnerd314> ok
|
|
|
163 2010-04-24.txt:23:42:11: <AnMaster> Mathnerd314, I doubt you found all
|
|
|
164 2010-04-24.txt:23:42:15: <Mathnerd314> yeah
|
|
|
165 2010-04-24.txt:23:42:52: <AnMaster> Mathnerd314, how many did you find? /whois on you show three channels. If you like me have that "hide channel list" mode set then that is the subset we are both in
|
|
|
166 2010-04-24.txt:23:43:19: <Mathnerd314> yeah, just the 3 so far
|
|
|
167 2010-04-24.txt:23:47:51: * Mathnerd314 finds #crossfire
|
|
|
168 2010-04-24.txt:23:59:30: <Mathnerd314> zzo38: which client is this? :p
|
|
|
169 2010-04-24.txt:23:59:37: <alise> Mathnerd314: his own
|
|
|
170 2010-04-24.txt:23:59:40: <AnMaster> Mathnerd314, his own
|
|
|
171 2010-04-24.txt:23:59:49: <Mathnerd314> *oh*
|
|
|
172 2010-04-25.txt:00:00:12: <AnMaster> Mathnerd314, iirc he used to use netcat or such before he wrote it
|
|
|
173 2010-04-25.txt:00:00:13: <Mathnerd314> is it online somewhere?
|
|
|
174 2010-04-25.txt:00:04:00: <Mathnerd314> zzo38: this client? gopher://zzo38computer.cjb.net/0fossproj/irc_client/help
|
|
|
175 2010-04-25.txt:00:04:35: <AnMaster> Mathnerd314, how comes you checked gopher://?
|
|
|
176 2010-04-25.txt:00:04:58: <Mathnerd314> somehow I find it easier to browse his site with gopher :p
|
|
|
177 2010-04-25.txt:00:05:06: <AnMaster> Mathnerd314, sure okay
|
|
|
178 2010-04-25.txt:00:05:31: <Mathnerd314> it's right on the user page: http://esoteric.voxelperfect.net/wiki/User:Zzo38
|
|
|
179 2010-04-25.txt:00:32:29: <Mathnerd314> Answer: use latex
|
|
|
180 2010-04-25.txt:00:34:02: <Mathnerd314> though what is Icoruma?
|
|
|
181 2010-04-25.txt:00:34:38: <zzo38> Mathnerd314: Icoruma is a markup language specifically for typing the rules for role-playing-games.
|
|
|
182 2010-04-25.txt:00:34:55: <Mathnerd314> is it documented anywhere?
|
|
|
183 2010-04-25.txt:00:35:30: <Mathnerd314> (Icoruma's syntax)
|
|
|
184 2010-04-25.txt:00:35:34: <zzo38> Mathnerd314: Not very well. But just wait a minute I will copy the files and documentation I have so far. I can post examples too, if you want.
|
|
|
185 2010-04-25.txt:00:36:05: <Mathnerd314> ok. see you after lunch.
|
|
|
186 2010-04-25.txt:00:36:15: <alise> Mathnerd314: bye
|
|
|
187 2010-04-25.txt:01:04:54: <Mathnerd314> you could do prob(x) = 1/x^2
|
|
|
188 2010-04-25.txt:01:05:20: <Mathnerd314> (suitably scaled)
|
|
|
189 2010-04-25.txt:01:07:12: <oerjan> Mathnerd314: well yeah. that doesn't work for [0,1] though.
|
|
|
190 2010-04-25.txt:01:10:05: <zzo38> Mathnerd314: http://zzo38computer.cjb.net/prog/Icoruma.zip this might be what you were looking for
|
|
|
191 2010-04-25.txt:02:24:14: -!- Mathnerd314 has quit (Ping timeout: 245 seconds).
|
|
|
192 2010-04-25.txt:02:57:00: -!- Mathnerd314 has joined #esoteric.
|
|
|
193 2010-04-25.txt:03:16:05: <Mathnerd314> oerjan: how do you know? ;-)
|
|
|
194 2010-04-25.txt:03:17:16: <Mathnerd314> maybe 1267650600228229401496703205376 doesn't ever repeat :-)
|
|
|
195 2010-04-25.txt:03:19:24: <Mathnerd314> just read http://en.wikipedia.org/wiki/Collatz_conjecture
|
|
|
196 2010-04-25.txt:03:21:18: <alise> Mathnerd314: 1267650600228229401496703205376 < 20 * 2^58
|
|
|
197 2010-04-25.txt:03:21:27: <Mathnerd314> oops
|
|
|
198 2010-04-25.txt:03:21:58: <Mathnerd314> wait, 20*2^58?
|
|
|
199 2010-04-25.txt:03:22:24: <Mathnerd314> that's only 5764607523034234880
|
|
|
200 2010-04-25.txt:03:23:44: <Mathnerd314> no need; my earlier number was just 2^100 :-)
|
|
|
201 2010-04-25.txt:03:24:09: <oerjan> Mathnerd314: d'oh
|
|
|
202 2010-04-25.txt:03:24:48: <Mathnerd314> lambdabot is just so nice for these sorts of computations...
|
|
|
203 2010-04-25.txt:03:42:22: <Mathnerd314> hmmm... is Pure an esoteric programming language?
|
|
|
204 2010-04-25.txt:03:43:51: <alise> Mathnerd314: pure the rewrite language?
|
|
|
205 2010-04-25.txt:03:43:59: <Mathnerd314> yeah
|
|
|
206 2010-04-25.txt:03:44:08: <alise> Mathnerd314: it is pretty but not really esoteric
|
|
|
207 2010-04-25.txt:03:44:11: <Mathnerd314> this one: http://en.wikipedia.org/wiki/Pure_%28programming_language%29
|
|
|
208 2010-04-25.txt:03:46:47: <Mathnerd314> alise: so why is defcalc esoteric but pure not? :p
|
|
|
209 2010-04-25.txt:03:47:05: <alise> Mathnerd314: for some paradigm P, tarpit(P) = esoteric; fully-developed language(P) = not esoteric
|
|
|
210 2010-04-25.txt:03:49:33: <Mathnerd314> alise: defcalc is purer than Pure :p
|
|
|
211 2010-04-25.txt:03:50:16: <Mathnerd314> no, pure has too many built-in special forms
|
|
|
212 2010-04-25.txt:03:50:30: <alise> Mathnerd314: yeah :P
|
|
|
213 2010-04-25.txt:04:00:49: -!- Mathnerd314 has quit (Ping timeout: 240 seconds).
|
|
|
214 2010-04-25.txt:16:39:57: -!- Mathnerd314 has joined #esoteric.
|
|
|
215 2010-04-25.txt:18:47:35: <Mathnerd314> got duct tape? :p
|
|
|
216 2010-04-25.txt:19:56:35: <Mathnerd314> hmm... is the author of defcalc around anywhere?
|
|
|
217 2010-04-25.txt:19:56:44: <alise> Mathnerd314: the wiki
|
|
|
218 2010-04-25.txt:19:58:32: <Mathnerd314> alise: is he actually on the wiki?
|
|
|
219 2010-04-25.txt:19:58:42: <alise> Mathnerd314: yes; after all, he wrote the article.
|
|
|
220 2010-04-25.txt:20:02:57: <Mathnerd314> alise: like, prove to me that he hasn't dropped off the face of the earth sometime in the past month
|
|
|
221 2010-04-25.txt:20:03:15: <alise> Mathnerd314: can't.
|
|
|
222 2010-04-25.txt:20:04:40: <Mathnerd314> which ring?
|
|
|
223 2010-04-25.txt:20:05:33: <oerjan> otherwise, what Mathnerd314 said
|
|
|
224 2010-04-25.txt:20:15:22: <Mathnerd314> Sgeo_: you could use a break in the first to make it more consistent
|
|
|
225 2010-04-25.txt:20:16:16: <Mathnerd314> then it would be a while(true)
|
|
|
226 2010-04-25.txt:20:18:39: <Mathnerd314> that would make everything way too easy
|
|
|
227 2010-04-25.txt:20:19:45: <Mathnerd314> pikhq: he'd just do some pattern matching with recursion
|
|
|
228 2010-04-25.txt:20:20:46: <Mathnerd314> Sgeo_: why can't you just return a bool instead of passing in a reference?
|
|
|
229 2010-04-25.txt:20:21:04: <Sgeo_> Mathnerd314, because this is what the professor wants, I think
|
|
|
230 2010-04-25.txt:20:21:20: <Mathnerd314> Sgeo_: what class?
|
|
|
231 2010-04-25.txt:20:22:00: <Sgeo_> Mathnerd314, data structures
|
|
|
232 2010-04-25.txt:20:23:03: <Mathnerd314> Sgeo_: you're writing a binary tree?
|
|
|
233 2010-04-25.txt:20:23:28: <Mathnerd314> Sgeo_: is it required to be in C++?
|
|
|
234 2010-04-25.txt:20:43:14: <Mathnerd314> Sgeo_: my proposal: http://codepad.org/0BathdOv
|
|
|
235 2010-04-25.txt:20:43:52: <Mathnerd314> Sgeo_: should be more useful than yours for the rest
|
|
|
236 2010-04-25.txt:20:43:55: <Sgeo_> Mathnerd314, that looks.. unhelpful
|
|
|
237 2010-04-25.txt:20:47:20: <Mathnerd314> fax: does Mathematica work? :p
|
|
|
238 2010-04-25.txt:20:50:19: <Mathnerd314> alise: why is mathematica shit? I can only find 2 results on google for that
|
|
|
239 2010-04-25.txt:20:51:09: <alise> Mathnerd314: It entices you in with pretty pictures and the like, but -- and ais523, winner of the Wolfram Prize, sufferer under Mathematica can attest to this -- one, it's coded shittily. It's basically unoptimised tree rewriting. The compositions of the C primitives that Wolfram Research expect/want you to do are blazing. Change one tiny little thing? Glacial.
|
|
|
240 2010-04-25.txt:20:53:06: <alise> Mathnerd314: conclusion: Mathematica sucks.
|
|
|
241 2010-04-25.txt:20:54:21: <Mathnerd314> big, slow, expensive... ok
|
|
|
242 2010-04-25.txt:20:55:43: <Mathnerd314> well, expensive -> big, so that makes sense
|
|
|
243 2010-04-25.txt:20:55:53: <Mathnerd314> and optimization is harder for big things
|
|
|
244 2010-04-25.txt:20:58:09: * Mathnerd314 waits
|
|
|
245 2010-04-25.txt:21:08:21: <Mathnerd314> fax: got something huge: http://www.wolframalpha.com/input/?i=%28t_1+%2B+w*t_2+%2B+w^2*t_3%29^3+%2B+%28t_1+%2B+w^3*t_2+%2B+w*t_3%29^3+with+w+%3D+e^%282+i+pi+%2F+3%29
|
|
|
246 2010-04-25.txt:21:09:30: <fax> Mathnerd314: well there is a 3 in there which should be a 2
|
|
|
247 2010-04-25.txt:21:10:04: <Mathnerd314> well, change it and press enter ;-)
|
|
|
248 2010-04-25.txt:21:10:36: <Mathnerd314> it's real if t1-t3 are real
|
|
|
249 2010-04-25.txt:21:11:08: <Mathnerd314> same for *
|
|
|
250 2010-04-25.txt:21:11:30: <Mathnerd314> good enough?
|
|
|
251 2010-04-25.txt:21:11:51: <Mathnerd314> http://www.wolframalpha.com/input/?i=%28t_1+%2B+w*t_2+%2B+w^2*t_3%29^3+*+%28t_1+%2B+w^2*t_2+%2B+w*t_3%29^3+with+w+%3D+e^%282+i+pi+%2F+3%29
|
|
|
252 2010-04-25.txt:21:12:09: <Mathnerd314> http://www.wolframalpha.com/input/?i=%28t_1+%2B+w*t_2+%2B+w^2*t_3%29^3+%2B+%28t_1+%2B+w^2*t_2+%2B+w*t_3%29^3+with+w+%3D+e^%282+i+pi+%2F+3%29
|
|
|
253 2010-04-25.txt:21:16:02: <Mathnerd314> fax?
|
|
|
254 2010-04-25.txt:21:16:49: <Mathnerd314> ok
|
|
|
255 2010-04-25.txt:21:17:19: <Mathnerd314> something to do with s2, I imagine
|
|
|
256 2010-04-25.txt:21:23:30: <Mathnerd314> hah
|
|
|
257 2010-04-25.txt:21:25:16: <Mathnerd314> http://www.wolframalpha.com/input/?i=factor+2+x^3+-+3+y+x^2-3+z+x^2-3+y^2+x-3+z^2+x%2B12+y+z+x%2B2+y^3%2B2+z^3-3+y+z^2-3+y^2+z
|
|
|
258 2010-04-25.txt:21:27:08: <Mathnerd314> so it's (s1-3 t1)(s1-3 t2)(s1 - 3 t3)
|
|
|
259 2010-04-25.txt:21:28:10: <Mathnerd314> no no, let's do so :-
|
|
|
260 2010-04-25.txt:21:28:14: <Mathnerd314> * :-)
|
|
|
261 2010-04-25.txt:21:35:31: <Mathnerd314> hmmm... product is too long to enter into the textbox
|
|
|
262 2010-04-25.txt:21:35:38: <alise> Mathnerd314: lol
|
|
|
263 2010-04-25.txt:21:35:42: <fax> Mathnerd314 that keeps happening to me with wolfram :[
|
|
|
264 2010-04-25.txt:21:38:54: <Mathnerd314> parser dies when removing all spaces :-/
|
|
|
265 2010-04-25.txt:21:40:21: <Mathnerd314> I actually got visited at a summer camp by wolfram :-)
|
|
|
266 2010-04-25.txt:21:41:13: <Mathnerd314> it was a big room ;-)
|
|
|
267 2010-04-25.txt:21:41:48: <alise> Mathnerd314: Like a TARDIS!
|
|
|
268 2010-04-25.txt:21:42:33: <Mathnerd314> ?help
|
|
|
269 2010-04-25.txt:21:49:41: * Mathnerd314 fires up Sage
|
|
|
270 2010-04-25.txt:21:49:46: <Mathnerd314> (on a VM)
|
|
|
271 2010-04-25.txt:21:51:37: <alise> Mathnerd314: sage is kinda crappy
|
|
|
272 2010-04-25.txt:21:52:01: <Mathnerd314> alise: but it has a polynomial factorer :-)
|
|
|
273 2010-04-25.txt:21:55:12: <Mathnerd314> fax: (x^2 - x y + y^2 - x z - y z + z^2)^3
|
|
|
274 2010-04-25.txt:21:56:14: <fax> Mathnerd, http://hpaste.org/fastcgi/hpaste.fcgi/view?id=25045
|
|
|
275 2010-04-25.txt:21:57:07: <Mathnerd314> fax: to floating-point precision ;-)
|
|
|
276 2010-04-25.txt:21:57:22: <Mathnerd314> (unless you have CReal)
|
|
|
277 2010-04-25.txt:21:57:48: <fax> Mathnerd314, one thing which is missing is radical expressions for cube roots of unity.. but that will be another time
|
|
|
278 2010-04-25.txt:21:58:12: <Mathnerd314> you said you wanted to sleep :-)
|
|
|
279 2010-04-25.txt:22:00:06: <Mathnerd314> yeah; I like http://gmplib.org/#TRY a lot
|
|
|
280 2010-04-25.txt:22:03:05: * Mathnerd314 laughs because he's so confused
|
|
|
281 2010-04-25.txt:22:03:41: <Mathnerd314> bye fax
|
|
|
282 2010-04-25.txt:22:06:29: * Mathnerd314 counts 3 ops on #esoteric
|
|
|
283 2010-04-25.txt:22:08:15: <Mathnerd314> yep
|
|
|
284 2010-04-25.txt:22:09:08: <Mathnerd314> well, you can ask on #freenode
|
|
|
285 2010-04-25.txt:22:12:56: <Mathnerd314> not turing-complete :p
|
|
|
286 2010-04-25.txt:22:23:21: <Mathnerd314> entropy divides itself by 0, obviously
|
|
|
287 2010-04-25.txt:22:25:15: <Mathnerd314> that story has been going around: http://www.multivax.com/last_question.html
|
|
|
288 2010-04-25.txt:22:26:12: <alise> Mathnerd314: It's been going around forever.
|
|
|
289 2010-04-25.txt:22:27:15: <Mathnerd314> alise: well, is it true?
|
|
|
290 2010-04-25.txt:22:27:29: <alise> Mathnerd314: The story? As in literally?
|
|
|
291 2010-04-25.txt:22:27:43: <Mathnerd314> "could it be true?"
|
|
|
292 2010-04-25.txt:22:28:28: <Mathnerd314> "do you want it to be true?"
|
|
|
293 2010-04-25.txt:22:28:37: <alise> Mathnerd314: I doubt there is a sort of metareality into which AC can somehow slip into when the universe ends.
|
|
|
294 2010-04-25.txt:22:29:47: <Mathnerd314> well, it definitely has a "punchline" at the end
|
|
|
295 2010-04-25.txt:22:31:23: <Mathnerd314> Phantom_Hoover: external usb drive!
|
|
|
296 2010-04-25.txt:22:31:33: <Mathnerd314> (or usb thumbdrive)
|
|
|
297 2010-04-25.txt:22:31:38: <Mathnerd314> (or sd card)
|
|
|
298 2010-04-25.txt:22:31:47: <Mathnerd314> bye
|
|
|
299 2010-04-25.txt:22:33:52: <Mathnerd314> oh, yeah
|
|
|
300 2010-04-25.txt:22:34:00: * Mathnerd314 googles and finds it again
|
|
|
301 [too many lines; stopping]
|
