Viewing profile — 3lambda
3lambda
HN member- Joined
- Mon, Jul 20, 2026, 5:55 PM UTC
- HN karma
- 1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About 3lambda
No profile information was provided.
Recent public activity
-
comment
Comment #49193614
Love this guy!!
-
comment
Comment #49145504
Would this language be useful for implementing compilers and formally proving things about them?