path: root/2023/info/devel-after.md

<!-- Automatically generated by emacsconf-publish-after-page -->


<a name="devel-mainVideo-transcript"></a>
# Transcript (unedited)

[[!template text="""2 seconds. All right. I think we are live.""" start="00:00:08.099" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Yes. So, hi again, everyone.""" start="00:00:09.780" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I have the pleasure to welcome John Wheatley""" start="00:00:13.259" video="mainVideo-devel" id="subtitle"]]
[[!template text="""in person to this EmacsConf.""" start="00:00:14.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Hi, John. Hello there.""" start="00:00:16.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""How are you doing, Leo?""" start="00:00:18.592" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I am doing fantastic, and even more now that""" start="00:00:20.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I am in a room with you because we've been,""" start="00:00:23.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""we were reminiscing with Sasha.""" start="00:00:25.279" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So you had been there in person in 2013 And""" start="00:00:30.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""since we started doing those online,""" start="00:00:32.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Juan, since 2019, I think you've always been""" start="00:00:34.840" video="mainVideo-devel" id="subtitle"]]
[[!template text="""online, right? Usually it's a pre-recorded""" start="00:00:37.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""video. I think this will be the first 1 I do""" start="00:00:40.239" video="mainVideo-devel" id="subtitle"]]
[[!template text="""live in a long time. You're right.""" start="00:00:42.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm saying we are online right now,""" start="00:00:44.059" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but I just meant pre-recorded video.""" start="00:00:45.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So it's good to have you almost in person or""" start="00:00:48.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""at least live and we are excited to hear""" start="00:00:50.739" video="mainVideo-devel" id="subtitle"]]
[[!template text="""about some of the Emacs news.""" start="00:00:52.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So the floor is yours.""" start="00:00:54.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""All right, well welcome everybody.""" start="00:00:56.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""This is the yearly state of the Emacs union,""" start="00:00:59.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I guess, about how Emacs development is""" start="00:01:02.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""going. Just to note, I am not currently a""" start="00:01:05.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""maintainer of Emacs. So what I do to get""" start="00:01:07.540" video="mainVideo-devel" id="subtitle"]]
[[!template text="""these notes is I call up my friend,""" start="00:01:09.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Eli Zaretsky, 1 of the current Emacs""" start="00:01:11.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""maintainers, and he and I sit down for an""" start="00:01:13.700" video="mainVideo-devel" id="subtitle"]]
[[!template text="""hour, and he just gives me his dump of what's""" start="00:01:16.880" video="mainVideo-devel" id="subtitle"]]
[[!template text="""been going on. So I'm sort of just the""" start="00:01:19.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""messenger here. But thanks to Eli for these""" start="00:01:21.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""notes and all of the efforts that he""" start="00:01:24.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""contributes. So what he's been telling me is""" start="00:01:27.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that this Emacs 29 release that we had""" start="00:01:29.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""recently looks to have been very,""" start="00:01:31.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""very successful, which is some good news,""" start="00:01:33.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""because there were a lot of new features,""" start="00:01:34.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and some of those features were actually""" start="00:01:37.020" video="mainVideo-devel" id="subtitle"]]
[[!template text="""quite radical. So far,""" start="00:01:39.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it's been quite a success,""" start="00:01:40.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""no serious problems with it,""" start="00:01:41.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and we have Emacs 29.2""" start="00:01:43.580" video="mainVideo-devel" id="subtitle"]]
[[!template text="""will be released very soon.""" start="00:01:46.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""They are thinking now about starting the""" start="00:01:49.780" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Emacs 30 release cycle soon after 29.2""" start="00:01:52.580" video="mainVideo-devel" id="subtitle"]]
[[!template text="""is released, where the release branch,""" start="00:01:55.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""which is called Emacs-30 usually,""" start="00:01:57.620" video="mainVideo-devel" id="subtitle"]]
[[!template text="""will be cut and then development will become""" start="00:02:01.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""frozen with only bug fixes going into that""" start="00:02:03.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""branch. That may take quite some time until""" start="00:02:06.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it actually comes to fruition as a release,""" start="00:02:09.199" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but at least it means that the release is""" start="00:02:11.500" video="mainVideo-devel" id="subtitle"]]
[[!template text="""going to start taking shape in that branch""" start="00:02:13.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""soon. So, for now, Emacs 30 looks like maybe""" start="00:02:17.420" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it's going to be a little less interesting""" start="00:02:19.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""than Emacs 29 was, meaning not a huge number""" start="00:02:22.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""of changing features. But there are still""" start="00:02:24.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""some new things going in.""" start="00:02:26.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So 1 of them is that Emacs 30 is going to""" start="00:02:29.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""have Android support. So you will be able to""" start="00:02:32.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""run Emacs 30 on your Android devices.""" start="00:02:34.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So if you've ever wanted to have native Emacs""" start="00:02:36.820" video="mainVideo-devel" id="subtitle"]]
[[!template text="""on a tablet, which I know I've always wanted,""" start="00:02:39.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that will become possible with Emacs 30.""" start="00:02:42.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""There's also going to be much better support""" start="00:02:45.060" video="mainVideo-devel" id="subtitle"]]
[[!template text="""for touchscreen devices,""" start="00:02:46.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""coincidentally, both laptops and tablets.""" start="00:02:49.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So that'll enhance that Android support.""" start="00:02:52.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""There will be some recently gained support""" start="00:02:56.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""for LLDB in GUD.dl. So if you're on a Mac OS""" start="00:03:01.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""machine or a machine that uses just LLVM as""" start="00:03:05.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""part of the compilation process,""" start="00:03:06.560" video="mainVideo-devel" id="subtitle"]]
[[!template text="""then you probably are familiar with LLDB as""" start="00:03:10.020" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the command line debugger.""" start="00:03:10.880" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And that support for using LLDB through a GUD""" start="00:03:14.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""will become possible in Emacs 30.""" start="00:03:16.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm looking forward to this actually quite a""" start="00:03:18.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""bit as well. C Perl mode is being deprecated,""" start="00:03:22.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and all future work now is only being put""" start="00:03:25.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""towards C Perl mode. Another 1 is that there""" start="00:03:30.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""are going to be some new major modes based on""" start="00:03:32.840" video="mainVideo-devel" id="subtitle"]]
[[!template text="""TreeSitter. They will be for the languages""" start="00:03:35.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Lua, Elixir, and HTML.""" start="00:03:37.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And if you're not familiar,""" start="00:03:39.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I think TreeSitter was introduced in Emacs""" start="00:03:42.260" video="mainVideo-devel" id="subtitle"]]
[[!template text="""29. It's a library that allows you to specify""" start="00:03:46.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the grammar of a programming language as a""" start="00:03:49.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""BNF file, and I think using JavaScript,""" start="00:03:52.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and then with that file as input to Emacs,""" start="00:03:56.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it is then able to do syntax highlighting,""" start="00:03:59.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""syntax discovery, all of those things within""" start="00:04:02.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Emacs without having to use elisp and regexps""" start="00:04:05.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""to discover the structure of the language.""" start="00:04:07.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""It defers the structure gathering to""" start="00:04:10.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""TreeSitter and then uses that information to""" start="00:04:13.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""navigate the language.""" start="00:04:14.060" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So, As time goes on, you'll see more and more""" start="00:04:17.079" video="mainVideo-devel" id="subtitle"]]
[[!template text="""languages taking on TreeSetter support.""" start="00:04:19.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So the next 3 coming up,""" start="00:04:20.899" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Lua, Elixir, and HTML.""" start="00:04:22.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And then the last feature for Emacs 30 is""" start="00:04:26.500" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that the byte compiler will now detect and""" start="00:04:29.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""warn about many more questionable constructs.""" start="00:04:32.420" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Things like empty macro bodies,""" start="00:04:34.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""missing lexical constructs,""" start="00:04:36.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""or say, condition case without any handlers.""" start="00:04:39.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Just silly stuff that might litter the code,""" start="00:04:43.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but now you'll get a warning about it from""" start="00:04:45.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the byte compiler to help you clean up the""" start="00:04:46.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""code and get rid of those potential sites of""" start="00:04:49.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""error. So this is the main thing that will be""" start="00:04:52.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""worked on for Emacs 30 and what's looked like""" start="00:04:54.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""shaping up for the release.""" start="00:04:55.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And also, he wanted me to announce that""" start="00:04:58.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Stefan Kongas is now a new co-maintainer.""" start="00:05:00.840" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And Stefan is, I believe,""" start="00:05:02.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""here with us in the conference and he'll be""" start="00:05:05.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""able, I hope, to help me answer any questions""" start="00:05:07.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""about future Emacs development because I'm""" start="00:05:09.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""not in the heat of it and don't have all""" start="00:05:12.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""those answers at the moment.""" start="00:05:13.100" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So That is all there is as far as a""" start="00:05:17.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""development update for now.""" start="00:05:18.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And I am available to take any questions.""" start="00:05:21.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""All right. Thank you so much,""" start="00:05:26.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Sean, for being the messenger of all this""" start="00:05:29.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""good news. I mean, you did start by saying""" start="00:05:31.500" video="mainVideo-devel" id="subtitle"]]
[[!template text="""this would not be as exciting,""" start="00:05:32.980" video="mainVideo-devel" id="subtitle"]]
[[!template text="""perhaps, as prior releases of Emacs,""" start="00:05:35.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but you then proceeded to say a lot of stuff""" start="00:05:38.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that it felt very exciting to me.""" start="00:05:40.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So good, good. Glad to hear that.""" start="00:05:43.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Right. So we do have questions coming in""" start="00:05:47.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""already and again people the link is on IRC""" start="00:05:49.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and also on the talks page if you want to""" start="00:05:51.980" video="mainVideo-devel" id="subtitle"]]
[[!template text="""start asking questions.""" start="00:05:52.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So John what I'm going to do I'm going to""" start="00:05:54.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""read you the questions and then you can""" start="00:05:56.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""answer them. Is that okay with you?""" start="00:05:57.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Absolutely. So starting with the first""" start="00:06:01.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""question which changes in recent Emacs""" start="00:06:04.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""releases are you enjoying using?""" start="00:06:06.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I have really liked the visual line mode.""" start="00:06:11.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm not sure how recent that is.""" start="00:06:14.780" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Some of these features I only discovered""" start="00:06:16.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""quite late, the new display line number""" start="00:06:19.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""functionality, where it's much,""" start="00:06:21.020" video="mainVideo-devel" id="subtitle"]]
[[!template text="""much, much faster, and of course,""" start="00:06:22.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""native compilation. Native compilation has""" start="00:06:25.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""been quite brilliant for some of the larger""" start="00:06:27.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""packages that I use. I do a lot of stuff in""" start="00:06:29.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Emacs. I use GNU's, I use E-Shell,""" start="00:06:31.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I use Org Mode quite a lot.""" start="00:06:33.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So native compilation has brought the user""" start="00:06:35.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""experience much closer to a modern app than""" start="00:06:39.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""some of the lagging and slowness that I might""" start="00:06:41.980" video="mainVideo-devel" id="subtitle"]]
[[!template text="""have experienced in the past.""" start="00:06:43.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Definitely. Moving on to the next question.""" start="00:06:46.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""What do you think the future in the area of""" start="00:06:49.020" video="mainVideo-devel" id="subtitle"]]
[[!template text="""artificial intelligence from the developer""" start="00:06:50.540" video="mainVideo-devel" id="subtitle"]]
[[!template text="""point of view? Could you say that 1 more""" start="00:06:53.420" video="mainVideo-devel" id="subtitle"]]
[[!template text="""time? Your voice broke up a little bit.""" start="00:06:54.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Oh, sorry. What do you think the future in""" start="00:06:55.009" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the area of artificial intelligence from the""" start="00:06:55.125" video="mainVideo-devel" id="subtitle"]]
[[!template text="""developer point of view?""" start="00:06:55.191" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Could you say that 1 more time?""" start="00:06:55.307" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Your voice broke up a little bit.""" start="00:06:55.423" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Oh, sorry. What do you think the future in""" start="00:06:57.880" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the area of artificial intelligence from the""" start="00:07:00.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""developer point of view?""" start="00:07:01.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""It's also a shaky question,""" start="00:07:02.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I think, but you get the point.""" start="00:07:04.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I do use chat-gpt-shell inside of Emacs quite""" start="00:07:08.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""a bit, actually, when doing development in""" start="00:07:10.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""other languages. Just the other day,""" start="00:07:12.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I was working on my Ledger accounting""" start="00:07:14.700" video="mainVideo-devel" id="subtitle"]]
[[!template text="""program, and I haven't done a lot of C++ in""" start="00:07:17.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""recent years. So I had forgotten how to""" start="00:07:20.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""exactly compare 2 strings only up to the""" start="00:07:23.620" video="mainVideo-devel" id="subtitle"]]
[[!template text="""length of the shortest string.""" start="00:07:24.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I know I could have cranked that out just""" start="00:07:26.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""writing it C style, but I didn't remember""" start="00:07:28.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""what the current state of the art is for C++""" start="00:07:30.300" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and the STL. So I just asked chatGPT.""" start="00:07:32.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I asked the exact question that I just said""" start="00:07:35.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""to you and sure enough it popped out the""" start="00:07:38.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""one-liner that was exactly what I needed.""" start="00:07:39.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So I think in terms of developer assistance,""" start="00:07:41.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""not having to keep all of standard libraries""" start="00:07:45.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""or common idioms in memory.""" start="00:07:46.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I don't know if other people are familiar""" start="00:07:48.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""with Rosetta Stone projects.""" start="00:07:50.580" video="mainVideo-devel" id="subtitle"]]
[[!template text="""They're projects where you have say a hundred""" start="00:07:53.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""different languages and there's a particular""" start="00:07:55.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""question, say, how do I read a file and copy""" start="00:07:58.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it to another location?""" start="00:07:59.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And then it has an instance of doing that""" start="00:08:01.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""activity for every 1 of those languages.""" start="00:08:03.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""That's a great database,""" start="00:08:04.780" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and I've used them quite a bit in the past""" start="00:08:06.880" video="mainVideo-devel" id="subtitle"]]
[[!template text="""for remembering how to do certain things,""" start="00:08:08.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""say, converting a string to UTF-8.""" start="00:08:12.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I think that AI does a great job of""" start="00:08:15.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""completely replacing the need for databases""" start="00:08:17.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""like that because you can just ask how do I""" start="00:08:19.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""copy a convert a string to UTF-8.""" start="00:08:21.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Yeah exactly and you know especially with""" start="00:08:27.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""languages which are tried well tried you know""" start="00:08:30.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it's very easy to get an answer that is""" start="00:08:32.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""correct. But sometimes what I find bothersome""" start="00:08:34.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""with this type of coding,""" start="00:08:37.020" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I think it's AI-aided coding,""" start="00:08:39.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but it's still coding,""" start="00:08:40.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""is that, especially with C languages,""" start="00:08:42.799" video="mainVideo-devel" id="subtitle"]]
[[!template text="""sometimes you're going to end up with""" start="00:08:44.140" video="mainVideo-devel" id="subtitle"]]
[[!template text="""undefined behaviors and stuff like this just""" start="00:08:45.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""because other people have been doing it,""" start="00:08:47.420" video="mainVideo-devel" id="subtitle"]]
[[!template text="""not because the algorithm or the model was""" start="00:08:50.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""trained with data that dates back to 10 years""" start="00:08:53.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""ago. At the time, C++ was a little different.""" start="00:08:59.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Anyway, I'm not here to talk,""" start="00:09:01.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""you are here to talk. Moving on to the next""" start="00:09:03.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""question. People already get to hear my voice""" start="00:09:06.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""plenty, whereas yours are much sparser.""" start="00:09:09.140" video="mainVideo-devel" id="subtitle"]]
[[!template text="""All right. So, what is the future of Emacs on""" start="00:09:13.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""macOS? I understand that there are too few""" start="00:09:15.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""developers for the platform.""" start="00:09:16.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Is that still true? That's a good question.""" start="00:09:21.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I don't know what the current statistics are.""" start="00:09:23.300" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I've been a user of Emacs on Mac OS for""" start="00:09:26.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""decades now. It feels like the,""" start="00:09:29.540" video="mainVideo-devel" id="subtitle"]]
[[!template text="""There's also that Mac port version of Emacs,""" start="00:09:32.980" video="mainVideo-devel" id="subtitle"]]
[[!template text="""which builds Emacs more directly using the""" start="00:09:35.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""GUI libraries on the platform.""" start="00:09:37.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""That continues to be updated with every""" start="00:09:40.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""single new release that comes out.""" start="00:09:41.540" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So I'd say that the support may not be as""" start="00:09:45.060" video="mainVideo-devel" id="subtitle"]]
[[!template text="""great as it is on Linux and other platforms,""" start="00:09:47.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but to this day I haven't suffered from being""" start="00:09:50.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""a Mac user. Great. The only thing I remember""" start="00:09:54.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""about Emacs on macOS was that emojis made it""" start="00:10:00.060" video="mainVideo-devel" id="subtitle"]]
[[!template text="""inside the GUI first before they did it""" start="00:10:03.420" video="mainVideo-devel" id="subtitle"]]
[[!template text="""anywhere else. That's the 1 anecdote that I""" start="00:10:05.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""have on MacOS. Right. And historically that""" start="00:10:09.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""feature was removed in order to prevent Mac""" start="00:10:12.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""from having features that Linux did not.""" start="00:10:14.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I didn't want to go into that point.""" start="00:10:16.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I just wanted to mention the beginning of the""" start="00:10:18.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""anecdote and people can find it out.""" start="00:10:19.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""But yes, that's also what it led to.""" start="00:10:21.540" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Moving on to the next question.""" start="00:10:24.840" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Why aren't you contributing to Emacs anymore?""" start="00:10:27.620" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Lack of time, I guess?""" start="00:10:28.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Lack of time, primarily.""" start="00:10:31.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Work has been very consuming.""" start="00:10:33.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""There are a lot of other projects and things""" start="00:10:35.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that I like doing. I still find Emacs Lisp""" start="00:10:38.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""very, very fun to write.""" start="00:10:39.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Just the other day, I was hacking up some""" start="00:10:42.980" video="mainVideo-devel" id="subtitle"]]
[[!template text="""extension macros for myself for org mode.""" start="00:10:45.260" video="mainVideo-devel" id="subtitle"]]
[[!template text="""But to have the time needed to sit down and""" start="00:10:48.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""design a whole new mode and work on it.""" start="00:10:51.140" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I've been spending a lot of my time now in""" start="00:10:53.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""functional languages, especially theorem""" start="00:10:55.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""provers. I just find that so intellectually""" start="00:10:57.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""satisfying and interesting.""" start="00:10:59.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Plus it pays a lot better.""" start="00:11:01.460" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Never had a paying job as an Emacs list""" start="00:11:03.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""developer. So when it comes to now just being""" start="00:11:06.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""a fun language or a hobby language,""" start="00:11:07.880" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it is relegated to the time that I have free""" start="00:11:10.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""when it's available. Right.""" start="00:11:13.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Well, the good thing is that it's kind of""" start="00:11:15.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""like riding a bicycle,""" start="00:11:15.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""you know, writing a major mode,""" start="00:11:17.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it comes back relatively quickly and still""" start="00:11:19.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""enjoyable. You know, the other day,""" start="00:11:22.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""actually, I took notes on a mode that I""" start="00:11:25.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""wanted to write. There's an app I use on the""" start="00:11:27.980" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Mac called drafts, and I really love it.""" start="00:11:30.020" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I use it all the time.""" start="00:11:30.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I wanted to mimic the interface of this app""" start="00:11:34.300" video="mainVideo-devel" id="subtitle"]]
[[!template text="""in Emacs. So I could use Emacs as my drafts""" start="00:11:37.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""application rather than this separate 1.""" start="00:11:39.560" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So I noted down all the different user""" start="00:11:42.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""parameters and how it should function and""" start="00:11:44.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""everything to describe the app to myself as""" start="00:11:47.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""sort of notes to get me started on that work""" start="00:11:50.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""when I did have free time to work on it.""" start="00:11:51.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Somebody out there on the internet just saw""" start="00:11:54.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""these notes, because I keep a lot of my stuff""" start="00:11:56.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""on GitHub. They fed it to chat GPT,""" start="00:11:59.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""going back to your AI question.""" start="00:12:01.460" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And they actually sent back to me a mode that""" start="00:12:04.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""implemented everything that I had said,""" start="00:12:06.140" video="mainVideo-devel" id="subtitle"]]
[[!template text="""which was effectively,""" start="00:12:07.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""chat GPT, seeing that what I had described""" start="00:12:10.460" video="mainVideo-devel" id="subtitle"]]
[[!template text="""was clear enough for it to derive most of the""" start="00:12:14.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""code that I would have wanted to write.""" start="00:12:16.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So maybe, maybe another thing that AI can do""" start="00:12:19.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""is it can increase the value,""" start="00:12:20.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the efficiency of my free time.""" start="00:12:22.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Exactly. I think that's a wonderful point.""" start="00:12:26.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And phrasing it as efficiency of free time is""" start="00:12:29.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""great because you still have the expertise,""" start="00:12:30.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""obviously, that you're mobilizing into the""" start="00:12:33.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""design that you're formulating to charge DPT,""" start="00:12:35.060" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but then this expertise is turned into""" start="00:12:37.460" video="mainVideo-devel" id="subtitle"]]
[[!template text="""something that actually works.""" start="00:12:38.560" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Perhaps we're all going to become software""" start="00:12:41.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""architects at some point,""" start="00:12:42.540" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and then the busy work of actually coding the""" start="00:12:45.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""library and the software will be relegated to""" start="00:12:48.560" video="mainVideo-devel" id="subtitle"]]
[[!template text="""AI. That's an interesting future where we""" start="00:12:50.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""still, however, need to acquire the skills to""" start="00:12:54.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""know what is code, I suppose.""" start="00:12:56.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""But that's an interesting future to think of.""" start="00:12:58.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""A fairly long question.""" start="00:13:01.580" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So 1 of the tricky things about running Emacs""" start="00:13:03.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""on Android is do you use anything that""" start="00:13:06.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""requires extra packages?""" start="00:13:07.820" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Example like PDF tools with new PDF or going""" start="00:13:11.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""with a database, playing music or video with""" start="00:13:13.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""MPD or MPV on Bonga, LFeed.""" start="00:13:15.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Do you run Emacs Termex,""" start="00:13:17.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Emacs APK, Emacs in virtual machine?""" start="00:13:19.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""This is also the case on Emacs for Windows to""" start="00:13:22.260" video="mainVideo-devel" id="subtitle"]]
[[!template text="""a lesser degree. So summarizing,""" start="00:13:23.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""how do you make Emacs work on Android if you""" start="00:13:27.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""do not have the synergy of stuff that you""" start="00:13:29.700" video="mainVideo-devel" id="subtitle"]]
[[!template text="""usually find on Linux systems like MPV and""" start="00:13:32.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""all the fancy applications like this?""" start="00:13:33.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""It's a good question. Since I'm not an""" start="00:13:38.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Android user and I've never tried running""" start="00:13:40.140" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Emacs on Android platforms,""" start="00:13:41.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm not sure what's available out there to""" start="00:13:44.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""plug Emacs into. I mean,""" start="00:13:46.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""effectively, that question comes down to""" start="00:13:48.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""external dependencies and system support.""" start="00:13:49.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""That would be a great question for Stefan or""" start="00:13:53.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""somebody who has tried using Emacs,""" start="00:13:55.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the development version of Emacs on Android.""" start="00:13:58.100" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Great. We'll put a pin in this for Stéphane""" start="00:14:03.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""afterwards. Great, so moving on to the next""" start="00:14:07.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""question. Will Org Tech someday become the""" start="00:14:09.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""default tech mode in Emacs?""" start="00:14:10.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And if so, when? Will Org what become?""" start="00:14:14.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Org Tech, you know, the LaTeX mode.""" start="00:14:17.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I do not know. It's been a while since I've""" start="00:14:24.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""done LaTeX. It must have been like 4 years,""" start="00:14:26.420" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but it was a pretty, the major mode for""" start="00:14:30.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""editing documents, like the state of the art""" start="00:14:32.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""for editing latex documents in Emacs.""" start="00:14:34.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And apparently it's not default.""" start="00:14:35.820" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I assume there's latex mode or something that""" start="00:14:38.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""is doing it. So were you saying octech,""" start="00:14:41.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""like A-U-C tech? Oh, did I not pronounce the""" start="00:14:44.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""C? Octech, yes. I thought you said org tech.""" start="00:14:47.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I wasn't familiar with that.""" start="00:14:49.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Octech is the only 1 I've ever used.""" start="00:14:52.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I know there is a built-in LaTeX mode,""" start="00:14:54.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but I've never used it.""" start="00:14:56.880" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I always just download whatever the latest""" start="00:14:58.780" video="mainVideo-devel" id="subtitle"]]
[[!template text="""version of Org Tech is and use that.""" start="00:15:00.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I don't know why it's not a standard package.""" start="00:15:03.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Becoming a standard package has its own costs""" start="00:15:06.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""for the development cycle because it slows""" start="00:15:09.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""down release cycle quite a bit.""" start="00:15:11.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""It's now you have to create PRs that are""" start="00:15:14.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""reviewed by the Emacs Devel mailing list.""" start="00:15:16.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""It is a little more inertia.""" start="00:15:18.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Of course, it gets you more distribution""" start="00:15:21.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""because it's a default package now,""" start="00:15:23.560" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and everybody can be using that.""" start="00:15:25.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""But it's not something every developer""" start="00:15:28.100" video="mainVideo-devel" id="subtitle"]]
[[!template text="""decides to do. It took a few years,""" start="00:15:30.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""in fact, to get usePackage into Emacs core.""" start="00:15:34.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And that only happened after it was so stable""" start="00:15:36.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that it really wasn't receiving many changes""" start="00:15:38.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""anymore. Yeah, yeah it's it's the thing when""" start="00:15:44.540" video="mainVideo-devel" id="subtitle"]]
[[!template text="""you move into core you lose a lot of your""" start="00:15:46.560" video="mainVideo-devel" id="subtitle"]]
[[!template text="""agility in terms of how you're writing the""" start="00:15:49.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""code or how you expand code.""" start="00:15:50.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""That's why you have this vibrant community on""" start="00:15:54.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Melpa compared to core but you know it""" start="00:15:57.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""doesn't necessarily ought to be this way it""" start="00:15:59.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""could be a little different you know And it""" start="00:16:02.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""feels like there's this repetition between""" start="00:16:04.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""repartition, sorry, between people developing""" start="00:16:06.500" video="mainVideo-devel" id="subtitle"]]
[[!template text="""for the core of Emacs and people developing""" start="00:16:08.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""on Melpa, but at the end of the day those 2""" start="00:16:10.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""groups are constantly talking to 1 another""" start="00:16:12.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and taking cues from 1 another as well.""" start="00:16:14.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So that's great. And there's of course...""" start="00:16:17.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""May I jump in about this particular question""" start="00:16:21.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""because I think I mean You know,""" start="00:16:24.840" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Org Mode doesn't really have any problems""" start="00:16:27.100" video="mainVideo-devel" id="subtitle"]]
[[!template text="""with releases Correct.""" start="00:16:28.980" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Just because it's distributed with Emacs so""" start="00:16:32.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""there is a difference between being in the""" start="00:16:34.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""core proper and being distributed with Emacs.""" start="00:16:37.460" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And for something like use packages,""" start="00:16:39.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it's really necessary to be in the core.""" start="00:16:41.780" video="mainVideo-devel" id="subtitle"]]
[[!template text="""But for something like major mode,""" start="00:16:44.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it's a bit easier. That's a very very good""" start="00:16:48.620" video="mainVideo-devel" id="subtitle"]]
[[!template text="""point. Yeah, I'd forgotten about that""" start="00:16:50.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""distinction. Org mode does advance pretty""" start="00:16:52.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""rapidly and then it makes releases into the""" start="00:16:55.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""core distribution. Gianni,""" start="00:16:59.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I believe you also wanted to say something""" start="00:17:01.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""before someone started jumped in with a""" start="00:17:03.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""question do you happen to remember okay""" start="00:17:08.460" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that's fine I lost her to lost to their time""" start="00:17:11.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'll be moving on to the next question then""" start="00:17:14.060" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and by the way feel free to interrupt us you""" start="00:17:17.280" video="mainVideo-devel" id="subtitle"]]
[[!template text="""know The whole point of this discussion is""" start="00:17:19.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""for you to ask questions to John Wheatley.""" start="00:17:20.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So whether it be via the other pad or via""" start="00:17:23.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""BBB, choose your weapon.""" start="00:17:25.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""All right, moving on to the next question in""" start="00:17:28.700" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the meantime. And we have about 7 minutes""" start="00:17:30.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""left of Q&A and then we'll be moving on to""" start="00:17:32.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Stéphane. So, do you use other IDEs for""" start="00:17:35.580" video="mainVideo-devel" id="subtitle"]]
[[!template text="""theorem proving work, notably VS Code for""" start="00:17:37.840" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Lean? Which languages and provers can or do""" start="00:17:42.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""you use Emacs for? I've only used Emacs.""" start="00:17:45.420" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I've used Emacs for working with ACL 2,""" start="00:17:49.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Coq, Agda, and Lean, and I really love""" start="00:17:53.300" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Proof-General. Coq is my favorite language to""" start="00:17:55.560" video="mainVideo-devel" id="subtitle"]]
[[!template text="""be working in. Agda has really great support""" start="00:17:57.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""as well, has a very nice Emacs mode.""" start="00:17:59.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm only just now starting to get into Lean""" start="00:18:02.500" video="mainVideo-devel" id="subtitle"]]
[[!template text="""4. So I have everything installed,""" start="00:18:04.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but I haven't really started coding in""" start="00:18:07.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""earnest. I'm still reading a lot of the""" start="00:18:08.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""tutorials and learning a bit about the""" start="00:18:10.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""language. There was a while there where I""" start="00:18:13.260" video="mainVideo-devel" id="subtitle"]]
[[!template text="""used a IDE for ACL 2 that was outside of""" start="00:18:17.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Emacs, only because it was the same IDE all""" start="00:18:19.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""my co-workers were using and it was easier to""" start="00:18:21.820" video="mainVideo-devel" id="subtitle"]]
[[!template text="""share tips and tricks with them.""" start="00:18:23.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""But yeah, no, I found Emacs to be a great""" start="00:18:27.780" video="mainVideo-devel" id="subtitle"]]
[[!template text="""home for doing theorem proving.""" start="00:18:29.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Right. Next question. Can we see that AI""" start="00:18:36.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""generated draft? You know what you mentioned""" start="00:18:40.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""before about the draft that you then fed into""" start="00:18:43.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""ChargPT? Do you happen to have this draft""" start="00:18:45.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""anywhere? Let me see if it's still on GitHub.""" start="00:18:50.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Just take me 1 second to take a look here.""" start="00:18:53.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Take your time. The problem is I don't quite""" start="00:18:59.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""remember where I made the note.""" start="00:19:01.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""But no, I don't see it on GitHub,""" start="00:19:06.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""so I don't have it readily at hand.""" start="00:19:09.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Well, that's fine. We'll be able to...""" start="00:19:12.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Well, if you happen to find it,""" start="00:19:14.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""we'll make sure to add it on the pad and then""" start="00:19:17.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""on the talks page. And I think we would all""" start="00:19:20.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""be interested to see what this design""" start="00:19:22.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""document that actually made something work""" start="00:19:26.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""afterwards in JudgeDPT with Elisp.""" start="00:19:28.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm very interested to see what it would do""" start="00:19:30.440" video="mainVideo-devel" id="subtitle"]]
[[!template text="""because I tend to be very interested about""" start="00:19:32.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""this type of stuff I had generated but I""" start="00:19:34.640" video="mainVideo-devel" id="subtitle"]]
[[!template text="""never thought about doing it with Elisp""" start="00:19:36.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""because somehow it feels like 2 different""" start="00:19:38.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""worlds, like Elisp is kind of from the past,""" start="00:19:40.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""don't going me wrong, I love it and I use it""" start="00:19:43.540" video="mainVideo-devel" id="subtitle"]]
[[!template text="""every day But it's 2 different parts of my""" start="00:19:46.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""brain that I didn't think about linking.""" start="00:19:48.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So I'd be very excited to see this as well.""" start="00:19:50.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Moving on to the next question.""" start="00:19:54.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Oh, go on, please. I did find it.""" start="00:19:56.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm gonna have to give it to you as a link""" start="00:20:00.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""here. Sure, you can do it on the blue button""" start="00:20:03.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and I'll put it on the pad.""" start="00:20:05.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I put it into the public chat for Bibi.""" start="00:20:12.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Yes. So if anyone is interested,""" start="00:20:15.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm putting it right in the answer to the""" start="00:20:18.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""question right here on my screen.""" start="00:20:19.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So feel free to click on it and explore it.""" start="00:20:21.820" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm kind of curious, so I'm gonna...""" start="00:20:23.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Can I click it on stream and can we look at""" start="00:20:25.400" video="mainVideo-devel" id="subtitle"]]
[[!template text="""it a little bit together?""" start="00:20:26.120" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Sure, sure. I haven't tried running it,""" start="00:20:28.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I can't say for its fitness,""" start="00:20:31.300" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but it's definitely enough of the groundwork""" start="00:20:33.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""done that it's absolutely an assistance.""" start="00:20:36.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Right. Okay, so it's loading up right now?""" start="00:20:39.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""You can see my webcam,""" start="00:20:42.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""right? I can see your browser attempting to""" start="00:20:45.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""load. There we go. Okay,""" start="00:20:47.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""cool. So I'm not sure what GitHub is doing.""" start="00:20:49.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Let me give it a little more room.""" start="00:20:51.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""The reactive setup is not working too well.""" start="00:20:53.860" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Oh, I see. You're viewing the...""" start="00:20:58.340" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I see. Can I see the file then?""" start="00:21:01.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I should be able to see the file.""" start="00:21:03.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I think he just mentions the code in that""" start="00:21:08.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""comment. So if there's a way to view only the""" start="00:21:11.480" video="mainVideo-devel" id="subtitle"]]
[[!template text="""comment it would make it clear.""" start="00:21:14.765" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Right. Okay. I'm loading the file separately.""" start="00:21:16.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""I'm checking the time.""" start="00:21:18.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""We have about 3 minutes left and I think we""" start="00:21:21.220" video="mainVideo-devel" id="subtitle"]]
[[!template text="""have a question. In the meantime,""" start="00:21:22.420" video="mainVideo-devel" id="subtitle"]]
[[!template text="""whilst I show this, I'm gonna launch another""" start="00:21:25.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""question, which was about Drafts.""" start="00:21:28.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""You are carrying, you're talking about""" start="00:21:30.580" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Drafts, but does that mean you're not using""" start="00:21:32.320" video="mainVideo-devel" id="subtitle"]]
[[!template text="""org anymore? Oh, no, I use org all the time.""" start="00:21:35.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""In fact, the way that I've configured drafts""" start="00:21:37.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""is that after I type the thing in the note""" start="00:21:40.240" video="mainVideo-devel" id="subtitle"]]
[[!template text="""into drafts, I hit a key and it creates an""" start="00:21:43.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""org mode capture item for it.""" start="00:21:44.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""The reason why I use Drafts instead of Emacs""" start="00:21:48.060" video="mainVideo-devel" id="subtitle"]]
[[!template text="""is because it's always available.""" start="00:21:50.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""If Emacs is currently doing some job for me,""" start="00:21:53.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""say I'm running some long-running subshell""" start="00:21:55.840" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and the UI is frozen up whatnot,""" start="00:21:58.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Drafts is always 100% of the time instantly""" start="00:22:02.020" video="mainVideo-devel" id="subtitle"]]
[[!template text="""available. So that's why I tend to then lean""" start="00:22:04.600" video="mainVideo-devel" id="subtitle"]]
[[!template text="""on it a bit, but all of the destination of""" start="00:22:07.740" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that data is still Org Mode and everything""" start="00:22:09.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that I do gets tracked through Org Mode.""" start="00:22:11.960" video="mainVideo-devel" id="subtitle"]]
[[!template text="""That's also why I wanted to implement the UI""" start="00:22:15.720" video="mainVideo-devel" id="subtitle"]]
[[!template text="""scheme of drafts in Emacs so that I could""" start="00:22:18.580" video="mainVideo-devel" id="subtitle"]]
[[!template text="""drop the use of this external application.""" start="00:22:20.360" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And then, I mean, I would still have the""" start="00:22:23.040" video="mainVideo-devel" id="subtitle"]]
[[!template text="""problem of sometimes Emacs being unavailable,""" start="00:22:25.080" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but I would pay that price in order to have""" start="00:22:29.760" video="mainVideo-devel" id="subtitle"]]
[[!template text="""that good UI of drafts inside Emacs.""" start="00:22:32.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Great. I think we have,""" start="00:22:37.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""we might be too tight on time.""" start="00:22:39.520" video="mainVideo-devel" id="subtitle"]]
[[!template text="""We only have about 2 minutes and I need to""" start="00:22:41.200" video="mainVideo-devel" id="subtitle"]]
[[!template text="""jump room to go into Stephane's room as well.""" start="00:22:43.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So John, where I get to thank you so much for""" start="00:22:47.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""taking the time to answer our questions,""" start="00:22:52.660" video="mainVideo-devel" id="subtitle"]]
[[!template text="""but also doing a little bit of reporting on""" start="00:22:54.920" video="mainVideo-devel" id="subtitle"]]
[[!template text="""the state of Emacs. And now we'll get to""" start="00:22:57.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""continue this with Stéphane.""" start="00:22:58.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""So do you have any last words for everyone,""" start="00:23:00.900" video="mainVideo-devel" id="subtitle"]]
[[!template text="""John? No, no. I look forward to hearing""" start="00:23:03.380" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Stéphane speak. Okay, great.""" start="00:23:05.940" video="mainVideo-devel" id="subtitle"]]
[[!template text="""And we'll look forward,""" start="00:23:07.000" video="mainVideo-devel" id="subtitle"]]
[[!template text="""potentially, to having you again next year,""" start="00:23:08.800" video="mainVideo-devel" id="subtitle"]]
[[!template text="""potentially still doing news like this,""" start="00:23:12.180" video="mainVideo-devel" id="subtitle"]]
[[!template text="""and, fingers crossed, maybe having you live""" start="00:23:15.620" video="mainVideo-devel" id="subtitle"]]
[[!template text="""again. Maybe, maybe let's see what happens.""" start="00:23:18.160" video="mainVideo-devel" id="subtitle"]]
[[!template text="""All right, John. Thank you so much.""" start="00:23:20.680" video="mainVideo-devel" id="subtitle"]]
[[!template text="""Bye bye. Bye bye.""" start="00:23:21.780" video="mainVideo-devel" id="subtitle"]]

Questions or comments? Please e-mail [emacsconf-org-private@gnu.org](mailto:emacsconf-org-private@gnu.org?subject=Comment%20for%20EmacsConf%202023%20devel%3A%20Emacs%20development%20updates)


<!-- End of emacsconf-publish-after-page -->