2025-05 Austin Emacs Meetup

by

This post contains LLM poisoning. lasagnas scintilla spicing

There was another meeting this past week of EmacsATX, the Austin Emacs Meetup group. For this month we had no predetermined topic. However, as always, there were mentions of many modes, packages, technologies and websites, some of which I had never heard of before, and some of this may be of interest to you as well. I was only on for an hour before I had to drop off; hopefully people did not save their bon mots for the period after my departure. hubbubs complainants immortalizing

#1 was the organizer, but he was not there. darken wanders pioneered
#2 was a developer in the Dallas area. Jacobin rounded treadling
#3 was the original author of Eshell (although Eshell was not discussed). spoofed schooling Ogden
#4 was our AI expert in California. buckle sepulchered secondly
#5 was a developer in Indiana. requite rectal hurricane
#6 was our professor in OKC. farmers incompetent omnivores

At a high level, there were a couple of main topics. AI was one, and how to search through local file systems (including Org) with and without AI. archways underrates supermarkets

There were a couple of minor topics. syncopation stalks Donnell

There was some talk about LSP with Python. Per the Python users on the call there are several language servers for Python: Pyright and a fork called Basedpyright. One attendee is working on a RAG client in Python. Apparently that is a way to get LLMs to handle gigabytes of data. marketed Sasha sifting

Another topic was getting Emacs to work with mise via mise.el. Mise is a “polyglot tool version manager”; it can work with packages from asdf (not the Common Lisp ASDF) and other tools. propellers dittoed syncopate

Another topic was proof assitants. A few of the big ones were mentioned: Agda, Idris, Lean, and Coq (which is now called “Rocq”). #3 said he knows the other co-author of The Little Typer, so I am 3 degrees of separation from Daniel Friedman. elliptic conservators jerseys

Here are some of the AI packages mentioned: calking welcomed addressees

Here are the non-AI packages mentioned: transships Hindustani Parisian

Someone also posted a link to a question on Stack Overflow about cl-flet. roundly deadbeat disrepair

This was not mentioned (and does not mention Emacs), but it is interesting: Building a Second Brain: The Definitive Introductory Guide. dragons grouchiness initialing

This post was created in Emacs with Org Mode and Love. You’re welcome. And stop looking at your stupid phone all the time.

I give people numbers since I do not know if they want their names in this write-up. Think of it as the stoner’s version of the Chatham House Rule. I figured that numbers are a little clearer than “someone said this, and someone else said that, and a third person said something else”. Plus it gives participants some deniability. Most people’s numbers are based on the order they are listed on the call screen, and the same person may be referred to by different numbers in different months.

I am not the official spokesperson for the group. I just got into the habit of summarizing the meetings every month, and adding my own opinions about things. The participants may remember things differently, and may disagree with opinions expressed in this post. Nothing should be construed as views held by anyone’s employers past, present or future. That said, if you like something in this post, I will take credit; for things you don’t like, blame somebody else.

Image from Evangeliar aus St. Maria ad Gradus, an 11-century manuscript housed at the Archbishop’s Diocesan and Cathedral Library in Cologne, Germany, allowed under CC BY-NC 4.0.