Tootfinder

@… I think it’s largely inertia. We built performance optimisations for computers in the 1960s, put them into the instruction sets, and never looked back.
Part of me wonders what would have happened if we had Lisp machines, fixed point, dependency-based evaluation, hardware actors…
Part of me wonders what would happen if we started making them now,…

An ACL2s Interface to Z3
Andrew T. Walter (Northeastern University), Panagiotis Manolios (Northeastern University)
https://arxiv.org/abs/2507.19014 https://

An ACL2s Interface to Z3
We present Lisp-Z3, an extension to the ACL2s systems programming framework (ASPF) that supports the use of the Z3 satisfiability modulo theories (SMT) solver. Lisp-Z3 allows one to develop tools written using the full feature set of Common Lisp that can use both ACL2/s (either ACL2 or ACL2s) and Z3 as services, combining the power of SMT and interactive theorem proving. Lisp-Z3 is usable by anyone who would like to interact with Z3 from Common Lisp, as it does not depend on the availability of…

"It's this brutal fragility of vector stacks — which are used by most modern computer languages — which makes software people so wary of fully exploiting the beauty and power of recursion, and I really think that's a shame"
#Lisp

Adapting A Vector-Symbolic Memory for Lisp ACT-R
Meera Ray, Christopher L. Dancy
https://arxiv.org/abs/2508.15630 https://arxiv.org/pdf/2508.15630

Adapting A Vector-Symbolic Memory for Lisp ACT-R
Holographic Declarative Memory (HDM) is a vector-symbolic alternative to ACT-R's Declarative Memory (DM) system that can bring advantages such as scalability and architecturally defined similarity between DM chunks. We adapted HDM to work with the most comprehensive and widely-used implementation of ACT-R (Lisp ACT-R) so extant ACT-R models designed with DM can be run with HDM without major changes. With this adaptation of HDM, we have developed vector-based versions of common ACT-R functions, …

from my link log —
The one-more-re-nightmare regex engine for Common Lisp.
https://applied-langua.ge/posts/omrn-compiler.html
saved 2025-06-24

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
Jordi de la Torre
https://arxiv.org/abs/2506.10021 https://

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
We propose a novel architecture for integrating large language models (LLMs) with a persistent, interactive Lisp environment. This setup enables LLMs to define, invoke, and evolve their own tools through programmatic interaction with a live REPL. By embedding Lisp expressions within generation and intercepting them via a middleware layer, the system allows for stateful external memory, reflective programming, and dynamic tool creation. We present a design framework and architectural principles …

from my link log —
How to open a file in Emacs.
https://www.murilopereira.com/how-to-open-a-file-in-emacs
saved 2025-06-23

How to open a file in Emacs
A short story about Lisp, technology, and human progress.

I'm working on a project which includes files written in both C and #Lisp; I'd like to have a common documentation generator for the whole project, to generate integrated documentation.
Has anyone made #Doxygen work with Lisp? Are there any recommendations for a documentation generator which …

The lovely thing about Clojure (or any LISP for that matter) is that you start with

step 1: learning its data structures,
then you proceed to
step 2: learning the syntax, which you've already done in step 1
#programming #Clojure

"By 1993, I added a CD-ROM player to my computer, and I ordered a couple of CD-ROMs from Walnut Creek. One of them had folders and folders of source code in a variety of languages with very strange names: REXX, Forth, Basica, ADA, Lisp, Fortran. I did not know what those languages were for. I did not know why there were so many. I did not know I could create my own. There was no Stack Overflow, there was no GitHub."

Memories Of Hello World
Once upon a time, during the summer of 1992. It was, if I remember well, around the 15th of July. I wrote my first line of QBasic code on a blue text editor, fueled by the eponymous PRINT command.

I'm reading a piece of code which is certainly BASED ON code I wrote in 1986, which is so terrible, that, even though I know exactly what it does, I cannot understand it.
And although I know this is not exactly my code, I'm pretty certain that my code must have been pretty much as bad as this!
#Lisp #Shamed

from my link log —
Anaphoric macros introduce hidden bindings in Lisp.
https://letoverlambda.com/index.cl/guest/chap6.html
saved 2025-08-16

Network Hexagons Under Attack: Secure Crowdsourcing of Geo-Referenced Data
Okemawo Obadofin, Joao Barros
https://arxiv.org/abs/2506.05601 https://

Network Hexagons Under Attack: Secure Crowdsourcing of Geo-Referenced Data
A critical requirement for modern-day Intelligent Transportation Systems (ITS) is the ability to collect geo-referenced data from connected vehicles and mobile devices in a safe, secure and anonymous way. The Nexagon protocol, which builds on the IETF Locator/ID Separation Protocol (LISP) and the Hierarchical Hexagonal Clustering (H3) geo-spatial indexing system, offers a promising framework for dynamic, privacy-preserving data aggregation. Seeking to address the critical security and privacy v…

@… I love this piece. Thanks for sharing it. I'd not heard of Ink & Switch, and I'm going to enjoy browsing their work. Their spreadsheet ideas are really fascinating.
People seem to be pushing LLMs as the saviour to this problem. I think Lisp and Prolog are probably better answers.

Being rather frustrated with programming Clojure in IntelliJ, (mainly because Cursive and IdeaVim don't like each other) I tried to set up Neovim with the Conjure plugin and it 's an absolute blast to use the REPL with it.
Also I discovered that there is a Lisp on top of Lua called Fennel, which I'm looking forward to play with
#Programming

@… Yes, I am with you. I like writing Haskell for Serious Business, because I find I can work with the grain better than other languages, but for experimentation? No thanks. (I must learn a Lisp properly at some point. Got any recommendations?)

Its too hot outside so I've been doing some #emacs hacking porting #counsel-compile to a #casual #transient

@… @… Likewise, I love my TDD cycle. A friend of mine who is into Clojure keeps trying to make me learn how to modify at runtime, but I have been resistant.
I seem to be accidentally writing a Lisp with weird syntax though, s…