|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
-- This file:
-- http://anggtwu.net/SUBTITLES/emacsconf2023-repls-b.lua.html
-- http://anggtwu.net/SUBTITLES/emacsconf2023-repls-b.lua
-- (find-angg "SUBTITLES/emacsconf2023-repls-b.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (defun l () (interactive) (find-angg "SUBTITLES/emacsconf2023-repls-b.lua"))
-- (defun b () (interactive) (find-TH "emacsconf2023-repls-b"))
-- (defun p () (interactive) (find-TH "emacsconf2023"))
-- (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 "eev2023replsb")
-- Old: (find-editeevsubtitles-links-1 "eev2023replsb")
-- (find-efunction 'find-editeevsubtitles-links-1)
-- Yttr: (find-yttranscript-links "eev2023replsb" "s3enXsuXyNg")
-- Info: (find-1stclassvideo-links "eev2023replsb")
-- Play: (find-eev2023replsbvideo "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 "emacsconf2023-repls-b.lua"
sts = Subtitles.fromsexps(subs_bigstr):addtime("20:52")
-- sts.lang = "pt-BR"
= sts
outfname = "$S/http/anggtwu.net/eev-videos/emacsconf2023-repls-b.vtt"
outfname = "/tmp/emacsconf2023-repls-b.vtt"
out = sts:vtt().."\n\n"
ee_writefile(outfname, out)
-- (find-fline "/tmp/emacsconf2023-repls-b.vtt")
** Test the .vtt
** (find-eev2023replsbvideo "0:00")
** Select /tmp/ or ee-eevvideosdir
** (find-eevvideosfile "")
** (find-eevvideosfile "" "emacsconf2023-repls-b.mp4")
** (find-eevvideossh0 "cp -v emacsconf2023-repls-b.mp4 /tmp/")
** (code-video "eev2023replsbvideo" "/tmp/emacsconf2023-repls-b.mp4")
** (code-video "eev2023replsbvideo" "$S/http/anggtwu.net/eev-videos/emacsconf2023-repls-b.mp4")
** (find-eev2023replsbvideo "0:00")
** Upload the emacsconf2023-repls-b.vtt
** to http://anggtwu.net/eev-videos/
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd /tmp/
scp emacsconf2023-repls-b.vtt $LINP/eev-videos/
scp emacsconf2023-repls-b.vtt $LINS/eev-videos/
Scp-np emacsconf2023-repls-b.vtt $TWUP/eev-videos/
Scp-np emacsconf2023-repls-b.vtt $TWUS/eev-videos/
** Upload the subtitles to youtube
** http://www.youtube.com/watch?v=s3enXsuXyNg
** Check that the "psne subtitles" thing works
** (find-1stclassvideo-links "eev2023replsb")
--]]
--[[
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "emacsconf2023-repls-b.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-eev2023replsbvideo "00:00" "Hi! My name is Eduardo Ochs, I'm the author of")
% (find-eev2023replsbvideo "00:03" "an Emacs package called eev, and a few weeks")
% (find-eev2023replsbvideo "00:06" "ago I gave a very bad presentation at")
% (find-eev2023replsbvideo "00:09" "the EmacsConf 2023 about an application of eev.")
% (find-eev2023replsbvideo "00:12" "The title of my presentation was: REPLs")
% (find-eev2023replsbvideo "00:16" "in strange places: Lua, LaTeX, Lpeg, LPegRex,")
% (find-eev2023replsbvideo "00:19" "and TikZ, and the idea is that the")
% (find-eev2023replsbvideo "00:23" "presentation should have a way to let")
% (find-eev2023replsbvideo "00:26" "people try what I was showing, because")
% (find-eev2023replsbvideo "00:30" "the central idea of eev is that")
% (find-eev2023replsbvideo "00:32" "everything should be easy to try...")
% (find-eev2023replsbvideo "00:35" "well, let me explain that in a better way.")
% (find-eev2023replsbvideo "00:41" "Let me start with a")
% (find-eev2023replsbvideo "00:44" "question: why should people learn eev?")
% (find-eev2023replsbvideo "00:48" "Most people say that it looks like a")
% (find-eev2023replsbvideo "00:50" "kind of Org mode, but uglier and less")
% (find-eev2023replsbvideo "00:54" "powerful, and let's look at these ideas here.")
% (find-eev2023replsbvideo "00:58" "Scripts made with")
% (find-eev2023replsbvideo "01:02" "Org mode and code blocks look")
% (find-eev2023replsbvideo "01:05" "very professional - they can be")
% (find-eev2023replsbvideo "01:08" "exported to HTML and PDF easily, you can")
% (find-eev2023replsbvideo "01:10" "show to other people what you're doing,")
% (find-eev2023replsbvideo "01:12" "you can make blog posts... all the")
% (find-eev2023replsbvideo "01:16" "fortification happens in the right")
% (find-eev2023replsbvideo "01:19" "way, you have colors and so on...")
% (find-eev2023replsbvideo "01:21" "and scripts made with eev - and eepitch,")
% (find-eev2023replsbvideo "01:25" "which is one of the best starting points")
% (find-eev2023replsbvideo "01:28" "for eev, they look very barebones...")
% (find-eev2023replsbvideo "01:31" "they have some ideas that are")
% (find-eev2023replsbvideo "01:35" "the opposite of \"this must look")
% (find-eev2023replsbvideo "01:38" "professional\", and they have some strange")
% (find-eev2023replsbvideo "01:40" "influences in their aesthetics... for")
% (find-eev2023replsbvideo "01:42" "example, they are influenced by ideas by")
% (find-eev2023replsbvideo "01:45" "the ideas of Peter Brook -")
% (find-eev2023replsbvideo "01:48" "about rough theater, about using")
% (find-eev2023replsbvideo "01:53" "the least scenery possible, and so on...")
% (find-eev2023replsbvideo "01:56" "whatever. So people have very good")
% (find-eev2023replsbvideo "02:00" "reasons for spending 10 years trying to")
% (find-eev2023replsbvideo "02:02" "learn Org, and they have very good")
% (find-eev2023replsbvideo "02:04" "reasons for spending just a few minutes")
% (find-eev2023replsbvideo "02:06" "trying to learn eev... but the")
% (find-eev2023replsbvideo "02:09" "tutorials of eev are full of \"try it\"s,")
% (find-eev2023replsbvideo "02:12" "and one of the filters of eev is that")
% (find-eev2023replsbvideo "02:15" "some people who try the \"try it\"s like eev,")
% (find-eev2023replsbvideo "02:18" "but some people refuse to try the \"try it\"s -")
% (find-eev2023replsbvideo "02:21" "they just want to see explanations")
% (find-eev2023replsbvideo "02:24" "and a professional description of what")
% (find-eev2023replsbvideo "02:26" "this can do for them, how this can")
% (find-eev2023replsbvideo "02:29" "solve their problems, how this can")
% (find-eev2023replsbvideo "02:31" "earn them money and so on... and they")
% (find-eev2023replsbvideo "02:34" "don't find that, they refuse to try")
% (find-eev2023replsbvideo "02:37" "the \"try it\"s, and they hate eev.")
% (find-eev2023replsbvideo "02:42" "Anyway, what I want to show in this short")
% (find-eev2023replsbvideo "02:44" "video is the \"try it\"s for my presentation")
% (find-eev2023replsbvideo "02:48" "on REPLs in strange places. These \"try it\"s")
% (find-eev2023replsbvideo "02:51" "only became ready several weeks after the")
% (find-eev2023replsbvideo "02:53" "presentation... and now I'm going to show")
% (find-eev2023replsbvideo "02:56" "rather quickly how to run them.")
% (find-eev2023replsbvideo "03:02" "This is the list of intros of eev...")
% (find-eev2023replsbvideo "03:06" "let me switch to a smaller font here...")
% (find-eev2023replsbvideo "03:12" "the one that we are going to see")
% (find-eev2023replsbvideo "03:15" "is here, in the section of advanced")
% (find-eev2023replsbvideo "03:19" "features that require extra setup... and")
% (find-eev2023replsbvideo "03:21" "the name of this intro is find-show2-intro.")
% (find-eev2023replsbvideo "03:24" "Let me go straight to that intro...")
% (find-eev2023replsbvideo "03:27" "it's here... here we have an")
% (find-eev2023replsbvideo "03:30" "introduction that explains")
% (find-eev2023replsbvideo "03:32" "very roughly what these things are...")
% (find-eev2023replsbvideo "03:35" "the main idea is that at some point the")
% (find-eev2023replsbvideo "03:38" "the main attraction of this thing will")
% (find-eev2023replsbvideo "03:41" "be a tutorial on how to use Lpeg, that is")
% (find-eev2023replsbvideo "03:44" "a tool for generating parsers...")
% (find-eev2023replsbvideo "03:47" "but this tutorial does not exist yet...")
% (find-eev2023replsbvideo "03:51" "anyway, the focus here is on how")
% (find-eev2023replsbvideo "03:54" "to try this")
% (find-eev2023replsbvideo "03:55" "thing. You need to start here...")
% (find-eev2023replsbvideo "04:01" "this is not a very basic \"try it\", it")
% (find-eev2023replsbvideo "04:04" "has some prerequisites... it expects")
% (find-eev2023replsbvideo "04:07" "that people will understand most of")
% (find-eev2023replsbvideo "04:09" "these expressions here... and one of")
% (find-eev2023replsbvideo "04:14" "the most basic things is that when you")
% (find-eev2023replsbvideo "04:16" "type f8 on a line that starts with")
% (find-eev2023replsbvideo "04:19" "two red stars the f8 treats that line")
% (find-eev2023replsbvideo "04:22" "as a comment and shows the content of")
% (find-eev2023replsbvideo "04:25" "that line in the echo area.")
% (find-eev2023replsbvideo "04:29" "When yoy type f8 on a line that has only one")
% (find-eev2023replsbvideo "04:32" "red star the rest of the line is treated as")
% (find-eev2023replsbvideo "04:34" "Lisp... so these lines here,")
% (find-eev2023replsbvideo "04:37" "that take a few seconds to run...")
% (find-eev2023replsbvideo "04:40" "they will assure that we have access to")
% (find-eev2023replsbvideo "04:44" "melpa and that the package system is")
% (find-eev2023replsbvideo "04:48" "installed...")
% (find-eev2023replsbvideo "04:51" "oops, oh no, I need to fix something here...")
% (find-eev2023replsbvideo "04:54" "whatever - I'll do that later...")
% (find-eev2023replsbvideo "04:57" "and then these other two sexps here")
% (find-eev2023replsbvideo "05:01" "will guarantee that")
% (find-eev2023replsbvideo "05:04" "we have pdf-tools installed, and this")
% (find-eev2023replsbvideo "05:07" "last one here, that is a comment... if we")
% (find-eev2023replsbvideo "05:10" "execute it with M-e... then it")
% (find-eev2023replsbvideo "05:14" "will show the description of the")
% (find-eev2023replsbvideo "05:16" "package pdf-tools, in my case it")
% (find-eev2023replsbvideo "05:19" "will show that is installed... and so on.")
% (find-eev2023replsbvideo "05:23" "Then, to try the demo people have to")
% (find-eev2023replsbvideo "05:27" "install some system-wide dependencies...")
% (find-eev2023replsbvideo "05:30" "I mean, this first block was for an")
% (find-eev2023replsbvideo "05:34" "Emacs-wide dependency, that is pdf-tools...")
% (find-eev2023replsbvideo "05:37" "In my case I need to run this")
% (find-eev2023replsbvideo "05:40" "block here, because I'm running Debian...")
% (find-eev2023replsbvideo "05:42" "so I need to run this... in this")
% (find-eev2023replsbvideo "05:47" "case if I send these lines to a shell")
% (find-eev2023replsbvideo "05:49" "with f8s it's going to show that")
% (find-eev2023replsbvideo "05:51" "all these packages are already")
% (find-eev2023replsbvideo "05:54" "installed... and then I have to give")
% (find-eev2023replsbvideo "05:56" "more f8s here, just to define links to")
% (find-eev2023replsbvideo "06:00" "some manuals... for example, now this")
% (find-eev2023replsbvideo "06:05" "link here... if I execute it with M-e it")
% (find-eev2023replsbvideo "06:07" "will open the manual of lpeg... a local")
% (find-eev2023replsbvideo "06:09" "copy of the manual of lpeg.")
% (find-eev2023replsbvideo "06:19" "Then we have to run this part here")
% (find-eev2023replsbvideo "06:21" "that installs some things in")
% (find-eev2023replsbvideo "06:25" "/tmp, and this first block here clears")
% (find-eev2023replsbvideo "06:28" "the directory in which I'm going to put")
% (find-eev2023replsbvideo "06:30" "most of the things, and it clones my")
% (find-eev2023replsbvideo "06:34" "programs - the ones that I showed in my")
% (find-eev2023replsbvideo "06:37" "presentation in a very incomplete form...")
% (find-eev2023replsbvideo "06:41" "then this other block here")
% (find-eev2023replsbvideo "06:45" "clones other two repositories of")
% (find-eev2023replsbvideo "06:47" "something very specific about Lua - some")
% (find-eev2023replsbvideo "06:50" "extensions of Lpeg... and they compile one")
% (find-eev2023replsbvideo "06:54" "of these extensions, that needs to be")
% (find-eev2023replsbvideo "06:56" "compiled with gcc...")
% (find-eev2023replsbvideo "06:57" "and then we have to run this")
% (find-eev2023replsbvideo "07:00" "other block here, that defines links to")
% (find-eev2023replsbvideo "07:02" "some manuals... for example...")
% (find-eev2023replsbvideo "07:07" "oops, well, whatever... and then I have")
% (find-eev2023replsbvideo "07:11" "to run this block here because the")
% (find-eev2023replsbvideo "07:14" "communication with some of the external")
% (find-eev2023replsbvideo "07:16" "programs that will be run from Emacs will")
% (find-eev2023replsbvideo "07:19" "be done using environment variables...")
% (find-eev2023replsbvideo "07:24" "then this block here is")
% (find-eev2023replsbvideo "07:27" "just a technical comment...")
% (find-eev2023replsbvideo "07:30" "then here we have the first")
% (find-eev2023replsbvideo "07:31" "non-trivial test.")
% (find-eev2023replsbvideo "07:34" "These three lines here will")
% (find-eev2023replsbvideo "07:37" "create")
% (find-eev2023replsbvideo "07:38" "a target buffer running Lua here...")
% (find-eev2023replsbvideo "07:43" "and then it will check with if my")
% (find-eev2023replsbvideo "07:47" "pretty-printer works...")
% (find-eev2023replsbvideo "07:49" "it does, it's able to print")
% (find-eev2023replsbvideo "07:53" "associative tables in this format...")
% (find-eev2023replsbvideo "07:56" "and then I'm going to do some other things")
% (find-eev2023replsbvideo "07:58" "here... I'm going to inspect the path and")
% (find-eev2023replsbvideo "08:02" "then load an extension of my pretty-printer")
% (find-eev2023replsbvideo "08:05" "and ask it to tell me the contents of the")
% (find-eev2023replsbvideo "08:11" "table of methods of my pretty-printer...")
% (find-eev2023replsbvideo "08:15" "so, for example, it prints the method")
% (find-eev2023replsbvideo "08:19" "getsortedkvs as this, and this thing")
% (find-eev2023replsbvideo "08:24" "is something that I can run in Emacs...")
% (find-eev2023replsbvideo "08:26" "and it shows the source code")
% (find-eev2023replsbvideo "08:28" "here in the window at the right. let me")
% (find-eev2023replsbvideo "08:31" "close this and go back...")
% (find-eev2023replsbvideo "08:34" "This is a test that we need")
% (find-eev2023replsbvideo "08:38" "to run just to check if lpegrex is")
% (find-eev2023replsbvideo "08:40" "working... it's not very important, lpegrex")
% (find-eev2023replsbvideo "08:44" "is only going to be used in a")
% (find-eev2023replsbvideo "08:47" "very few tests, and just to compare")
% (find-eev2023replsbvideo "08:50" "lpegrex with my hacker-friendly version")
% (find-eev2023replsbvideo "08:52" "of its main functions...")
% (find-eev2023replsbvideo "08:56" "so here is a test... it adds some")
% (find-eev2023replsbvideo "09:01" "paths to the to the LUA_PATH...")
% (find-eev2023replsbvideo "09:05" "and then we just need to check that")
% (find-eev2023replsbvideo "09:08" "these things here run without errors...")
% (find-eev2023replsbvideo "09:11" "but the output is boring, as I've said.")
% (find-eev2023replsbvideo "09:13" "This is another test, that just")
% (find-eev2023replsbvideo "09:17" "checks if lpegrex can be loaded in")
% (find-eev2023replsbvideo "09:20" "another way... it's also boring it only")
% (find-eev2023replsbvideo "09:22" "shows that some the functions are defined...")
% (find-eev2023replsbvideo "09:25" "and this is the non-trivial part,")
% (find-eev2023replsbvideo "09:28" "that shows the things that I've explained in")
% (find-eev2023replsbvideo "09:34" "my presentation... the first thing is that")
% (find-eev2023replsbvideo "09:38" "most of my tools use one of the")
% (find-eev2023replsbvideo "09:41" "windows to display a PDF,")
% (find-eev2023replsbvideo "09:43" "but the PDF must be regenerated")
% (find-eev2023replsbvideo "09:46" "by Lua and we need to tell Lua where to")
% (find-eev2023replsbvideo "09:48" "put that PDF and this is done by setting")
% (find-eev2023replsbvideo "09:52" "some environment variables, and the")
% (find-eev2023replsbvideo "09:54" "function that does that is called")
% (find-eev2023replsbvideo "09:56" "show2-use, that tells Show2")
% (find-eev2023replsbvideo "10:00" "which directory to use, and it works in a")
% (find-eev2023replsbvideo "10:03" "very non-trivial way... but usually we run")
% (find-eev2023replsbvideo "10:08" "show2-use before a block like this one...")
% (find-eev2023replsbvideo "10:10" "and remember that some parts of")
% (find-eev2023replsbvideo "10:14" "blocks like these are things")
% (find-eev2023replsbvideo "10:15" "that are not important... for example, if I")
% (find-eev2023replsbvideo "10:17" "run this then it shows in the window at")
% (find-eev2023replsbvideo "10:21" "the right the current... sorry, this")
% (find-eev2023replsbvideo "10:25" "example. If I run just this it shows")
% (find-eev2023replsbvideo "10:28" "in the window at the right a target")
% (find-eev2023replsbvideo "10:31" "buffer that may not be important, then in")
% (find-eev2023replsbvideo "10:34" "the second line here it kills the")
% (find-eev2023replsbvideo "10:36" "current target buffer and then in this")
% (find-eev2023replsbvideo "10:38" "other line here it recreates the target")
% (find-eev2023replsbvideo "10:40" "buffer so that I got a new target buffer")
% (find-eev2023replsbvideo "10:43" "running Lua.")
% (find-eev2023replsbvideo "10:45" "This line here, whose")
% (find-eev2023replsbvideo "10:49" "logic is very non-trivial... it also uses")
% (find-eev2023replsbvideo "10:52" "the window at the right, but it uses the")
% (find-eev2023replsbvideo "10:53" "window at right to explain what it is")
% (find-eev2023replsbvideo "10:55" "doing. So if I run this it shows in the")
% (find-eev2023replsbvideo "10:59" "window at the right how its argument")
% (find-eev2023replsbvideo "11:02" "is going to be interpreted, how it's")
% (find-eev2023replsbvideo "11:03" "going to be processed to set some")
% (find-eev2023replsbvideo "11:08" "environment variables, and explains lots")
% (find-eev2023replsbvideo "11:10" "of things, including how it's going to")
% (find-eev2023replsbvideo "11:13" "define these functions here, that set up")
% (find-eev2023replsbvideo "11:16" "a 3-window setting like this.")
% (find-eev2023replsbvideo "11:19" "But let me go back to this")
% (find-eev2023replsbvideo "11:22" "part of the demo here... if I run")
% (find-eev2023replsbvideo "11:26" "all these lines with f8, each one of the")
% (find-eev2023replsbvideo "11:29" "lines will show a buffer like this,")
% (find-eev2023replsbvideo "11:32" "with the information about what show2-use")
% (find-eev2023replsbvideo "11:36" "does with each of these")
% (find-eev2023replsbvideo "11:39" "arguments... so I can just type several")
% (find-eev2023replsbvideo "11:42" "f8s here and compare how things change.")
% (find-eev2023replsbvideo "11:45" "So this is just a way")
% (find-eev2023replsbvideo "11:49" "to let people understand how this")
% (find-eev2023replsbvideo "11:52" "function works... and it uses a nice trick")
% (find-eev2023replsbvideo "11:55" "that I only invented a few weeks ago,")
% (find-eev2023replsbvideo "11:57" "that is using the window at the right for")
% (find-eev2023replsbvideo "12:00" "explaining the logic...")
% (find-eev2023replsbvideo "12:02" "and now here is a basic")
% (find-eev2023replsbvideo "12:07" "example of using show2-use...")
% (find-eev2023replsbvideo "12:11" "and using Show2...")
% (find-eev2023replsbvideo "12:15" "and this line")
% (find-eev2023replsbvideo "12:17" "here, with the show... it takes a few")
% (find-eev2023replsbvideo "12:20" "seconds to run... it creates a")
% (find-eev2023replsbvideo "12:22" "PDF, and this line here creates the")
% (find-eev2023replsbvideo "12:26" "3-window setting with the script")
% (find-eev2023replsbvideo "12:29" "being edited here - the \"e\", the target")
% (find-eev2023replsbvideo "12:33" "buffer here - the \"t\", and the viewing")
% (find-eev2023replsbvideo "12:37" "buffer here - the \"v\"... so this works,")
% (find-eev2023replsbvideo "12:40" "but it's very basic... there are some")
% (find-eev2023replsbvideo "12:43" "explanations here...")
% (find-eev2023replsbvideo "12:46" "this is an example that is")
% (find-eev2023replsbvideo "12:51" "slightly less")
% (find-eev2023replsbvideo "12:53" "trival... we can first execute it like")
% (find-eev2023replsbvideo "12:56" "this... note that")
% (find-eev2023replsbvideo "12:59" "here we have these two lines, that look")
% (find-eev2023replsbvideo "13:01" "redundant... in the first we define the")
% (find-eev2023replsbvideo "13:03" "global variable \"body\" in a certain way,")
% (find-eev2023replsbvideo "13:06" "and in the second we we redefine \"body\" in")
% (find-eev2023replsbvideo "13:08" "another way...")
% (find-eev2023replsbvideo "13:09" "let me run this again... :show00 and :show0")
% (find-eev2023replsbvideo "13:15" "are just debugging functions")
% (find-eev2023replsbvideo "13:17" "that show what is going to be saved")
% (find-eev2023replsbvideo "13:20" "in the .tex file... and this last line here,")
% (find-eev2023replsbvideo "13:23" "with just \":show\" without any \"0\"s,")
% (find-eev2023replsbvideo "13:25" "saves the .tex file and")
% (find-eev2023replsbvideo "13:28" "produces the PDF... and it takes a few")
% (find-eev2023replsbvideo "13:30" "seconds to run... we need to wait")
% (find-eev2023replsbvideo "13:33" "until it finishes, and we need to to")
% (find-eev2023replsbvideo "13:36" "check if its output says either success")
% (find-eev2023replsbvideo "13:40" "or error... and if we got a success then we")
% (find-eev2023replsbvideo "13:44" "can run this, the \"(etv)\"...")
% (find-eev2023replsbvideo "13:45" "and note that this option")
% (find-eev2023replsbvideo "13:50" "here has told show to include some")
% (find-eev2023replsbvideo "13:53" "things here that would scale the output...")
% (find-eev2023replsbvideo "13:56" "it includes this \\scalebox{4} here...")
% (find-eev2023replsbvideo "14:01" "and then this part of the")
% (find-eev2023replsbvideo "14:05" "tutorial explains that we can run")
% (find-eev2023replsbvideo "14:09" "these lines here in any order, and we can...")
% (find-eev2023replsbvideo "14:13" "remember that in the first time")
% (find-eev2023replsbvideo "14:17" "this first line was ignored because the")
% (find-eev2023replsbvideo "14:20" "second one redefined \"body\"...")
% (find-eev2023replsbvideo "14:22" "but now we can run this first")
% (find-eev2023replsbvideo "14:26" "line here and now this value is going to")
% (find-eev2023replsbvideo "14:29" "override the other one...")
% (find-eev2023replsbvideo "14:31" "then we skip this \"HELLO\" without")
% (find-eev2023replsbvideo "14:34" "the backslash here... we run these lines")
% (find-eev2023replsbvideo "14:37" "again... and now the show is going to say")
% (find-eev2023replsbvideo "14:41" "that we didn't get a success, we get")
% (find-eev2023replsbvideo "14:44" "an error... so now the \"(etv)\" would not")
% (find-eev2023replsbvideo "14:49" "work, it's going to show something spurious...")
% (find-eev2023replsbvideo "14:52" "and we can show the log of the")
% (find-eev2023replsbvideo "14:55" "compilation... we're going to see what went")
% (find-eev2023replsbvideo "14:58" "wrong...")
% (find-eev2023replsbvideo "15:00" "and we can also run this to to examine")
% (find-eev2023replsbvideo "15:04" "what was saved in the .tex file.")
% (find-eev2023replsbvideo "15:07" "So this was just a basic demo to")
% (find-eev2023replsbvideo "15:11" "explain how Show2 works, and how \"(etv)\"")
% (find-eev2023replsbvideo "15:14" "works, and how we can use these several")
% (find-eev2023replsbvideo "15:17" "variants of :show to inspect what is")
% (find-eev2023replsbvideo "15:19" "being saved and compiled...")
% (find-eev2023replsbvideo "15:21" "and now we have a few")
% (find-eev2023replsbvideo "15:24" "less trival tests, in the")
% (find-eev2023replsbvideo "15:27" "sense that these tests are going to")
% (find-eev2023replsbvideo "15:30" "show something in the PDF that is not so")
% (find-eev2023replsbvideo "15:34" "trivial... here we get one test that is in")
% (find-eev2023replsbvideo "15:36" "a test block in this file...")
% (find-eev2023replsbvideo "15:38" "the file is called ParseTree2.lua,")
% (find-eev2023replsbvideo "15:42" "and this line here goes to")
% (find-eev2023replsbvideo "15:49" "this test block... and if we run this")
% (find-eev2023replsbvideo "15:53" "block here, in the test block...")
% (find-eev2023replsbvideo "15:55" "it uses a parser that is defined in")
% (find-eev2023replsbvideo "15:59" "this file, it parses this string")
% (find-eev2023replsbvideo "16:04" "here, it displays this, the abstract")
% (find-eev2023replsbvideo "16:08" "syntax tree generated by parsing this")
% (find-eev2023replsbvideo "16:11" "string... and then we have some")
% (find-eev2023replsbvideo "16:17" "other lines here that process the tree")
% (find-eev2023replsbvideo "16:20" "in several ways...")
% (find-eev2023replsbvideo "16:23" "that I do not want to explain... but the")
% (find-eev2023replsbvideo "16:26" "important is that at this point here at")
% (find-eev2023replsbvideo "16:29" "this line I take this object here,")
% (find-eev2023replsbvideo "16:31" "produced by underbracifying o9, and I")
% (find-eev2023replsbvideo "16:37" "run the show method on it. It takes a")
% (find-eev2023replsbvideo "16:40" "few seconds, it says success, so now this")
% (find-eev2023replsbvideo "16:44" "is going to work...")
% (find-eev2023replsbvideo "16:45" "and it displays this parse tree here.")
% (find-eev2023replsbvideo "16:50" "So this was one of the non-trivial")
% (find-eev2023replsbvideo "16:55" "tests... here is another one...")
% (find-eev2023replsbvideo "16:59" "that... the output looks trivial, but")
% (find-eev2023replsbvideo "17:03" "the logic is not...")
% (find-eev2023replsbvideo "17:07" "the test is this one, it produces")
% (find-eev2023replsbvideo "17:11" "this .tex here, that loads")
% (find-eev2023replsbvideo "17:15" "several .tex files and the")
% (find-eev2023replsbvideo "17:18" "style file... they are all included")
% (find-eev2023replsbvideo "17:21" "this directory here...")
% (find-eev2023replsbvideo "17:27" "here you can see that is,")
% (find-eev2023replsbvideo "17:30" "/tmp/show2-elpeg1/LATEX/,")
% (find-eev2023replsbvideo "17:33" "so it's a temporary thing... but it has")
% (find-eev2023replsbvideo "17:37" "lots of Lua files and some .tex files.")
% (find-eev2023replsbvideo "17:42" "and this thing here is processed by")
% (find-eev2023replsbvideo "17:46" "one of the things that I use to")
% (find-eev2023replsbvideo "17:48" "to generate diagrams in LaTeX, it's a")
% (find-eev2023replsbvideo "17:51" "package called Dednat6...")
% (find-eev2023replsbvideo "17:53" "and if I run this it generates a PDF and")
% (find-eev2023replsbvideo "18:00" "the PDF is this.. so this thing is a")
% (find-eev2023replsbvideo "18:03" "variant of verbatim mode...")
% (find-eev2023replsbvideo "18:07" "and this is something that will be very")
% (find-eev2023replsbvideo "18:14" "interesting at some point, but at this")
% (find-eev2023replsbvideo "18:16" "point is not really interesting...")
% (find-eev2023replsbvideo "18:18" "this is my hacker-friendly")
% (find-eev2023replsbvideo "18:22" "version of lpegrex, and here")
% (find-eev2023replsbvideo "18:26" "are some examples of how it works...")
% (find-eev2023replsbvideo "18:30" "I tested either all or most of its")
% (find-eev2023replsbvideo "18:35" "test blocks and they are working... for")
% (find-eev2023replsbvideo "18:38" "example, this one is a test block that")
% (find-eev2023replsbvideo "18:41" "defines a grammar that starts very")
% (find-eev2023replsbvideo "18:43" "basic... and then it's changed a bit at a")
% (find-eev2023replsbvideo "18:50" "time... and then we change the grammar and")
% (find-eev2023replsbvideo "18:53" "we ask this function here to use the")
% (find-eev2023replsbvideo "18:57" "current grammar to parse this thing")
% (find-eev2023replsbvideo "18:59" "here considering that this symbol")
% (find-eev2023replsbvideo "19:02" "here is the top level symbol of the")
% (find-eev2023replsbvideo "19:04" "grammar. So... it shows how we can parse")
% (find-eev2023replsbvideo "19:08" "arithmetical expressions with the right")
% (find-eev2023replsbvideo "19:16" "precedence, and... that's it.")
% (find-eev2023replsbvideo "19:18" "At some point this thing is going to become")
% (find-eev2023replsbvideo "19:20" "a tutorial of lpeg but at at this moment")
% (find-eev2023replsbvideo "19:23" "it is not. Anyway...")
% (find-eev2023replsbvideo "19:25" "So, here we have lots of Lua files,")
% (find-eev2023replsbvideo "19:31" "and most of these Lua files have...")
% (find-eev2023replsbvideo "19:34" "let me see... let me see if I have")
% (find-eev2023replsbvideo "19:38" "something interesting here...")
% (find-eev2023replsbvideo "19:40" "Most of these Lua files")
% (find-eev2023replsbvideo "19:43" "have test blocks that that you can run")
% (find-eev2023replsbvideo "19:45" "in your installation, in which")
% (find-eev2023replsbvideo "19:48" "everything is in the /tmp/ directory...")
% (find-eev2023replsbvideo "19:51" "for example this one... no, let me try the")
% (find-eev2023replsbvideo "19:55" "last test block in this file...")
% (find-eev2023replsbvideo "20:02" "it does some weird things here, but")
% (find-eev2023replsbvideo "20:06" "then it has a :show()... the :show()")
% (find-eev2023replsbvideo "20:10" "saves a .tex file and compiles it into a PDF,")
% (find-eev2023replsbvideo "20:12" "and then this thing here shows the result,")
% (find-eev2023replsbvideo "20:15" "that is something three-dimensional here,")
% (find-eev2023replsbvideo "20:17" "and some other things here.")
% (find-eev2023replsbvideo "20:19" "So, yeah, that's it! I hope that")
% (find-eev2023replsbvideo "20:22" "everything is... will be easy to")
% (find-eev2023replsbvideo "20:27" "run... I have only tested this thing on")
% (find-eev2023replsbvideo "20:31" "Debian and I have one friend that is")
% (find-eev2023replsbvideo "20:33" "testing that on Mac OS and another")
% (find-eev2023replsbvideo "20:36" "friend who's testing that on Arch Linux...")
% (find-eev2023replsbvideo "20:39" "and if you can test that on")
% (find-eev2023replsbvideo "20:41" "your system then please get in touch!")
% (find-eev2023replsbvideo "20:43" "Please tell me if things are working,")
% (find-eev2023replsbvideo "20:45" "please help me to debug these things...")
% (find-eev2023replsbvideo "20:48" "and yeah! That's it. That's it for the")
% (find-eev2023replsbvideo "20:50" "moment. Thanks! Bye! =)")
(find-eev2023replsbvideo "20:52" " ")
]==]
unrevised_bigstr = [==[
(find-eev2023replsbvideo "00:00" " ")
]==]
-- Local Variables:
-- coding: utf-8-unix
-- End: