Posts

• 2025-06-08 Writing a truth oracle in Lisp