Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
kerameikos34
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
kerameikos34
10mo ago
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 fringe, they are used all around the world by good teams build