Viewing profile — sandrocksand
sandrocksand
HN member- Joined
- Mon, Apr 13, 2026, 4:14 AM UTC
- HN karma
- 10
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About sandrocksand
No profile information was provided.
Recent public activity
-
comment
Comment #47747546
I think what you want is the supplementary information, part II "completeness proof sketch" on page 12. You already spotted the formulas for "exp" and real natural "L"og; then x - …