|
|
|
|
|
|
by mkeeter
2034 days ago
|
|
|
Advent of Code is a huge amount of fun! One of my favorite problems from last year involved programming a robot to traverse an obstacle course (https://adventofcode.com/2019/day/21). Interestingly, the space of potential programs was small enough (105 bits) that you could smash an SMT solver into it and solve for a correct, minimal program, given the shape of your obstacle course:
https://www.mattkeeter.com/projects/synthesis/ |
|
|