Me encanta programar en #Lisp en mi tiempo libre. La programación funcional fomenta la abstracción y me permite construir sistemas complejos a partir de funciones simples. El REPL me abre la puerta a jugar en tiempo real con el código sin tener que reiniciar constantemente el software o forzarme a lanzar un programa de depuración. Para mi es una herramienta poderosa para afinar mis habilidades de programador, probar nuevas ideas, patrones y un espacio para la creatividad. Además tienes sabores en cualquier lugar: #Clojure para JVM, #ClojureScript para #JavaScript, #Emacs Lisp para Emacs, #CommonLisp y #Racket para ejecutar en el equipo... Aunque yo te recomiendo que te quedes en un solo lenguaje y lo domines. No es necesario aprender todos los dialectos de Lisp, pero si es bueno conocerlos para entender sus diferencias y similitudes.
Si quieres aprender más sobre #Lisp, te recomiendo uno de mis libros favoritos: "Land of Lisp" de Conrad Barski. Es un libro divertido que te enseña a programar en Lisp mientras creas juegos y aplicaciones gráficas. También puedes encontrar muchos recursos en línea, por supuesto.

Readings shared April 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/10-readings_shared_04-10-25 #AI #ATP #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Programming #Reasoning

Why I program in Lisp. ~ Joe Marshall. https://funcall.blogspot.com/2025/04/why-i-program-in-lisp.html #CommonLisp #FunctionalProgramming

Joe Marshall presents an insightful angle for thinking about Lisp parentheses and their benefits such as making refactoring easier.

https://funcall.blogspot.com/2025/04/lisp-programs-dont-have-parentheses.html

Joe Marshall: Lisp Programs Don't Have Parentheses

http://funcall.blogspot.com/2025/04/lisp-programs-dont-have-parentheses.html

Joe Marshall on how he uses Lisp at work, with a practical (and quite impressive) example

http://funcall.blogspot.com/2025/04/lisp-at-work.html

The port of my music player #Benben to #CommonLisp continues... and as of tonight, the original S-Lang TUI interface is working! ​​ I even managed to fix a bug with the scrolling text fields and Japanese text.

The only C bindings going on here are: #libxmp (to play the .xm file), libao (final audio output), ZStandard (VGM decompression), and #S-Lang (TUI). The rest is pure Common Lisp, including the DSP effects and #VGM playback/chip emulation.

Normally you launch this from the command line (which is also working), but I did it with Emacs+Slime just to be fancy.

#LinuxAudio

Lisp sucks. Tell me what's wrong here:

(DEFVAR x 0) ; GLOBAL BADNESS STAYS

(DEFUN dO-StuFf (NUMBer)
(LET ((rEsUlT 1))
(DECLARE (SPECIAL X)) ; THIS IS LEGAL HERE
(SETQ X NUMBER)
(TAGBODY
StaRT
(IF (< X 1) (GO ENDz))
(SETQ rEsUlT (* rEsUlT X))
(SETQ x (- x 1)) ; NOTE: STILL USING GLOBAL x INSTEAD OF LOCAL X
(GO StARt)
ENDz)
(pRiNt (lIsT 'FACtoRiAl-oF NUMBER 'iS rEsUlT))))

(DEFUN nOW-dO-AlL ()
(LET ((I 0))
(LOOP
(WHEN (> i 5) (RETURN))
(Do-sTUFF i)
(SETQ i (+ i 1)))))

(nOW-dO-AlL)

#commonlisp #lisp #sbcl #clisp @amszmidt @screwtape

Common Lisp - with its open-source implementation, SBCL, offers greater resilience against US tech export controls and sanctions compared to Go. Its stable, long-lived libraries can be easily archived locally. Go, however, undergoes frequent changes and depends heavily on GitHub, which is a US-based service, increasing its exposure to such restrictions. Furthermore, since our project is non-military, encryption algorithm limitations do not pose a concern for our use case.

Here's a new challenge for Lisp folks to figure out.

Why does this fail. And don't give the error message as the answer. WHY does this do what it does?

(defun who-am-i ()
(flet ((x () 'inner))
(labels ((x () (x))) ;;
(x))))

Is the third line calling inner or itself?

Okay you get one second hint: Yes, it overflows. Why?

That is the challenge.

So this is what an accelerando looks like in #cl-collider using the very excellent #cl-patterns library:

(bt:make-thread
(lambda ()
(loop for i from 90 to 120 do
(cl-patterns:tempo (/ i 60))
(sleep 1))))

Packed #commonlisp #lsp in #guix. Sent patch

https://patchwise.org/77453

Kinda nice that my port of my music player #Benben from Crystal to #CommonLisp is now far enough along that I can use it as my daily music player. The only caveat is that I currently have to use a new "Minimal UI" that I implemented as an alternative for v0.7.0. But overall, it didn't take as long as I expected to get it in a usable state ​​

I'm definitely not ready to release v0.7.0 yet, though. I'm lacking the entire original UI, VGM support is incomplete, and it's missing a few formats still (Opus/Vorbis, SID). Also, I haven't implemented rendering to WAV/AU yet. But that'll all come with time.