Sitemap for project rss https://www.unwoundstack.com/blog en Tue, 31 Mar 2026 11:52:43 -0700 Tue, 31 Mar 2026 11:52:43 -0700 Emacs 31.0 Org-mode 9.7.11 sp1ff@pobox.com (Michael) https://orgmode.org/img/org-mode-unicorn-logo.png Sitemap for project rss https://www.unwoundstack.com/blog Sandboxing Coding Agents https://www.unwoundstack.com/blog/sandboxing-coding-agents.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/sandboxing-coding-agents.html Tue, 31 Mar 2026 00:00:00 -0700 A lightweight sandbox for coding agents

]]> org-babel-scheme-has-a-bug https://www.unwoundstack.com/blog/org-babel-scheme-has-a-bug.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/org-babel-scheme-has-a-bug.html Fri, 12 Dec 2025 00:00:00 -0800 Patching a rather serious bug in ob-scheme until the fix lands

]]> never-change-aws https://www.unwoundstack.com/blog/never-change-aws.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/never-change-aws.html Wed, 10 Dec 2025 00:00:00 -0800 Adventures in debugging

]]> The Haskell Fixpoint Combinator https://www.unwoundstack.com/blog/haskell-fixpoint-combinator.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/haskell-fixpoint-combinator.html Tue, 02 Dec 2025 00:00:00 -0800 A few notes on the Haskell fix function

]]> impatient-geiser https://www.unwoundstack.com/blog/impatient-geiser.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/impatient-geiser.html Tue, 02 Dec 2025 00:00:00 -0800 Working around arbitrary timeouts with Geiser

]]> indielinks https://www.unwoundstack.com/blog/indielinks.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/indielinks.html Wed, 15 Oct 2025 00:00:00 -0700 Announcing a new federated service

]]> Integration Testing Rust Binaries https://www.unwoundstack.com/blog/integration-testing-rust-binaries.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/integration-testing-rust-binaries.html Mon, 08 Sep 2025 00:00:00 -0700 How to integration test Rust binaries

]]> The State of Rust Client-Side Middleware https://www.unwoundstack.com/blog/rust-client-middleware.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/rust-client-middleware.html Sun, 11 May 2025 00:00:00 -0700 Using Tower middleware with the Reqwest HTTP Client

]]> eglot-finding-sub-projects https://www.unwoundstack.com/blog/eglot-finding-sub-projects.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/eglot-finding-sub-projects.html Thu, 24 Apr 2025 00:00:00 -0700 Un-peeling the mysteries of project-find-functions

]]> Peppering Passwords in Rust https://www.unwoundstack.com/blog/peppering-passwords-in-rust.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/peppering-passwords-in-rust.html Wed, 12 Feb 2025 00:00:00 -0800 How to salt & pepper your passwords in Argon2

]]> Dependent Types and the Art of HTTP Headers https://www.unwoundstack.com/blog/dependent-types-and-http-headers.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/dependent-types-and-http-headers.html Wed, 27 Nov 2024 00:00:00 -0800 A bit of enlightenment in writing correct code

]]> Using replace in Idris https://www.unwoundstack.com/blog/replace-in-idris.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/replace-in-idris.html Mon, 14 Oct 2024 00:00:00 -0700 How I use the replace function in Idris

]]> fill-column-indicator https://www.unwoundstack.com/blog/fill-column-indicator.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/fill-column-indicator.html Sun, 21 Jul 2024 00:00:00 -0700 Just removed fill-column-indicator from my Emacs configuration

]]> Dependent Pattern Matching in Coq https://www.unwoundstack.com/blog/dependent-matching-in-coq.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/dependent-matching-in-coq.html Fri, 21 Jun 2024 00:00:00 -0700 Some first thoughts on matching dependent types in Coq

]]> Cross References in Org Mode https://www.unwoundstack.com/blog/cross-references-in-org-mode.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/cross-references-in-org-mode.html Wed, 12 Jun 2024 00:00:00 -0700 Understanding cross references in Org Mode

]]> fixed-lambda-calculus https://www.unwoundstack.com/blog/fixed-lambda-calculus.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/fixed-lambda-calculus.html Mon, 10 Jun 2024 00:00:00 -0700 Fixed the figures in the Lambda Calculus posts

]]> The Calculus of Constructions https://www.unwoundstack.com/blog/the-calculus-of-constructions.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/the-calculus-of-constructions.html Tue, 28 May 2024 00:00:00 -0700 Unifying the typed lambda calculii we've seen so far

]]> Lambda-P https://www.unwoundstack.com/blog/lambda-p.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/lambda-p.html Tue, 28 May 2024 00:00:00 -0700 An introduction to \(\lambda P\)

]]> Lambda-Weak Omega https://www.unwoundstack.com/blog/lambda-weak-omega.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/lambda-weak-omega.html Mon, 27 May 2024 00:00:00 -0700 An introduction to \(\lambda\underline{\omega}\)

]]> The Second Order Typed Lambda Calculus https://www.unwoundstack.com/blog/the-second-order-typed-lambda-calculus.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/the-second-order-typed-lambda-calculus.html Thu, 23 May 2024 00:00:00 -0700 An introduction to \(\lambda 2\)

]]> The Simply Typed Lambda Calculus https://www.unwoundstack.com/blog/the-simply-typed-lambda-calculus.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/the-simply-typed-lambda-calculus.html Mon, 20 May 2024 00:00:00 -0700 The next step

]]> The Lambda Calculus https://www.unwoundstack.com/blog/the-lambda-calculus.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/the-lambda-calculus.html Tue, 14 May 2024 00:00:00 -0700 We'll begin at the beginning: Church's Lambda Calculus

]]> Type Theory & Reasoning About Code https://www.unwoundstack.com/blog/type-theory.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/type-theory.html Tue, 14 May 2024 00:00:00 -0700 Using the Feynman Technique to learn about Type Theory

]]> Ann: ob-coq https://www.unwoundstack.com/blog/ob-coq.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/ob-coq.html Wed, 10 Apr 2024 00:00:00 -0700 Org Babel support for Coq

]]> Org Mode & LaTeX https://www.unwoundstack.com/blog/org-mode-and-latex.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/org-mode-and-latex.html Tue, 19 Mar 2024 00:00:00 -0700 How exactly does Org Mode interact with LaTeX?

]]> car-and-cdr https://www.unwoundstack.com/blog/car-and-cdr.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/car-and-cdr.html Sun, 10 Mar 2024 00:00:00 -0800 I always wondered...

]]> pr-vs-lauded-journals https://www.unwoundstack.com/blog/pr-vs-lauded-journals.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/pr-vs-lauded-journals.html Sat, 09 Dec 2023 00:00:00 -0800 I'm taking more care with a PR than lauded academics do with their data

]]> guile-aws https://www.unwoundstack.com/blog/guile-aws.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/guile-aws.html Sat, 18 Nov 2023 00:00:00 -0800 Adventures with the AWS API in Gnu Guile

]]> Using Klee on Rust Programs https://www.unwoundstack.com/blog/klee-and-rust.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/klee-and-rust.html Wed, 08 Nov 2023 00:00:00 -0800 Survey of where we are in this effort

]]> testing-poor-substitute-for-reasoning-2 https://www.unwoundstack.com/blog/testing-poor-substitute-for-reasoning-2.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/testing-poor-substitute-for-reasoning-2.html Wed, 06 Sep 2023 00:00:00 -0700 Using tools to author more bad code is not a solution to bad code

]]> Emacs as a Rust IDE https://www.unwoundstack.com/blog/emacs-as-a-rust-ide.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/emacs-as-a-rust-ide.html Sun, 30 Jul 2023 00:00:00 -0700 Configuring Emacs as an IDE for Rust programming

]]> cherrypy-continued https://www.unwoundstack.com/blog/cherrypy-continued.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/cherrypy-continued.html Fri, 30 Jun 2023 00:00:00 -0700 Another CherryPy issue

]]> cherrypy-is-very-broken https://www.unwoundstack.com/blog/cherrypy-is-very-broken.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/cherrypy-is-very-broken.html Fri, 30 Jun 2023 00:00:00 -0700 Learning far more than I wanted about the CherryPy framework

]]> Hosting indie-org.sh on S3 https://www.unwoundstack.com/blog/hosting-indie-org-sh-on-s3.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/hosting-indie-org-sh-on-s3.html Wed, 07 Jun 2023 00:00:00 -0700 Bringing your own domain to Route 53 is easy, once you know how

]]> sealed-traits-in-rust https://www.unwoundstack.com/blog/sealed-traits-in-rust.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/sealed-traits-in-rust.html Sun, 09 Apr 2023 00:00:00 -0700 Good article on sealed traits in Rust

]]> indie-org.sh https://www.unwoundstack.com/blog/indie-org.sh.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/indie-org.sh.html Sat, 08 Apr 2023 00:00:00 -0700 A demonstration site for my indie-org package

]]> aws-unexpected-error https://www.unwoundstack.com/blog/aws-unexpected-error.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/aws-unexpected-error.html Fri, 07 Apr 2023 00:00:00 -0700 Everyone knows the cloud is the future, right?

]]> rust-hyper-tls https://www.unwoundstack.com/blog/rust-hyper-tls.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/rust-hyper-tls.html Thu, 09 Mar 2023 00:00:00 -0800 Rust's hyper crate has a really irritating foot-gun

]]> first-photo https://www.unwoundstack.com/blog/first-photo.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/first-photo.html Mon, 06 Mar 2023 00:00:00 -0800 Snow on the back deck, Santa Cruz Mountains

]]> automake-and-elisp https://www.unwoundstack.com/blog/automake-and-elisp.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/automake-and-elisp.html Fri, 03 Mar 2023 00:00:00 -0800 Finally found a workaround to those warnings about byte-compile-dest-file-function when using Automake with elisp

]]> follow-up-to-reworking-the-site https://www.unwoundstack.com/blog/follow-up-to-reworking-the-site.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/follow-up-to-reworking-the-site.html Sun, 19 Feb 2023 00:00:00 -0800 Trying-out new post types with POSSE

]]> reworking-the-site https://www.unwoundstack.com/blog/reworking-the-site.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/reworking-the-site.html Sun, 19 Feb 2023 00:00:00 -0800 I'm re-working unwoundstack to incorporate different sorts post types

]]> boost 1.74 filesystem bug https://www.unwoundstack.com/blog/boost-1.74.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/boost-1.74.html Wed, 28 Dec 2022 00:00:00 -0800 A serious boost regression

]]> Announcing Rust crate tracing-rfc-5424 https://www.unwoundstack.com/blog/tracing-rfc-5424.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/tracing-rfc-5424.html Sun, 09 Oct 2022 00:00:00 -0700 Name squatting & RFCs

]]> pin 0.2 https://www.unwoundstack.com/blog/pin-0.2.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/pin-0.2.html Sat, 24 Sep 2022 00:00:00 -0700 New release of my pin utility

]]> Documenting FOSS Projects https://www.unwoundstack.com/blog/documentation.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/documentation.html Mon, 05 Sep 2022 00:00:00 -0700 Thoughts on documenting software projects

]]> The Indieweb https://www.unwoundstack.com/blog/indieweb.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/indieweb.html Sat, 09 Jul 2022 00:00:00 -0700 Putting unwoundstack on the Indieweb

]]> Announcing Webmention Support https://www.unwoundstack.com/blog/webmentions-ann.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/webmentions-ann.html Sun, 03 Jul 2022 00:00:00 -0700 unwoundstack can now send & receive Webmentions

]]> Indieweb markup https://www.unwoundstack.com/blog/indieweb-markup.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/indieweb-markup.html Sun, 29 May 2022 00:00:00 -0700 Adding microformats to unwoundstack

]]> Rust Error Handling https://www.unwoundstack.com/blog/rust-error-handling.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/rust-error-handling.html Sun, 12 Dec 2021 00:00:00 -0800 Some thoughts on how to handle errors in Rust

]]> A Concrete Example of Symbolic Execution https://www.unwoundstack.com/blog/concrete-example-of-symex.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/concrete-example-of-symex.html Thu, 12 Aug 2021 00:00:00 -0700 Finding a bug using klee

]]> Testing Is a Poor Substitute for Reasoning https://www.unwoundstack.com/blog/testing-poor-substitute-for-reasoning.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/testing-poor-substitute-for-reasoning.html Wed, 11 Aug 2021 00:00:00 -0700 First thoughts on reasoning about code

]]> Updated pin https://www.unwoundstack.com/blog/updated-pin.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/updated-pin.html Thu, 05 Aug 2021 00:00:00 -0700 Fixed pin on crates.io

]]> Fixed my RSS Feed https://www.unwoundstack.com/blog/fixed-my-rss-feed.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/fixed-my-rss-feed.html Tue, 25 May 2021 00:00:00 -0700 Fixed my RSS Feed

]]> C++, Rust & Sum Types https://www.unwoundstack.com/blog/cpp-rust-enums.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/cpp-rust-enums.html Mon, 24 May 2021 00:00:00 -0700 Pros & cons of Rust & C++ when dealing with sum types

]]> Where Should elfeed-score State Be Persisted? https://www.unwoundstack.com/blog/elfeed-score-state.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/elfeed-score-state.html Mon, 24 May 2021 00:00:00 -0700 Thoughts on where elfeed-score state belongs

]]> Calculating the Duration of an MP3 File https://www.unwoundstack.com/blog/mp3-duration.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/mp3-duration.html Mon, 12 Apr 2021 00:00:00 -0700 A simple question leads down a rabbit-hole

]]> Commenting https://www.unwoundstack.com/blog/commenting.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/commenting.html Sat, 21 Nov 2020 00:00:00 -0800 Commenting comes to unwoundstack

]]> guile-magic https://www.unwoundstack.com/blog/guile-magic.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/guile-magic.html Mon, 19 Oct 2020 00:00:00 -0700 Guile bindings for libmagic

]]> A more compact ERC mode line https://www.unwoundstack.com/blog/compact-erc-mode-line.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/compact-erc-mode-line.html Fri, 24 Jul 2020 00:00:00 -0700 Track active channels in ERC with less space

]]> Switching Emacs Themes https://www.unwoundstack.com/blog/switching-emacs-themes.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/switching-emacs-themes.html Sun, 12 Jul 2020 00:00:00 -0700 How to switch themes without your past catching up with you

]]> Computing Damerau-Levenshtein Distance https://www.unwoundstack.com/blog/damerau-levenshtein.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/damerau-levenshtein.html Tue, 16 Jun 2020 00:00:00 -0700 How close are your strings?

]]> Using org-capture to save links to Pinboard https://www.unwoundstack.com/blog/org-capture-to-pinboard.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/org-capture-to-pinboard.html Wed, 03 Jun 2020 00:00:00 -0700 How I send my captured links to Pinboard

]]> Guile, Autotools and the std-options option https://www.unwoundstack.com/blog/guile-std-options.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/guile-std-options.html Tue, 21 Apr 2020 00:00:00 -0700 How to get std-options working with Guile in Autotools

]]> Scoring Elfeed Entries https://www.unwoundstack.com/blog/scoring-elfeed-entries.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/scoring-elfeed-entries.html Sun, 22 Mar 2020 00:00:00 -0700 Gnus-style scoring for Elfeed

]]> Guile & Autoconf https://www.unwoundstack.com/blog/guile-and-autoconf.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/guile-and-autoconf.html Thu, 19 Mar 2020 00:00:00 -0700 How I install Scheme files with GNU Autotools

]]> Moving from Feedly to Elfeed https://www.unwoundstack.com/blog/moving-from-feedly-to-elfeed.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/moving-from-feedly-to-elfeed.html Sat, 04 Jan 2020 00:00:00 -0800 How I changed RSS readers from Feedly to Elfeed

]]> My Good-bye to Python https://www.unwoundstack.com/blog/my-goodbye-to-python.html sp1ff@pobox.com (Michael) https://www.unwoundstack.com/blog/my-goodbye-to-python.html Wed, 13 Nov 2019 00:00:00 -0800 Python was my "go-to" scripting language; no longer

]]>