corpus.blog
54,302 blogs · [ { "id": "01a08c5a-f6af-721b-aac1-c4fdbc0236b0", "title": "intelligentsia-and-the-us", "url": "https://www.unwoundstack.com/blog/intelligentsia-and-the-us.html", "published_at": "2026-06-02T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdbc8e0ff0", "title": "Sandboxing Coding Agents", "url": "https://www.unwoundstack.com/blog/sandboxing-coding-agents.html", "published_at": "2026-03-31T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdbd72fcd4", "title": "org-babel-scheme-has-a-bug", "url": "https://www.unwoundstack.com/blog/org-babel-scheme-has-a-bug.html", "published_at": "2025-12-12T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdbe0313d0", "title": "never-change-aws", "url": "https://www.unwoundstack.com/blog/never-change-aws.html", "published_at": "2025-12-10T08:00:00+00:00" }, { "id": "01a0821f-26aa-7211-8f33-84ce04ea88a1", "title": "impatient-geiser", "url": "https://www.unwoundstack.com/blog/impatient-geiser.html", "published_at": "2025-12-02T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdbe6fa03e", "title": "The Haskell Fixpoint Combinator", "url": "https://www.unwoundstack.com/blog/haskell-fixpoint-combinator.html", "published_at": "2025-12-02T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdbebf1a0b", "title": "indielinks", "url": "https://www.unwoundstack.com/blog/indielinks.html", "published_at": "2025-10-15T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdbedec4bd", "title": "Integration Testing Rust Binaries", "url": "https://www.unwoundstack.com/blog/integration-testing-rust-binaries.html", "published_at": "2025-09-08T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdbf06bc34", "title": "The State of Rust Client-Side Middleware", "url": "https://www.unwoundstack.com/blog/rust-client-middleware.html", "published_at": "2025-05-11T07:00:00+00:00" }, { "id": "01a0821f-26aa-7211-8f33-84ce05be18ee", "title": "eglot-finding-sub-projects", "url": "https://www.unwoundstack.com/blog/eglot-finding-sub-projects.html", "published_at": "2025-04-24T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdbffa232b", "title": "Peppering Passwords in Rust", "url": "https://www.unwoundstack.com/blog/peppering-passwords-in-rust.html", "published_at": "2025-02-12T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc0dd4d59", "title": "Dependent Types and the Art of HTTP Headers", "url": "https://www.unwoundstack.com/blog/dependent-types-and-http-headers.html", "published_at": "2024-11-27T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc0f2a344", "title": "Using replace in Idris", "url": "https://www.unwoundstack.com/blog/replace-in-idris.html", "published_at": "2024-10-14T07:00:00+00:00" }, { "id": "01a0821f-26aa-7211-8f33-84ce06727c47", "title": "fill-column-indicator", "url": "https://www.unwoundstack.com/blog/fill-column-indicator.html", "published_at": "2024-07-21T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc1e9c2c4", "title": "Dependent Pattern Matching in Coq", "url": "https://www.unwoundstack.com/blog/dependent-matching-in-coq.html", "published_at": "2024-06-21T07:00:00+00:00" }, { "id": "01a0821f-26aa-7211-8f33-84ce0711094a", "title": "Cross References in Org Mode", "url": "https://www.unwoundstack.com/blog/cross-references-in-org-mode.html", "published_at": "2024-06-12T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc317a002", "title": "fixed-lambda-calculus", "url": "https://www.unwoundstack.com/blog/fixed-lambda-calculus.html", "published_at": "2024-06-10T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc36bd5a7", "title": "The Calculus of Constructions", "url": "https://www.unwoundstack.com/blog/the-calculus-of-constructions.html", "published_at": "2024-05-28T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc45946e3", "title": "Lambda-P", "url": "https://www.unwoundstack.com/blog/lambda-p.html", "published_at": "2024-05-28T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc53073ef", "title": "Lambda-Weak Omega", "url": "https://www.unwoundstack.com/blog/lambda-weak-omega.html", "published_at": "2024-05-27T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc550112d", "title": "The Second Order Typed Lambda Calculus", "url": "https://www.unwoundstack.com/blog/the-second-order-typed-lambda-calculus.html", "published_at": "2024-05-23T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc64e5c37", "title": "The Simply Typed Lambda Calculus", "url": "https://www.unwoundstack.com/blog/the-simply-typed-lambda-calculus.html", "published_at": "2024-05-20T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc6967461", "title": "The Lambda Calculus", "url": "https://www.unwoundstack.com/blog/the-lambda-calculus.html", "published_at": "2024-05-14T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc73210f8", "title": "Type Theory & Reasoning About Code", "url": "https://www.unwoundstack.com/blog/type-theory.html", "published_at": "2024-05-14T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc808398d", "title": "Ann: ob-coq", "url": "https://www.unwoundstack.com/blog/ob-coq.html", "published_at": "2024-04-10T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc87ef017", "title": "Org Mode & LaTeX", "url": "https://www.unwoundstack.com/blog/org-mode-and-latex.html", "published_at": "2024-03-19T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc880e566", "title": "car-and-cdr", "url": "https://www.unwoundstack.com/blog/car-and-cdr.html", "published_at": "2024-03-10T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc8e3cc6a", "title": "pr-vs-lauded-journals", "url": "https://www.unwoundstack.com/blog/pr-vs-lauded-journals.html", "published_at": "2023-12-09T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdc997324f", "title": "guile-aws", "url": "https://www.unwoundstack.com/blog/guile-aws.html", "published_at": "2023-11-18T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdca356291", "title": "Using Klee on Rust Programs", "url": "https://www.unwoundstack.com/blog/klee-and-rust.html", "published_at": "2023-11-08T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcacae29f", "title": "testing-poor-substitute-for-reasoning-2", "url": "https://www.unwoundstack.com/blog/testing-poor-substitute-for-reasoning-2.html", "published_at": "2023-09-06T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcb1138e1", "title": "Emacs as a Rust IDE", "url": "https://www.unwoundstack.com/blog/emacs-as-a-rust-ide.html", "published_at": "2023-07-30T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcb9a3683", "title": "cherrypy-continued", "url": "https://www.unwoundstack.com/blog/cherrypy-continued.html", "published_at": "2023-06-30T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcc952242", "title": "cherrypy-is-very-broken", "url": "https://www.unwoundstack.com/blog/cherrypy-is-very-broken.html", "published_at": "2023-06-30T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdccbf60ba", "title": "Hosting indie-org.sh on S3", "url": "https://www.unwoundstack.com/blog/hosting-indie-org-sh-on-s3.html", "published_at": "2023-06-07T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdccc9147c", "title": "sealed-traits-in-rust", "url": "https://www.unwoundstack.com/blog/sealed-traits-in-rust.html", "published_at": "2023-04-09T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcd125363", "title": "indie-org.sh", "url": "https://www.unwoundstack.com/blog/indie-org.sh.html", "published_at": "2023-04-08T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdce04e336", "title": "aws-unexpected-error", "url": "https://www.unwoundstack.com/blog/aws-unexpected-error.html", "published_at": "2023-04-07T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdce788ec7", "title": "rust-hyper-tls", "url": "https://www.unwoundstack.com/blog/rust-hyper-tls.html", "published_at": "2023-03-09T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdceda8487", "title": "first-photo", "url": "https://www.unwoundstack.com/blog/first-photo.html", "published_at": "2023-03-06T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcee6c4ed", "title": "automake-and-elisp", "url": "https://www.unwoundstack.com/blog/automake-and-elisp.html", "published_at": "2023-03-03T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcf392c32", "title": "follow-up-to-reworking-the-site", "url": "https://www.unwoundstack.com/blog/follow-up-to-reworking-the-site.html", "published_at": "2023-02-19T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcf8f98ae", "title": "reworking-the-site", "url": "https://www.unwoundstack.com/blog/reworking-the-site.html", "published_at": "2023-02-19T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdcf90378d", "title": "boost 1.74 filesystem bug", "url": "https://www.unwoundstack.com/blog/boost-1.74.html", "published_at": "2022-12-28T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd08934b5", "title": "Announcing Rust crate tracing-rfc-5424", "url": "https://www.unwoundstack.com/blog/tracing-rfc-5424.html", "published_at": "2022-10-09T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd139dcb2", "title": "pin 0.2", "url": "https://www.unwoundstack.com/blog/pin-0.2.html", "published_at": "2022-09-24T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd207dce1", "title": "Documenting FOSS Projects", "url": "https://www.unwoundstack.com/blog/documentation.html", "published_at": "2022-09-05T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd2458047", "title": "The Indieweb", "url": "https://www.unwoundstack.com/blog/indieweb.html", "published_at": "2022-07-09T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd2564243", "title": "Announcing Webmention Support", "url": "https://www.unwoundstack.com/blog/webmentions-ann.html", "published_at": "2022-07-03T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd27f6aa4", "title": "Indieweb markup", "url": "https://www.unwoundstack.com/blog/indieweb-markup.html", "published_at": "2022-05-29T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd33a8617", "title": "Rust Error Handling", "url": "https://www.unwoundstack.com/blog/rust-error-handling.html", "published_at": "2021-12-12T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd407594c", "title": "A Concrete Example of Symbolic Execution", "url": "https://www.unwoundstack.com/blog/concrete-example-of-symex.html", "published_at": "2021-08-12T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd42e4d0f", "title": "Testing Is a Poor Substitute for Reasoning", "url": "https://www.unwoundstack.com/blog/testing-poor-substitute-for-reasoning.html", "published_at": "2021-08-11T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd50e7f1c", "title": "Updated pin", "url": "https://www.unwoundstack.com/blog/updated-pin.html", "published_at": "2021-08-05T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd52e22ad", "title": "Fixed my RSS Feed", "url": "https://www.unwoundstack.com/blog/fixed-my-rss-feed.html", "published_at": "2021-05-25T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd62ac6a3", "title": "C++, Rust & Sum Types", "url": "https://www.unwoundstack.com/blog/cpp-rust-enums.html", "published_at": "2021-05-24T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd6527712", "title": "Where Should elfeed-score State Be Persisted?", "url": "https://www.unwoundstack.com/blog/elfeed-score-state.html", "published_at": "2021-05-24T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd7133fad", "title": "Calculating the Duration of an MP3 File", "url": "https://www.unwoundstack.com/blog/mp3-duration.html", "published_at": "2021-04-12T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd7a70e88", "title": "Commenting", "url": "https://www.unwoundstack.com/blog/commenting.html", "published_at": "2020-11-21T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd7dd5c4a", "title": "guile-magic", "url": "https://www.unwoundstack.com/blog/guile-magic.html", "published_at": "2020-10-19T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd8d79271", "title": "A more compact ERC mode line", "url": "https://www.unwoundstack.com/blog/compact-erc-mode-line.html", "published_at": "2020-07-24T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdd9374acb", "title": "Switching Emacs Themes", "url": "https://www.unwoundstack.com/blog/switching-emacs-themes.html", "published_at": "2020-07-12T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdda2d749d", "title": "Computing Damerau-Levenshtein Distance", "url": "https://www.unwoundstack.com/blog/damerau-levenshtein.html", "published_at": "2020-06-16T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fdda55cef8", "title": "Using org-capture to save links to Pinboard", "url": "https://www.unwoundstack.com/blog/org-capture-to-pinboard.html", "published_at": "2020-06-03T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fddb3617de", "title": "Guile, Autotools and the std-options option", "url": "https://www.unwoundstack.com/blog/guile-std-options.html", "published_at": "2020-04-21T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fddb88388a", "title": "Scoring Elfeed Entries", "url": "https://www.unwoundstack.com/blog/scoring-elfeed-entries.html", "published_at": "2020-03-22T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fddbb2448a", "title": "Guile & Autoconf", "url": "https://www.unwoundstack.com/blog/guile-and-autoconf.html", "published_at": "2020-03-19T07:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fddc2d7d01", "title": "Moving from Feedly to Elfeed", "url": "https://www.unwoundstack.com/blog/moving-from-feedly-to-elfeed.html", "published_at": "2020-01-04T08:00:00+00:00" }, { "id": "01a08c5a-f6af-721b-aac1-c4fddd23babf", "title": "My Good-bye to Python", "url": "https://www.unwoundstack.com/blog/my-goodbye-to-python.html", "published_at": "2019-11-13T08:00:00+00:00" } ] posts Claim your blog
Back to Unwound Stack
Blog · corpus.blog/blogs/unwoundstack.com/posts

Unwound Stack

unwoundstack.com

2026

intelligentsia-and-the-usoriginal ↗
2 Jun 2026
Sandboxing Coding Agentsoriginal ↗
31 Mar 2026

2025

org-babel-scheme-has-a-bugoriginal ↗
12 Dec 2025
never-change-awsoriginal ↗
10 Dec 2025
impatient-geiseroriginal ↗
2 Dec 2025
The Haskell Fixpoint Combinatororiginal ↗
2 Dec 2025
indielinksoriginal ↗
15 Oct 2025
Integration Testing Rust Binariesoriginal ↗
8 Sept 2025
The State of Rust Client-Side Middlewareoriginal ↗
11 May 2025
eglot-finding-sub-projectsoriginal ↗
24 Apr 2025
Peppering Passwords in Rustoriginal ↗
12 Feb 2025

2024

Dependent Types and the Art of HTTP Headersoriginal ↗
27 Nov 2024
Using replace in Idrisoriginal ↗
14 Oct 2024
fill-column-indicatororiginal ↗
21 Jul 2024
Dependent Pattern Matching in Coqoriginal ↗
21 Jun 2024
Cross References in Org Modeoriginal ↗
12 Jun 2024
fixed-lambda-calculusoriginal ↗
10 Jun 2024
The Calculus of Constructionsoriginal ↗
28 May 2024
Lambda-Poriginal ↗
28 May 2024
Lambda-Weak Omegaoriginal ↗
27 May 2024
The Second Order Typed Lambda Calculusoriginal ↗
23 May 2024
The Simply Typed Lambda Calculusoriginal ↗
20 May 2024
The Lambda Calculusoriginal ↗
14 May 2024
Type Theory & Reasoning About Codeoriginal ↗
14 May 2024
Ann: ob-coqoriginal ↗
10 Apr 2024
Org Mode & LaTeXoriginal ↗
19 Mar 2024
car-and-cdroriginal ↗
10 Mar 2024

2023

pr-vs-lauded-journalsoriginal ↗
9 Dec 2023
guile-awsoriginal ↗
18 Nov 2023
Using Klee on Rust Programsoriginal ↗
8 Nov 2023
testing-poor-substitute-for-reasoning-2original ↗
6 Sept 2023
Emacs as a Rust IDEoriginal ↗
30 Jul 2023
cherrypy-continuedoriginal ↗
30 Jun 2023
cherrypy-is-very-brokenoriginal ↗
30 Jun 2023
Hosting indie-org.sh on S3original ↗
7 Jun 2023
sealed-traits-in-rustoriginal ↗
9 Apr 2023
indie-org.shoriginal ↗
8 Apr 2023
aws-unexpected-errororiginal ↗
7 Apr 2023
rust-hyper-tlsoriginal ↗
9 Mar 2023
first-photooriginal ↗
6 Mar 2023
automake-and-elisporiginal ↗
3 Mar 2023
follow-up-to-reworking-the-siteoriginal ↗
19 Feb 2023
reworking-the-siteoriginal ↗
19 Feb 2023

2022

boost 1.74 filesystem bugoriginal ↗
28 Dec 2022
Announcing Rust crate tracing-rfc-5424original ↗
9 Oct 2022
pin 0.2original ↗
24 Sept 2022
Documenting FOSS Projectsoriginal ↗
5 Sept 2022
The Indieweboriginal ↗
9 Jul 2022
Announcing Webmention Supportoriginal ↗
3 Jul 2022
Indieweb markuporiginal ↗
29 May 2022

2021

Rust Error Handlingoriginal ↗
12 Dec 2021
A Concrete Example of Symbolic Executionoriginal ↗
12 Aug 2021
Testing Is a Poor Substitute for Reasoningoriginal ↗
11 Aug 2021
Updated pinoriginal ↗
5 Aug 2021
Fixed my RSS Feedoriginal ↗
25 May 2021
C++, Rust & Sum Typesoriginal ↗
24 May 2021
Where Should elfeed-score State Be Persisted?original ↗
24 May 2021
Calculating the Duration of an MP3 Fileoriginal ↗
12 Apr 2021

2020

Commentingoriginal ↗
21 Nov 2020
guile-magicoriginal ↗
19 Oct 2020
A more compact ERC mode lineoriginal ↗
24 Jul 2020
Switching Emacs Themesoriginal ↗
12 Jul 2020
Computing Damerau-Levenshtein Distanceoriginal ↗
16 Jun 2020
Using org-capture to save links to Pinboardoriginal ↗
3 Jun 2020
Guile, Autotools and the std-options optionoriginal ↗
21 Apr 2020
Scoring Elfeed Entriesoriginal ↗
22 Mar 2020
Guile & Autoconforiginal ↗
19 Mar 2020
Moving from Feedly to Elfeedoriginal ↗
4 Jan 2020

2019

My Good-bye to Pythonoriginal ↗
13 Nov 2019