Mercurial > hg > BCS
comparison BCS_HST_2024-06-19/otter_ai.txt @ 6:abb1b1e2f6fc
trying alternative sources of free speech-to-text
author | Henry S Thompson <ht@inf.ed.ac.uk> |
---|---|
date | Wed, 21 Aug 2024 19:34:07 +0100 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
5:f3b043032519 | 6:abb1b1e2f6fc |
---|---|
1 BCS 0:00 | |
2 Record says recording here, | |
3 | |
4 HST 0:03 | |
5 yep, it just I clicked it as you spoke, or just before or something like that, right? How are you doing? You? Do you Well, I said this last time, and you disagreed with me, but you look okay, yes, oh, I [mixed up] | |
6 | |
7 BCS 0:17 | |
8 actually think I am okay this time. | |
9 | |
10 BCS 0:22 | |
11 I I'm a little | |
12 | |
13 BCS 0:32 | |
14 compromised in various ways which I'm going to tell you about, | |
15 | |
16 BCS 0:35 | |
17 sure, well, | |
18 | |
19 Speaker 2 0:38 | |
20 one of them being that I haven't done my homework for a reason. I want to try to explain, actually, but, | |
21 | |
22 HST 0:45 | |
23 well, I mean, it was a short it was short notice, but I figure we do this, oh, I don't know. It's like going, this is a comparison I use too often in too many ways. It's like we used to do with the kids, which was that we would go to the west coast of Scotland for the Maybank holiday weekend every year, and without paying any attention to what the weather forecast was, because you needed to book in advance to get a cheap place and so on. And sometimes that meant famously. And you know, family history is a good thing eating our sandwiches in a phone booth on the ferry pier between sky and Razi because it was raining too hard, didn't want to sit in the car to have our picnic. But sometimes it meant, you know, swimming off white sand beaches in arise in 20 degree weather, and it looked and felt like the Caribbean. So you win some and you lose some. Then if this is not, well, they're not as well prepared as you'd like, then we'll talk anyway. We'll talk | |
24 | |
25 Speaker 2 1:51 | |
26 anyway. And I have a question about substance. So here's the problem. | |
27 | |
28 BCS 2:00 | |
29 I have to get [should continue as BCS] | |
30 | |
31 Speaker 2 2:02 | |
32 the final draft of the reflections book to the press by July 8, right[HST] which, which deadline I'm not going to make, but I need to make it enough that my good standing with the press remains such that I can get an extension, and I think even the uncertainty about my lifespan, to say nothing of maybe just efficiency overall, I just need to do that. So this morning, I kind of thought, Look, am I going to spend the morning reading old versions of God, approximately which I would like to do? And I slapped myself on the other wrist. | |
33 | |
34 BCS 2:54 | |
35 Is that a well founded instruction? | |
36 | |
37 BCS 2:56 | |
38 Probably not. But anyway, I mean, | |
39 | |
40 BCS 3:04 | |
41 and have been working on it. | |
42 | |
43 HST 3:08 | |
44 That's that, I mean, you, you are the only person who can correctly set your priorities | |
45 | |
46 BCS 3:13 | |
47 right. So I think I have to do that now. July 8 is not very far away. [HST]No, it's not[HST]. So that might mean delaying our project by rather short amount of time. But realism, the aforementioned realism, means it'll probably mean deferring it for longer than that. But | |
48 | |
49 HST 3:34 | |
50 understood, but we can, we can reduce, at the very least, reduce the frequency, but I may try to keep it ticking over one way or | |
51 | |
52 BCS 3:41 | |
53 another. Yeah? Sure, sure. Well, | |
54 | |
55 Speaker 2 3:42 | |
56 so here's a question, if I can just plunge in. Maybe there are other of | |
57 | |
58 BCS 3:46 | |
59 course, yeah, go. So | |
60 | |
61 BCS 3:51 | |
62 I was struck when I wrote the | |
63 | |
64 BCS 3:56 | |
65 postscript note to our last meeting | |
66 | |
67 BCS 4:00 | |
68 by how I was framing everything | |
69 | |
70 BCS 4:04 | |
71 in terms of, | |
72 | |
73 BCS 4:09 | |
74 well, actually, I don't even remember the last note. | |
75 | |
76 Speaker 2 4:12 | |
77 Hang on a second. Maybe I should take a look at it. I should was it email? Probably, I | |
78 | |
79 HST 4:18 | |
80 believe. Well, I'm sorry if it wasn't emailed, then I don't have it. But that doesn't mean that it's not worth looking at. So | |
81 | |
82 BCS 4:31 | |
83 I'm desperately | |
84 | |
85 HST 4:41 | |
86 waiting I gather from Jim that some progress has been made on the map project, | |
87 | |
88 BCS 4:52 | |
89 on which project the | |
90 | |
91 HST 4:53 | |
92 Save Brian's Mac project? | |
93 | |
94 Speaker 2 4:57 | |
95 Oh, yes. I. Not enough to have the Mac saved. | |
96 | |
97 HST 5:05 | |
98 Well, he was hopeful of his next meeting with you, but maybe it didn't happen that way. So when did I Okay? Here we are. Call this week. No, that was quick. Thought it says, Oh, | |
99 | |
100 BCS 5:23 | |
101 that's it, okay, right, | |
102 | |
103 BCS 5:26 | |
104 all right, sorry, yeah, I've got it. I | |
105 | |
106 BCS 5:43 | |
107 uh, right? | |
108 | |
109 BCS 5:46 | |
110 So, as in the first paragraph, I say | |
111 | |
112 Speaker 2 5:50 | |
113 call these two historical and metaphysical approaches, right? And what I have not done is read any so what you think you have, or what you know that you have, is something like version 11. Is that | |
114 | |
115 HST 6:08 | |
116 right? That's That's correct. 2009 version 11, which I would say in terms of this dichotomy, is entirely the historical approach, okay? And I think that's consistent with the note at the top, which says, In previous versions of this, I tried to produce a metaphysics which would underpin what I'm talking about, but didn't get far enough to make it worth reproducing, or something like that. | |
117 | |
118 BCS 6:38 | |
119 And I did say in previous versions of this, | |
120 | |
121 HST 6:41 | |
122 I believe, so let me just get the fact of the matter in front of me, which it nearly is. | |
123 | |
124 BCS 6:55 | |
125 Right. Wait a minute, I'm just Looking at the wrong place. I | |
126 | |
127 HST 7:37 | |
128 Okay, I think it's this one. Yes, it is. | |
129 | |
130 HST 7:46 | |
131 A number of manuscripts have been circulated under this title over the last 15 years. Right? This one lacks any sketch of a worldview exhibiting the characteristics described, I presume that means described below, as it were, somewhat in response to the first version, which tried to provide such a view without explanation of what was interesting or mattered about it. If it seems worthwhile, I may someday incorporate all the various versions into a single, long, it says short monograph, | |
132 | |
133 BCS 8:27 | |
134 stereograph, | |
135 | |
136 BCS 8:28 | |
137 yes, something like that, | |
138 | |
139 Speaker 2 8:33 | |
140 right? Okay, well, that's very helpful, actually, to me, Bob, thank you for finding that. Yes, I think that longer monograph yet to be produced, longer monograph is what I feel as if we're aiming it. | |
141 | |
142 BCS 8:52 | |
143 And I don't actually know | |
144 | |
145 BCS 8:56 | |
146 whether I | |
147 | |
148 Speaker 2 8:58 | |
149 made any attempt to say that these lead to the same view. | |
150 | |
151 BCS 9:10 | |
152 I have actually thought about that. | |
153 | |
154 Speaker 2 9:17 | |
155 So let me actually recite from memory four or five sentences, and tell me if they ring a bell. If you were Have you ever read them | |
156 | |
157 BCS 9:29 | |
158 go something like this? Start at the beginning. | |
159 | |
160 BCS 9:33 | |
161 That is, | |
162 | |
163 Speaker 2 9:36 | |
164 start at what those who'd like to start at the beginning. Start with | |
165 | |
166 BCS 9:46 | |
167 bosons, fermions, | |
168 | |
169 BCS 9:49 | |
170 quarks, | |
171 | |
172 BCS 9:53 | |
173 assemblages, | |
174 | |
175 BCS 9:57 | |
176 pressed into atoms and molecules and I. | |
177 | |
178 BCS 10:01 | |
179 DNA and so on, as it were. And | |
180 | |
181 BCS 10:04 | |
182 then the second paragraph, saying, | |
183 | |
184 BCS 10:13 | |
185 of course, something like that's i | |
186 | |
187 BCS 10:23 | |
188 is not a beginning. Many will argue, whatever, | |
189 | |
190 BCS 10:34 | |
191 and and | |
192 | |
193 Speaker 2 10:35 | |
194 then something like but actually, it doesn't matter where we start, we'll end up in the same place. | |
195 | |
196 BCS 10:46 | |
197 So in the media there, there would be something like | |
198 | |
199 BCS 10:51 | |
200 other people would say, start with stories | |
201 | |
202 BCS 10:56 | |
203 or something like that. Anyway, | |
204 | |
205 HST 10:58 | |
206 I see what you're saying. Okay. I mean, I think it's important that you well, it changes the where you go next to have something like the stories line, because otherwise it's all just about where you cut the physics. And that, I think, is, is is not enough. That's just what I think of as I had this version of this conversation last week with my redder, my regular Quaker interlocutor, right there. There are these two questions, which I believe I which I tend to attribute to Kant, but I may get wrong. Why is there something rather than nothing, and how would I live my life? Most you know, and if you talk to Dominicans, for instance, they will happily talk about one or the other, but usually find it challenging to see what the relationship is between likely answers to the first and likely answers to the second, right? That's another way of saying what the what it is you're trying to bring together. I think, right? I | |
207 | |
208 BCS 12:12 | |
209 think so. Yeah, I think so. And | |
210 | |
211 Speaker 2 12:19 | |
212 I think what I put in the note after the historical approach | |
213 | |
214 BCS 12:26 | |
215 is sort of a story about | |
216 | |
217 BCS 12:32 | |
218 how Our understanding of | |
219 | |
220 BCS 12:38 | |
221 framions and bosons as it were, I has | |
222 | |
223 Speaker 2 12:40 | |
224 been | |
225 | |
226 BCS 12:49 | |
227 pressed into | |
228 | |
229 BCS 12:50 | |
230 service as a grounds for normativity and | |
231 | |
232 BCS 12:57 | |
233 maybe objectivity and so on and so forth. | |
234 | |
235 BCS 13:01 | |
236 I don't think successfully, but | |
237 | |
238 HST 13:06 | |
239 there is that's, that's, that's really the, that's the, the first large paragraph in the email right, | |
240 | |
241 BCS 13:15 | |
242 which I've now buried under lots of windows. Well, I deep, | |
243 | |
244 HST 13:23 | |
245 the pure mechanism of classical science, then rationality, with reference to frigate logic, then normativity, and the current paradigm of deriving it from evolutionary field, | |
246 | |
247 BCS 13:31 | |
248 etc, right? | |
249 | |
250 BCS 13:42 | |
251 Yeah. So then | |
252 | |
253 BCS 13:52 | |
254 the argument would go something like this, That | |
255 | |
256 BCS 14:02 | |
257 the only tenable version of | |
258 | |
259 BCS 14:18 | |
260 the well, either | |
261 | |
262 BCS 14:26 | |
263 the only tenable version of | |
264 | |
265 BCS 14:28 | |
266 the metaphysical approach, | |
267 | |
268 BCS 14:36 | |
269 well, sorry, | |
270 | |
271 BCS 14:38 | |
272 The only tenable version of both approaches | |
273 | |
274 BCS 14:42 | |
275 ends up being | |
276 | |
277 BCS 14:45 | |
278 indistinguishable from the tenable version of the other. | |
279 | |
280 BCS 14:56 | |
281 And | |
282 | |
283 BCS 14:58 | |
284 one is. | |
285 | |
286 BCS 15:01 | |
287 A crucial | |
288 | |
289 BCS 15:06 | |
290 factor in that, I believe, is that | |
291 | |
292 BCS 15:13 | |
293 both stories | |
294 | |
295 BCS 15:16 | |
296 have to do justice to our being here. | |
297 | |
298 HST 15:22 | |
299 Yeah, I mean, I've been thinking, you know, the phrase, the thing, which, I think is very bizarrely labeled, the anthropic principle, right? Which says, which attempts to dissolve the first of the Kantian questions by saying, because if there weren't something, we wouldn't be here to ask the question, get over it. | |
300 | |
301 Speaker 2 15:45 | |
302 Yes, but I think that the instruction is misapplied radically because they try to understand what the world needs to be like in order to support | |
303 | |
304 BCS 16:01 | |
305 life or inquiry or something like that. | |
306 | |
307 HST 16:05 | |
308 Yeah. I mean, yeah, certainly. The the what little I remember of the time I heard somebody talk about this at length was Planck's constant is what it is. And the fact that if you varied it by not very much in either direction, nothing would work. Isn't something that needs explanation, because it evidently is the case, right? And I mean, yes, exactly you, you, you know it is at least a minor theoretical interest to establish what the what the bounding box is, right, in which we would still be here to ask that question. But having done that, there's nothing more to be said, right? But I think you're so, I mean, I don't think that just that that changes the the availability of of both projects, essentially, I | |
309 | |
310 Speaker 2 17:06 | |
311 think that's right. And I I actually think, you know, this is, well, I'm going to have to agree to the long rather than short, um, assuming if I go down this pathway, but, um, I actually think the fact well as I've, as I put it, which is transparent to nobody, the ontological warrant for the epistemic fact that we Use differential equations | |
312 | |
313 BCS 17:36 | |
314 to express physical laws | |
315 | |
316 BCS 17:39 | |
317 is actually, I mean, | |
318 | |
319 Speaker 2 17:43 | |
320 I don't know if I said this in the objects, but, but anyway, underlies the Diocese of the world, which I think is fundamental to | |
321 | |
322 BCS 17:50 | |
323 consciousness and self and various things like | |
324 | |
325 HST 17:55 | |
326 that. But because of the uncertainty. No, not the uncertainty because, I mean, is this what I remember from the objects book, which I've already apologized for, is very little is about the importance of sloth. | |
327 | |
328 BCS 18:09 | |
329 Yeah, no, that's a different thing. | |
330 | |
331 HST 18:11 | |
332 That is a different thing. Okay, never mind then, wrestleman, what's the | |
333 | |
334 Speaker 2 18:24 | |
335 press on regardless? Yeah, I'm not sure I should accept it regardless just now, but, | |
336 | |
337 BCS 18:37 | |
338 yeah, the Dyches stuff is, I think, important to | |
339 | |
340 BCS 18:41 | |
341 to self | |
342 | |
343 Speaker 2 18:44 | |
344 and something else that's interesting. This is going to sound a little bit like a non sequitur, but, | |
345 | |
346 BCS 18:52 | |
347 but I think it's not for obvious reasons. | |
348 | |
349 BCS 18:54 | |
350 The | |
351 | |
352 BCS 18:57 | |
353 fact that | |
354 | |
355 BCS 19:00 | |
356 llms And | |
357 | |
358 BCS 19:05 | |
359 the fact that llms are based on language | |
360 | |
361 BCS 19:10 | |
362 is, I think, | |
363 | |
364 Speaker 2 19:13 | |
365 possibly consequential, but possibly not, the reason for their success. Because, I think the power of them stems from the fact that the | |
366 | |
367 Speaker 2 19:34 | |
368 relationality that they encode | |
369 | |
370 BCS 19:39 | |
371 is so stupefyingly huge that | |
372 | |
373 Speaker 2 19:45 | |
374 all the content of the state of the network is bizarrely non conceptual in the sense of that, | |
375 | |
376 HST 19:58 | |
377 absolutely I. Mean they got somewhere by not being representational. Well, not sorry, but not being explicitly representational that no amount of additional funding to Doug Leonard and company would ever have gotten to Right, right. Exactly | |
378 | |
379 BCS 20:21 | |
380 how to say that? Well, is not trivial, but, but I completely agree, | |
381 | |
382 HST 20:26 | |
383 yeah. I mean, it was, it was, you know, I just it would be useful in the, in the indefinitely, in foreseeable future, to have a conversation involving Fernando Pereira about this. Because, | |
384 | |
385 BCS 20:41 | |
386 have you ever met Fernando? Not clear. Oh, yeah, | |
387 | |
388 BCS 20:44 | |
389 I knew him. | |
390 | |
391 BCS 20:48 | |
392 God knows if he was a student. But anyway, 100 years ago, | |
393 | |
394 HST 20:51 | |
395 no, he was our student. So because I did his PhD oral, no, but I think he was, he was in California at the time of the oral so it's possible it doesn't matter. Anyway, he was here six months ago for a guest talk during our 60th anniversary celebrations. And the talk was interesting, but not great and not recorded, but lunch beforehand, which was just me and him and one other person, was hugely more valuable because he was expanding to a to an audience that could hear of the two of us on his anger about the fact about the impact of his own company's work. You know, indirectly in terms of open AI, but, but, you know, in chat, GPT and so on, because he's, he's recently changed within Google being responsible for the the natural language work to being responsible for the sort of theory practice interface within Google, and he's very angry about | |
396 | |
397 BCS 22:09 | |
398 the way in which | |
399 | |
400 HST 22:12 | |
401 people are treating the natural language problem as having now been solved and or being soluble by only by the technologies of llms and but what he did for us in that conversation, and I wish I had recorded it, was give me a much clearer sense of the scale of the the base model, and also the scale of the priming that it gets in order to make it a question. Answer, yeah. What's | |
402 | |
403 BCS 22:51 | |
404 that? Called | |
405 | |
406 HST 22:53 | |
407 the prompt? It's not the prompt, but it's something prompt engineering, yeah, prompted, yeah, the prompt engineering is, there are three aspects of this. I think there's, there is the base model, | |
408 | |
409 BCS 23:05 | |
410 right, which is, which is something like | |
411 | |
412 BCS 23:11 | |
413 100 billion gigabytes or something, | |
414 | |
415 HST 23:12 | |
416 yeah, it's, well, it's, it's certainly that many dimensions. And I don't know, you know, there's this whole business about projecting to lower dimensionalities for use | |
417 | |
418 BCS 23:24 | |
419 that I don't understand, but | |
420 | |
421 HST 23:27 | |
422 there's the base model. There is the make this a question answer. You know, make a question answer from this base model, right? And there's what do. What do we add to the to the to the conjunction of those two, from your from your question, from their question, right? | |
423 | |
424 BCS 23:48 | |
425 And is it a third of those, what's called proptening? | |
426 | |
427 HST 23:51 | |
428 I think so. Okay, but I could be wrong. | |
429 | |
430 BCS 23:58 | |
431 Doesn't matter anyway, no | |
432 | |
433 BCS 24:00 | |
434 more than, yeah, anyway, | |
435 | |
436 BCS 24:02 | |
437 and you know, the, | |
438 | |
439 HST 24:04 | |
440 even though, the the the it's the interesting part, in a way, is, in a sense, from from the performance point of view, is not the base model, but it's the the thing you make a question answer out of it with, right, right? Um, because that's what you that's what the people who don't have any money scrimp on, skimp on, right? And why you then get things which lie and fabulate and contradict themselves, and in general, or, you know, start imitating witty ticky Ray rather than a human being, or whatever it might be. Because actually, there's another kind of farm, rather than the GPU farm, that you need to build some. Thing like, as successful as it is, that's chat GPT, which is a huge farm of ordinary human beings asking questions and feeding back to the engineers the wrong answers and saying, you know, this is you've got to, you've got to stop this kind of answer. All right. | |
441 | |
442 BCS 25:21 | |
443 Yeah, that's not a trivial and | |
444 | |
445 HST 25:23 | |
446 that's an open, ended and in principle, impossible task, | |
447 | |
448 BCS 25:28 | |
449 right? Interesting. | |
450 | |
451 Speaker 2 25:32 | |
452 Anyway, that was all a total footnote. You could have expressed your thought at the beginning of your | |
453 | |
454 BCS 25:40 | |
455 what you just said that | |
456 | |
457 BCS 25:42 | |
458 that's what people who scrimp skimp on, yes, | |
459 | |
460 HST 25:48 | |
461 something like that, anyway, but, but so I think, from your perspective, it's really, it's really GPT three that you're interested in, which is the base model. It's now GPT four, and they won't tell you anything about that. The only thing we have any information about is GPT three, right? Well, that's the only thing I've seen published information about from Google Anyway, | |
462 | |
463 Speaker 2 26:15 | |
464 yes, I mean, I think that's open. AI, sorry, yeah, from open. Ai, yeah. I think that's what I was just talking about. I mean, it doesn't prove that I'm not interested in the other ones. | |
465 | |
466 HST 26:27 | |
467 But, I mean, it's there, for instance, that we come back to the thing that you said, which I think is why I think Dyches is certainly in there is not only do they not know that there's a world that not only does that, does that 100 million gigabytes, whatever it is, million gigabytes, what it doesn't have is any obligation to the World about which right that is some kind of representation, right? | |
468 | |
469 BCS 27:05 | |
470 But that | |
471 | |
472 HST 27:08 | |
473 you know that there are that that that responsibility can be | |
474 | |
475 BCS 27:19 | |
476 decomposed in any particular instance, | |
477 | |
478 BCS 27:23 | |
479 to being only about a certain small part of | |
480 | |
481 HST 27:30 | |
482 which amounts, I guess in many cases, to some kind of story about Reference and dices. And it does. It does. I am tempted to bring Jonathan back into this again, Jonathan Reese, because of his, what, you know, what he's been spending the last two or three years on, is trying to articulate a story about reference which is simply defined in terms of | |
483 | |
484 BCS 28:01 | |
485 of of propositions | |
486 | |
487 HST 28:05 | |
488 that include this are vulnerable to changes in that, that is that include this referring expression are vulnerable to changes in that bit of the world as a way of talking about, what does that referring expression refer to? Well, because he's a radical empiricist. Basically, he wants right anyway. Sorry, that is taking us away now. | |
489 | |
490 BCS 28:35 | |
491 No, no, not entirely, because the I | |
492 | |
493 BCS 28:47 | |
494 there was a title of a talk I was thinking of putting together, sort of | |
495 | |
496 BCS 28:53 | |
497 something like the nonverbal meaning of words, | |
498 | |
499 BCS 29:00 | |
500 if we talk about, | |
501 | |
502 BCS 29:07 | |
503 not only about Sussman, but let's say | |
504 | |
505 BCS 29:12 | |
506 and what he meant by | |
507 | |
508 BCS 29:20 | |
509 empirical or something. | |
510 | |
511 BCS 29:23 | |
512 But just we talk about, | |
513 | |
514 BCS 29:32 | |
515 well, the things we're talking about, the three, the three parts, | |
516 | |
517 Speaker 2 29:38 | |
518 the base model, the delta that turns it into a question answering machine and the prompt engineering that turns a particular prompt into a particular prompt, basically particular question into a particular prompt. Say it's. | |
519 | |
520 Transcribed by https://otter.ai |