Hacker News new | past | comments | ask | show | jobs | submit login

One famous example (from 1997) is to lay out the rules for generating Fast Fourier code (for any input range, not just powers of two) and have correct efficient C code generated.

[1] https://www.fftw.org/

[2] https://en.wikipedia.org/wiki/FFTW




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: