Viewing profile — matej_kosik
matej_kosik
HN member- Joined
- Sun, May 08, 2011, 4:02 PM UTC
- HN karma
- 1
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About matej_kosik
No profile information was provided.
Recent public activity
-
comment
Comment #49476012
Trump's idol Putin has a similar mental shortcut: those who dare to oppose "Russian World" are Nazis.
-
comment
Comment #12372062
I had/have a similar feeling. I have thought about it some time ago and came up with the following proposal: http://matej-kosik.github.io/www/doc/coq/coq-trunk-proof-tre...
-
comment
Comment #2931493
s/vinostroj/vlnostroj