-O2

En dan is er pcc dat (nogal voorbarig) getipt werd als vervanger voor gcc. Het is een port van een jaren-70 compiler naar C99 -- het duurt vast nog wel even voordat gcc zich echt zorgen moet gaan maken.
Misschien is Clang dan een beter alternatief? Onder meer Apple ondersteunt deze compiler, gebaseerd op LLVM.
Een andere belangrijke factor voor performance (met name startup) is de linker; er blijken twee nieuwe linkers in ontwikkeling te zijn voor de GNU toolchain: 'gold'van Ian Lance Taylor, en die van elfutils (wie steekt daarachter? Ulrich Drepper?)
dag des heeren

Bryan Clark waardeerde Wikipedia-willekeurige-pagina-als-homepage-suggestie. Het zo simpel: zet http://en.wikipedia.org/wiki/Special:Random als homepage, en je leert elke dag iets nieuws! En nu ik het toch over Firefox heb...
Al enige tijd crashte firefox elke keer bij het openen van dialogen - zoals die van 'Save As..' of, 'Add bookmark...'. Ik maakte een backtrace in wilde bug rapporteren bij Ubuntu Launchpad, maar het blijkt een probleem met het GTK+-'theme'. Na het terugschakelen naar Human werkt alles weer naar behoren. Geweldig -- maar het is een beetje zorgwekkend dat een buggy theme kennelijk allerlei applicaties kan destabiliseren.
Over software gesproken, hier een lijstje van mijn favorieten:
- pinfo (de gebruiksvriendelijke versie van info);
- htop (de verbeterde versie van top);
- zsh (de beste shell, verbeterde versie van bash);
- emacs (de beste editor);
- liferea (de beste feedreader);
- pan (de beste newsreader);

- AdblockPlus + Adblock Filterset.G Update (de beste reclameverdelger);
- Scrapbook (de beste manier om webpagina's of delen daarvan te bewaren);
% sudo apt-get install pinfo htop zsh zsh-doc emacs-snapshot-gtk liferea pan ttb gnuvdEt voilà! (behalve de Firefox-plugins)
반대 돌려 차기

Zoals werk. Ik probeer naast het vele non-technische werk, elke dag enige tijd vrij te maken om wat technische dingen te doen -- ik probreer wat te hacken, ik ben een hobbyprojectje gestart om weer wat met c++/std::/boost:: te spelen, en dat gaat verbazingwekkend eenvoudig.
En alsof dat nog niet voldoende is, heb ik een nieuwe hobby opgevat: Taekwondo; de Koreaanse vechtkunst. Ik ben natuurlijk een absolute beginner - maar da's niet zo belangrijk. Met name de vaste patronen (vergelijkbaar met kata's in karate) vind ik bijzonder lastig te onthouden - moet ik nu links of rechtsdraaien, welk been stond ook alweer voor, enzovoort. Een beetje rondschoppen gaat een stuk beter :)