Y Hacker News new | ask | show | jobs

user: alexchengyuli created: 2026-03-22 karma: 9 CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning. submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments