Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2025-rad2024.tex") % (defun e () (interactive) (find-LATEX "2025-rad2024.tex")) % (defun o () (interactive) (find-LATEX "2024-rad2023.tex")) % (defun oe () (interactive) (find-2a '(o) '(e))) % (find-lualatex-links "2025-rad2024" "rad") % (find-fline "~/PURO/" "RAD_1669224_2024_2025_ochs.pdf") % (find-pdf-page "~/PURO/RAD_1669224_2024_2025_ochs.pdf") % (find-pdf-text8 "~/PURO/RAD_1669224_2024_2025_ochs.pdf") % https://mail.google.com/mail/u/0/#inbox/FMfcgzQZSjbvlGwfsVqSNJbFMHvCGMpk (+ (+ ;;;;; Aulas ; (find-TH "2024.1") 90 180 ; Cálculo 2A 2024.1 60 120 ; Cálculo 3A 2024.1 ; (find-TH "2024.2") 90 180 ; Cálculo 2A 2024.2 60 120 ; Cálculo 3A 2024.2 ) (+ 20 ; Reuniões de departamento 40 ; 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 120 ; "Emacs, eev, and Maxima - now!" - apresentação na EmacsConf 2024. ; Link: <http://anggtwu.net/emacsconf2024.html>. ; ; (find-TH "emacsconf2024") 20 ; "Trying eev with a sexp": um modo de instalar o eev em ; segundos, acessível para pessoas com pouquíssima experiência ; com o Emacs - como os nossos alunos de Cálculo 2 e Cálculo 3. ; Link: <http://anggtwu.net/2024-find-tryit-links.html>. ; ; (find-TH "2024-find-tryit-links") ; (find-TH "2024-trying-eev-with-a-sexp") 40 ; show-conses.el - uma biblioteca para o Emacs que desenha "cons ; cell diagrams" e alguns outros tipos de árvores. Link: ; <http://anggtwu.net/show-conses.html> ; ; (find-TH "show-conses") 40 ; Um mini-tutorial de SQLite (para discussão com alunos da ; Computação). Link: <http://anggtwu.net/e/sqlite.e.html> ; ; (find-es "sqlite") 10 ; "Calling Lua from Common Lisp (with eev and CFFI)". Link: ; <http://anggtwu.net/2025-calling-lua-from-common-lisp.html> ; ; (find-TH "2025-calling-lua-from-common-lisp") 10 ; "Trying debugger.lua with a sexp". Link: ; <http://anggtwu.net/2025-debugger-lua.html> ; ; (find-TH "2025-debugger-lua") 10 ; "An example of a bash script with test blocks". Link: ; <http://anggtwu.net/2024-bash-test-blocks.html>. ; ; (find-TH "2024-bash-test-blocks") 20 ; "Piano Roll Macros". Link: ; <http://anggtwu.net/2024-piano-roll-macros.html> ; ; (find-TH "2024-piano-roll-macros") ) (+ ;;;;; Maxima 150 ; "Oficina permanente de Emacs, eev e Maxima": grupo no Telegram ; com todos os alunos de Cálculo 2 e Cálculo 3 - que podiam ; fazer alguns "testes relâmpago" de Maxima pra ganhar pontos ; extras - e algumas pessoas externas; o vídeo de divulgação se ; chamava "Convite: Maxima". Link pro vídeo: ; <http://anggtwu.net/2024-convite-maxima.html> ; ; (find-TH "2024-convite-maxima") 80 ; "Eev and (My)Qdraw". O qdraw é uma biblioteca do Maxima e o ; myqdraw é uma extensão do qdraw que serve principalmente pra ; desenhar algumas figuras e animações que usamos em Cálculo 2 e ; 3. A documentação do myqdraw é feita em eev e ele foi testado ; por alguns alunos de Cálculo 2 e 3 e pelo Leonan Euriques, um ; aluno do Ensino Médio que mora no Pará e que tem participado ; das atividades com Maxima. Link: ; <http://anggtwu.net/eev-qdraw.html> ; ; (find-TH "eev-qdraw") 80 ; "LispTree: Draw Maxima objects as trees (using Lisp)" - uma ; biblioteca pro Maxima, escrita em Common Lisp. Link: ; <http://anggtwu.net/lisptree.html>. ; ; (find-TH "lisptree") ) (+ ;;;; Dednat7 40 ; 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") ) (+ ;;;; Lean 200 ; "Oficina de Lean4, versão 0" - uma oficina online, por ; Telegram, para estudantes de Lógica. Links: ; <http://anggtwu.net/eev-lean4.html> e ; <http://anggtwu.net/2024-lean4-oficina-0.html>. ; ; (find-TH "2024-lean4-oficina-0") ; (find-TH "2024-lean4-oficina-0-aula-2") 20 ; "Adapting Lean tutorials to the Brazilian case" - abstract ; submetido para o EBL 2025. Link: ; <http://anggtwu.net/math-b.html#2025-ebl>. ; ; (find-TH "math-b" "2025-ebl") ) (+ ;;;; Panic 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") ) ) % Local Variables: % coding: utf-8-unix % modes: (fundamental-mode emacs-lisp-mode) % ee-tla: "rad" % End: