HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
trissim
Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection
10 points
trissim
2026-01-08T05:15:41Z
zenodo.org
Show HN: Knowing What Matters is coNP-complete (Lean 4 formalized)
2 points
trissim
2026-01-08T02:40:54Z
zenodo.org
Show HN: Proof that any fixed-axis type system fails for some domain (Lean4)
3 points
trissim
2026-01-07T03:59:48Z
zenodo.org
Proof that any fixed-axis type system fails for some domain (formalized in Lean)
2 points
trissim
2026-01-06T05:54:53Z
zenodo.org