Viewing profile — anonymous6500
anonymous6500
HN member- Joined
- Fri, Oct 04, 2019, 10:55 AM UTC
- HN karma
- 4
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About anonymous6500
No profile information was provided.
Recent public activity
-
comment
Comment #47245811
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 …
-
comment
Comment #21156443
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 othe…