Sitemap for project rss

Was there ever a time at which our intelligentsia were pleased with the state of the country?

A lightweight sandbox for coding agents

Patching a rather serious bug in ob-scheme until the fix lands

Adventures in debugging

Working around arbitrary timeouts with Geiser

A few notes on the Haskell fix function

Announcing a new federated service

How to integration test Rust binaries

Using Tower middleware with the Reqwest HTTP Client

Un-peeling the mysteries of project-find-functions

How to salt & pepper your passwords in Argon2

A bit of enlightenment in writing correct code

How I use the replace function in Idris

Just removed fill-column-indicator from my Emacs configuration

Some first thoughts on matching dependent types in Coq

Understanding cross references in Org Mode

Fixed the figures in the Lambda Calculus posts

An introduction to \(\lambda P\)

Unifying the typed lambda calculii we've seen so far

An introduction to \(\lambda\underline{\omega}\)

An introduction to \(\lambda 2\)

The next step

Using the Feynman Technique to learn about Type Theory

We'll begin at the beginning: Church's Lambda Calculus

Org Babel support for Coq

How exactly does Org Mode interact with LaTeX?

I always wondered...

I'm taking more care with a PR than lauded academics do with their data

Adventures with the AWS API in Gnu Guile

Survey of where we are in this effort

Using tools to author more bad code is not a solution to bad code

Configuring Emacs as an IDE for Rust programming

Learning far more than I wanted about the CherryPy framework

Another CherryPy issue

Bringing your own domain to Route 53 is easy, once you know how

Good article on sealed traits in Rust

A demonstration site for my indie-org package

Everyone knows the cloud is the future, right?

Rust's hyper crate has a really irritating foot-gun

Snow on the back deck, Santa Cruz Mountains

Finally found a workaround to those warnings about byte-compile-dest-file-function when using Automake with elisp

I'm re-working unwoundstack to incorporate different sorts post types

Trying-out new post types with POSSE

A serious boost regression

Name squatting & RFCs

New release of my pin utility

Thoughts on documenting software projects

Putting unwoundstack on the Indieweb

unwoundstack can now send & receive Webmentions

Adding microformats to unwoundstack