Blog

I just found out the difference between += and << when used for a string. irb(main):001:0> str=chan => "chan" irb(main):002:0> str.object_id => 69952758899780 irb(main):003:0> str +=ged => "changed" irb(main):004:0> str.object_id => 69952758848800...

I searched the internet for a gedit plugin that would allow me to press a key and jump (navigate) to the file where a ruby class is defined. I couldn't find one so I wrote one (I know about Geany but I couldn't find that functionality there either...

(cross-posted at InSTEDD) ‘Information is a vital form of aid in itself […] Disaster-affected people need information as much as water, food, medicine or shelter. Information can save lives, livelihoods and resources.’ (World Disasters Report 2005...

In a previous post I mentioned a few ways of dealing with i18n of strings in ASP.NET pages with gettext. Now it’s time for javascript code. Although javascript code in ASP.NET pages can be internationalized using the <%= %> syntax, pure js files are...

From the very start of my thesis, the key idea was to find a lambda calculus with explicit substitutions, indexes, and all the good properties (I refer the reader to all previous posts). In particular, having in mind a recent work from Delia Kesner