Viewing profile — impodimium
impodimium
HN member- Joined
- Wed, Jul 01, 2026, 2:46 AM UTC
- HN karma
- 5
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About impodimium
No profile information was provided.
Recent public activity
-
comment
Comment #48741908
Interesting that this only specialized for Lean4 and not for similar like Coq
-
comment
Comment #48741873
Huh did not expect them to lift restrictions this soon.
-
comment
Comment #48741852
Eh still looks like it is weaker than Opus 4.8 but maybe a good replacement for Sonnet 4.x