Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View emacsomancer's full-sized avatar

Sponsoring

@thestinger
@termux

Block or report emacsomancer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
emacsomancer/README.md

About Me

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).

image

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.

Top Langs

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...

Pinned Loading

  1. equake equake Public

    A drop-down console written in Emacs Lisp, designed for eshell and terminal emulation.

    Emacs Lisp 8

  2. org-daily-reflection org-daily-reflection Public

    Reflect on your org-roam daily entries, comparing N org-roam dailies at M intervals (years, months, fortnights, weeks, days).

    Emacs Lisp 32 3

  3. frege frege Public

    Derivational representations of natural language semantics, using a typed lambda calculus, implemented in Racket Scheme.

    Racket 1

  4. volemad volemad Public

    Common Lisp interface for Mullvad's Wireguard servers, with various frontends (cli, yad, argos)

    Common Lisp

  5. pdffontetc pdffontetc Public

    Emacs interface to pdffonts and other PDF metadata

    Emacs Lisp 2

  6. emacs-bigtop/sysinfo-environs emacs-bigtop/sysinfo-environs Public

    accessing and displaying system information inside of Emacs

    Emacs Lisp