Get the latest tech news
The Hat, the Spectre and SAT Solvers (2024)
Introduction In this blog post you are going to read about two things:
The story of non periodic tilings of the plane is somewhat old and was popularized by Sir Roger Penrose and Martin Gadner in his famous Scientific American column on recreational mathematics. In his book “The Art of Computer Programming” in volume 4B Donald Knuth proposes as an (easy) exercise to the reader to find solutions to tatami tilings using a SAT solver. You can play in the app with Hats, anti-Hats, Turtles and anti-Turtles, color them differently, and using the SAT solver to create interesting patterns.
Or read this on Hacker News