chaisan 74 karma 8y 0m on HN HN profile →
explorer
Coverage
We've seen 2 of ~70 submissions
Full eval: 0 Lite-only: 1 Unevaluated: 1
Quick Scan holistic editorial estimate · 1 lite evaluation
Editorial [E]: 0.00 Llama · truncated content · holistic (not section-level)
2 stories
1.
HRCB ND
E 0.00
S
Autoresearch for SAT Solvers (github.com)
167 points by chaisan 5 days ago | 32 comments | hrcb Technical Development
2. Autoresearch for SAT Solvers (github.com)
2 points by chaisan 8 days ago | 1 comments | skipped