High-Throughput SAT Sampling | Dark Hacker News