Viewing profile — throwawayRO12
throwawayRO12
HN member- Joined
- Fri, Feb 15, 2019, 7:06 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About throwawayRO12
No profile information was provided.
Recent public activity
-
comment
Comment #19169051
You are right. In Romania we also prove that different computational models are equivalent (Turing machine, lambda calculus, Markov machine, logic programming)