Viewing profile — YellPika
YellPika
HN member- Joined
- Tue, Jun 09, 2015, 12:36 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About YellPika
No profile information was provided.
Recent public activity
-
comment
Comment #9683460
> From a type-theoretic perspective, a language can be either logically consistent by means of strong normalization xor Turing-complete. This is a common misconception. A counter-e…