Viewing profile — foobar23511
foobar23511
HN member- Joined
- Sun, Apr 27, 2014, 12:48 PM UTC
- HN karma
- 5
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About foobar23511
No profile information was provided.
Recent public activity
-
comment
Comment #7654867
I think it is funny that the most hardcore group of FP enthusiasts seem to sympathize with constructive mathematics (e.g. proof-systems ala Coq) yet the law of the excluded middle …