-- This file:
--   http://anggtwu.net/SUBTITLES/emacsconf2024.lua.html
--   http://anggtwu.net/SUBTITLES/emacsconf2024.lua
--          (find-angg "SUBTITLES/emacsconf2024.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (defun l () (interactive) (find-angg "SUBTITLES/emacsconf2024.lua"))
-- (defun l () (interactive) (find-SUBS "emacsconf2024.lua"))
-- (defun b () (interactive) (find-TH   "emacsconf2024"))
-- (defun p () (interactive) (find-TH   "emacsconf2024"))
-- (defun R () (interactive) (ee-recompile-SUBTITLES-0))
-- (defun r () (interactive) (ee-recompile-SUBTITLES-3))
-- (defun r () (interactive) (ee-recompile-SUBTITLES-1))
--  (define-key eev-mode-map (kbd "M-r") 'r)
--
-- Skel: (find-subs-links "eev2024")
-- Old:  (find-editeevsubtitles-links-1 "eev2024")
--       (find-efunction 'find-editeevsubtitles-links-1)
-- Yttr: (find-yttranscript-links       "eev2024" "ZQ4mUSRcqJc")
-- Info: (find-1stclassvideo-links      "eev2024")
-- Play: (find-eev2024video "0:00")
--
-- I use the code below to generate the subtitles in .vtt.
--

ee_dofile "~/LUA/Subtitles.lua" -- (find-angg "LUA/Subtitles.lua")

--[[
-- (find-angg "LUA/Subtitles.lua")

** Run the .lua and tell it to
** write the .vtt - by default in /tmp/
*
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "emacsconf2024.lua"
sts = Subtitles.fromsexps(subs_bigstr):addtime("7:12")
-- sts.lang = "pt-BR"
= sts
outfname = "$S/http/anggtwu.net/eev-videos/emacsconf2024.vtt"
outfname =                           "/tmp/emacsconf2024.vtt"
out = sts:vtt().."\n\n"
ee_writefile(outfname, out)
-- (find-fline                       "/tmp/emacsconf2024.vtt")

** Test the .vtt
** (find-eev2024video "0:00")

** Select /tmp/ or ee-eevvideosdir
** (find-eevvideosfile "")
** (find-eevvideosfile ""   "emacsconf2024.mp4")
** (find-eevvideossh0 "cp -v emacsconf2024.mp4 /tmp/")
** (find-sh0 "cp -v ~/EMACSCONF2024/ssr-all.mp4 /tmp/emacsconf2024.mp4")
** (code-video "eev2024video"                           "/tmp/emacsconf2024.mp4")
** (code-video "eev2024video" "$S/http/anggtwu.net/eev-videos/emacsconf2024.mp4")
** (find-eev2024video "0:00")

** Upload the emacsconf2024.vtt
** to http://anggtwu.net/eev-videos/
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd /tmp/
scp    emacsconf2024.vtt $LINP/eev-videos/
scp    emacsconf2024.vtt $LINS/eev-videos/
Scp-np emacsconf2024.vtt $TWUP/eev-videos/
Scp-np emacsconf2024.vtt $TWUS/eev-videos/

** Upload the subtitles to youtube
** http://www.youtube.com/watch?v=ZQ4mUSRcqJc

** Check that the "psne subtitles" thing works
** (find-1stclassvideo-links "eev2024")

--]]

--[[
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "emacsconf2024.lua"
for li in subs_bigstr:gmatch("([^\n]+)") do
  local time,text = li:match('^.-"(.-)".-"(.*)"%)$')
  text = text:gsub("\\(.)", "%1")
  if time then print("  "..time.."  "..text) end
end

--]]


subs_bigstr = [==[
0. Emacs, eev, and Maxima - Now!
% (find-eev2024video "0:00" "Hi! My name is Eduardo Ochs. I'm the author of")
% (find-eev2024video "0:03" "an obscure package called eev and I")
% (find-eev2024video "0:07" "think that it's better to start this")
% (find-eev2024video "0:08" "presentation by the middle of the story -")
% (find-eev2024video "0:10" "by this word here: Maxima.")

% (find-eev2024video "0:12" "Maxima is a computer algebra system")
% (find-eev2024video "0:15" "that has several interfaces. One")
% (find-eev2024video "0:17" "of them is WxMaxima, that looks very")
% (find-eev2024video "0:20" "modern and is very pretty, and it")
% (find-eev2024video "0:24" "looks like this...")

% (find-eev2024video "0:26" "it's a cell based interface. We can type")
% (find-eev2024video "0:30" "an expression here and execute it...")
% (find-eev2024video "0:32" "here's the result.")

% (find-eev2024video "0:35" "But I don't like that interface")
% (find-eev2024video "0:38" "because my memory is very bad, and I type")
% (find-eev2024video "0:40" "very slowly and with lots of mistakes...")

% (find-eev2024video "0:42" "so for me this ugly interface that")
% (find-eev2024video "0:46" "I'm going to show now is much better -")
% (find-eev2024video "0:49" "and here I'm going to show how I am teaching")
% (find-eev2024video "0:51" "that ugly interface to beginners.")

% (find-eev2024video "0:54" "If I type f8 on these three lines here")
% (find-eev2024video "0:58" "it creates a Maxima running inside Emacs -")
% (find-eev2024video "1:00" "I mean, using a terminal and running inside")
% (find-eev2024video "1:04" "a shell buffer in Emacs...")

% (find-eev2024video "1:06" "and if I type f8 on this other the lines here")
% (find-eev2024video "1:09" "the `f8's send lines to Maxima, and, ta-daaa,")
% (find-eev2024video "1:15" "this small program drew this.")

1. Another planet
% (find-eev2024video "1:21" "I live in Brazil and people in")
% (find-eev2024video "1:23" "developed countries cannot imagine")
% (find-eev2024video "1:26" "how are the beginners that we have here...")
% (find-eev2024video "1:29" "in a sense Brazil is another planet.")

% (find-eev2024video "1:32" "Let me explain why, and also let me")
% (find-eev2024video "1:35" "explain why Maxima, why Emacs... because")
% (find-eev2024video "1:37" "people always say \"you should use")
% (find-eev2024video "1:39" "programs that everyone finds intuitive,")
% (find-eev2024video "1:41" "like VSCode\"...")

% (find-eev2024video "1:43" "well, I teach Calculus in a bad Campus")
% (find-eev2024video "1:45" "of a good Federal University in Brazil.")
% (find-eev2024video "1:47" "My university is called UFF, for")
% (find-eev2024video "1:50" "Universidade Federal Fluminense.")

% (find-eev2024video "1:53" "The main campus of UFF is in Niterói,")
% (find-eev2024video "1:56" "that is a big city near Rio de Janeiro,")
% (find-eev2024video "2:00" "and I work in a city called Rio das Ostras,")
% (find-eev2024video "2:03" "that is is a small city 200 Kms away")
% (find-eev2024video "2:05" "from Rio de Janeiro.")

% (find-eev2024video "2:07" "I started working there in 2009.")
% (find-eev2024video "2:09" "My campus gets very little funding -")
% (find-eev2024video "2:13" "that's a long story that I don't have time")
% (find-eev2024video "2:16" "to tell now - and we get the")
% (find-eev2024video "2:20" "students that don't get enough marks in")
% (find-eev2024video "2:22" "the admission process to go to better places.")

% (find-eev2024video "2:25" "Also, my campus has two institutes -")
% (find-eev2024video "2:30" "I call them The Institute of Humanities")
% (find-eev2024video "2:33" "and The Institute of Inhumanities.")

% (find-eev2024video "2:35" "Each of our institutes has a small building...")
% (find-eev2024video "2:38" "the Humanities building has lots of plants and")
% (find-eev2024video "2:41" "lots of graffittis - I call it the Good Building -")
% (find-eev2024video "2:46" "and the Inhumanities building has lots")
% (find-eev2024video "2:49" "of rules and prohibitions, and I call it the")
% (find-eev2024video "2:51" "Evil Building.")

% (find-eev2024video "2:51" "I heard that the Inhumanities building")
% (find-eev2024video "2:56" "has a laboratory with computers, and that")
% (find-eev2024video "2:58" "it doesn't have any machine that runs Linux...")
% (find-eev2024video "3:00" "but the Inhumanities building is")
% (find-eev2024video "3:05" "shrouded in mystery, and basically")
% (find-eev2024video "3:07" "humans avoid it - only inhumans go there.")

2. Another planet: the strike
% (find-eev2024video "3:11" "I only discovered how much \"another planet\"")
% (find-eev2024video "3:13" "Brazil is a few months ago. In May and June")
% (find-eev2024video "3:15" "of this year the federal universities in Brazil")
% (find-eev2024video "3:18" "paralyzed their activities in a nationwide")
% (find-eev2024video "3:21" "strike for two months, and during the strike")
% (find-eev2024video "3:23" "the humanity students occupied the")
% (find-eev2024video "3:28" "Humanities Building and organized lots")
% (find-eev2024video "3:30" "of activities there.")

% (find-eev2024video "3:32" "They asked me if I could give some workshops")
% (find-eev2024video "3:34" "and I offered two hands-on workshops")
% (find-eev2024video "3:36" "on Free Software for beginners -")

% (find-eev2024video "3:40" "basically on Emacs and eev, with")
% (find-eev2024video "3:45" "tutorials with lots of \"try this\"s...")

% (find-eev2024video "3:49" "and, as usual, the students of")
% (find-eev2024video "3:54" "Computer Science and Engineering ignored")
% (find-eev2024video "3:56" "the workshop completely, and didn't come...")
% (find-eev2024video "3:59" "but some students of psychology and of")
% (find-eev2024video "4:01" "Producão Cultural, which is basically")
% (find-eev2024video "4:04" "techniques for producing cultural")
% (find-eev2024video "4:08" "activities, came to workshop... and they LOVED")
% (find-eev2024video "4:11" "the workshop - they found it FUN.")

% (find-eev2024video "4:14" "And after the workshop I told the")
% (find-eev2024video "4:17" "students that there are lots of things")
% (find-eev2024video "4:19" "that, uh, \"everyone knows and I don't\",")
% (find-eev2024video "4:22" "and I would like to learn them,")
% (find-eev2024video "4:24" "but I find them too hard to learn by myself")
% (find-eev2024video "4:27" "because I'm a dinosaur - I'm only used to")
% (find-eev2024video "4:29" "interfaces that are very old,")
% (find-eev2024video "4:31" "and that are not graphical... and one")
% (find-eev2024video "4:35" "of the examples of the things that I")
% (find-eev2024video "4:37" "would like to learn was Canva.")

% (find-eev2024video "4:39" "And then the student of Produção Cultural")
% (find-eev2024video "4:42" "taught me Canva in 10 minutes,")
% (find-eev2024video "4:45" "AND THAT CHANGED MY LIFE.")

3. Another planet: the strike (2)
% (find-eev2024video "4:47" "So: the student of Produção Cultural")
% (find-eev2024video "4:51" "taught me Canva in 10 minutes")
% (find-eev2024video "4:53" "and that changed my life.")

% (find-eev2024video "4:54" "Again, I'm working in that place,")
% (find-eev2024video "4:58" "Rio das Ostras, since 2009,")
% (find-eev2024video "5:00" "and the Computer Science students")
% (find-eev2024video "5:04" "here know lots of programs and languages")
% (find-eev2024video "5:06" "that I would like to learn, but in all")
% (find-eev2024video "5:08" "these 15 years the Computer Science")
% (find-eev2024video "5:11" "students only helped me twice.")

% (find-eev2024video "5:14" "It turns out that our Inhumanities")
% (find-eev2024video "5:17" "students don't have a culture of sharing")
% (find-eev2024video "5:20" "and helping - but our Humanities students do.")

4. Another planet: conferences
% (find-eev2024video "5:26" "Another detail about how much Brazil")
% (find-eev2024video "5:29" "is another planet...")
% (find-eev2024video "5:30" "well, I only discovered this very")
% (find-eev2024video "5:33" "recently, too... my research is in Logic,")
% (find-eev2024video "5:38" "I sometimes go to conferences, usually in")
% (find-eev2024video "5:40" "Brazil, very rarely outside, and people")
% (find-eev2024video "5:44" "here don't bring their laptops to the")
% (find-eev2024video "5:46" "conferences - we don't have a culture")
% (find-eev2024video "5:49" "of sitting together with friends")
% (find-eev2024video "5:51" "or colleagues to learn with them how to")
% (find-eev2024video "5:54" "use the programs that they use...")

% (find-eev2024video "5:56" "for example, many of my friends")
% (find-eev2024video "6:01" "are logicians, so they have to draw")
% (find-eev2024video "6:05" "lots of diagrams, and I don't know how")
% (find-eev2024video "6:08" "they use their programs to draw diagrams...")

% (find-eev2024video "6:13" "I don't know how things are in")
% (find-eev2024video "6:15" "universities with good computer labs but,")
% (find-eev2024video "6:18" "anyway, consider these sentences")
% (find-eev2024video "6:22" "sentences that sort of everybody says...")
% (find-eev2024video "6:25" "\"Everyone knows VSCode\",")
% (find-eev2024video "6:27" "\"Everyone knows Jupiter Notebooks\",")
% (find-eev2024video "6:29" "\"Everyone draws diagrams with Quiver\"...")

% (find-eev2024video "6:31" "Here these things are not true -")
% (find-eev2024video "6:34" "and they are not relevant -")
% (find-eev2024video "6:36" "here knowledge about programs does not")
% (find-eev2024video "6:38" "propagate... and...")

% (find-eev2024video "6:40" "one of my goals in life is")
% (find-eev2024video "6:43" "to become friends with some people who")
% (find-eev2024video "6:45" "know how to use for example, code blocks")
% (find-eev2024video "6:47" "in Org, and JavaScript, and learn some of")
% (find-eev2024video "6:50" "their workflows... or, rather one of my")
% (find-eev2024video "6:55" "goals is to become someone who deserves")
% (find-eev2024video "6:57" "help.")

5. Maxima for students
% (find-eev2024video "7:02" "More on Maxima for students...")
% (find-eev2024video "7:05" "remember: our inhumanities students")
% (find-eev2024video "7:08" "don't have a culture of sharing and helping")
% (find-eev2024video "7:10" "but our humanity students do...")

% (find-eev2024video "7:13" "I've been telling my students - I teach")
% (find-eev2024video "7:16" "Calculus 2 and 3 here -that they will learn")
% (find-eev2024video "7:19" "much faster if they learn Maxima,")
% (find-eev2024video "7:21" "and that people who learn Maxima can take")
% (find-eev2024video "7:24" "an optional test and earn extra marks")
% (find-eev2024video "7:27" "in the course, but if they behave")
% (find-eev2024video "7:31" "as typical inhumanities students -")
% (find-eev2024video "7:34" "I mean, not asking questions and")
% (find-eev2024video "7:37" "not helping their colleagues -")
% (find-eev2024video "7:39" "then I won't help them...")

% (find-eev2024video "7:42" "Actually it's even worse. I've")
% (find-eev2024video "7:45" "told my students that my documentation")
% (find-eev2024video "7:47" "is not good enough yet and every")
% (find-eev2024video "7:50" "question helps me a lot, so PLEASE ask")
% (find-eev2024video "7:53" "questions, and I've bagged on my knees...")

% (find-eev2024video "7:57" "and now I can treat students")
% (find-eev2024video "8:01" "who don't ask questions as people who")
% (find-eev2024video "8:03" "won't help someone that they know")
% (find-eev2024video "8:05" "who is begging on his knees!")

6. "Now!"
% (find-eev2024video "8:08" "Now let me explain another word of")
% (find-eev2024video "8:12" "the title of this presentation.")
% (find-eev2024video "8:15" "The title of this presentation is")
% (find-eev2024video "8:17" "\"Emacs, eev, and Maxima - Now!\"")

% (find-eev2024video "8:19" "The \"Now!\" in the title means:")
% (find-eev2024video "8:22" "in less than one hour and even for people")
% (find-eev2024video "8:25" "who have never seen a terminal in their lives.")

% (find-eev2024video "8:27" "Well, my title is a slight exaggeration...")
% (find-eev2024video "8:32" "it only took less than one hour")
% (find-eev2024video "8:34" "for one person, who is a school kid")
% (find-eev2024video "8:37" "from a small City in the North of Brazil,")
% (find-eev2024video "8:40" "who didn't know anything about programming,")
% (find-eev2024video "8:42" "but who was competing in the local")
% (find-eev2024video "8:44" "Math Olympiads, so not a typical person...")

7. Introduction to plonking
% (find-eev2024video "8:50" "Now let me tell a story based on")
% (find-eev2024video "8:53" "real events and based on a real student.")

% (find-eev2024video "8:55" "The student said: \"I have Linux on my")
% (find-eev2024video "8:58" "laptop, can you help me to do blah1?\"")
% (find-eev2024video "9:00" "I answered: \"Sure, do blah2 and blah3...\"")
% (find-eev2024video "9:04" "this was all by chat, I don't remember if")
% (find-eev2024video "9:10" "by WhatsApp or by Telegram...")
% (find-eev2024video "9:12" "then one week passes, and the student")
% (find-eev2024video "9:14" "talks to me again, and the student says:")
% (find-eev2024video "9:16" "\"It doesn't work!\", and I answer:")
% (find-eev2024video "9:19" "\"What happens when you do blah4 and blah5?\"")
% (find-eev2024video "9:21" "another week passes, then the student reappears,")
% (find-eev2024video "9:28" "and he says: \"It doesn't work!\"")
% (find-eev2024video "9:30" "and I answer: \"Type blah6 and blah7 in")
% (find-eev2024video "9:33" "the terminal, press ENTER, take a")
% (find-eev2024video "9:36" "photo of your screen... remember, not a")
% (find-eev2024video "9:38" "screenshot, it's a photo of your screen...")
% (find-eev2024video "9:41" "and send it to me.\" Then the student")
% (find-eev2024video "9:43" "disappears again, another week passes and")
% (find-eev2024video "9:46" "the student reappears and says:")
% (find-eev2024video "9:48" "\"How do I open a terminal?\"")

% (find-eev2024video "9:50" "Well, then...")
% (find-eev2024video "9:52" "PLONK.")

% (find-eev2024video "9:54" "According to the Jargon file \"plonk\" is")
% (find-eev2024video "9:57" "the sound of that a newbie makes as he")
% (find-eev2024video "10:00" "falls to the bottom of a kill file.")

% (find-eev2024video "10:02" "I prefer this simpler definition here...")
% (find-eev2024video "10:03" "for me \"plonk\" is the sound")
% (find-eev2024video "10:06" "that a person makes when he, or she, or they")
% (find-eev2024video "10:08" "hits the bottom of my list of priorities.")

8. Plonking and telepathy
% (find-eev2024video "10:15" "I've been using this slogan with my")
% (find-eev2024video "10:19" "students - it sounds much better in")
% (find-eev2024video "10:22" "Portuguese, sorry... \"I am not a telepath,")
% (find-eev2024video "10:25" "and for me it is 100 times harder to")
% (find-eev2024video "10:27" "discover the doubts of people who don't")
% (find-eev2024video "10:29" "talk to me than to discover the doubts of")
% (find-eev2024video "10:32" "people who do talk to me.")

9. Abelson and Sussman
% (find-eev2024video "10:38" "There's an interesting thing here in")
% (find-eev2024video "10:41" "this presentation by Abelson and Sussman.")
% (find-eev2024video "10:47" "Let me explain now this word of")

% (find-eev2024video "10:51" "my title, \"Emacs\"...")
% (find-eev2024video "10:53" "and the idea is that learning Emacs can")
% (find-eev2024video "10:56" "mean many things, learning Lisp can mean")
% (find-eev2024video "10:58" "many things, and in this presentation...")
% (find-eev2024video "11:03" "oh no, one second...")
% (find-eev2024video "11:07" "sorry, back.")

% (find-eev2024video "11:09" "In this presentation they say...")
% (find-eev2024video "11:12" "\"anyone can learn Lisp in one day,")
% (find-eev2024video "11:16" "except that if they already know Fortran,")
% (find-eev2024video "11:18" "then it will take three days\".")

% (find-eev2024video "11:20" "And I would add: and if the person")
% (find-eev2024video "11:24" "is starting with Doom Emacs then it would")
% (find-eev2024video "11:26" "take take five years.")

% (find-eev2024video "11:28" "Why? Because the person is using")
% (find-eev2024video "11:20" "a different notion of Emacs,")
% (find-eev2024video "11:32" "and a different notion of Lisp.")
% (find-eev2024video "11:35" "The person is starting by spending five")
% (find-eev2024video "11:38" "years learning how to configure Emacs, and")
% (find-eev2024video "11:41" "the person is using Lisp as a very weird")
% (find-eev2024video "11:43" "configuration language.")

% (find-eev2024video "11:46" "Usually the people who start by Doom Emacs")
% (find-eev2024video "11:48" "they start by configuring Emacs,")
% (find-eev2024video "11:51" "and only then they learn things like")
% (find-eev2024video "11:54" "defun, etc...")

% (find-eev2024video "11:56" "and another slogan that I use a lot")
% (find-eev2024video "11:58" "with my students is that there are")
% (find-eev2024video "12:01" "many cases in which learning just the")
% (find-eev2024video "12:03" "thing B takes 200 hours but learning")
% (find-eev2024video "12:07" "A and then B takes just 20 hours.")

10. Some kinds of beginners that I don't want to help
% (find-eev2024video "12:13" "Here are some kinds of beginners")
% (find-eev2024video "12:16" "that I do not want to help.")

% (find-eev2024video "12:19" "First example: a person who says \"I can't")
% (find-eev2024video "12:21" "read that page - it has too many links\".")

% (find-eev2024video "12:24" "Second example: a person who says")
% (find-eev2024video "12:27" "\"I don't want to read anything and")
% (find-eev2024video "12:29" "I don't want to learn anything,")
% (find-eev2024video "12:31" "I want something that just works\".")

% (find-eev2024video "12:32" "And third example: \"I don't want to")
% (find-eev2024video "12:36" "look at examples, you need to summarize")
% (find-eev2024video "12:38" "everything to me in one paragraph\".")

% (find-eev2024video "12:40" "There are more explanations on")
% (find-eev2024video "12:43" "these kinds of beginners at my page")
% (find-eev2024video "12:47" "about this presentation - here.")

11. Some kinds of beginners that I really want to help
% (find-eev2024video "12:49" "And here is one kind of beginner")
% (find-eev2024video "12:53" "that I really want to help.")

% (find-eev2024video "12:55" "Beginners that are nerdy kids")
% (find-eev2024video "12:57" "who are used to:")

% (find-eev2024video "13:00" "reading materials that are too advanced for them,")
% (find-eev2024video "13:03" "understanding only a few percent of what they read,")
% (find-eev2024video "13:05" "remembering just a tiny fraction of what they read,")
% (find-eev2024video "13:10" "going to back to these materials later,")
% (find-eev2024video "13:14" "and taking notes about what they read...")

% (find-eev2024video "13:19" "and who are also always interested in")
% (find-eev2024video "13:22" "experimenting with new ways of taking notes,")
% (find-eev2024video "13:25" "transcribing, summarizing and saving links")
% (find-eev2024video "13:28" "to primary sources.")

12. Plonking the paragraph people
% (find-eev2024video "13:32" "I'd like to say something about how")
% (find-eev2024video "13:36" "I've been plonking the paragraph people...")
% (find-eev2024video "13:38" "who are the people who say:")
% (find-eev2024video "13:40" "\"I don't want to look at examples,")
% (find-eev2024video "13:43" "you need to summarize everything to me")
% (find-eev2024video "13:45" "in one paragraph\".")

% (find-eev2024video "13:47" "Well, I'm a mathematician...")
% (find-eev2024video "13:49" "I work with lots of things")
% (find-eev2024video "13:51" "that can only be summarized in a paragraph")
% (find-eev2024video "13:53" "if we choose the level of who")
% (find-eev2024video "13:55" "we are talking to...")

% (find-eev2024video "13:57" "so we have many different")
% (find-eev2024video "13:59" "one-paragraph summaries,")
% (find-eev2024video "14:02" "one for each level...")

% (find-eev2024video "14:04" "and in many cases this sentence,")
% (find-eev2024video "14:06" "\"you need to summarize it")
% (find-eev2024video "14:08" "in one paragraph\", is WRONG -")
% (find-eev2024video "14:10" "the person means I want to learn a lot")
% (find-eev2024video "14:13" "in 10 minutes - and this needs diagrams")
% (find-eev2024video "14:15" "animations, AND EXAMPLES.")

13. Example: Yoneda
% (find-eev2024video "14:18" "This is an example of something")
% (find-eev2024video "14:21" "in mathematics - in category Theory -")
% (find-eev2024video "14:24" "I only understood after too many time -")
% (find-eev2024video "14:27" "after zillions of years...")

% (find-eev2024video "14:29" "It is called The Yoneda Lemma.")
% (find-eev2024video "14:31" "This is the general case -")
% (find-eev2024video "14:33" "this small thing here...")
% (find-eev2024video "14:35" "but I only understood it after")
% (find-eev2024video "14:40" "understanding many particular cases, and")
% (find-eev2024video "14:45" "then organizing them in a way in which")
% (find-eev2024video "14:49" "different figures had similar shapes...")

% (find-eev2024video "14:52" "and the textual explanations")
% (find-eev2024video "14:56" "for the Yoneda Lemma - the one paragraph")
% (find-eev2024video "14:58" "explanations, or the many paragraph")
% (find-eev2024video "15:00" "explanations - never helped me much...")

% (find-eev2024video "15:04" "they contained formulas...")
% (find-eev2024video "15:07" "in mathematics, but written linearly...")
% (find-eev2024video "15:10" "that had too many symbols...")
% (find-eev2024video "15:12" "and my mental buffer is very small...")
% (find-eev2024video "15:15" "and I had to find several tricks to reduce")
% (find-eev2024video "15:18" "the cognitive overload of all these ideas.")

% (find-eev2024video "15:21" "For example, I had to name the symbols")
% (find-eev2024video "15:24" "consecutively, like A, B, C,")
% (find-eev2024video "15:29" "so there's a kind of a temporal order")
% (find-eev2024video "15:31" "in which the symbols that appear first")
% (find-eev2024video "15:34" "have initial letters...")

% (find-eev2024video "15:37" "I had to find a way to put")
% (find-eev2024video "15:40" "an archetypal case and the general case")
% (find-eev2024video "15:42" "side to side -")
% (find-eev2024video "15:43" "they have the same \"shape\"...")

% (find-eev2024video "15:45" "I had to find good conventions")
% (find-eev2024video "15:47" "for fonts and types...")

% (find-eev2024video "15:49" "I had to choose good meanings")
% (find-eev2024video "15:51" "for what it means...")
% (find-eev2024video "15:53" "sorry, for what are vertical arrows,")
% (find-eev2024video "15:57" "what are horizontal arrows, and so on...")
% (find-eev2024video "16:01" "and what is \"above without an arrow\"...")

14. Should we include technical details?
% (find-eev2024video "16:06" "So, how much detail should we include")
% (find-eev2024video "16:09" "in our technical explanations?")

% (find-eev2024video "16:12" "Well there are many measures")
% (find-eev2024video "16:14" "for cognitive (over)load...")

% (find-eev2024video "16:17" "For example, I asked many technical questions")
% (find-eev2024video "16:20" "on the Maxima mailing list")
% (find-eev2024video "16:22" "that got answers that included")
% (find-eev2024video "16:24" "snippets and names of of Lisp functions...")
% (find-eev2024video "16:27" "in Common Lisp, because Maxima is written")
% (find-eev2024video "16:29" "in Common Lisp... and I liked that...")

% (find-eev2024video "16:32" "and I asked some some technical questions")
% (find-eev2024video "16:34" "on the Org mailing list")
% (find-eev2024video "16:36" "and on the Hyperbole mailing list,")
% (find-eev2024video "16:38" "and usually I got answers")
% (find-eev2024video "16:40" "that avoided the technical details...")
% (find-eev2024video "16:43" "note that I chose the term \"avoided\"")
% (find-eev2024video "16:45" "to denote frustration...")

% (find-eev2024video "16:47" "by the way, if one of my students panics")
% (find-eev2024video "16:50" "on this part here...")
% (find-eev2024video "16:54" "\"After setting the user and password")
% (find-eev2024video "16:56" "you will get a Unix prompt\"...")

% (find-eev2024video "16:57" "if the student panics on this")
% (find-eev2024video "17:01" "and does not know what to ask")
% (find-eev2024video "17:05" "and just gives up, then...")
% (find-eev2024video "17:07" "plonk.")

% (find-eev2024video "17:09" "So... I was talking a lot about")
% (find-eev2024video "17:13" "plonking people...")

15. What's left after plonking many people?
% (find-eev2024video "17:15" "What's left after plonking many people?")
% (find-eev2024video "17:17" "Well, several kinds of beginners")
% (find-eev2024video "17:19" "that I want to interact with...")
% (find-eev2024video "17:21" "note that \"kinds\" is plural...")

% (find-eev2024video "17:26" "Also, I get a definition for the term")
% (find-eev2024video "17:30" "\"beginners\"... think on books...")
% (find-eev2024video "17:32" "technical books, that start with")
% (find-eev2024video "17:37" "\"This book is written for the persons")
% (find-eev2024video "17:38" "of the types such and such\"...")

% (find-eev2024video "17:40" "Maybe several definitions")
% (find-eev2024video "17:43" "for the term \"beginners\"...")

% (find-eev2024video "17:47" "also, a metric that lets me choose between")
% (find-eev2024video "17:49" "options A, B and C when I'm trying to")
% (find-eev2024video "17:52" "write material for my beginners...")

% (find-eev2024video "17:55" "for example, here, again...")
% (find-eev2024video "18:00" "should I explain what is a Unix prompt?")
% (find-eev2024video "18:04" "No!!!")

16. More on metrics
% (find-eev2024video "18:07" "Why \"no\"?")
% (find-eev2024video "18:09" "Well, let me use another example.")
% (find-eev2024video "18:11" "This one I took from a discussion on IRC...")
% (find-eev2024video "18:16" "we were helping a certain beginner")
% (find-eev2024video "18:18" "that was there...")

% (find-eev2024video "18:20" "and one person suggested to the beginner")
% (find-eev2024video "18:24" "to do this: type M-:, and then this")
% (find-eev2024video "18:27" "thing here, and then ENTER.")

% (find-eev2024video "18:29" "And I suggested this instead.")
% (find-eev2024video "18:33" "Copy this expression to your notes,")
% (find-eev2024video "18:35" "and then type C-e C-x C-e...")
% (find-eev2024video "18:38" "and the mnemonic for C-e C-x C-e is")
% (find-eev2024video "18:42" "C-exe, for \"execute\".")

% (find-eev2024video "18:44" "And then... for me the option 1,")
% (find-eev2024video "18:47" "this option here, is very costly,")
% (find-eev2024video "18:50" "because the person has to type a lot")
% (find-eev2024video "18:53" "without errors,")
% (find-eev2024video "18:55" "and then after running that")
% (find-eev2024video "18:59" "and reading this page here...")
% (find-eev2024video "19:03" "the way of going back to that page is gone.")

% (find-eev2024video "19:06" "So the person has to commit lots")
% (find-eev2024video "19:08" "of information to memory -")
% (find-eev2024video "19:10" "either the person learns from this page")
% (find-eev2024video "19:13" "everything that she needs or the person")
% (find-eev2024video "19:16" "memorizes how to go there the next time....")

% (find-eev2024video "19:20" "and for me the option 2 - this one:")
% (find-eev2024video "19:24" "put this in your notes and then")
% (find-eev2024video "19:27" "execute it with C-exe -")
% (find-eev2024video "19:29" "is much better, because the person")
% (find-eev2024video "19:32" "commits information to notes,")
% (find-eev2024video "19:34" "and the person learns a way to return")
% (find-eev2024video "19:36" "to this node of the manual later...")

% (find-eev2024video "19:40" "and with this the person learns")
% (find-eev2024video "19:45" "another way to use her notes.")

% (find-eev2024video "19:47" "I have a lot of material about that...")
% (find-eev2024video "19:50" "see for example this page here -")
% (find-eev2024video "19:52" "there's a link to it")
% (find-eev2024video "19:54" "in my page for this talk...")

% (find-eev2024video "19:56" "also, I live in a place in which")
% (find-eev2024video "19:58" "the people who find my instructions")
% (find-eev2024video "20:00" "too complex or too boring")
% (find-eev2024video "20:03" "disappear - either for months or forever...")

% (find-eev2024video "20:06" "So if I give an instruction")
% (find-eev2024video "20:08" "that the person cannot understand")
% (find-eev2024video "20:10" "and the person gives up")
% (find-eev2024video "20:13" "I lose the person...")

17. Emacs, eev, and Maxima for students: did it work?
% (find-eev2024video "20:15" "Now let me do some things in a weird order.")
% (find-eev2024video "20:18" "In a normal presentation this would be")
% (find-eev2024video "20:20" "the conclusion, and it would be presented")
% (find-eev2024video "20:22" "at the end...")

% (find-eev2024video "20:24" "but I will present it now,")
% (find-eev2024video "20:26" "before the technical details.")

% (find-eev2024video "20:28" "So, I was teaching Emacs, eev and Maxima")
% (find-eev2024video "20:31" "for students... did it work well?")
% (find-eev2024video "20:34" "Well... sort of, but in a weird way.")

% (find-eev2024video "20:36" "Many students decided to take my test")
% (find-eev2024video "20:39" "on Emacs, eev, and Maxima...")

% (find-eev2024video "20:42" "let me consider only the 35 students")
% (find-eev2024video "20:45" "in the two last semesters that were able")
% (find-eev2024video "20:48" "to do what I asked, that was to use a link")
% (find-eev2024video "20:51" "like this one to go to my notes...")

% (find-eev2024video "20:56" "they had to go to a specific small program")
% (find-eev2024video "20:59" "in Maxima, copy that program to their notes,")
% (find-eev2024video "21:02" "modify it a bit to make it solve")
% (find-eev2024video "21:04" "a slightly different problem,")
% (find-eev2024video "21:06" "and then save the new program.")

% (find-eev2024video "21:08" "So it was mostly a test on the interface,")
% (find-eev2024video "21:11" "and to test if they knew some")
% (find-eev2024video "21:14" "very basic things on Maxima...")

% (find-eev2024video "21:16" "but of these 35 students only 10 students")
% (find-eev2024video "21:19" "asked questions on the Telegram group...")

% (find-eev2024video "21:21" "Mostly they discussed")
% (find-eev2024video "21:24" "with other students...")
% (find-eev2024video "21:27" "sometimes live - they would bring")
% (find-eev2024video "21:30" "their laptops to the university to discuss...")
% (find-eev2024video "21:34" "they only do that very rarely,")
% (find-eev2024video "21:37" "but they brought it...")

% (find-eev2024video "21:40" "other times they would discuss")
% (find-eev2024video "21:42" "with their colleagues on Discord...")
% (find-eev2024video "21:44" "but I got very little feedback")
% (find-eev2024video "21:47" "for my usability test.")

18. Emacs, eev, and Maxima for students: did it work? (2)
% (find-eev2024video "21:50" "So my experiment failed - in the sense")
% (find-eev2024video "21:52" "that I didn't get the feedback")
% (find-eev2024video "21:55" "that I expected - I only got a fraction")
% (find-eev2024video "21:57" "of the feedback that I expected...")

% (find-eev2024video "21:59" "...but I learned lots of things.")
% (find-eev2024video "22:03" "Well, I got very angry, very frustrated,")
% (find-eev2024video "22:06" "but I saw that I can't invest a lot of energy")
% (find-eev2024video "22:08" "on students who... how do I say?")
% (find-eev2024video "22:11" "who \"won't talk to me\".")

% (find-eev2024video "22:13" "then I decided to make contact")
% (find-eev2024video "22:16" "with some schools - secondary schools -")
% (find-eev2024video "22:19" "and to make a long story short...")
% (find-eev2024video "22:21" "in one of the schools I was")
% (find-eev2024video "22:25" "very well received...")
% (find-eev2024video "22:27" "the students asked lots of questions,")

% (find-eev2024video "22:29" "and in the middle of the discussion")
% (find-eev2024video "22:31" "we were discussing this little program here,")
% (find-eev2024video "22:35" "that splits the the frame in two windows")
% (find-eev2024video "22:37" "and displays the file ~/HELP")
% (find-eev2024video "22:38" "in the window at the right...")

% (find-eev2024video "22:41" "and I showed them my Elisp tutorial,")
% (find-eev2024video "22:46" "that starts... here...")
% (find-eev2024video "22:50" "and right in its third section")
% (find-eev2024video "22:55" "it explains `quote'.")

% (find-eev2024video "22:57" "So, I had to explain to them")
% (find-eev2024video "23:00" "how we can use quote to pass...")
% (find-eev2024video "23:03" "to avoid evaluating a program...")
% (find-eev2024video "23:07" "we can use quote to pass unevaluated")
% (find-eev2024video "23:09" "programs as arguments...")

% (find-eev2024video "23:11" "and quote blew their minds,")
% (find-eev2024video "23:13" "and I was amazed by their questions,")
% (find-eev2024video "23:16" "and I saw more clearly that the campus")
% (find-eev2024video "23:18" "in which I work is a hole,")
% (find-eev2024video "23:20" "and that I need to do more things outside.")

19. Now some technical details
% (find-eev2024video "23:22" "Now let's see some technical details.")
% (find-eev2024video "23:25" "What exactly am I teaching to")
% (find-eev2024video "23:28" "these students?")

% (find-eev2024video "23:20" "Basically, my old tutorial for eev")
% (find-eev2024video "23:32" "was this one... it started with a")
% (find-eev2024video "23:36" "section on installing eev, and then it")
% (find-eev2024video "23:39" "explained Lisp, and how to use")
% (find-eev2024video "23:42" "elisp hyperlinks...")
% (find-eev2024video "23:44" "and then lots of other things...")

% (find-eev2024video "23:46" "but I'm using this new tutorial here,")
% (find-eev2024video "23:49" "that I am not announcing in many places")
% (find-eev2024video "23:51" "because I wanted to test it a lot")
% (find-eev2024video "23:54" "before making it very public...")

% (find-eev2024video "23:59" "and it starts with other installation")
% (find-eev2024video "24:04" "instructions, that start with")
% (find-eev2024video "24:06" "instructions for installing WSL")
% (find-eev2024video "24:11" "on a machine with Windows,")
% (find-eev2024video "24:13" "and then installing Debian there")
% (find-eev2024video "24:16" "and then after that people have to install")
% (find-eev2024video "24:19" "Emacs, and then they have to install eev...")

% (find-eev2024video "24:26" "And I'm also using this map here,")
% (find-eev2024video "24:30" "that I'm reorganizing,")
% (find-eev2024video "24:32" "so it's going to change a lot")
% (find-eev2024video "24:34" "in the next days...")

% (find-eev2024video "24:36" "it has a 2-dimensional map here,")
% (find-eev2024video "24:40" "and it has lots of things that I'm putting")
% (find-eev2024video "24:44" "in a single place to make it easier")
% (find-eev2024video "24:46" "to answer questions, and to show")
% (find-eev2024video "24:49" "to the students that I have answers")
% (find-eev2024video "24:51" "for the most common questions...")

% (find-eev2024video "24:56" "Remember, my target audience")
% (find-eev2024video "24:59" "is mostly composed of beginners who have")
% (find-eev2024video "25:02" "never seen a terminal in their lives,")
% (find-eev2024video "25:04" "and that get bored very quickly...")
% (find-eev2024video "25:06" "and when they get bored they disappear.")

% (find-eev2024video "25:10" "What are my main goals for the first day?")
% (find-eev2024video "25:15" "I want them to \"install everything\",")
% (find-eev2024video "25:19" "where \"everything\" means WSL on their")
% (find-eev2024video "25:22" "Windows machines, then Debian, Emacs, eev,")
% (find-eev2024video "25:27" "lots of Debian packages that they install")
% (find-eev2024video "25:32" "with this block here...")

% (find-eev2024video "25:44" "After that they need to run")
% (find-eev2024video "25:47" "some Maxima programs, and some test blocks...")
% (find-eev2024video "25:51" "and configure Emacs, and create a first set")
% (find-eev2024video "25:53" "of executable notes, and I consider")
% (find-eev2024video "25:57" "that after that the person is")
% (find-eev2024video "25:59" "autonomous.")

20. "Run some Maxima programs"
% (find-eev2024video "26:01" "I said that the students")
% (find-eev2024video "26:04" "learn how to \"Run some Maxima programs\".")
% (find-eev2024video "26:05" "Let me be more precise about that.")

% (find-eev2024video "26:07" "The first step is something")
% (find-eev2024video "26:09" "that I call \"The 5-minute workshop\"...")
% (find-eev2024video "26:14" "it happens in the classroom,")
% (find-eev2024video "26:17" "on my laptop, and I make the students")
% (find-eev2024video "26:20" "run this.")

% (find-eev2024video "26:22" "Actually in a first moment I run")
% (find-eev2024video "26:24" "this thing here, and then I ask them")
% (find-eev2024video "26:27" "to run it themselves.")

% (find-eev2024video "26:30" "So: I type f8 on these three things here,")
% (find-eev2024video "26:35" "we get a target buffer running Maxima,")
% (find-eev2024video "26:37" "then I type f8 several other times here...")
% (find-eev2024video "26:40" "when I type f8 here it opens a GNUPlot")
% (find-eev2024video "26:42" "window, that I have to close")
% (find-eev2024video "26:46" "by typing `q' here...")

% (find-eev2024video "26:49" "and that's it. And then I say:")
% (find-eev2024video "26:51" "now it's your turn. And the students go there,")
% (find-eev2024video "26:53" "they type f8 three times, and then they")
% (find-eev2024video "26:56" "type f8 f8 f8 f8 f8 f8 f8 q f8 q...")

% (find-eev2024video "27:03" "The second step is similar -")
% (find-eev2024video "27:07" "is another individual workshop,")
% (find-eev2024video "27:09" "also just a few minutes long,")
% (find-eev2024video "27:11" "in which they learn how to access my notes.")
% (find-eev2024video "27:15" "My notes on Maxima are here -")
% (find-eev2024video "27:17" "I mean, this is the HTMLized version...")
% (find-eev2024video "27:21" "it starts with a header, then a huge index,")
% (find-eev2024video "27:26" "then many blocks like this...")
% (find-eev2024video "27:29" "and this is a specific block that corresponds")
% (find-eev2024video "27:31" "to the thing that we we ran")
% (find-eev2024video "27:33" "in the first 5-minute workshop.")

% (find-eev2024video "27:37" "And in this second 5-minute workshop")
% (find-eev2024video "27:40" "they run the instructions in this section...")
% (find-eev2024video "27:43" "usually I skip this thing in the first moment,")
% (find-eev2024video "27:46" "then I explain it to them...")

% (find-eev2024video "27:52" "and they run something like this,")
% (find-eev2024video "27:56" "that downloads a copy")
% (find-eev2024video "27:58" "of my notes on Maxima,")
% (find-eev2024video "28:02" "puts that copy in a temporary buffer...")
% (find-eev2024video "28:04" "and they can run the thing here")
% (find-eev2024video "28:06" "exactly in the same way as before...")

% (find-eev2024video "28:18" "And I also ask them to run the small")
% (find-eev2024video "28:22" "Maxima programs in other blocks,")
% (find-eev2024video "28:25" "like this one, for example...")

% (find-eev2024video "28:27" "if we run this it calculates the solution")
% (find-eev2024video "28:29" "of a question that I put in a test")
% (find-eev2024video "28:31" "one or two semesters ago...")

% (find-eev2024video "28:34" "it starts by calculating several integrals")
% (find-eev2024video "28:38" "and then it organizes all the solutions")
% (find-eev2024video "28:41" "in a big matrix like this...")

21. "Install lots of Debian packages"
% (find-eev2024video "28:49" "I said that at one point the students")
% (find-eev2024video "28:52" "have to install lots of Debian packages.")

% (find-eev2024video "28:55" "This happens after they have installed")
% (find-eev2024video "28:59" "Debian, then Emacs, and eev...")
% (find-eev2024video "29:05" "and they already know a bit about eepitch,")
% (find-eev2024video "29:09" "so they are in this section of the")
% (find-eev2024video "29:12" "instructions, and they just have to type")
% (find-eev2024video "29:14" "f8 here several times and watch what")
% (find-eev2024video "29:20" "happens...")

% (find-eev2024video "29:22" "after that we have many options,")
% (find-eev2024video "29:24" "and I have this map here and I usually")
% (find-eev2024video "29:26" "choose a path according to the interests")
% (find-eev2024video "29:29" "and the questions of the students...")

% (find-eev2024video "29:32" "and there are many things that can go wrong,")
% (find-eev2024video "29:34" "so this page also works as as a place")
% (find-eev2024video "29:37" "in which I put all my troubleshooting")
% (find-eev2024video "29:41" "instructions...")

% (find-eev2024video "29:43" "and if a student has a question...")
% (find-eev2024video "29:45" "I mean, suppose that the student is")
% (find-eev2024video "29:47" "talking to me by WhatsApp or Telegram,")
% (find-eev2024video "29:50" "and the student is saying:")
% (find-eev2024video "29:52" "ok, I installed the things such and such,")
% (find-eev2024video "29:54" "and I tried the thing blahblah, and")
% (find-eev2024video "29:56" "something went wrong...")
% (find-eev2024video "29:58" "and I say: ok, can you send me a screenshot")
% (find-eev2024video "30:00" "or a photo of your screen?")
% (find-eev2024video "30:02" "And then we can troubleshoot that")
% (find-eev2024video "30:04" "by using a section of this page here.")

% (find-eev2024video "30:10" "This is a work in progress,")
% (find-eev2024video "30:12" "I'm reorganizing this thing for")
% (find-eev2024video "30:14" "the 10th time...")

22. After that: a map
% (find-eev2024video "30:16" "and the rest of what can happen")
% (find-eev2024video "30:19" "with these students can't be explained")
% (find-eev2024video "30:21" "clearly in a video... so I'm going")
% (find-eev2024video "30:23" "to put the all the other stuff in the")
% (find-eev2024video "30:26" "page of the video, and I'm going to stop")
% (find-eev2024video "30:28" "the video here.")

% (find-eev2024video "30:30" "So: thanks, and bye!")

]==]

unrevised_bigstr = [==[
(find-eev2024video "00:00" " ")

% (find-eev2024video "27:00" " ")


]==]

-- Local Variables:
-- coding:  utf-8-unix
-- End: