The Curious Engineer

All blogs / Lisp / Clojure / Scheme

the logic grimoire

logicgrimoire.wordpress.com

Lisp / Clojure / SchemeCompilersDev tools / editors / IDEs

’10’15’20’25
Posts
172 from 25 Feb 2009 to 23 Oct 2026
Posting
weekly (40 in the last year)
Kind
personal blog
Feed
https://logicgrimoire.wordpress.com/feed/

2026 36

  1. Drawing Pretty Pictures with the Scheme Prelude, and Other Ideas
  2. Hardening the trust base of PROVER, a simple proof checker over the natural numbers
  3. Adding Conservative Definitions to the Core of PROVER
  4. From Proof Checkers to Scheme; From Scheme to C
  5. odb – the Onion Debugger
  6. How I Orchestrate Multiple Coding Agents From My Phone Using Muse
  7. The Onion VM: upcoming decisions, and possible future targets
  8. “Because we can, and it’s fun”: More on Onion C, and the Onion virtual machine
  9. It might be fun to write a C compiler in Perl
  10. FURTHER TLDRAW OFFLINE ENHANCEMENTS I’D LIKE TO BUILD
  11. DESIGNING INTEROPERABLE DATA STRUCTURES FOR SCHEME, PROVER, AND A POTENTIAL FUTURE COMPUTER ALGEBRA SYSTEM‭
  12. Mini-review of the Evernote AI assistant implementation, 2026-08-01
  13. EXPERIMENTING WITH TLDRAW OFFLINE AS A DESKTOP ENVIRONMENT
  14. Heard on the Street 1.1
  15. PROVER, A PROOF ASSISTANT WRITTEN IN SCHEME
  16. A professional technical writing workflow using Claude Code
  17. MY EVERNOTE REPLACEMENT DREAM
  18. THE STORY OF CONFLUX, MY PLAINTEXT WIKI
  19. ONION SCHEME, NOW 5x FASTER, AND WITH CONDITIONS & RESTARTS
  20. FOR MY NEEDS AND USE CASES, SYNERGY IS JUST AS GOOD AS CLAUDE CODE NOW
  21. “A WHOLE NEW WORLD” FOR SYNERGY, THANKS TO CLAUDE FABLE
  22. REFACTORING SYNERGY’S APPLY-PATCH WITH CLAUDE FABLE
  23. DEED Edits Every Directory
  24. THE ‘CRUMBY’ APP DEVELOPMENT PLATFORM ™
  25. FZ: A FUZZY FINDER OF MY OWN
  26. MAYBE JUST A SIMPLE FORK IS THE WAY TO GO
  27. I DO THINK THERE IS VALUE IN SHARING SIMPLE THINGS
  28. IN SEARCH OF A SHARED WORKSHOP ENVIRONMENT
  29. A HOOKS SYSTEM FOR SYNERGY
  30. THE DESIGN OF A FORTH-LIKE “BLOCK EDITOR” ENVIRONMENT FOR COMMON LISP
  31. Some thoughts on LLM-assisted writing
  32. What is the possibility of being dealt a bridge hand with 4 aces?
  33. A TEXT EDITOR OF MY OWN : RUNE
  34. Announcing SYNERGY, a read-eval-print loop (REPL) for working with AI assistants
  35. A failure mode of modern educated people
  36. Some possible goals for 2026

2025 8

  1. I would still like to write my own constraint programming solver
  2. Notes from a weekend breathwork workshop at the Omega Institute with James Nestor
  3. How I think about Emacs after using it for twenty years
  4. A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
  5. Phrases from where my mom grew up
  6. Adverse selection in the information warfare landscape that is the consumer internet
  7. Hallucinations? I’ve been doing that for years
  8. Reading Notes: Archimedes’ Revenge, by Paul Hoffman

2024 9

  1. Three Ways To Compute A Factorial in Scheme
  2. How (not) to shuffle an array in JavaScript
  3. The shuffling presidents problem in k
  4. weekly challenge 279 – solutions in the k programming language
  5. The Shuffling Presidents Problem
  6. Writing HTML by hand is easier than debugging your static site generator
  7. Emacs opinion: you don’t need an “API”, you don’t need to “advise ” anything, just edit the code
  8. Safari on iOS select all workaround
  9. My experiences so far with AI assistants (May-June 2024)

2023 17

  1. An Extreme Antipattern for Programming Books
  2. How I like to set up macOS
  3. Follow your own intuition
  4. de Méré’s Problem
  5. A die roll problem
  6. Why is SQL so successful?
  7. Tubes, by Andrew Blum (2012)
  8. Hachette v Internet Archive re: “Controlled Digital Lending”
  9. Why approximately everyone hates math
  10. Why I think everything after R5RS was a mistake
  11. On the recent public layoff emails
  12. How school attendance worked in the 90s
  13. Why old car analog dashboard controls are better
  14. Why I don’t like the new big pickup trucks
  15. On issue tracker consistency
  16. Some interesting small use cases for ChatGPT / LLMs
  17. Reading notes from the book ‘The Man from the Future’, a biography of von Neumann

2022 10

  1. Notes from reading the book ‘The Highly Sensitive Person’
  2. An idiosyncratic ebook reading workflow
  3. Some AI Product Ideas
  4. Why I don’t use emacs package.el
  5. Don’t break APIs
  6. I guess people don’t read anymore
  7. Everything should be an email
  8. Something must be done, averages are something, therefore we will use averages
  9. On the design of CLI tools on unix
  10. How to make Word Ladders using graph search

2021 3

  1. Solving the SEND MORE MONEY problem with Mathematica
  2. Solving a puzzle in the wild with MiniZinc
  3. my unscientific work from home tips

2020 3

  1. How to draw the Hilbert Curve using a computer program
  2. Software design critique: dnf
  3. A full implementation of breadth-first search of a graph

2019 4

  1. Three views on a loop
  2. Good Reads: A Place of My Own
  3. Pythagoras Pie
  4. A Perl one liner to generate passwords

2018 8

  1. Genera Notes, Part 1/N
  2. Announcing flycheck-pod.el, Flycheck support for Perl 5 POD files
  3. How to use Locate from Emacs on Windows
  4. How to use CockroachDB with Emacs SQL Mode
  5. It’s all about the BATNA
  6. Thoughts on Rewrites
  7. Set up Gnus on Windows
  8. A Trivial Utility: Prepend

2017 6

  1. Some thoughts about privacy and networked computers
  2. Advent of Code 2017, Day 2
  3. Advent of Code 2017, Day 1
  4. Thinking about software documentation as the output of a lossy compression algorithm
  5. A Portable Scheme Module System
  6. Announcing cpan.el

2016 9

  1. Scripting JIRA
  2. Scripting Language Idioms: The “Seen” Hash
  3. How Dangerous is the Samsung Galaxy Note 7? It’s Safer than Driving
  4. How to Sync your Opera 12 bookmarks, history, and mail using Dropbox
  5. Editing Chrome Textareas with Edwin
  6. A Mini Python and Shell Tutorial
  7. How to Install the Pentadactyl Firefox Add-On
  8. Oh my, am I really considering XML?
  9. Advent of Code, Day 3

2015 13

  1. Advent of Code, Day 2
  2. Advent of Code, Day 1
  3. A Solution to the Five Weekends Problem in Common Lisp
  4. Emacs Compilation Mode Regexp for Perl 6
  5. Statistics over Git Repositories with Scsh
  6. Include Code Samples in Markdown Files
  7. How to Write Documentation for People that Don’t Read
  8. Reasons to Recommend Common Lisp
  9. The Sentinel File Pattern
  10. The Debugger is a Notebook
  11. Make your own iterators in Scheme using closures
  12. Why Libraries and Librarians are Amazing
  13. Why Markdown is not my favorite text markup language

2014 15

  1. How to install Perlbrew on Fedora 20 and use it with (m)ksh
  2. Scsh is UNIX, Part 1: Sockets
  3. Driving the Scsh disassembler from Geiser
  4. Review: The Hard Thing about Hard Things
  5. Best. Markdown. Writing. Setup. Ever.
  6. The Josephus Problem
  7. More Recommendations for Technical Writers
  8. Applying Lean Principles to the Documentation Lifecycle
  9. Thoughts on the 2014 STC Summit
  10. Scsh Manual Available in Texinfo Format
  11. SICP Exercises 1.5 through 1.7
  12. How to Rock CSV files with SQLite
  13. Simple Network Search in Scheme
  14. Geiser and Scsh are Talking
  15. SICP Exercises 1.1 through 1.4

2013 18

  1. Squeak’s Debugger is Addictive!
  2. Announcing confluence2html
  3. Rich’s Quick and Easy Guide to File Management with MuCommander
  4. Just for Fun: Accumulate
  5. Functions, Exponents, and Egg-Producing Hens
  6. Bottom Up Merge Sort in Scheme
  7. Turing’s Machine: A Simple Example
  8. Binary Search in Scheme
  9. SICP Exercises 1.10 through 1.13
  10. Scheme Idiom: Loop over an open file input port
  11. Just for Fun: Estimating pi with Scheme
  12. Recommendations for Technical Writers
  13. An Iterative Change-Counting Procedure
  14. Attempting to Count Change, Iteratively
  15. Edwin `dired-do-shell-command’ on files
  16. Reading Email from Edwin/Imail
  17. Edwin Support for External Schemes
  18. Trading Space for Time

2012 12

  1. Playing with Lisp Machines
  2. Word Count, scsh-style
  3. How I Built scsh 0.7 from Github (for newbies)
  4. How to calculate the circumference of a circle (without knowing pi)
  5. A First Guile Script
  6. How often will a bus jam the Lincoln Tunnel?
  7. What is a Continuation?
  8. A Scheme Code Kata, Explained (Part II)
  9. A Scheme Code Kata, Explained (Part I).
  10. A Scheme Code Kata
  11. What is the Highest Sum of a Number Triangle?
  12. Finding the Equilibrium Index of an Array

2009 1

  1. First Post