Solving a corn puzzle with CP-SAT(thill.me)
31 points by luu | 13 comments
A personal blog post describing how the author solved a 3D-printed corn-shaped piece-packing puzzle using the CP-SAT constraint solver.
thill.me on Hacker News
2 stories on the front page, newest first. Scroll down to watch the site change over time.
What I did at Recurse Center(thill.me)
114 points by bingden | 38 comments
A personal blog post recounting a summer at Recurse Center, covering study groups on LLM agents, deep learning, math, and a board game AI.