diff options
Diffstat (limited to '')
| -rw-r--r-- | 2023/captions/emacsconf-2023-overlay--improving-compiler-diagnostics-with-overlays--jeff-trull--answers.vtt | 638 |
1 files changed, 638 insertions, 0 deletions
diff --git a/2023/captions/emacsconf-2023-overlay--improving-compiler-diagnostics-with-overlays--jeff-trull--answers.vtt b/2023/captions/emacsconf-2023-overlay--improving-compiler-diagnostics-with-overlays--jeff-trull--answers.vtt new file mode 100644 index 00000000..2f2e9a1a --- /dev/null +++ b/2023/captions/emacsconf-2023-overlay--improving-compiler-diagnostics-with-overlays--jeff-trull--answers.vtt @@ -0,0 +1,638 @@ +WEBVTT + + +00:00:02.899 --> 00:00:03.399 +[Speaker 0]: Out here or also you can continue discussing + +00:00:06.200 --> 00:00:06.700 +on IRC. + +00:00:23.200 --> 00:00:23.320 +So I see 2 questions coming in already on the + +00:00:24.400 --> 00:00:24.619 +pad. So the first question is, + +00:00:26.759 --> 00:00:27.040 +how did you draw the under braces and over + +00:00:38.360 --> 00:00:38.559 +braces? Sorry, Jeff, you're muted on the blue + +00:00:38.559 --> 00:00:39.059 +button. + +00:00:43.340 --> 00:00:43.680 +[Speaker 1]: I'm sorry for some reason I'm seeing + +00:00:45.960 --> 00:00:46.420 +everything twice. I'm hearing everything + +00:00:48.420 --> 00:00:48.600 +twice. So it's, it's about with about a 5 + +00:00:53.400 --> 00:00:53.900 +[Speaker 0]: Probably my stream turned on + +00:00:57.340 --> 00:00:57.620 +[Speaker 1]: second delay. It's straight Oh, + +00:01:03.820 --> 00:01:04.000 +you're right Thank you so much I MPB is + +00:01:07.340 --> 00:01:07.840 +showing the the big blue button Okay, + +00:01:09.060 --> 00:01:09.380 +sorry everyone. Okay now. + +00:01:12.180 --> 00:01:12.260 +I'm together now Let's see How did I draw the + +00:01:13.140 --> 00:01:13.640 +over braces and under braces? + +00:01:17.120 --> 00:01:17.620 +LaTeX. That is a, that's a, + +00:01:25.020 --> 00:01:25.380 +yeah, and a SVG, I think, + +00:01:29.160 --> 00:01:29.460 +produced by LaTeX through a separate file. + +00:01:31.960 --> 00:01:32.460 +I tried to do like a LaTeX code block and + +00:01:33.940 --> 00:01:34.160 +didn't get around to it. + +00:01:36.900 --> 00:01:37.260 +Also, the code to produce it in TickSet was + +00:01:39.800 --> 00:01:39.940 +really, really long. So I didn't put it in + +00:01:47.300 --> 00:01:47.540 +[Speaker 0]: The next question is, you've got a nice + +00:01:48.840 --> 00:01:49.340 +sounding keyboard. What kind is it? + +00:01:50.380 --> 00:01:50.600 +[Speaker 1]: the notes. GARY ILLYES-CHAKRABARTYTT I'm so + +00:01:55.960 --> 00:01:56.180 +sorry. It is an Ergodox split keyboard for my + +00:01:59.700 --> 00:02:00.180 +wrists. Sorry about the noise. + +00:02:01.020 --> 00:02:01.280 +[Speaker 0]: Awesome. Yeah, no worries. + +00:02:02.220 --> 00:02:02.440 +I mean, I like to hear it. + +00:02:03.900 --> 00:02:04.400 +We like to hear it. I think a lot of us do. + +00:02:07.080 --> 00:02:07.580 +[Speaker 1]: Do we have anything on IRC? + +00:02:15.880 --> 00:02:16.380 +Let's see. Someone's asking for ligatures. + +00:02:23.420 --> 00:02:23.860 +Do you have any questions, + +00:02:26.100 --> 00:02:26.600 +Ben? Charles? + +00:02:35.280 --> 00:02:35.440 +[Speaker 0]: I see a bunch on the path that I can read for + +00:02:36.980 --> 00:02:37.480 +[Speaker 1]: Oh, yeah, please do. + +00:02:39.960 --> 00:02:40.140 +[Speaker 0]: now. Sure. So next question is, + +00:02:41.580 --> 00:02:42.080 +do you find that the invasive, + +00:02:44.540 --> 00:02:44.680 +quote unquote, 3-formatting interferes with + +00:02:44.680 --> 00:02:45.180 +navigation? + +00:02:48.700 --> 00:02:49.200 +[Speaker 1]: Yes, it does. That is true. + +00:03:01.300 --> 00:03:01.800 +Let me see. Yeah, it's weird. + +00:03:04.120 --> 00:03:04.340 +The good news is that, + +00:03:06.260 --> 00:03:06.500 +oh, you know what? The first thing I did, + +00:03:07.600 --> 00:03:08.100 +my first attempt at this, + +00:03:11.140 --> 00:03:11.480 +I actually made all of the incoming text + +00:03:13.440 --> 00:03:13.660 +invisible and just replaced it with my own + +00:03:15.440 --> 00:03:15.940 +text. And that was actually a lot worse. + +00:03:21.420 --> 00:03:21.680 +The more of the input that is removed or made + +00:03:23.600 --> 00:03:23.960 +invisible, the harder the navigation becomes. + +00:03:26.520 --> 00:03:26.880 +So the fact that now I'm just inserting line + +00:03:29.440 --> 00:03:29.640 +breaks and spaces makes it a lot easier. + +00:03:30.540 --> 00:03:30.920 +And I can still search. + +00:03:34.600 --> 00:03:34.760 +And when I get to the destination of the + +00:03:38.300 --> 00:03:38.800 +search, I'm still in proper normal text. + +00:03:41.980 --> 00:03:42.160 +So it got a little better by changing my + +00:03:43.740 --> 00:03:43.940 +strategy a bit, but it's still a little bit + +00:03:50.180 --> 00:03:50.680 +of a problem. Let's see. + +00:03:51.720 --> 00:03:52.220 +I'll go look at the etherpad. + +00:03:55.080 --> 00:03:55.520 +Where is it? + +00:03:57.260 --> 00:03:57.440 +[Speaker 0]: I can read the questions from etherpad if + +00:04:00.660 --> 00:04:00.860 +you'd like me to. And then If at any point + +00:04:02.720 --> 00:04:03.180 +you want to take the questions from IRC, + +00:04:04.320 --> 00:04:04.820 +then feel free to do that as well. + +00:04:07.240 --> 00:04:07.600 +[Speaker 1]: I found it. Can you show us the key bindings + +00:04:08.940 --> 00:04:09.440 +of your minor map for editing overlays? + +00:04:15.860 --> 00:04:16.360 +Well, I have a minor mode key map for + +00:04:21.720 --> 00:04:22.220 +increasing or decreasing the level of detail. + +00:04:24.640 --> 00:04:25.140 +And the key bindings are like, + +00:04:31.840 --> 00:04:32.340 +I can't remember what it is. + +00:04:34.080 --> 00:04:34.200 +If you go and you look at the source on + +00:04:35.640 --> 00:04:36.140 +GitHub, you can see it there. + +00:04:37.600 --> 00:04:38.100 +I forgot what I bound them to. + +00:04:40.320 --> 00:04:40.820 +Something that I'm allowed to do. + +00:04:45.860 --> 00:04:46.220 +They have restrictions on what key bindings + +00:04:47.200 --> 00:04:47.700 +you can make in minor modes. + +00:04:49.300 --> 00:04:49.640 +And I carefully followed the directions. + +00:04:50.580 --> 00:04:50.820 +I don't remember what it was. + +00:04:54.220 --> 00:04:54.720 +It's like Control-C-P or something like that. + +00:05:00.600 --> 00:05:01.100 +Or yeah. Sorry. Your examples were with C++ + +00:05:02.640 --> 00:05:03.140 +if you experiment with any other languages. + +00:05:07.460 --> 00:05:07.960 +I haven't. I guess this is just a perennial + +00:05:10.440 --> 00:05:10.940 +pain point for C++ programmers. + +00:05:13.480 --> 00:05:13.860 +So that's kind of why my, + +00:05:15.680 --> 00:05:16.000 +and I am 1, and I guess that's why my focus + +00:05:17.880 --> 00:05:18.080 +was there. You probably have to rewrite some + +00:05:20.520 --> 00:05:21.020 +of the parsers to use something else. + +00:05:24.060 --> 00:05:24.160 +Would it be possible to include overlays in + +00:05:25.080 --> 00:05:25.580 +the source file itself? + +00:05:30.860 --> 00:05:31.360 +I actually don't understand this question. + +00:05:33.120 --> 00:05:33.440 +In the source file itself, + +00:05:35.160 --> 00:05:35.660 +there are language modes that do this. + +00:05:41.580 --> 00:05:41.740 +No, I'm not certain I understand that + +00:05:43.520 --> 00:05:43.700 +question. Maybe you could edit it a little + +00:05:45.360 --> 00:05:45.860 +bit more, overlays in the source file. + +00:05:48.840 --> 00:05:49.340 +What are your plans for TSP in the future? + +00:05:54.560 --> 00:05:55.060 +It's a little fragile. + +00:06:00.020 --> 00:06:00.520 +So it might be nice to investigate. + +00:06:02.600 --> 00:06:02.920 +I think you can get the compiler to output + +00:06:04.120 --> 00:06:04.620 +error messages in different formats, + +00:06:07.320 --> 00:06:07.800 +which might be more parsable or the parsing + +00:06:08.360 --> 00:06:08.860 +might be more maintainable. + +00:06:10.280 --> 00:06:10.520 +That might be an interesting thing to + +00:06:15.460 --> 00:06:15.960 +investigate. And the other thing is I have + +00:06:19.200 --> 00:06:19.700 +just 1 way of reformatting the output where + +00:06:21.360 --> 00:06:21.820 +everything on the same level is vertically + +00:06:23.920 --> 00:06:24.160 +aligned. But I think some people might want + +00:06:26.920 --> 00:06:27.040 +to make more use of the horizontal space on + +00:06:30.920 --> 00:06:31.260 +the screen and take the sort of sibling parts + +00:06:34.860 --> 00:06:35.360 +of the type and line them up straight across + +00:06:39.140 --> 00:06:39.640 +and take up a little bit less vertical space. + +00:06:47.560 --> 00:06:48.040 +Enriched mode. I don't know what enriched + +00:06:51.240 --> 00:06:51.500 +mode is. Interesting. Oh, + +00:06:52.720 --> 00:06:53.220 +what's my repository link? + +00:06:56.400 --> 00:06:56.900 +Let me get that then. I don't know how to + +00:07:00.620 --> 00:07:01.120 +format this properly, but it's just troll + +00:07:03.820 --> 00:07:04.320 +slash tspute. Yeah, it's on GitHub. + +00:07:14.820 --> 00:07:15.160 +Something like that. Let's see. + +00:07:16.120 --> 00:07:16.620 +This looks like the Etherpad. + +00:07:19.640 --> 00:07:20.140 +It looks like all the Etherpad questions. + +00:07:22.120 --> 00:07:22.620 +We have 1 here from Charles. + +00:07:24.960 --> 00:07:25.120 +Can overlays work as hypertext so you can + +00:07:26.680 --> 00:07:27.180 +link an error message back to the source? + +00:07:30.720 --> 00:07:30.920 +Yeah, actually, that's done by default in + +00:07:32.680 --> 00:07:33.120 +compilation mode. That's 1 of the features + +00:07:36.160 --> 00:07:36.660 +you get, which has been around for literally + +00:07:41.280 --> 00:07:41.520 +decades. Oh, yeah. Is it already there? + +00:07:42.240 --> 00:07:42.740 +Yes, it's already there. + +00:07:45.960 --> 00:07:46.460 +Let's see. Do we have anything on IRC? + +00:07:56.680 --> 00:07:56.880 +Let me see. OK, looks like it seems like + +00:07:58.000 --> 00:07:58.480 +we've run out of questions. + +00:07:58.860 --> 00:07:59.360 +Is that true? + +00:08:04.440 --> 00:08:04.640 +[Speaker 0]: Yeah, it seems so. It seems so, + +00:08:06.820 --> 00:08:07.200 +although we still have a couple more minutes, + +00:08:09.000 --> 00:08:09.480 +like maybe 3, 4 minutes on the stream. + +00:08:13.780 --> 00:08:14.240 +So yeah. And then, of course, + +00:08:15.800 --> 00:08:16.020 +once the stream does move on to the next + +00:08:19.120 --> 00:08:19.440 +talk. Folks are welcome to join Jeff here on + +00:08:22.340 --> 00:08:22.500 +BigBlueButton. If Jeff still has a few more + +00:08:24.640 --> 00:08:24.960 +minutes to just chat here or ask questions + +00:08:25.800 --> 00:08:26.300 +here, that works as well. + +00:08:26.920 --> 00:08:27.240 +[Speaker 1]: JEFF CROSSMAN-WILSONEY-PORTMAN Yeah, + +00:08:29.640 --> 00:08:30.140 +if anyone's excited about the tool. + +00:08:38.460 --> 00:08:38.880 +Are the notes are available online, + +00:08:42.100 --> 00:08:42.360 +right? I uploaded an org file that was my + +00:08:43.700 --> 00:08:43.940 +talk, and I actually included some + +00:08:48.900 --> 00:08:49.300 +references. Like at the end, + +00:08:50.860 --> 00:08:51.360 +there's some links and stuff like that. + +00:08:54.620 --> 00:08:54.820 +Whenever you see like a underlined thing in + +00:08:56.840 --> 00:08:56.980 +my presentation, it's like I was kind of + +00:08:58.520 --> 00:08:59.020 +thinking people would have access to the + +00:09:00.920 --> 00:09:01.160 +actual presentation itself so they could go + +00:09:04.640 --> 00:09:05.140 +and see what it was I was linking to some PDF + +00:09:07.540 --> 00:09:08.000 +somewhere. How annoying is this for multiple + +00:09:09.600 --> 00:09:09.960 +compilers? It's annoying, + +00:09:15.620 --> 00:09:15.860 +Ben. I basically have separate parsers for + +00:09:18.600 --> 00:09:18.760 +Clang and GCC, and I'm not supporting MSVC at + +00:09:23.540 --> 00:09:23.940 +the moment. So yeah, that's where I do worry + +00:09:26.520 --> 00:09:26.680 +about its fragility, about the way I'm kind + +00:09:27.720 --> 00:09:28.220 +of parsing these error messages, + +00:09:29.340 --> 00:09:29.840 +which are idiosyncratic. + +00:09:38.440 --> 00:09:38.680 +Oh, yeah, great. Thank you, + +00:09:49.060 --> 00:09:49.220 +Amin. That's good. Should just follow that + +00:09:49.600 --> 00:09:50.100 +link, I guess. + +00:09:56.420 --> 00:09:56.720 +[Speaker 0]: Well, yeah, it's so that you have to scroll + +00:09:59.020 --> 00:09:59.380 +down a little bit underneath the video + +00:10:00.460 --> 00:10:00.960 +embedding itself. There's timestamps. + +00:10:01.880 --> 00:10:02.380 +And then below the timestamps, + +00:10:03.240 --> 00:10:03.740 +I see a bunch of links, + +00:10:06.140 --> 00:10:06.640 +including 1 that says download.org. + +00:10:09.800 --> 00:10:10.020 +[Speaker 1]: Yeah, let's see what that is. + +00:10:13.080 --> 00:10:13.320 +Is that the right 1? Yeah, + +00:10:14.780 --> 00:10:15.280 +that's it. That's the 1. + +00:10:19.280 --> 00:10:19.540 +Yeah, you can also see all of my hacks to Org + +00:10:20.740 --> 00:10:21.240 +Present are in there as well. + +00:10:25.760 --> 00:10:25.920 +I followed the System Crafters thing and made + +00:10:27.160 --> 00:10:27.660 +a bunch of my own modifications. + +00:10:33.120 --> 00:10:33.420 +Org Present has this problem where every + +00:10:35.760 --> 00:10:36.060 +heading is a slide, which I don't like. + +00:10:37.080 --> 00:10:37.580 +I kind of want hierarchy. + +00:10:41.040 --> 00:10:41.540 +You know? Oh, no. Sorry. + +00:10:43.440 --> 00:10:43.940 +Every level 1 heading is a slide. + +00:10:46.360 --> 00:10:46.720 +And I kind of want hierarchy among the + +00:10:51.440 --> 00:10:51.640 +slides. And I had to sort of invent it in + +00:10:54.320 --> 00:10:54.820 +that system myself through navigation. + +00:11:03.800 --> 00:11:04.300 +It looks like things have quieted down. + +00:11:09.520 --> 00:11:10.020 +Shall we call it? + +00:11:14.020 --> 00:11:14.120 +[Speaker 0]: Yeah, sure. So yeah, thanks again for the + +00:11:17.780 --> 00:11:18.120 +great talk, Jeff. And also to the audience + +00:11:18.960 --> 00:11:19.460 +for questions and discussions. + +00:11:21.720 --> 00:11:21.900 +People are welcome to stay here on BBB if + +00:11:24.060 --> 00:11:24.160 +Jeff has time to continue the discussions and + +00:11:25.320 --> 00:11:25.520 +ask any questions they might have. + +00:11:26.820 --> 00:11:27.320 +Otherwise, yeah, we can wrap it. + +00:11:29.200 --> 00:11:29.380 +[Speaker 1]: Sure. Thank you so much. + +00:11:30.400 --> 00:11:30.880 +And I love this conference. + +00:11:33.900 --> 00:11:34.120 +I've been a happy attendee since like 2015 or + +00:11:36.760 --> 00:11:37.120 +something. So yeah, it's great. + +00:11:37.760 --> 00:11:38.260 +Thank you for your work. + +00:11:41.040 --> 00:11:41.260 +[Speaker 0]: Thank you. Cheers. I mean, + +00:11:43.080 --> 00:11:43.260 +in large part, thanks to awesome people like + +00:11:44.280 --> 00:11:44.540 +you who give these amazing talks. + +00:11:45.420 --> 00:11:45.920 +So Thank you as well. + +00:14:30.260 --> 00:14:30.460 +[Speaker 1]: You are currently the only person in this + +00:14:30.460 --> 00:14:30.960 +conference. + +00:21:15.260 --> 00:21:15.760 +You + +00:21:37.760 --> 00:21:38.260 +1 + +00:22:23.260 --> 00:22:23.760 +1 1 1 1 2 1 2 1 2 1 1 3 4 1 2 4 1 1 3 4 1 1 2 + +00:22:28.100 --> 00:22:28.600 +3 3 4 1 2 1 + +00:24:41.445 --> 00:24:41.945 +You |