Hacker News: matej_kosikhttps://news.ycombinator.com/user?id=matej_kosikHacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 29 Aug 2026 09:55:43 +0000<![CDATA[New comment by matej_kosik in "Rubio Uses Terrorism Law to Ban Secure Email Service"]]>Trump's idol Putin has a similar mental shortcut: those who dare to oppose "Russian World" are Nazis.

]]>Fri, 28 Aug 2026 08:40:05 +0000https://news.ycombinator.com/item?id=49476012matej_kosikhttps://news.ycombinator.com/item?id=49476012https://news.ycombinator.com/item?id=49476012<![CDATA[New comment by matej_kosik in "Types"]]>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...

]]>Sat, 27 Aug 2016 12:30:24 +0000https://news.ycombinator.com/item?id=12372062matej_kosikhttps://news.ycombinator.com/item?id=12372062https://news.ycombinator.com/item?id=12372062<![CDATA[New comment by matej_kosik in "15 uncoupled simple pendulums of increasing lengths dance together"]]>s/vinostroj/vlnostroj

]]>Sat, 27 Aug 2011 14:14:36 +0000https://news.ycombinator.com/item?id=2931493matej_kosikhttps://news.ycombinator.com/item?id=2931493https://news.ycombinator.com/item?id=2931493