Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

Building a GPU Prover with Runtime Compilation (Nim) (lita.foundation) 4 points by elcritch 6 months ago | past Nim to CUDA GPU Prover: 5.3x Faster Than Icicle (lita.foundation) 4 points by archargelod 6 months ago | past

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: