Viewing profile — throwaway545232
throwaway545232
HN member- Joined
- Wed, Aug 24, 2022, 10:26 PM UTC
- HN karma
- 4
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About throwaway545232
No profile information was provided.
Recent public activity
-
comment
Comment #32586739
I went down this rabbit hole 2 months ago and stumbled upon the Curry-Howard correspondence [1]. I don't understand why I find this stuff fascinating. https://en.wikipedia.org/wiki…