Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Modern SAT solvers: fast, neat and underused. Parent comment
It’s pretty easy to solve with an octree. My goal was run-time speed rather than quickest solution.
My octree solution runs in ~3 milliseconds. If memory serves, the Z3 solver took around 17 seconds on the same machine.
I made a nifty (imho) video that shows the octree traversal order. There’s no need to create irregular shapes.
https://www.forrestthewoods.com/blog/solving-advent-of-code-...
There are no comments on this comment yet.
It’s pretty easy to solve with an octree. My goal was run-time speed rather than quickest solution.
My octree solution runs in ~3 milliseconds. If memory serves, the Z3 solver took around 17 seconds on the same machine.
I made a nifty (imho) video that shows the octree traversal order. There’s no need to create irregular shapes.
https://www.forrestthewoods.com/blog/solving-advent-of-code-...