High-Throughput SAT Sampling | Hacker News Reader