Archive for the ‘GNU/Linux’ Category

Vala ABI and branch prediction

May 18, 2013

Maintaining Libgee for some time I run into interesting phenomena – performance did not behave in a way most people would expect. When the highier-order functions were planned it was pointed out that Vala doesn’t have complex inlining required for fast usage of higher-order functions.

As shown by previous link the reverse is true. In hindsight it seems to be clear that source of discrepancy is due to shorthands we employed while analyzing the performance.

(more…)

Scripting in GNOME

May 23, 2012

Every time now and then we want to automate tasks. Sometimes it is just a repetitive task and sometimes we want to do a complex task without having to remember each particular step. If the task is not general enough (say – applies to a single workflow) it does not have specialised GUI. On the other hand if one of steps involve GUI it cannot be done from commandline (shell script) alone.

Currently various desktop environments provides their own scripting methods (PowerShell, AppleScript, KJSEmbed. It might be good to look if it fits GNOME as well.

(more…)

I'm going to Desktop Summit

August 5, 2011
I'm goint to Desktop Summit

I’m going to Desktop Summit

Gnome and gnome-shell

December 28, 2010

Since some time I try to follow gnome 3.0 development and gnome-shell in particular. However I started to be growingly sceptical about 3.0 release (well – possibly again) and fear repeat of KDE 4.0. I hope I am wrong and I have hevily biased view.

(more…)

LVM 2 – Why do not use partitions

April 7, 2009

Traditionally if one want to use a hard drive (s)he has to partition it. “Since the dawn of time” the problem was – how. Partition cannot be easily moved around (moving 40 GiB chunk of data takes a long time), and it cannot be done while FS is mounted. What is worst repartitioning the disk while any of the partition is mounted prevents Linux from rereading the partition table – which basicly means that I have to do it from Live CD. While it is inconvenient for desktop user it is impossible for servers.

However I thought I do not need it. Well – what are my needs? 10 GiB for /usr for sure is enough, /var etc. on separate partitions with appropriate size. Rest for /home. As many times before live proved me wrong. Recently I started running of the space on /usr – and have plenty of space on /home – which was not only not-optimal but started stopping my system from working.

(more…)

Paludis – first contact

March 29, 2009

Recently I started using Paludis as my packed manager on my ‘desktop’ Gentoo installation.

(more…)

Paludis – first contact

March 29, 2009

Recently I started using Paludis as my packed manager on my ‘desktop’ Gentoo installation. (more…)


Follow

Get every new post delivered to your Inbox.