Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
anonymous6500
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
22 ms
·
1.
▲
by
anonymous6500
7mo ago
The article does not reveal it to me either how the existing code would be mapped to Lean and back. The impression from zlib example is that I'd be expected to program in Lean. No way it's going to happen. The language is too comp
2.
▲
by
anonymous6500
7y ago
To me it is fallacy of bigtech to misclassify moderation problem as just a typical ML problem. Hence a false belief that ML models, standard approaches that they use for their other ML problems, and cheap annotators can solve it. What, I th