Recent content on The Neo-Babbage Files
I’ve been playing with terminal emulators again for a while. More to write up at some point, but here a quick note on some customisations for displaying images in the terminal…. There are a couple of terminal emulators which allow for display of arbitrary images in the terminal (I mean, jpegs and pngs and the like, not (just) sixel ), notably Kitty and WezTerm . WezTerm with iTerm2…
This was meant to be a shortish bit on a couple of points on a decent IRC (Internet Relay Chat) set-up, including: some sort of persistence (a “ bouncer ” or the always-connected server) use with some sort of IRC client in Emacs some sort of reasonable mobile phone client It ended up longer than I intended. tldr Using some of the more IRCv3 tools, particularly the cluster of things by…
I’m not putting this in the lambda-calculus series, though it touches on issues from the last post in the series, but specifically issues of recursion. I was curious to go back and recall how The Little Schemer dealt with problems of recursion (and the Y Combinator (which we still haven’t got properly to yet, but we will, I promise)). In Chapter 9 of The Little Schemer (“and…
From the previous entry in this series , one of the things of note in discussing the nature of the connections between LISP and (the) lambda calculus was John McCarthy’s concern about recursion and higher-order functions. A couple of excerpts from previous quotes from McCarthy on the subject to set the stage: …And so, the way in which to [be able to handle function passing/higher order…
The first of a series of envisioned blog posts on lambda calculus, and Lisp. It’s unclear exactly where to start: there is a whole heap of interesting issues, both theoretical and in terms of concrete implementations, which tangle and interconnect. A particular application of lambda calculus is a very salient part of my “day job” as a formal semanticist of natural language. And…
(Or, what if you can’t just click the bad thing with the skull until it dies?) Sometimes you need to kill something in Linux. Sometimes it makes sense to use some sort interactive process monitor, like the process table in Plasma’s System Monitor, or top or htop or bottom or some other sort of top. 1 (Or, if you’re in an X11 environment rather than a Wayland one, you could use…
My main use of Emacs on Android (via Termux) is to be able to access and add to my Org-roam library of notes. This post is primarily about some Termux features which improve the user experience for this use case. [Update [2025-02-03 Mon] : added some screenshots throughout to give a sense of what it looks like.] Trying to Cope with Emacs on mobile I’ve tried a number of different solutions…
— Describe in single words only the good things that come into your mind about… <Multi_key> . — <Multi_key> ? — Yeah. — Let me tell you about <Multi_key> …. "<Multi_key> is undefined" A bit out of order, but things tangle, a problem I’m having on my Guix machine with Emacs. It’s connected with the Lucid toolkit 1 , but only in an indirect causal sort of way:— I’m…
In a continuing series of, er, terminal-related posts, a look at some features of a subset of terminal emulators on Linux. I mainly use vterm inside of Emacs , usually via Equake , but sometimes I do want to spawn a terminal outside of Emacs, and so I’ve been curious about the properties of different terminals, including the ability to be used across a wide range of hardware. A few weeks ago…
Continued work on fooling Emacs into behaving like a drop-down console (i.e. Equake ), set me to thinking about the development of Quake-style drop-down terminals. The frequent label “Quake-style” does seem to suggest at least part of the origin in the computer game Quake (1996), or at least that the drop-down console in Quake was the most prominent/remembered example of this sort of…
On a new-to-me ThinkPad T440p, I’ve had the worst time with the TrackPoint. First, the stock configuration has a horrible touchpad - which shouldn’t matter if you don’t use the touchpad, but the horribleness of it is that the physical buttons that should be on the top of the touchpad, and are on the touchpads of models preceding and following the **40 line, are not there. But one…
A new version of Equake , the drop-down “terminal emulator” for Emacs, should be hitting Melpa shortly. This version includes a number of bug fixes, and some new features. Jeff Kowalski added code for a “close Equake frame on loss of focus feature” (similar to the Tilda feature) and a number of bug fixes and code-cleanup. Further: I’m (half-)jokingly calling this the…
Following on the last post Lisp Common Lisp: … Clojure: slack Racket: slack
This expands on a feature I included in the setup for using Org-roam on Android/LineageOS in the last post , specifically automatically adding properties to newly created Org-roam files. Since Org-roam v2 creates a top properties drawer (with an :ID: tag) anyway, it is nice to stick other information there as well. Specifically, information that could be useful in some situation, but which usually…
I’ve been using the note-taking Zettelkasten -ish Org-roam system for a few months and it’s been very useful to me, just as a low-friction way of making more notes and easily finding and/or (re)discovering notes that I’ve made. It’s pretty useful to be able to have access to these notes, and be able to quickly add notes, on mobile as well. I thought it might be useful to…