Today, a fellow student claimed that it would take much time to check the first 1,000,000 numbers for primes. I claimed that it would be a matter of seconds to do so for the first 1,000,000,000 numbers. So, lets prove my claim. Trivial approach Execute it for 100,000,000: So 41 seconds for all primes not [...]
Buying it You can buy a Nexus 4 in Saturn, but the 16GB-version costs 395 Euro there (source). In Google Play Store, it costs “only” 349 Euro (source). Comdirect So, I’ve decided to buy it from Google Play Store. But you have to have a Google Wallet account to use it. For a Google Wallet [...]
You can list all fonts that are known to ImageMagick by identify -list font. When your font isn’t there, but it is installed, you might want to try these steps: sudo updatedb Download imagick_type_gen Execute it: perl imagick_type_gen > types.xml Copy the result to the folder where it should be locate type.xml. That was /usr/lib/ImageMagick-6.5.7/config/type.xml [...]
I really enjoy creating presentations with LaTeX. The reasons are: You can use versioning (GIT, SVN, …) You can use your favorite editor! When you’ve created an animation with TikZ, you can easily go one step back an go through it as fast as it is apropriate! Good separation of presentation and content It compiles [...]
RWX Files Linux files have three important access rights for files: Read Write Execute If you want to mark a file as executable, you can add the x-right: When you want to mark a file as readable, you can dd the r-right: You can remove rights in a similar way: Now, often this is expressed [...]
Chrome 25 was just released and I would like to mention some features I am still missing. As I already wrote an article How Chrome could be improved for Chrome 18 I will also mention what was realised meanwhile. If you’re curious if you have the current version, just visit chrome://chrome/. Improve MathML support Chrome [...]
At first, you have to write your signature on a white sheet of paper. You might have to make several tries: Then you should scan it in a high quality. Now crop the image to the size you like. I have used GIMP for this task: Now you should have an image like this one: [...]
