Hacker Newsnew | past | comments | ask | show | jobs | submit | trissim's submissions login

1. Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection (zenodo.org) 10 points by trissim 3 months ago | past | 20 comments 2. Show HN: Knowing What Matters is coNP-complete (Lean 4 formalized) (zenodo.org) 2 points by trissim 3 months ago | past 3. Show HN: Proof that any fixed-axis type system fails for some domain (Lean4) (zenodo.org) 3 points by trissim 3 months ago | past 4. Proof that any fixed-axis type system fails for some domain (formalized in Lean) (zenodo.org) 2 points by trissim 3 months ago | past | 1 comment

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: