Czech Republic is just a registration place. JetBrains is based in St Petersburg, Russia. Until recently all the developers were in St Petersburg, then some people moved to Germany. JetBrains was started as a small startup and then absorbed people from St Petersburg office of Borland.
You've inspired me to publish my own version of 2048 for PalmOS, that I've written several weeks ago.
It is also in Scheme.
https://github.com/naa/2048-palm
I support your opinion, but have to mention that pre-Bush US was not any better. US was starting unnecessary wars for more than 200 years now, nothing has changed. Note though, that the same is true for almost any other country.
Definitely try Emacs. Preview LaTeX is nice, Rope is also here. Also I find it easier to set the system to do all text editing in Emacs than in Vim. I mean that one can use Emacs to write mails, chats, edit all types of code, write and post blog posts, web pages and so on.
Have you ever tried to write math/physics paper using MS Word?
It is completely broken comparing to LaTeX+decent text editor (vim, emacs, kyle, whatever). Writing equations in Word is pain, inserting bibliography is pain, inserting figures is pain. Printed results do not match screen version, if you need to collaborate with someone you have problems with diffs and different versions of Word.
Another use for LaTeX is making slides for presentations. Word or Markdown can't be used for this.
And if you use PowerPoint for slides you are in trouble. Most probably your Greek letters in formulas will be invisible or software will crash in process.
Exactly the same thing is happening in Russia. They started with "child porn" and "suicide propaganda", then added anime, politics and copyright enforcement.
I used iRedMail to setup department mail server and it just worked. I had no problems with configuration: IMAP, SSL, SMTP - everything works out of the box. Spam protection is also adequate, at least for a relatively low-volume usage.
You know, there was that 'labor movement' and typical working hours decreased in 200 years from 16 hours a day, 7 days a week to 8 hours a day, 5 days a week + vacations. It is a good reason for the lack of mass unemployment, isn't it?
> Where would the money come from to give someone a retirement at 50?
Well, it looks completely different if we take out the money from this situation.
Consider this: we have big unemployment, a lot of part-time workers, a lot of people not working because of disabilities, there are also millions of college and university students who are obviously not working full time. But the economy keeps going, it has no shortage of workforce, number of workplaces is limited and less than total number of people.
Then you propose to increase retirement age.
The number of workers will increase, but the number of workplaces is the same. Wages are decreasing, tax revenue is decreasing and we again have no money to pay welfare, pensions etc.
So we don't need more workforce.
Redundant workers rely on disability pensions, unemployment payments, food stamps etc. All these welfare programs have obvious deficiencies, but we need to feed the people anyway. If these people were working it would be much better. But there is simple way to increase number of working people without extra resources.
We just need to limit working hours. And it is possible, because it was possible to introduce 40 hour work week. Now cut it to 35, and you get 12% increase of number of working people and unemployment completely disappears.
Tests are a disaster for math education: http://www.maa.org/devlin/LockhartsLament.pdf
The very essense of math is killed by tests (true for history/literature/physics etc as well).
We already have model for future journals: http://www.emis.de/journals/SIGMA/
SIGMA is just an overlay over arXiv with added peer review. Also it has non-zero impact factor.
This popular phrase often strikes me as untrue. For example, at the end of WWI number of religious soldiers in Russian army reduced drastically. Church in Russia collapsed after First World War/Russian Civil War.
Well, carriers' policy regarding apps in US held mobile market back for years comparing with Europe. For example, here in Russia once there was enormous number of free and paid J2ME apps (usually paid by sending sms to short number). My friends at university read ebooks on <a href="http://en.wikipedia.org/wiki/Siemens_S55>Siemens S55</a> (I used Palm).
I know of several companies that were started at this market and later moved to Win Mobile/Android/iPhone etc.
Well, carriers' policy regarding apps in US held mobile market back for years comparing with Europe. For example, here in Russia once there was enormous number of free and paid J2ME apps (usually paid by sending sms to short number). My friends at university read ebooks on <a href="http://en.wikipedia.org/wiki/Siemens_S55>Siemens S55</a> (I used Palm).
I know of several companies that were started at this market and later moved to Win Mobile/Android/iPhone etc.
All these economic points can be applied to public transportatipon (i.e. trams, trolleys, subway). They also have much higher utilisation of equipment and number of drivers is negligible comparing with the number of passengers.
So the problem is the same as
https://en.wikipedia.org/wiki/General_Motors_streetcar_consp...
Well, maybe Google can introduce public transportation once again.
With DOS emulator.
There is no problem to run DOS app from 80s on Linux/MacOS/whatever with dosbox. By the way, dosbox is far better for some apps than DOS emulator from Windows XP/Vista/7.