Founder @ntropy-network. Average nerd. Marathoner.
agent-sat. Agent learns to become the worlds top expert on SAT
agent-factoring. Can an AI break the L[1/3] barrier in integer factoring?
spin_glass_solver. C
ising-solvers. Pretty fast solvers for Ising spin glasses
