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.

Read the rest of this entry »

Don’t write your own build system

April 13, 2013

The title might be a bit controversial but at least it is catchy one. Recently I’ve seen a few posts about Shake, a make replacement with several improvements (such as more flexible dependency specification). There are also examples how to use it with say Vala.

The problem is that the Make and Shake are both rather quite low-level tools and while improvement in them is beneficial shake, at least currently, is not a replacement for autotools or CMake.

Read the rest of this entry »

Statically typed red-black trees

April 10, 2013

I have met with claims that the static typing is useless as it is not mathematical proof (OK – for those knowing the discussion – I exaggerated a lot). However to large extend the static typing is prove of some sort and depending on the code it might be a prove of even quite strong properties.

As chosen field I tried to use LLRB trees – I have implemented them quite long time ago and I’ve run into problems that violated the pre and post conditions. Even when problem was discovered it took some time to find out the underlaying problems (my inexperience didn’t helped probably either)

I’ve tried to reimplement the code in GHC Haskell with following rules:

  • Using only ‘safe’ extensions
  • Making all functions total and without use of undefined or error
  • Ensuring that all properties of tree are preserved

Unfortunately this was my first time I used some of the concepts (like Zipper) so the implementation and description might be not the best (comments and corrections welcome).

Read the rest of this entry »

(Rant) Difference between good and useful slides

December 20, 2012

Fortunately or unfortunately the presentations tend to be more and more popular sources of information. Be it a new library, language or future direction of a project the only possible way is either attend some presentation or watch it later.

Read the rest of this entry »

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.

Read the rest of this entry »

So the blog is on WordPress.com now

February 6, 2012

Unfortunately  the previous host was unreliable to say the least. During last crash I lost two posts (one note very interesting about libgee 0.7 and one about general thought on debugging). The recent security breach caused lost of trust into it from many users (including me) and caused the closure of project.

Therefore the blog was moved to wordpress.com - please wait until the change is propagated through DNSes.

Hosting problems

October 23, 2011

I finally restored blog after my provider total RAID failure which resulted in xfs corruption of partition where the databases were located (as well as corruption of partition where the blog was). Unfortunately not all data was retrieved so there are a few things missing from previous blog (comments and users).

I'm going to Desktop Summit

August 5, 2011
I'm goint to Desktop Summit

I’m going to Desktop Summit

I am not member of my generation

February 6, 2011

That’s not one of the promised posts but anyway I’d like to share a few thought after reading a series of articules about the internet and discovering what some people may think about the network. I am aware that the articles I’ve read are biased sample but nonetheless I belive that they still worth to read to find out what people may think about the internet.

I am sorry for lack of the exact quotes or references but I was unable to find them. They were spread over several weeks and I found only paid archives so I am not able to pinpoint exact newspapers.

Read the rest of this entry »

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.

Read the rest of this entry »


Follow

Get every new post delivered to your Inbox.