Все публикации

0:20:39

Some problems of modernizing Emacs (incomplete - slides 0 to 6 only)

0:17:06

Piano roll macros

0:30:34

Emacs, eev, and Maxima - now! (eev @ EmacsConf 2024)

0:07:13

An example of a bash script with test blocks (2024)

0:29:54

Oficina de Lean4 - versão 0 - aula 2

0:20:23

Convite: Maxima

0:10:14

Algumas perguntas pros estudantes de C2 que estão aprendendo Emacs, eev e Maxima

0:37:21

Oficina de Lean4 - versão 0

0:14:17

Two ways of creating '.so's for Lua, one very fast, both using Emacs and eev

0:33:36

Learning git with 'try it!'s (and eev)

0:20:53

REPLs in strange places: updates, a demo, and how to try it

0:59:11

REPLs in strange places: Lua, LaTeX, LPeg, LPegRex, TikZ (@ EmacsConf 2023)

1:45:45

Precisamos de mais slogans (sobre as reclamações do CAEPRO)

1:01:14

Visual vs. auditivo (sobre as reclamações do CAEPRO)

0:12:40

2022.1≠2022.2 (Sobre as reclamações do CAEPRO)

0:13:46

2021.2-C3: cabos na diagonal

0:08:04

2021 1 C3 curvas de nivel

0:18:19

2021 1 C2 somas 1 dicas - 'dicas de estudo'

0:12:23

Sobre as reclamações do CAEPRO sobre a VR de Cálculo 3

0:08:19

'Isso muda alguma coisa?' (Sobre as reclamações do CAEPRO - versão 0)

0:14:04

Short hyperlinks to Python docs (eev @ EmacsConf2022)

0:07:58

Bidirectional links with eev (@ EmacsConf 2022)

1:36:28

Eev and TikZ, or: how to learn TikZ using a REPL

0:28:28

find-yttranscript-links: downloading transcripts of Youtube videos, in eev style