[INCLUDE TH/speedbar.blogme] [SETFAVICON dednat4/dednat4-icon.png] [SETFAVICON IMAGES/forthsun.png] [# (defun c () (interactive) (find-blogme3-sh0-if "emacsconf2024")) (defun u () (interactive) (find-blogme-upload-links "emacsconf2024")) ;; http://anggtwu.net/emacsconf2024.html ;; file:///home/edrx/TH/L/emacsconf2024.html ;; https://bit.ly/3VuEXbk ;; ;; (find-blogme3-legendas-links "eev2024" "emacsconf2024" "ZQ4mUSRcqJc") ;; (find-ssr-links "eev2024" "emacsconf2024" "ZQ4mUSRcqJc" "7:12") ;; «.links» (to "links") ;; «.intros-and-map» (to "intros-and-map") ;; «.related-videos» (to "related-videos") ;; «.mathematics» (to "mathematics") ;; «.maxima» (to "maxima") ;; «.irc» (to "irc") ;; «.etc» (to "etc") ;; «.video» (to "video") #] [lua: require "defs-2022" -- (find-blogme3 "defs-2022.lua") short_:add [[ ec2024 -> https://emacsconf.org/2024/ ec2024-talks -> https://emacsconf.org/2024/talks/ ec2024-maxima -> https://emacsconf.org/2024/talks/maxima/ ec2024-blogme => (find-TH "emacsconf2024") (find-TH "emacsconf2023") butler => (find-TH "2024-philosophy-tube-butler") restructuring => (find-TH "2024-restructuring") eev-maxima => (find-TH "eev-maxima") eev-qdraw => (find-TH "eev-qdraw") 2024-bash-test-blocks => (find-TH "2024-bash-test-blocks") eev-for-longtime-emacs-users => (find-TH "eev-for-longtime-emacs-users") 2024-eev-for-5-year-olds => (find-TH "2024-eev-for-5-year-olds") 2024-a-people-and-b-people => (find-TH "2024-a-people-and-b-people") 2024-emacs-pollution => (find-TH "2024-emacs-pollution") 2024-find-tryit-links => (find-TH "2024-find-tryit-links") announce-eev -> https://lists.gnu.org/archive/html/eev/2024-12/msg00002.html (find-maximamsg "58850733 202412 09" "Emacs, eev, and Maxima - now! (EmacsConf 2024)") (find-instagram-links "eduardoochs" "DDgLfp9K1Op" "EmacsConf 2024") ]] def [[ RIGHTFIG 2 target,img "" ]] ] [SETHEADSTYLE [LUCIDA]] [htmlize [J Emacs, eev, and Maxima - now! (eev @ EmacsConf 2024)] [DELAY [SMALL [DLINDEX2]] [P This is what I presented at the [_ ec2024 EmacsConf 2024]. [BR] Here are links to the [_ ec2024-talks full schedule] of the conference and to [_ ec2024-maxima my talk] in it.] [NARROW [P I teach Calculus in a bad campus of a good federal university in Brazil. The main campus of that university is located in a big city and has lots of resources, and I work in a small campus, that is in a small city, and that has few resources - and we get the students that don't get enough points in the entrance exams to go to better places. In this presentation I will show how I've been teaching Maxima, and Emacs, and eev, to my students.] [P With very few exceptions my students are "beginners" in a sense that is inconceivable in developed countries - they're not people for whom things like spreadsheets, Jupyter Notebooks, and VSCode are "intuitive"... most of them have never seen a terminal in their lives, and many of them have so little familiarity with computers that they don't know, for example, that keyboards have a key called F8.] [P It turns out that if we define "beginners" in the right way - hint: not by statistics! - then we can find a way to present Maxima, and then Emacs and eev, that makes all sense to the "beginners" in my classes, and that approach lets them install everything and become (sort of) autonomous very quickly. A few students were able to install everything - WSL, Debian, Emacs, eev, Maxima - and run the examples in about one hour; most others took between one hour and two hours, and some others had to plonked.] ] [br] [# _ _ _ # | | (_)_ __ | | _____ # | | | | '_ \| |/ / __| # | |___| | | | | <\__ \ # |_____|_|_| |_|_|\_\___/ #] [NAME0 links «links» (to ".links") ] [sec2 H2 [++N]. Some links] [lua: require "defs-2022" -- (find-blogme3 "defs-2022.lua") short_:add [[ (find-books "__cats/__cats.el" "grothendieck-ams") grothams2 -> https://www.ams.org/notices/200410/fea-grothendieck-part2.pdf scheme -> https://en.wikipedia.org/wiki/Scheme_(mathematics) scheme-in-lean -> https://arxiv.org/pdf/2101.02602 (find-eev2024lsubs "14:18" "This is an example of something") yoneda-here => (find-eev2024hsubs "14:18" "This is an example of something") (find-eev2024lsubs "24:26") map-here => (find-eev2024hsubs "24:26") on-the-missing => (find-TH "math-b" "2022-md") (emacsconf2024p 3 "yoneda-on-rings") diagram-src => (emacsconf2024a "yoneda-on-rings") diagram-dlcomp => (emacsconf2024a "download-and-compile") dednat6 -> dednat6.html eev-is-wrong => (find-2024bashtesthsubs "0:40") to-bruno -> https://lists.gnu.org/archive/html/eev/2024-10/msg00003.html ]] ] [NAME0 intros-and-map «intros-and-map» (to ".intros-and-map") ] [sec2 H3 [++NN]. The "intro"s and the map] [LIST2 [STOH (find-eev-quick-intro)] [STOH (find-windows-beginner-intro)] [J [_ restructuring The map] that I mention in [_ map-here 24:26].] ] [NAME0 related-videos «related-videos» (to ".related-videos") ] [sec2 H3 [++NN]. Two videos related to this one, both from dec/2024] [LIST2 [J [_ 2024-find-tryit-links Trying eev with a sexp]] [J [_ 2024-bash-test-blocks An example of a bash script with test blocks] [BR] The part about "eev is WRONG" startis at [_ eev-is-wrong 0:40]. [BR] [_ to-bruno An e-mail] to Bruno Macedo about "The Mythical Man-Month", first systems, and "plan to throw one away" ] ] [NAME0 mathematics «mathematics» (to ".mathematics") ] [sec2 H3 [++NN]. Mathematics] [LIST2 [J Some people don't need examples. Look for "Grothendieck prime" at the end of the first page of [_ grothams2 this article].] [J For an algebraic geometers [_ scheme schemes] are very natural - they generalize several familiar objects. For an outsider they're not - and formalizing schemes in Lean [_ scheme-in-lean took years].] [J I mentioned the Yoneda Lemma at the video at [_ yoneda-here 14:18]. I used [R [STOT (emacsconf2024p)] this PDF], that has two diagrams from my article "[_ on-the-missing On The Missing Diagrams in Category Theory]". If you're curious to see how I draw those diagrams, look at my definition of the first diagram [_ diagram-src here]. I used Dednat7, that is a version of [_ dednat6 Dednat6] that is easier to debug. To download and compile the .tex yourself, run [_ diagram-dlcomp this eepitch block].] ] [NAME0 maxima «maxima» (to ".maxima") ] [sec2 H3 [++NN]. Maxima] [RIGHTFIG http://anggtwu.net/LATEX/2024-2-C3/taylor_sin.gif http://anggtwu.net/LATEX/2024-2-C3/taylor_sin_50.gif] [# (find-linsfile "LATEX/2024-2-C3/" "taylor_sin.gif") #] [LIST2 [_ eev-maxima My page on Maxima] [_ eev-qdraw My page on (My)Qdraw] [R lisptree.html My page on LispTree] [J [R http://anggtwu.net/2024-convite-maxima.html Convite: Maxima] (a video in Portuguese)] ] [NAME0 irc «irc» (to ".irc") ] [sec2 H3 [++NN]. IRC] [LIST2 [J [_ 2024-eev-for-5-year-olds] (look for "fun")] [_ 2024-a-people-and-b-people] [_ 2024-emacs-pollution] ] [NAME0 etc «etc» (to ".etc") ] [sec2 H3 [++NN]. Etc] [P I need to organize this...] [P [R http://anggtwu.net/ORG/emacsconf2024.org.html] [BR] [_ eev-for-longtime-emacs-users] [BR] [_ butler I Read The Most Misunderstood Philosopher in the World (Philosophy Tube - subtitles)] [BR] [R https://www.afterbabel.com/p/the-edtech-revolution-has-failed The EdTech Revolution Has Failed]: distraction machines ] [BE' https://www.thecoder.cafe/p/unit-tests-as-documentation Descriptive test name https://news.ycombinator.com/item?id=41871629 Unit tests as documentation (thecoder.cafe) - some typical parameters https://zakirullin.md/cognitive Cognitive load is what matters (memory / metric) https://timcoatesinsights.wordpress.com/2024/10/31/why-pascal-deserves-a-second-look/ ^ It's about finding the overlap between what I want to teach and what viewers want to see ] [# https://slate.com/news-and-politics/2012/06/hebrew-national-lawsuit-what-happens-to-jews-who-eat-non-kosher-food.html non-kosher foods stain or clog the soul #] [br] [br] [# _____ _ _ _ # |_ _| |__ ___ __ _(_) __| | ___ ___ # | | | '_ \ / _ \ \ \ / / |/ _` |/ _ \/ _ \ # | | | | | | __/ \ V /| | (_| | __/ (_) | # |_| |_| |_|\___| \_/ |_|\__,_|\___|\___/ #] [NAME0 video «video» (to ".video") ] [sec2 H2 [++N]. The video] [lua: -- (find-ssr-links "eev2024" "emacsconf2024" "ZQ4mUSRcqJc" "7:12") -- (find-blogme3-legendas-links "eev2024" "emacsconf2024" "ZQ4mUSRcqJc") short_:add [[ (find-1stclassvideo-links "eev2024") eev2024-page -> http://anggtwu.net/{pagestem}.html eev2024-mp4 -> http://anggtwu.net/eev-videos/emacsconf2024.mp4 eev2024-lua => (find-angg "SUBTITLES/emacsconf2024.lua" "legendas") eev2024-leg => (find-TH "emacsconf2024") eev2024-pdf -> http://anggtwu.net/LATEX/2023-caepro.pdf eev2024-video -> https://www.youtube.com/watch?v=ZQ4mUSRcqJc eev2024-index => (find-1stclassvideoindex "eev2024") ]] ] [P The subtitles in Lua of the video are [_ eev2024-lua here]. [BR] The rest of this page contains a conversion of the subtitles in Lua [BR] to a slightly more readable format. ] [NARROW [PLEFT [FIG IMAGES/2024-emacsconf2024.png IMAGES/2024-emacsconf2024-small.png] ] ] [P [lua: -- (find-angg "SUBTITLES/emacsconf2024.lua") -- (find-angg "LUA/Subtitles.lua" "Subtitles") -- (find-TH "2021aulas-por-telegram" "legendas" "ipairs") -- (find-fline "~/SUBTITLES/emacsconf2024.lua") ee_dofile "~/SUBTITLES/emacsconf2024.lua" -- (find-angg "LUA/Subtitles2.lua" "tests") -- (find-angg "LUA/Subtitles2.lua") ee_dofile "~/LUA/Subtitles2.lua" Subtitle.hash = "ZQ4mUSRcqJc" sls = SubtitleLines.from(subs_bigstr) Subtitle.__index.blogmeorcolor = function (st) return st.time and st:blogme() or COLOR("red", st.line) end return sls:blogme(nil,nil,"blogmeorcolor") ] ] ] ] [# # Local Variables: # coding: raw-text-unix # modes: (fundamental-mode blogme-mode) # End: #]