If you like electronic music, you obviously lurk <a href="http://getworkdonemusic.com" target="_blank">getworkdonemusic.com</a> all the time with <a href="http://jdownloader.org/" target="_blank">jDownloader</a> running, so you can copy <a href="https://soundcloud.com/mitchy-rolle/spacial-rend-mars-edition" target="_blank">the link to any nice track on the air</a> and download it, slowly aquiring a groovy selection of electronic music for the lonely train hours where you have to get work done, offline style. Sometimes, however, these tracks are in <b>wave format</b>, for reasons that are completely beyond me. A quick google search for <a href="http://www.google.com/search?q=convert+WAV+to+MP3" target="_blank"><i>»convert WAV to MP3«</i></a> points you towards a huge selection of <a href="http://en.wikipedia.org/wiki/Shareware" target="_blank">shitware</a>, when it could be so much easier: Fire up <a href="http://www.videolan.org/" target="_blank">VLC, the best media player in the world</a> ((This post refers to <b>VLC media player 2.0.5 Twoflower</b>.)) and go
* Media, Convert/Save (<b>Ctrl+R</b>)
* Add your file to the list.
* Click the button that says <b>Convert/Save</b>.
* Select a destination file.
* Set the profile to <b>Audio - MP3</b> and hit <b>Start</b>.
Also, make sure you don't have VLC set to loop, because otherwise it'll spend the next few hours overwriting that file with the same converted MP3 again and again. True story.
I wasted like 60 seconds a day marking drafts in Thunderbird as read after using the <a href="https://addons.mozilla.org/en-us/thunderbird/addon/send-later-3/" target="_blank">SendLater</a>-Plugin. The following <a href="http://www.autoitscript.com/site/" target="_blank">AutoIt</a>-Scripts that runs in background now saves this precious amount of time!
```autoit
$x_offset = 80
$y_offset = 140
TraySetIcon('C:\Program Files (x86)\Mozilla Thunderbird\thunderbird.exe', 1)
While 1
WinWait('[TITLE:Send this email later; CLASS:MozillaDialogClass]')
WinWaitActive('[REGEXPTITLE:Mozilla Thunderbird]')
Sleep(1000)
$tb_pos = WinGetPos('[REGEXPTITLE:Mozilla Thunderbird]')
$mouse_pos = MouseGetPos()
MouseClick('right', $tb_pos[0]+$x_offset, $tb_pos[1]+$y_offset, 1, 0)
Send('{UP 4}{ENTER}')
MouseMove($mouse_pos[0], $mouse_pos[1], 0)
WEnd
```
After discovering <a href="http://docs.mathjax.org/en/latest/tex.html#action">the toggle command</a> available in <a href="http://mathjax.org">MathJax</a>, I immediately went to <a href="http://tex.stackexchange.com/questions/91104/maction-for-pdf-files">asked the capable people</a> of <a href="http://tex.stackexchange.com/">tex.stackexchange</a> whether this could be done inside a PDF file. And indeed: It can be done!
```Latex
\documentclass{article}
\usepackage{animate}
\begin{document}
\begin{animateinline}[step]{1}
\strut$x=1$
\newframe
\strut$x=2$
\newframe
\strut$x=3$
\end{animateinline}
\end{document}
```
Now, what do I want with this package? I want to do <a href="http://en.wikipedia.org/wiki/Abstract_nonsense">abstract nonsense</a>. A diagram-based proof should, in my opinion, be a slideshow. You start with the diagram that is your assumption and by simply interacting with the diagram (clicking it), in each step, a new arrow is constructed from some universal property.
I wanted to write a neat animated PDF with an abstract nonsense proof of the famous <a href="http://en.wikipedia.org/wiki/Snake_lemma">Snake Lemma</a>, and there is a <a href="http://books.google.com/books/about/Handbook_of_Categorical_Algebra_2.html?id=La3gAAAAMAAJ&redir_esc=y">great book by Francis Borceux</a> containing a proof, but <a href="http://math.stackexchange.com/q/314693/11653">unfortunately, I was unable to overcome a difficulty with the proof</a>, so that will have to wait until someone answers my question.
I learned three new Windows shortcuts today:
* Win + Pause: System Properties
* Alt + Space, n: Minimize window
* Alt + Space, x: Maximize window
Especially the latter two are very useful for me.
On Android Smartphones you can use <a href="http://www.google.com/mobile/maps/">GoogleMaps app</a> for Navigation — unfortunately, it requires an internet connection and this can be very expensive if you use this outside your home country. Therefore, I was looking for a free app which supports downloading the entire maps for certain regions. I think <a href="http://www.navmii.com/gpsnavigation">Navfree</a> does the job.
# Why TaskWarrior?
After I've heard of the software <a title="TaskWarrior Homepage" href="http://http://taskwarrior.org/" target="_blank" rel="noopener">TaskWarrior</a> in summer of 2012, I started using it instantly. My main reasons are:
* Since I'm a big fan of self quantification, I wanted the data to be accessible and independent of the existence of any software company. The TaskWarrior stores its data in <em>text</em>, which is imho the most future proof format.
* Everything from the system described in David Alan's book "<a title="Get the book from amazon" href="http://www.amazon.com/Getting-Things-Done-Stress-Free-Productivity/dp/0142000280" target="_blank" rel="noopener">Getting things done</a>" (short GTD) can be implemented with TaskWarrior.
* It is cool and geeky to use (via command line!). This has a real advantage too: you have the full power of your shell at hand and the programm itself also has powerfull batch processing capabilities.
---
<a href="https://blag.nullteilerfrei.de/2012/12/31/taskwarrior/#more-1199" class="more-link">Do you want to know more?</a>
It seems that you can't ((<a href="http://superuser.com/questions/396846/force-windows-8-metro-apps-to-run-lower-resolutions-below-1024x768" target="_blank">Force Windows 8 Metro Apps to run lower resolutions below 1024x768</a>)) ((<a href="http://www.clickonf5.org/14830/windows-8-metro-style-apps-running-on-low-screen-resolution-netbooks/" target="_blank">Windows 8 Metro style apps running on low screen resolution netbooks</a>)) ((<a href="http://liliputing.com/2011/09/how-to-enable-windows-8-metro-style-apps-on-an-older-netbook.html" target="_blank">How to enable Windows 8 Metro style apps on an older netbook</a>)) ((<a href='http://www.google.de/search?q="this+app+cannot+open"+"windows+8"' target="_blank">Google-Suche</a>)). If you are ok with a squeezed look, set all registry values of `Display1_DownScalingSupported` to <b>1</b> and change the screen resolution to at least 1024x768.
I was asked today if one could make LaTeX skip all occurances of the value <b>13</b>, in all counters, as <a href="http://en.wikipedia.org/wiki/Thirteenth_floor">some buildings do</a>. Well, of course you can:
```latex
\let\stepc\stepcounter\renewcommand{\stepcounter}[1]{%
\ifthenelse{\equal{\value{#1}}{12}}{\stepc{#1}}{}\stepc{#1}}
```
Here, we first save the `\stepcounter` macro in `\stepc`, then we renew its definition by stepping the counter twice if its current value equals 12, therefore effectively omitting the 13th occurance. Also, you should watch <a href="http://www.imdb.com/title/tt0139809/?ref_=fn_al_tt_1">the thirteenth floor</a>, it's a nice movie if you're into scifi.
Because apparently, some people <a href="http://en.wikipedia.org/wiki/Old_age">our age</a> still do not know about the <a href="http://www.frixion-shop.com/">Pilot Frixion Pen</a> ((At the time of writing, <a href="http://www.ebay.de/itm/230792091484?var=530058069992&ssPageName=STRK:MEWAX:IT&_trksid=p3984.m1423.l2649">this ebay shop</a> is Germany's cheapest option.)), let me just very briefly inform you about this ingenious item. It is a regular <a href="http://cdn.iwastesomuchtime.com/March-15-2012-21-43-56-2934387460s.jpg">ball pen</a>, but the ink it uses turns invisible under a certain amount of heat. Hence, the Frixion has a little rubber nob at the end, which effectively works as an eraser, because rubbing it against a sheet of paper produces enough heat to turn the ink invisible! Good news: Leaving your lecture notes on the heating does not erase them. Seriously though, this pen is just awesome.
Let's say you have a Windows PC on a 64 bit machine. Obviously, you have <a href="http://www.cygwin.com">Cygwin</a> because anything else would just be silly. Then you want to develop C-Applications that you can compile and run on large Linux-based servers, so you turn to an <a href="http://www.eclipse.org/">an IDE that can work with Cygwin</a>. Now here comes the twist: For whatever stubborn reason, you want to be able to compile your applications native 64 bit, and you want to do it in Eclipse, and you want to be able to debug them.
<a href="https://blag.nullteilerfrei.de/2012/11/28/eclipse-cdt-with-mingw-64/#more-1051" class="more-link">Do you want to know how?</a>
<a href="http://www.nerd-gold.de/">Roman</a> told us about <a href="http://www.toothycat.net/~hologram/Turing/">a turing machine in Magic: The Gathering™</a>. The design seems very complicated at first, I would have thought that there was an easier way to do it. However, with the 8 minutes invested so far, I did not come up with a better implementation.
I was recommended <a href="http://taskwarrior.org/">taskwarrior</a> by Lars, who advertised it as a very cool todo-list manager for the commandline. It's available under <a href="http://www.cygwin.com">cygwin</a> as well. I wanted to give it a try today, so installed it and checked out the <a href="http://taskwarrior.org">taskwarrior homepage</a>. The first thing it does, it leads you to the <a href="http://taskwarrior.org/projects/taskwarrior/wiki/30-second_Tutorial">30 second taskwarrior tutorial</a> where they give you a very tiny set of commands you need to make a todo-list in the most literal sense: A list of things that you have to do. Of course, the program can do much more than that, and I am not even familliar with <i>all</i> of its features. However, at this point already, I want to comment positively on the unusually gentle learning curve it provides, compared to most other Linux tools. This is an aspect of program design often neglected: Do not overwhelm the user, in particular not with features that are <i>optional</i>. I think a great many deal of open source projects could benefit significantly from improvements in that area, because all elitism aside, a large and devoted userbase is the heart and soul of a vivid, open software project.
You use Opera? Good. Go to
* Settings
* Preferences
* Advanced
* Content
Check the checkbox that says <b>Enable plug-ins on demand</b>. This is the plugin setting you <b>always wanted</b>. It replaces all plugins (say, annoying flash ads) by a little play button which you can click to activate the control. This way, all plugins are disabled by default (and that's good, because most of them are annoying), and whenever there actually <b>is</b> a plugin that you want to use, just click the play button and play your silly flash game if you must.