Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
radkZ
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
radkZ
5mo ago
This is the first submission since a year that gives me some hope for humanity. It shows that linguistics is not obsolete. Maybe the last people capable of thinking will be linguists.
2.
▲
by
radkZ
5mo ago
Automated theorem provers are not new, in fact they are very old. One of the most automated is ACL2, which uses the well studied waterfall method (unrelated to waterfall development). LLMs certainly use something similar, except they unders