Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Aristotle Reasoning Agent (harmonic.fun)
1 point by bananaflag 10 days ago | past | 1 comment
Running Lean at Scale (harmonic.fun)
67 points by eab- 74 days ago | past | 6 comments
Open Sourcing Pbcc: A Faster, Leaner Protobuf Compiler for Python (harmonic.fun)
1 point by ushakov 3 months ago | past
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification (harmonic.fun)
3 points by d2049 8 months ago | past
Harmonic – AI for Formal Mathematical Reasoning (harmonic.fun)
2 points by jackmalpo on June 10, 2024 | past

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

Search: