Readings shared March 26, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/26-readings_shared_03-26-25 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #Math #Maxima

Readings shared March 26, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/26-readings_shared_03-26-25 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #Math #Maxima
Koningspaar noemt Oscarwinst Warmerdam 'geweldige prestatie'
https://nieuwsjunkies.nl/artikel/10gq
08:10 | RTL Nieuws
#Award #WillemAlexander #Maxima #Film
@eugenialoli My substitute for Mathematica has been #Maxima , but #SageMath looks to be more powerful (but definitely not lightweight). I'd also suggest, QuickBooks or Sage -> #GnuCash .
The interactive calculation sheet for #engineering, based on #emacs, #orgmode, #texlatex and #sympy is available in English [1], although the blog article is in German [2]. The template is also in English [3].
#Orgmode is so impressive, you could use #maxima, #octave, #gnuplot, #graphviz and almost 40 other languages with all their libraries right out of the box [4].
Have fun!
[1] https://vennemann-online.de/flossblog/downloads/eng.pdf
[2] https://vennemann-online.de/flossblog/post20250208_pencilandpaper.html
[3] https://vennemann-online.de/flossblog/downloads/org_eng.zip
[4] https://orgmode.org/worg/org-contrib/babel/languages/index.html
Readings shared February 3, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/03-readings_shared_02-03-25 #ITP #LeanProver #IsabelleHOL #Haskell #Python #CommonLisp #Maxima #Math
Maxima in the browser using Embedded Common Lisp on WASM. https://maxima-on-wasm.pages.dev #Maxima #CoomonLisp #Math
#maxima talk at #emacsconf -dev track! https://live0.emacsconf.org/dev.webm
By a wonderful Brazillian #logician
The #GPL licensed #STACK system is the most powerful #Maths question type available & is backed by the the #Maxima CAS System. Although it requires #Moodle, Moodle can deliver it to any #LTI compliant VLE (e.g. #Blackboard and #Canvas).
STACK comes with with over 1,000 #mathematics questions, from the #HELM project. These range from the absolute basics to advanced Maths.
You can create an instant student account and attempt some of the quizzes here
#lispyGopherClimate Pre-rec today. I got pulled away again.
000UTC every Wednesday on https://anonradio.net:8443/anonradio
#peertube Fallback: https://toobnix.org/w/cPtNtBAUwrjsjHVrk8unXW
AI scams against real crises #climateCrisis
#lisp #commonLisp
Richard C. Waters' Series and XP pretty printer
Warning: Waters' Series is just better than me. Those feels when.
https://climatejustice.social/@kentpitman/113491696377433762
#Lispmoo2jam #lispmoo2 #lambdaMOO
https://mastodon.sdf.org/@screwtape/113497279684399296
jmbr's #maxima -interface : https://mastodon.sdf.org/@screwtape/113500172365871549
@rwxrwxrwx
This works really nicely. #maxima #-interface #lisp #commonLisp #CAS #mathematics
I ended up using quicklisp.org to drag in maxima (but cloning your https://sr.ht/~jmbr/maxima-interface/).
CL-USER> (asdf:load-system :maxima-interface)
T
CL-USER> (in-package :maxima-interface-user)
#<PACKAGE "MAXIMA-INTERFACE-USER">
MAXIMA-INTERFACE-USER> (diff '(sin x) 'x)
(COS X)
MAXIMA-INTERFACE-USER> (integrate * 'x)
(SIN X)
MAXIMA-INTERFACE-USER> (integrate ** 'x 0 (/ pi 2))
<rat notes snipped>
1
The Very Bright and Accurate Maxima 6 Mk. II LED Is Even More Powerful https://petapixel.com/2024/10/03/the-very-bright-and-accurate-maxima-6-mk-ii-led-is-even-more-powerful/ #maxima6markii #Equipment #Lighting #maxima #light #News #led
We Just Need Your Compliance!
King Willem van Oranje Nassau AND
His Muse Our Dutch Argentina Super Model Super IQ Super Mummy QUEEN
#MAXIMA Z.
#QueenOfHolland
https://www.youtube.com/watch?v=O2IuJPh6h_A
OohoohoohyaayaayaayaayYAAAAAAAAAAAAAAAAAAAAAAA MK ULSTRA ©
xoxo Kris From Holland ©
How Can We Win If Fools Can Be King In Holland?
MKULSTRA©
We Do A #Maxima!
Sorry @ #King Willem Van Oranje Nassau, Nothing Personal, Just a Big Fan Of Your Queen, My Queen, THE #Queen Of #Holland, Spoke Her First And Immediately #Epic #Dutch Words, Televised Nationally in #Holland
"Hij Was Een Beetje #Dom"
See #Muse, That's Why I Prefer "Drummer Boy"!
Queen Maxima,
An Ode From Me To You,
Every Kind Needs A Queen,
And You Are #Holland Style Queen,
#GotYa ©
The Maxima Furiosa is a Super Powerful, Bi-Color, Portable LED https://petapixel.com/2024/04/24/the-maxima-furiosa-is-a-super-powerful-bi-color-portable-led/ #maximafuriosa #Equipment #Lighting #lighting #BiColor #furiosa #cobled #maxima #News #COB #led
@mikkas_world Ich hab dieses #Maxima Dings, mit Kreissäge, bisschen Geschick, feinstes Wohnzimmermöbel hingefummelt.
Schau mal websucheding: IkeaHacks
Da geht einiges
Does #R have an equivalent to the genmatrix() function of #Maxima? maxima.sourceforge.io/docs/man…
Or equivalently, Matrix.build() in #Ruby?
Today I learned that the source code for Franz's original Lisp for the VAX is public and even BSD-licensed: https://github.com/omasanori/franz-lisp
It was originally developed to port Macsyma from the PDP-10 to the VAX, hence it is compatible with MacLisp.
It includes Lisp Machine Lisp's Flavors object system: https://github.com/omasanori/franz-lisp/blob/master/lisplib/flavors.l