Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
I spent 4 months generating proofs for Brainfuck programs
(
github.com/andrewmilson
)
4 points
by
mildog8
on Nov 17, 2022
|
hide
|
past
|
favorite
|
3 comments
sword_smith
on Nov 25, 2022
|
next
[–]
You might want to generate this code with the latest trick for evaluating multivariate polynomials:
https://news.ycombinator.com/item?id=33740808
sword_smith
on Nov 17, 2022
|
prev
[–]
Nice. I helped write the original Python implementation, so thanks for building this. STARK proof generation is definitely a good candidate for GPU acceleration.
mildog8
on Nov 17, 2022
|
parent
[–]
Awesome! Thanks so much for that, it really helped me learn
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
