I do things with lambda calculus (sometimes on natural language, sometimes they are lispy things, occasionally both), and shell scripts, and other formal languages (logical, programming), often dealing with messy interfaces (both biological and electronic).
Many of my current projects are involved with Emacs, but in general I am interested in a range of things, from terminal emulators (see Equake) to personal data and information management, retrieval, and visualisation (see Org-Daily-Reflection and Sysinfo and Environs and PDF-fonts+metadata-in-Emacs) to the implementation of formal systems, especially lambda calculus (see the nascent Frege utility and my posts on lambda calculus and recursion).
But I'm also just generally interested in getting things to do things. E.g., make Emacs think some of its frames are quake-style drop-down terminals, or automate having full disk encryption on ZFS root on Void Linux, or make Mullvad Wireguard VPN portals be corralled by Common Lisp within an systray icon, or implement a (Linguistically-Typed) Lambda Calculus (t
,e
,<e,t>
,<e,<e,t>>
&c.) using the Racket turnstile language module* to make a DSL, or have a clean way to update various Guix System components painlessly in one go from Emacs, or have a systray icon tracking available package updates on Void Linux, or be able to collaboratively and interactively edit a single Emacs buffer on two different machines, or have a clean, simple, and persistent IRC setup available via Emacs and mobile.
I have specialised advanced training in Linguistics (PhD, Illinois, 2011) and Cognitive Science (MA, Johns Hopkins, 2004), and work especially on issues of formal semantics and its interaction with syntax, as well as language variation/change, formulaic language/templatic language, and quantity- and temporal-related particles. [For more on my academic training and papers/talks, see https://lambda-y.net ]
I have experience in a number of languages, from BASIC to C to Python to Lua, but am particularly interested in Lisp/Lisp-family/Lisp-like languages, including especially Common Lisp†, Guile‡ and other Schemes, Racket, Fennel, Clojure and ClojureScript.
*: Racket Turnstile library: https://docs.racket-lang.org/turnstile/
†: Including the wonderful window mangage StumpWM, written in and endlessly extendable using Common Lisp.
‡: Including the Guile-centric OS, Guix, which I have contributed packages to, and maintain a channel of not-yet-upstreamed things...