Blog

Read about our day to day discoveries, the trips we take around the world, our personal developments and news about the things we do at Manas.

of reading time across 172 blog posts

  • 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...

  • 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...

  • (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...

  • 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...

  • Nov 13 2009
    Parameterized Tests

    In order to prevent the dreadful copy-paste habits in unit tests (remember, tests are also code, so all the good practices you use when writing code should also apply to tests) a common pattern to test similar behaviour when slightly...