🦞🌯 Lobster Roll

Stories by d2049

Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification (harmonic.fun)
HN 3 pts 0 comments by d2049 Jul 29, 2025 Programming Languages / CS TheoryProductivity / Career / Business thread