-- This file:
--   http://anggtwu.net/SUBTITLES/2024-convite-maxima.lua.html
--   http://anggtwu.net/SUBTITLES/2024-convite-maxima.lua
--          (find-angg "SUBTITLES/2024-convite-maxima.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (defun l () (interactive) (find-angg "SUBTITLES/2024-convite-maxima.lua"))
-- (defun l () (interactive) (find-SUBS "2024-convite-maxima.lua"))
-- (defun b () (interactive) (find-TH   "2024-convite-maxima"))
-- (defun p () (interactive) (find-TH   "2024-convite-maxima"))
-- (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 "2024convite")
-- Old:  (find-editeevsubtitles-links-1 "2024convite")
--       (find-efunction 'find-editeevsubtitles-links-1)
-- Yttr: (find-yttranscript-links       "2024convite" "wVwxugy15cU")
-- Info: (find-1stclassvideo-links      "2024convite")
-- Play: (find-2024convitevideo "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 "2024-convite-maxima.lua"
sts = Subtitles.fromsexps(subs_bigstr):addtime("20:22")
sts.lang = "pt-BR"
= sts
outfname = "$S/http/anggtwu.net/eev-videos/2024-convite-maxima.vtt"
outfname =                           "/tmp/2024-convite-maxima.vtt"
out = sts:vtt().."\n\n"
ee_writefile(outfname, out)
-- (find-fline                       "/tmp/2024-convite-maxima.vtt")

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

** Select /tmp/ or ee-eevvideosdir
** (find-eevvideosfile "")
** (find-eevvideosfile ""   "2024-convite-maxima.mp4")
** (find-eevvideossh0 "cp -v 2024-convite-maxima.mp4 /tmp/")
** (code-video "2024convitevideo"                           "/tmp/2024-convite-maxima.mp4")
** (code-video "2024convitevideo" "$S/http/anggtwu.net/eev-videos/2024-convite-maxima.mp4")
** (find-2024convitevideo "0:00")

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

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

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

--]]

--[[
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "2024-convite-maxima.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 = [==[
(find-2024convitevideo "00:00" " ")

% (find-2024convitevideo "00:01" "Oi gente, o meu nome é Eduardo Ochs, e o")
% (find-2024convitevideo "00:04" "título desse vídeo é \"Convite: Maxima\".")
% (find-2024convitevideo "00:06" "Deixa eu começar explicando o que que é")
% (find-2024convitevideo "00:08" "o Maxima: o Maxima é um sistema de")
% (find-2024convitevideo "00:10" "computação simbólica, tipo Mathematica,")
% (find-2024convitevideo "00:13" "Maple, mas menos famoso... e ele é software")
% (find-2024convitevideo "00:16" "livre - é gratuito.")

% (find-2024convitevideo "00:18" "E aqui tem um exemplo de como usar ele.")
% (find-2024convitevideo "00:22" "A maior parte das pessoas usam ele")
% (find-2024convitevideo "00:24" "com interfaces mais bonitas, gráficas e")
% (find-2024convitevideo "00:26" "não sei que, mas eu passei anos tentando")
% (find-2024convitevideo "00:28" "usar aquelas interfaces, e eu não conseguia")
% (find-2024convitevideo "00:30" "lembrar de tudo... e eu gosto mais dessa")
% (find-2024convitevideo "00:31" "interface feia porque ela me permite")
% (find-2024convitevideo "00:34" "criar links pra documentação, pra")
% (find-2024convitevideo "00:35" "exemplos, e coisas assim.")

% (find-2024convitevideo "00:37" "Então... eu tou dentro do Emacs, e quando eu")
% (find-2024convitevideo "00:42" "rodei essas três linhas daqui ele dividiu a")
% (find-2024convitevideo "00:44" "janela em duas subjanelas, e aqui na")
% (find-2024convitevideo "00:47" "janela da direita ele abriu uma sessão")
% (find-2024convitevideo "00:49" "do Maxima.")

% (find-2024convitevideo "00:51" "Eu tanto posso dar comandos aqui")
% (find-2024convitevideo "00:53" "explicitamente, como posso bater F8 aqui...")
% (find-2024convitevideo "00:56" "e aí ele manda a linha em que eu tou pro")
% (find-2024convitevideo "00:58" "Maxima como se o usuário tivesse")
% (find-2024convitevideo "01:01" "digitando aquela linha toda de uma vez.")

% (find-2024convitevideo "01:03" "E aí quando eu mandei esse comando aqui,")
% (find-2024convitevideo "01:05" "plot2d, o Maxima chamou um programa")
% (find-2024convitevideo "01:07" "externo, GNUPlot, para fazer o gráfico de")
% (find-2024convitevideo "01:10" "uma função, e quando eu mando esse")
% (find-2024convitevideo "01:13" "comando daqui, plot3d, ele faz esse")
% (find-2024convitevideo "01:16" "gráfico 3D da função, que eu posso até rodar.")

% (find-2024convitevideo "01:21" "Agora um segundo exemplo, tá... uma")
% (find-2024convitevideo "01:24" "das utilidades do Maxima é fazer contas")
% (find-2024convitevideo "01:26" "que são chatas. Então ao invés da gente")
% (find-2024convitevideo "01:29" "ter que fazer páginas e páginas de contas na")
% (find-2024convitevideo "01:31" "mão o Maxima faz elas pra gente.")

% (find-2024convitevideo "01:34" "Deixa eu dar um exemplo. Eu tou dando Cálculo 2,")
% (find-2024convitevideo "01:36" "e uma das questões da prova que eu dei")
% (find-2024convitevideo "01:40" "outro dia era uma integral bem chata de")
% (find-2024convitevideo "01:42" "fazer... essa daqui, ó.")

% (find-2024convitevideo "01:44" "Eu ainda não fiz o")
% (find-2024convitevideo "01:47" "gabarito LaTeXado dessa questão mas")
% (find-2024convitevideo "01:51" "eu fiz uma espécie de gabarito em Maxima")
% (find-2024convitevideo "01:53" "dela. Quando eu rodo ele em Maxima - ele tá")
% (find-2024convitevideo "01:57" "aqui, desculpa pela letra pequenininha...")

% (find-2024convitevideo "02:00" "repara, aqui eu dou a função")
% (find-2024convitevideo "02:02" "original, que é x vezes essa raiz")
% (find-2024convitevideo "02:05" "quadrada daqui, e aí eu boto ela dentro")
% (find-2024convitevideo "02:08" "de uma integral, e aí depois vou")
% (find-2024convitevideo "02:10" "transformando essa integral de vários")
% (find-2024convitevideo "02:11" "jeitos diferentes... e em todos os passos")
% (find-2024convitevideo "02:14" "em que eu chego em um resultado que")
% (find-2024convitevideo "02:16" "merece ser guardado eu guardo esse")
% (find-2024convitevideo "02:18" "resultado dentro de uma variável.")

% (find-2024convitevideo "02:20" "E aí nesse último passo daqui eu crio uma")
% (find-2024convitevideo "02:25" "matriz, que nós, que somos humanos, vamos")
% (find-2024convitevideo "02:28" "ver ela com uma série de igualdades,")
% (find-2024convitevideo "02:30" "que diz que essa integral daqui é igual")
% (find-2024convitevideo "02:32" "a essa integral, que é igual a essa, que é")
% (find-2024convitevideo "02:35" "igual a essa, etc, até a gente voltar para")
% (find-2024convitevideo "02:37" "essa expressão aqui, que não tem sinal de")
% (find-2024convitevideo "02:39" "integral e já tá de volta na variável")
% (find-2024convitevideo "02:41" "original. Pro Maxima isso é simplesmente")
% (find-2024convitevideo "02:43" "uma matriz em que em algumas")
% (find-2024convitevideo "02:46" "entradas dela tem")
% (find-2024convitevideo "02:47" "expressões matemáticas, outras entradas")
% (find-2024convitevideo "02:51" "não tem nada, e outras têm um sinal de")
% (find-2024convitevideo "02:54" "igual.")

% (find-2024convitevideo "02:57" "Deixa dar um exemplo de como eu")
% (find-2024convitevideo "03:00" "botei isso na prova, no gabarito...")
% (find-2024convitevideo "03:03" "pouquíssima coisa que eu faço é feita pra")
% (find-2024convitevideo "03:05" "ser impressa, em geral os alunos acessam")
% (find-2024convitevideo "03:07" "os pdfs nos celulares deles, e aí eu")
% (find-2024convitevideo "03:09" "posso botar coisas bem pequenininhas,")
% (find-2024convitevideo "03:11" "eles não têm problema nenhum para dar")
% (find-2024convitevideo "03:13" "zoom nessas coisas... então aquele passo")
% (find-2024convitevideo "03:15" "final que gerou aquela matriz que eu")
% (find-2024convitevideo "03:18" "interpreto como uma série de igualdades")
% (find-2024convitevideo "03:20" "gera isso daqui, tá... e os outros passos")
% (find-2024convitevideo "03:23" "estão aqui para quem quiser ver o")
% (find-2024convitevideo "03:26" "passo a passo sem ter que rodar Maxima")
% (find-2024convitevideo "03:29" "na sua própria casa.")

% (find-2024convitevideo "03:31" "Então, voltando, eu ainda não expliquei")
% (find-2024convitevideo "03:33" "pra que que é o convite. Deixa eu")
% (find-2024convitevideo "03:36" "explicar isso em duas partes. A primeira")
% (find-2024convitevideo "03:37" "é uma introdução.")

% (find-2024convitevideo "03:39" "Eu trabalho num campus pequeno")
% (find-2024convitevideo "03:41" "da UFF. A sede da UFF é em Niterói, lá no")
% (find-2024convitevideo "03:44" "estado do Rio, e esse Campus pequeno")
% (find-2024convitevideo "03:47" "é no interior, numa cidade chamada Rio")
% (find-2024convitevideo "03:49" "das Ostras. O campus em que eu trabalho é")
% (find-2024convitevideo "03:51" "um lixo. A gente tem dois cursos de exatas,")
% (find-2024convitevideo "03:54" "que são Ciência da Computação e")
% (find-2024convitevideo "03:56" "Engenharia de Produção, e eles não têm")
% (find-2024convitevideo "03:58" "nenhuma disciplina que use Linux, os")
% (find-2024convitevideo "04:00" "nossos únicos laboratórios com Linux são")
% (find-2024convitevideo "04:02" "no Instituto de Humanidades e Saúde, não")
% (find-2024convitevideo "04:04" "no Instituto de Ciência e Tecnologia...")
% (find-2024convitevideo "04:07" "e, resumindo muito, mas deixa eu já avisar")
% (find-2024convitevideo "04:10" "que vai ser naquele esquema de")
% (find-2024convitevideo "04:12" "\"resumiu tanto que ficou quase errado\"...")

% (find-2024convitevideo "04:15" "Durante a greve, em que eu dei umas")
% (find-2024convitevideo "04:17" "oficinas de Software Livre, eu descobri")
% (find-2024convitevideo "04:18" "que os nossos estudantes de Psicologia e")
% (find-2024convitevideo "04:20" "Produção Cultural têm muito mais")
% (find-2024convitevideo "04:22" "curiosidade por programação do que os")
% (find-2024convitevideo "04:24" "nossos estudantes de exatas... Parece que")
% (find-2024convitevideo "04:26" "toda vez que eles vêem uma")
% (find-2024convitevideo "04:28" "interface estranha ou uma")
% (find-2024convitevideo "04:30" "linguagem exótica ao invés deles ficarem")
% (find-2024convitevideo "04:32" "curiosos eles ficam com cara de: Ai meu")
% (find-2024convitevideo "04:34" "Deus, ai meu Deus, será que eu vou ter que")
% (find-2024convitevideo "04:36" "aprender isso???...")

% (find-2024convitevideo "04:38" "Então, bom, voltando. Segunda parte do")
% (find-2024convitevideo "04:41" "\"O convite é pra quê?". É o seguinte: eu")
% (find-2024convitevideo "04:44" "tou trabalhando num modo de instalar")
% (find-2024convitevideo "04:47" "tudo isso no Windows em que a gente")
% (find-2024convitevideo "04:49" "primeiro instala o WSL, que é o Windows")
% (find-2024convitevideo "04:51" "Subsystem for Linux,")
% (find-2024convitevideo "04:53" "que é uma espécie de emulador ou")
% (find-2024convitevideo "04:56" "virtualizador de Linux que é feito pela")
% (find-2024convitevideo "04:58" "própria Microsoft...")

% (find-2024convitevideo "05:00" "E aí depois a gente instala uma versão")
% (find-2024convitevideo "05:02" "do Linux - o Debian - instala o Emacs,")
% (find-2024convitevideo "05:04" "instala o eev, instala o Maxima... e em")
% (find-2024convitevideo "05:08" "algum momento essas minhas instruções de")
% (find-2024convitevideo "05:10" "instalação vão ficar melhores ainda do")
% (find-2024convitevideo "05:12" "que já estão agora e vão caber em uma")
% (find-2024convitevideo "05:14" "hora... alguns meses atrás elas")
% (find-2024convitevideo "05:17" "levavam duas horas e tinham pedaços")
% (find-2024convitevideo "05:19" "horríveis, agora já têm uma hora e")
% (find-2024convitevideo "05:20" "pouquinho, e eu já consegui tirar quase")
% (find-2024convitevideo "05:22" "todas as partes chatas... e aqui nessa")
% (find-2024convitevideo "05:25" "página tem um mapinha da parte")
% (find-2024convitevideo "05:28" "inicial das instruções. Esse mapinha é")
% (find-2024convitevideo "05:30" "uma das coisas que eu quero melhorar.")

% (find-2024convitevideo "05:32" "Nesse diagrama 2D daqui várias coisas")
% (find-2024convitevideo "05:35" "são links... então se eu clico aqui eu vou")
% (find-2024convitevideo "05:38" "pro meu tutorial chamado")
% (find-2024convitevideo "05:42" "find-windows-beginner-intro,")
% (find-2024convitevideo "05:45" "aí aqui tem uma introdução que")
% (find-2024convitevideo "05:47" "não interessa agora, depois tem as")
% (find-2024convitevideo "05:49" "instruções para instalar o WSL, o Debian")
% (find-2024convitevideo "05:51" "e o Emacs...")

% (find-2024convitevideo "05:53" "lembrem que isso é ajustado pra pessoas")
% (find-2024convitevideo "05:56" "que nunca viram um terminal na vida...")

% (find-2024convitevideo "05:58" "e aí a partir desse momento daqui, em que")
% (find-2024convitevideo "06:00" "a gente inicia o Emacs, todo o resto é")
% (find-2024convitevideo "06:02" "feito no Emacs, inclusive... lembrem dessa")
% (find-2024convitevideo "06:05" "interface daqui, em que eu rodo terminais")
% (find-2024convitevideo "06:09" "dentro do Emacs, tá... então em vez de rodar")
% (find-2024convitevideo "06:12" "um terminal externo e ter que decorar")
% (find-2024convitevideo "06:14" "coisas e copiar e colar coisas")
% (find-2024convitevideo "06:17" "complicadas a gente basicamente manda")
% (find-2024convitevideo "06:20" "coisas pro terminal com F8.")

% (find-2024convitevideo "06:26" "Então, aqui tem links pras outras")
% (find-2024convitevideo "06:28" "instruções, e em algumas coisas aqui")
% (find-2024convitevideo "06:30" "que têm instruções um pouco mais")
% (find-2024convitevideo "06:32" "complicadas eu aponto para vídeos...")

% (find-2024convitevideo "06:35" "por exemplo, assim que a gente entra")
% (find-2024convitevideo "06:38" "no Emacs a gente tem que instalar o eev,")
% (find-2024convitevideo "06:42" "e o package manager do Emacs tem")
% (find-2024convitevideo "06:45" "uma interface que eu acho meio")
% (find-2024convitevideo "06:47" "esquisita... então eu preparei um vídeo")
% (find-2024convitevideo "06:49" "explicando isso, e esse link daqui... ele")
% (find-2024convitevideo "06:52" "vai para uma determinada posição do")
% (find-2024convitevideo "06:53" "vídeo - 00:39, aqui...")

% (find-2024convitevideo "06:55" "essa página aqui tem as legendas")
% (find-2024convitevideo "06:57" "do vídeo - repara que a gente já pulou")
% (find-2024convitevideo "07:00" "pra cá... e se a gente clicar nesses links")
% (find-2024convitevideo "07:02" "daqui a gente abre o vídeo no YouTube.")

% (find-2024convitevideo "07:06" "Só que ninguém tem paciência para isso, né,")
% (find-2024convitevideo "07:08" "porque leva 30 segundos pra abrir o vídeo")
% (find-2024convitevideo "07:11" "no YouTube, é chatérrimo... então a gente")
% (find-2024convitevideo "07:13" "precisa de alternativas melhores para isso.")
% (find-2024convitevideo "07:16" "Esse esquema do link pro YouTube até")
% (find-2024convitevideo "07:18" "funciona, mas ele é precário...")

% (find-2024convitevideo "07:21" "e o esquema melhor")
% (find-2024convitevideo "07:24" "usa coisas tipo isso aqui pra")
% (find-2024convitevideo "07:27" "apontar direto para vídeos... então...")

% (find-2024convitevideo "07:31" "Tem um exemplo aqui, ó.")
% (find-2024convitevideo "07:35" "Esse link daqui é parecido com o")
% (find-2024convitevideo "07:39" "link que eu mostrei agora há pouco, que é")
% (find-2024convitevideo "07:41" "pras legendas de um vídeo - ele abre o")
% (find-2024convitevideo "07:43" "vídeo, a página das legendas, no browser.")

% (find-2024convitevideo "07:46" "esse link aqui ele baixa uma cópia local")
% (find-2024convitevideo "07:51" "do vídeo... isso às vezes demora um")
% (find-2024convitevideo "07:54" "pouquinho, porque são, sei lá, 30MB...")
% (find-2024convitevideo "07:56" "E a partir do momento em que a gente já tem")
% (find-2024convitevideo "07:58" "uma cópia local tocar a cópia local é muito")
% (find-2024convitevideo "07:59" "rápido. Então quando eu rodo esse link")
% (find-2024convitevideo "08:02" "daqui ele começa a tocar esse vídeo")
% (find-2024convitevideo "08:06" "a partir dessa posição - 10:54.")

% (find-2024convitevideo "08:11" "Então, voltando... deixa eu voltar aqui")
% (find-2024convitevideo "08:15" "pro mapa...")

% (find-2024convitevideo "08:17" "A ideia é que a gente instala o eev")
% (find-2024convitevideo "08:21" "com a interface estranha que tá")
% (find-2024convitevideo "08:22" "explicada no vídeo, depois a gente roda")
% (find-2024convitevideo "08:26" "um comando chamado eev-beginner, e esse")
% (find-2024convitevideo "08:28" "comando vai abrir pra gente o tutorial")
% (find-2024convitevideo "08:30" "principal do eev...")
% (find-2024convitevideo "08:32" "e o tutorial principal ele tem essa")
% (find-2024convitevideo "08:35" "cara daqui...")

% (find-2024convitevideo "08:37" "e as pessoas vão poder pular a seção 1,")
% (find-2024convitevideo "08:40" "que é sobre instalação, vão começar na")
% (find-2024convitevideo "08:42" "seção 2, e nessa seção 2 elas")
% (find-2024convitevideo "08:44" "aprendem que o Emacs")
% (find-2024convitevideo "08:46" "na verdade ele é um ambiente Lisp...")
% (find-2024convitevideo "08:49" "Lisp é essa linguagem em que as")
% (find-2024convitevideo "08:52" "expressões são cercadas de parênteses,")
% (find-2024convitevideo "08:54" "e é sempre o nome do comando e")
% (find-2024convitevideo "08:56" "depois os argumentos do comando... e aí a")
% (find-2024convitevideo "09:00" "gente aprende a executar expressões, a")
% (find-2024convitevideo "09:02" "executar subexpressões, e não sei quê...")

% (find-2024convitevideo "09:04" "e na seção seguinte a gente aprende a")
% (find-2024convitevideo "09:05" "lidar com hiperlinks de vários tipos.")

% (find-2024convitevideo "09:08" "Agora, se a gente tá instalando")
% (find-2024convitevideo "09:11" "isso pela primeira vez e a gente ainda")
% (find-2024convitevideo "09:13" "não instalou o browser, a gente só seguiu")
% (find-2024convitevideo "09:16" "essa parte daqui da instalação,")
% (find-2024convitevideo "09:21" "tem alguns hiperlinks")
% (find-2024convitevideo "09:23" "que não vão funcionar nessa seção 3,")
% (find-2024convitevideo "09:26" "onde eu explico como usar hyperlinks que")
% (find-2024convitevideo "09:28" "abrem o Google Chrome ou abrem outro")
% (find-2024convitevideo "09:30" "browser, e se a gente ainda não tiver o")
% (find-2024convitevideo "09:33" "browser instalado esses links só vão")
% (find-2024convitevideo "09:35" "funcionar na versão htmlizada da página.")

% (find-2024convitevideo "09:38" "Repara, isso que eu tou mostrando aqui...")
% (find-2024convitevideo "09:41" "repara que começa com \"Installing eev\"...")
% (find-2024convitevideo "09:44" "é muito parecido com que tá aqui... então")
% (find-2024convitevideo "09:47" "isso aqui é como a gente acessa esse")
% (find-2024convitevideo "09:49" "tutorial dentro do Emacs, e isso aqui é a")
% (find-2024convitevideo "09:52" "versão que a gente acessa dentro do browser.")

% (find-2024convitevideo "09:53" "Então num primeiro momento")
% (find-2024convitevideo "09:56" "muitos tipos de links vão funcionar no")
% (find-2024convitevideo "09:58" "browser e nem todos vão funcionar dentro")
% (find-2024convitevideo "10:00" "do Emacs - a gente precisa configurar")
% (find-2024convitevideo "10:01" "algumas coisas pra eles funcionarem...")

% (find-2024convitevideo "10:04" "por exemplo, a gente precisa")
% (find-2024convitevideo "10:06" "instalar o Google Chrome, precisa")
% (find-2024convitevideo "10:08" "configurar o eev pra usar o Google")
% (find-2024convitevideo "10:11" "Chrome, e precisa depois instalar o MPV,")
% (find-2024convitevideo "10:14" "que é um player de vídeos.")

% (find-2024convitevideo "10:18" "Então, pra quem tá começando agora")
% (find-2024convitevideo "10:24" "se as pessoas se perderem no meio dessas")
% (find-2024convitevideo "10:27" "instruções e começarem a rodar aquele")
% (find-2024convitevideo "10:30" "tutorial elas não vão ter rodado esse")
% (find-2024convitevideo "10:32" "trecho daqui, que usa aquele truque de")
% (find-2024convitevideo "10:35" "rodar um terminal dentro do próprio Emacs...")

% (find-2024convitevideo "10:38" "e esses trechos daqui são os trechos")
% (find-2024convitevideo "10:41" "que instalam um monte de pacotes")
% (find-2024convitevideo "10:43" "que estão faltando - instalam o Maxima,")
% (find-2024convitevideo "10:46" "instalam o Google Chrome, coisas assim...")
% (find-2024convitevideo "10:48" "se elas conseguirem instalar isso beleza,")
% (find-2024convitevideo "10:50" "um monte de coisas vão funcionar...")

% (find-2024convitevideo "10:56" "Então, voltando, o lance é que")
% (find-2024convitevideo "10:59" "tem uma primeira parte das instruções")
% (find-2024convitevideo "11:01" "que é praticamente linear - as pessoas têm")
% (find-2024convitevideo "11:03" "que chegar até aqui, e aí elas começam a")
% (find-2024convitevideo "11:05" "rodar o tutorial, e a partir daí cada")
% (find-2024convitevideo "11:07" "pessoa começa a querer ir para uma")
% (find-2024convitevideo "11:08" "direção completamente diferente...")

% (find-2024convitevideo "11:10" "isso acaba funcionando que nem aqueles")
% (find-2024convitevideo "11:14" "livros que têm um mapa dos capítulos,")
% (find-2024convitevideo "11:17" "tipo isso aqui, dizendo que as")
% (find-2024convitevideo "11:20" "dependências dos Capítulos são tipo essas,")
% (find-2024convitevideo "11:22" "se você quer seguir esse caminho daqui")
% (find-2024convitevideo "11:27" "você provavelmente até consegue")
% (find-2024convitevideo "11:29" "passar direto do Capítulo 5 pro Capítulo")
% (find-2024convitevideo "11:31" "8 mas talvez você precise desses outros")
% (find-2024convitevideo "11:34" "capítulos daqui... e sei lá, várias coisas")
% (find-2024convitevideo "11:37" "assim...")

% (find-2024convitevideo "11:40" "e basicamente...")
% (find-2024convitevideo "11:42" "nas últimas semanas eu comecei a dar")
% (find-2024convitevideo "11:45" "um tutorial de um proof assistant chamado")
% (find-2024convitevideo "11:48" "Lean, que as pessoas usam pra formalizar")
% (find-2024convitevideo "11:51" "provas, e é um tutorial também feito")
% (find-2024convitevideo "11:54" "pra pessoas que nunca usaram nada")
% (find-2024convitevideo "11:56" "parecido com isso antes, então eu fui")
% (find-2024convitevideo "11:58" "limpando as instruções de instalação do")
% (find-2024convitevideo "12:00" "Lean de um jeito muito parecido com as")
% (find-2024convitevideo "12:02" "instruções de instalação daqui do")
% (find-2024convitevideo "12:06" "Maxima... e aí com o feedback das pessoas")
% (find-2024convitevideo "12:09" "eu consegui melhorar muito a documentação")
% (find-2024convitevideo "12:11" "de algumas partes que as pessoas achavam")
% (find-2024convitevideo "12:13" "difíceis...")

% (find-2024convitevideo "12:15" "o Emacs usa algumas teclas estranhas,")
% (find-2024convitevideo "12:17" "então como é que você faz quando você")
% (find-2024convitevideo "12:18" "ainda não decorou essas teclas estranhas?")

% (find-2024convitevideo "12:21" "Um exemplo é o seguinte, aqui... ao invés")
% (find-2024convitevideo "12:23" "de você decorar as teclas você simplesmente")
% (find-2024convitevideo "12:25" "lembra que aqui no Emacs se você estiver no")
% (find-2024convitevideo "12:31" "modo principiante você vai ver essas coisas")
% (find-2024convitevideo "12:33" "aqui em cima, a menu bar e a tool bar,")
% (find-2024convitevideo "12:36" "e você pode entrar em submenus daqui e")
% (find-2024convitevideo "12:41" "ele vai te dizer algumas opções comuns...")
% (find-2024convitevideo "12:44" "ações comuns e as teclas pra elas, então")
% (find-2024convitevideo "12:46" "você não precisa decorar as teclas, basta")
% (find-2024convitevideo "12:48" "você lembrar onde procurar elas aqui...")
% (find-2024convitevideo "12:51" "e algumas coisas como copiar, cortar e")
% (find-2024convitevideo "12:55" "colar tem aqui nessa segunda barra")
% (find-2024convitevideo "12:57" "também...")

% (find-2024convitevideo "12:59" "Então isso é um truque. O outro truque")
% (find-2024convitevideo "13:02" "que eu usei é que depois que as pessoas")
% (find-2024convitevideo "13:03" "aprendem a copiar e colar elas podem")
% (find-2024convitevideo "13:07" "pegar um determinado uma determinada")
% (find-2024convitevideo "13:11" "seção que tem um monte de coisas que")
% (find-2024convitevideo "13:13" "elas deveriam aprender, aqui... e elas")
% (find-2024convitevideo "13:17" "podem marcar essa coisa daqui e copiar")
% (find-2024convitevideo "13:21" "pro arquivo de anotações delas...")
% (find-2024convitevideo "13:23" "o meu arquivo tá cheio de lixo então")
% (find-2024convitevideo "13:26" "deixa eu copiar para um lugar qualquer...")

% (find-2024convitevideo "13:29" "bom, e aí a partir daí a gente fica com")
% (find-2024convitevideo "13:32" "anotações executáveis, em que a gente pode")
% (find-2024convitevideo "13:33" "deletar as linhas que não interessam mais,")
% (find-2024convitevideo "13:35" "pode adicionar comentários, pode")
% (find-2024convitevideo "13:36" "acrescentar links novos e coisas assim...")

% (find-2024convitevideo "13:39" "o outro truque é que enquanto a")
% (find-2024convitevideo "13:42" "gente não sabe quase nada o melhor é a")
% (find-2024convitevideo "13:44" "gente abrir vários links em abas do")
% (find-2024convitevideo "13:48" "browser... então em cada tab desses a gente")
% (find-2024convitevideo "13:50" "vai ter um link com informações")
% (find-2024convitevideo "13:52" "importantes - por exemplo, se a gente")
% (find-2024convitevideo "13:53" "precisar lembrar das teclas pra copiar")
% (find-2024convitevideo "13:55" "e colar a gente pode vir pra cá, e se a")
% (find-2024convitevideo "13:57" "gente precisar lembrar do outro jeito")
% (find-2024convitevideo "14:00" "de aprender isso ele tá nessa seção 3...")
% (find-2024convitevideo "14:03" "se a gente precisar das teclas")
% (find-2024convitevideo "14:06" "que dividem uma janela em duas, ou em")
% (find-2024convitevideo "14:09" "três, ou desdividem, ou dividem desse")
% (find-2024convitevideo "14:16" "jeito, ou mudam pra outra janela, ou")
% (find-2024convitevideo "14:18" "sei, lá coisas assim, a gente pode ver")
% (find-2024convitevideo "14:23" "esses comandos aqui, e a gente pode")
% (find-2024convitevideo "14:24" "seguir esses links daqui, que vão pro")
% (find-2024convitevideo "14:26" "manual do Emacs, que é gigantesco...")

% (find-2024convitevideo "14:28" "então isso aqui vai pra uma determinada")
% (find-2024convitevideo "14:30" "seção do manual do Emacs.")

% (find-2024convitevideo "14:32" "Então, eu tou tentando organizar essa")
% (find-2024convitevideo "14:35" "coisa daqui pra que as pessoas possam")
% (find-2024convitevideo "14:38" "seguir vários caminhos diferentes")
% (find-2024convitevideo "14:40" "sem se perder, e eu tô inventando alguns")
% (find-2024convitevideo "14:44" "truques novos e fazendo páginas com")
% (find-2024convitevideo "14:47" "esses truques para principiantes, em que")
% (find-2024convitevideo "14:49" "eu tou botando um monte de screenshots...")

% (find-2024convitevideo "14:52" "por exemplo, isso aqui é uma coisa que")
% (find-2024convitevideo "14:56" "as pessoas têm que aprender bem no início...")
% (find-2024convitevideo "14:59" "aí eu explico com um pouquinho de texto e")
% (find-2024convitevideo "15:00" "boto um screenshot...")

% (find-2024convitevideo "15:02" "e agora eu... eu vi que quando eu")
% (find-2024convitevideo "15:07" "converso com alguém, quando eu ajudo")
% (find-2024convitevideo "15:09" "alguém a entender essas coisas e")
% (find-2024convitevideo "15:11" "eu vou vendo as dúvidas da pessoa eu")
% (find-2024convitevideo "15:13" "consigo produzir documentação muito")
% (find-2024convitevideo "15:15" "melhor e muito mais rápido do que se se")
% (find-2024convitevideo "15:16" "eu tiver que fazer tudo sozinho...")

% (find-2024convitevideo "15:18" "então, voltando. O convite que eu")
% (find-2024convitevideo "15:21" "tou fazendo é o seguinte: se vocês acharem")
% (find-2024convitevideo "15:24" "essa história interessante, se vocês")
% (find-2024convitevideo "15:26" "acharem que vale a pena aprender Maxima,")
% (find-2024convitevideo "15:28" "e se vocês acharem que essas instruções")
% (find-2024convitevideo "15:29" "não estão muito apavorantes, por favor")
% (find-2024convitevideo "15:32" "falem comigo, e aí eu ajudo vocês")
% (find-2024convitevideo "15:34" "por, sei lá, WhatsApp, Telegram... e eu")
% (find-2024convitevideo "15:37" "vou tirando todas as dúvidas e as")
% (find-2024convitevideo "15:40" "dúvidas de vocês vão me ajudar muito a")
% (find-2024convitevideo "15:44" "melhorar as próximas versões da")
% (find-2024convitevideo "15:46" "documentação.")

% (find-2024convitevideo "15:48" "Então, se vocês acharem isso legal, pelo amor de")
% (find-2024convitevideo "15:50" "Deus falem comigo, e quando vocês tiverem")
% (find-2024convitevideo "15:51" "uma hora e pouco livres a gente instala")
% (find-2024convitevideo "15:54" "isso no computador, vocês já aprendem")
% (find-2024convitevideo "15:56" "um monte de truques bacanas, e pra")
% (find-2024convitevideo "15:59" "próxima pessoa isso vai levar menos do")
% (find-2024convitevideo "16:01" "que uma hora e pouco, talvez leve só uma")
% (find-2024convitevideo "16:03" "hora, sei lá...")

% (find-2024convitevideo "16:05" "e ainda tem um outro truque,")
% (find-2024convitevideo "16:07" "que eu ainda não mostrei e que eu acho")
% (find-2024convitevideo "16:09" "que é muito bacana, que é o seguinte...")
% (find-2024convitevideo "16:11" "quando eu executo esse link daqui ele")
% (find-2024convitevideo "16:15" "abre um arquivo que tá no meu computador")
% (find-2024convitevideo "16:17" "e ele procura a primeira ocorrência")
% (find-2024convitevideo "16:20" "dessa coisinha daqui nele... que é o string")
% (find-2024convitevideo "16:23" "\"eev-demo\" dentro desses")
% (find-2024convitevideo "16:26" "double angle brackets verdes daqui.")

% (find-2024convitevideo "16:31" "Quando as pessoas instalam isso eu")
% (find-2024convitevideo "16:34" "sugiro que elas façam uma determinada")
% (find-2024convitevideo "16:35" "configuração que vai fazer essa função")
% (find-2024convitevideo "16:38" "daqui agir de um jeito diferente...")
% (find-2024convitevideo "16:40" "ao invés dela abrir um arquivo que tá no")
% (find-2024convitevideo "16:42" "seu computador ela vai baixar um arquivo")
% (find-2024convitevideo "16:45" "que tá na rede, que é a cópia")
% (find-2024convitevideo "16:48" "pública dessas anotações daqui...")

% (find-2024convitevideo "16:51" "lembrem, são as anotações que criam")
% (find-2024convitevideo "16:57" "esses diagraminhas...")

% (find-2024convitevideo "16:59" "elas não vão gravar isso no disco,")
% (find-2024convitevideo "17:02" "isso vai ficar só na memória, e elas vão")
% (find-2024convitevideo "17:04" "procurar o bloquinho que tem isso, e aí")
% (find-2024convitevideo "17:06" "vocês vão poder executar o bloquinho")
% (find-2024convitevideo "17:08" "mesmo sem ter que fazer uma cópia do")
% (find-2024convitevideo "17:09" "arquivo.")

% (find-2024convitevideo "17:10" "E eu tô usando isso muito com os meus")
% (find-2024convitevideo "17:13" "alunos - quer dizer, com os quatro ou cinco")
% (find-2024convitevideo "17:15" "alunos que já se interessaram em")
% (find-2024convitevideo "17:17" "aprender essas coisas - quando eles têm")
% (find-2024convitevideo "17:19" "alguma dúvida... por exemplo, eles perguntam")
% (find-2024convitevideo "17:21" "como é que eu crio uma tabela no Maxima,")
% (find-2024convitevideo "17:24" "que tenham um header e depois")
% (find-2024convitevideo "17:27" "várias linhas parecidas?...")

% (find-2024convitevideo "17:29" "eu digo: vá pro lugar tal! E eu mando um link")
% (find-2024convitevideo "17:31" "tipo esse daqui pra pessoa, possivelmente por")
% (find-2024convitevideo "17:34" "Telegram, a pessoa copia pro Emacs, executa")
% (find-2024convitevideo "17:37" "ele, e aí ela vê as minhas anotações...")

% (find-2024convitevideo "17:39" "Então, a graça é a seguinte...")
% (find-2024convitevideo "17:42" "repara, aqui eu tou no meio do meu arquivo")
% (find-2024convitevideo "17:44" "de anotações, em 49% dele, na linha")
% (find-2024convitevideo "17:48" "8000 e muito dele... esse arquivo")
% (find-2024convitevideo "17:51" "atualmente tem 18000 linhas.")

% (find-2024convitevideo "17:55" "Tem alguns tipos de links aqui que eu não")
% (find-2024convitevideo "17:59" "expliquei, mas vários desses tipos de link vão")
% (find-2024convitevideo "18:00" "funcionar automaticamente assim que a")
% (find-2024convitevideo "18:02" "pessoa instala o básico no computador dela.")

% (find-2024convitevideo "18:06" "Então, por exemplo...")
% (find-2024convitevideo "18:10" "esse link daqui vai pro manual do Maxima")
% (find-2024convitevideo "18:20" "na seção que explica a função \"depends\",")
% (find-2024convitevideo "18:23" "que eu uso nesse bloquinho daqui...")

% (find-2024convitevideo "18:30" "E aí com isso as pessoas conseguem")
% (find-2024convitevideo "18:31" "consultar o manual... e esses links também")
% (find-2024convitevideo "18:34" "funcionam na na versão htmlizada, mas eu não")
% (find-2024convitevideo "18:36" "quero mostrar isso agora...")

% (find-2024convitevideo "18:39" "tem uns links que apontam pra mailing list")
% (find-2024convitevideo "18:44" "do Maxima, deixa eu ver se se eu encontro")
% (find-2024convitevideo "18:47" "algum aqui...")
% (find-2024convitevideo "18:50" "sim! Deixa eu abrir isso aqui, ó...")
% (find-2024convitevideo "18:55" "isso aqui abre uma mensagem da")
% (find-2024convitevideo "18:58" "lista de discussão do Maxima no browser...")
% (find-2024convitevideo "19:01" "aqui tem uma pergunta que eu fiz, e")
% (find-2024convitevideo "19:04" "a gente pode seguir as respostas das")
% (find-2024convitevideo "19:05" "pessoas, e coisas assim...")

% (find-2024convitevideo "19:08" "então, voltando. Eu não consegui usar as")
% (find-2024convitevideo "19:16" "interfaces padrão do Maxima porque elas")
% (find-2024convitevideo "19:18" "parecem ser feitas para pessoas que têm")
% (find-2024convitevideo "19:20" "uma memória incrível, que lêem manuais")
% (find-2024convitevideo "19:22" "enormes e conseguem decorar tudo... mas")
% (find-2024convitevideo "19:25" "para mim essa interface funcionou muito")
% (find-2024convitevideo "19:27" "bem, porque eu consigo guardar links")
% (find-2024convitevideo "19:29" "pra tudo que me interessa, pra onde")
% (find-2024convitevideo "19:31" "tem outras anotações sobre uma")
% (find-2024convitevideo "19:33" "determinada função que eu tô usando,")
% (find-2024convitevideo "19:34" "pros exemplos, e coisas assim...")

% (find-2024convitevideo "19:38" "e agora eu tou adaptando isso para isso")
% (find-2024convitevideo "19:41" "ficar muito fácil de usar. Já tem")
% (find-2024convitevideo "19:44" "alguns casos de sucesso de pessoas que")
% (find-2024convitevideo "19:46" "com uma hora e pouco usando isso ficaram")
% (find-2024convitevideo "19:48" "empolgadíssimas...")

% (find-2024convitevideo "19:50" "e, gente, por favor, não é 100% garantido")
% (find-2024convitevideo "19:52" "que vocês vão gostar disso, talvez vocês")
% (find-2024convitevideo "19:54" "achem a pior coisa do mundo...")

% (find-2024convitevideo "19:56" "mas se vocês acharem legal por favor")
% (find-2024convitevideo "19:58" "falem comigo, porque tem bastante")
% (find-2024convitevideo "20:00" "gente - bastante assim, tipo, sei lá,")
% (find-2024convitevideo "20:03" "seis ou sete pessoas -")
% (find-2024convitevideo "20:05" "que instalaram isso, acharam super legal")
% (find-2024convitevideo "20:08" "e ajudar essas pessoas me ajudou muito.")

% (find-2024convitevideo "20:11" "Então, o convite é esse: pra vocês")
% (find-2024convitevideo "20:13" "aprenderem Maxima e para eu conseguir")
% (find-2024convitevideo "20:15" "melhorar muito a documentação à medida")
% (find-2024convitevideo "20:19" "que eu ajudo vocês.")

% (find-2024convitevideo "20:20" "É isso! Tchau!")
]==]

unrevised_bigstr = [==[
(find-2024convitevideo "00:00" " ")
]==]

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