Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM | Heykuki News