Sitemap for project rss

follow: @[email protected]

Posts

Integration Testing Rust Binaries

The State of Rust Client-Side Middleware

eglot-finding-sub-projects

Peppering Passwords in Rust

Dependent Types and the Art of HTTP Headers

Using replace in Idris

fill-column-indicator

Dependent Pattern Matching in Coq

Cross References in Org Mode

fixed-lambda-calculus

The Calculus of Constructions

Lambda-Weak Omega

The Second Order Typed Lambda Calculus

The Simply Typed Lambda Calculus

The Lambda Calculus

Type Theory & Reasoning About Code

Org Mode & LaTeX

pr-vs-lauded-journals

Using Klee on Rust Programs

testing-poor-substitute-for-reasoning-2

Emacs as a Rust IDE

cherrypy-continued

cherrypy-is-very-broken

Hosting indie-org.sh on S3

sealed-traits-in-rust

aws-unexpected-error

automake-and-elisp

follow-up-to-reworking-the-site

reworking-the-site

boost 1.74 filesystem bug

Announcing Rust crate tracing-rfc-5424

Documenting FOSS Projects

Announcing Webmention Support

Indieweb markup

Rust Error Handling

A Concrete Example of Symbolic Execution

Testing Is a Poor Substitute for Reasoning

Fixed my RSS Feed

C++, Rust & Sum Types

Where Should elfeed-score State Be Persisted?

Calculating the Duration of an MP3 File

A more compact ERC mode line

Switching Emacs Themes

Computing Damerau-Levenshtein Distance

Using org-capture to save links to Pinboard

Guile, Autotools and the std-options option

Scoring Elfeed Entries

Guile & Autoconf

Moving from Feedly to Elfeed

My Good-bye to Python