Implementing the real Sieve is quite a challenge in any language: https://www.cs... | Hacker News

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

		thechao on Nov 1, 2024 \| parent \| context \| favorite \| on: Demystifying the regular expression that checks if... Implementing the real Sieve is quite a challenge in any language: https://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf

ykonstant on Nov 1, 2024 [–]

Quite; motivated by that paper I implemented a decent sieve of Eratosthenes with the standard wheel factorization in Lean 4: https://github.com/ykonstant1/esiv

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