Viewing profile — kerameikos34
kerameikos34
HN member- Joined
- Wed, Dec 17, 2025, 2:37 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About kerameikos34
No profile information was provided.
Recent public activity
-
comment
Comment #46297645
This is utter nonsense. LLMs are dumb. Formal Methods require actual thinking. Specs are 100% reasoning. I highly dislike the general tone of the article. Formal Methods are not fr…