Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
In search of falsehood – using Opus 4.6 to prove False (tristan.st)
2 points by shiftingleft 45 days ago | past
Personal relationship with the bouba-kiki effect (tristan.st)
5 points by tsterin 66 days ago | past
Opus 4.6 is great at formal proofs (Rocq/Lean4) (tristan.st)
1 point by tsterin 74 days ago | past

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: