matej_kosik
Re:Rubio Uses Terrorism Law to Ban Secure Email Service
on Friday August 28, 2026 @04:40AM (#49476012)
Trump's idol Putin has a similar mental shortcut: those who dare to oppose "Russian World" are Nazis.
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...
Re:15 uncoupled simple pendulums of increasing lengths dance together
on Saturday August 27, 2011 @10:14AM (#2931493)
s/vinostroj/vlnostroj