Viewing profile — drpbl
drpbl
HN member- Joined
- Fri, May 02, 2025, 12:13 PM UTC
- HN karma
- 2
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About drpbl
No profile information was provided.
Recent public activity
-
comment
Comment #44029281
Does the barber shave himself?
-
comment
Comment #43868745
I have argued the same theme elsewhere. Formal reasoning over LLM output is the next step for AI. Where do we go for funding?