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

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

Consider applying for YC's Winter 2027 batch! Applications are open till November 2. Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: