1
Finding Mona Lisa in the Game of Life
Using a SAT solver to find Game of Life states that turn into pictures.
Hi, I'm Kevin Galligan! This place hosts my blog, an index of my projects, and some free web applications. On the blog, I like to write about programming, math, life experiences, and anything else that takes my fancy. In this life, I've been a software developer and a PhD student. My doctoral research was about error…
Visit kevingal.com → On Hacker News Mar 2020 – Jun 2025
Software Engineering 2Math & Algorithms 2Programming Languages 1Games & Graphics 1
Using a SAT solver to find Game of Life states that turn into pictures.
Exploring the math behind hash collisions.