miniblog.

← Back to all posts
Feb 15, 2017 at 20:06
TMK Lisp is the only PL where you cannot calculate the correct indent statically. Macro-defining-macros with indent declarations break this.

Related Posts

Feb 23, 2024 at 16:30
A bunch of useful Emacs tips for handling the region, but I definitely did not know that Emacs can calculate lunar phases!
From Lunar Phases to Yank-Pop - Susam's Maze
Aug 22, 2018 at 18:41
Elegant demo of SAT solvers: take a list of locks and which keys should unlock the (e.g. master keys unlock multiple), plus a set of manufacturing constraints. Feed it to a solver and calculate how to cut all the keys! https://codingnest.com/modern-sat-solvers-fast-neat-and-underused-part-2-of-n/ A real industry usecase of SAT.
Modern SAT solvers: fast, neat and underused (part 2 of N)
Modern SAT solvers: fast, neat and underused (part 2 of N)
The previous post in this series was a quick introduction to the world of SAT and SAT solvers. In this post, we will convert a harder real-world problem, namely _master-key system_, into SAT and explore some of the more advanced techniques used to efficiently convert problems to SAT.
Oct 1, 2016 at 05:14
How do you calculate the length of a singly-linked list that may be cyclic? CLHS includes a nice implementation: https://clhs.lisp.se/Body/f_list_l.htm