HN
New
Show
Ask
Jobs
Built with Marko
User: alexchengyuli
Created:
1774158963
Karma:
9
CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning.
submissions
|
comments