% (find-LATEX "2026-rad2025.tex")
% (defun e  () (interactive) (find-LATEX "2026-rad2025.tex"))
% (defun o  () (interactive) (find-LATEX "2025-rad2024.tex"))
% (defun oe () (interactive) (find-2a '(o) '(e)))
% (find-lualatex-links "2026-rad2025" "rad")


% (find-LATEX "2025lua-in-tex.tex")
% (find-1stclassvideo-links "2024pianoroll")
% (find-1stclassvideo-links "2024trywithasexp")
% (find-1stclassvideo-links "2025modern")
% (find-1stclassvideo-links "eev2025")
% (find-TH "math-b" "2025-ebl")

Coisas com Maxima - quais?
edrxbox

EBL

Apresentação no WLD
Bad foundations - and manipulable objects

WLD: https://anggtwu.net/2026-logica-para-pessoas.html




(+

(+ ;;;;; Aulas
           ; (find-TH  "2025.1")
   90 180  ; Cálculo 2A 2025.1
   60 120  ; Cálculo 3A 2025.1

           ; (find-TH  "2025.2")
   30  60  ; Lambda
   60 120  ; Cálculo 3A 2025.2

)

(+ 20 ; Reuniões de departamento

   60 ; Processo Administrativo Disciplinar nº23069.020150/2022-64:
      ; compilação de documentos, transcrição de áudios, produção de
      ; softwares para indexar tudo, preparação para os processos
      ; seguintes.

)

(+ ;;;;; Eev

   40 ; "Badly-behaved targets, or: eev, Slime, Sly, and Maxima" -
      ; software e vídeo. Link:
      ; <http://anggtwu.net/2025-badly-behaved.html>
      ; (find-TH "2025-badly-behaved")

   40 ; "Some problems of modernizing Emacs" (primeira versão pública,
      ; março/2026) - software e vídeo.
      ; <https://anggtwu.net/2025-modern.html>
      ; (find-TH "2025-modern")

   60 ; "Some problems of modernizing Emacs (eev @ EmacsConf 2025)" -
      ; Apresentação na EmacsConf 2025 em dezembro/2025. Link:
      ; <https://anggtwu.net/emacsconf2025.html>
      ; (find-TH "emacsconf2025")

)

(+ ;;;;; Maxima

   80 ; Edrxbox: um front-end alternativo pro "pretty-printer" do
      ; Maxima - o displa.lisp - que é da década de 70 e era muito
      ; difícil de estender. Link:
      ; <https://anggtwu.net/maxima-edrxbox.html>

)

(+ ;;;; EBL

   80 ; "Adapting Lean tutorials to the Brazilian case" - apresentação no EBL 2025. Link:
      ; <http://anggtwu.net/math-b.html#2025-ebl>.
      ; 
      ; (find-TH "math-b" "2025-ebl")

)

(+ ;;;; Educação


  720 ; "Lógica pra pessoas que sabem resolver 2+x=5 mas não sabem
      ; substituir x por 3 em 2+x=5": apresentação no World Logic Day
      ; 2026, no evento online da UFMG/UFOP, em 14/jan/2026. A carga
      ; horária registrada aqui inclui a organização de uma
      ; bibliografia sobre Educação Matemática e o trabalho num artigo
      ; que ainda está em preparação e que será submetido para os
      ; proceedings do EBL. Link:
      ; <https://anggtwu.net/2026-logica-para-pessoas.html>



   40 ; "Panic! At equalities" - apresentação no "Retiro de
      ; Teresópolis" em 18/jun/2024 (e participação no retiro). Link:
      ; <http://anggtwu.net/math-b.html#2024-panic-t>
      ;
      ; (find-TH "math-b" "2024-panic-t")

)


(+ ;;;; Dednat7

   20 ; Dednat7 - uma versão bem mais fácil de debugar do Dednat6,
      ; cuja descrição era: "Dednat6: an extensible
      ; (semi-)preprocessor for LuaLaTeX that understands diagrams in
      ; ASCII art". Links: <http://anggtwu.net/dednat6.html> e
      ; <http://anggtwu.net/eev-emaxima.html#dednat7>.
      ;
      ; (find-TH "eev-emaxima" "dednat7")

)



)







% Local Variables:
% coding: utf-8-unix
% modes: (fundamental-mode emacs-lisp-mode)
% ee-tla: "rad"
% End: