Y
Hacker News
new
|
ask
|
show
|
jobs
user:
trissim
created:
2026-01-06
karma:
1
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection
10 points
|
20 comments
Show HN: Knowing What Matters is coNP-complete (Lean 4 formalized)
2 points
|
0 comments
Show HN: Proof that any fixed-axis type system fails for some domain (Lean4)
3 points
|
0 comments
0 points
|
0 comments
Proof that any fixed-axis type system fails for some domain (formalized in Lean)
2 points
|
1 comments