Wonderings of a SAT geek

Tag: free software

  • Tools that I often use

    I used to use Perl a lot in the old days. Martin Albrecht, through the sage mathematics software, showed me Python. I first really hated Python. But then, I realised I can simply type away in it, as in C++, but without all the hassle of C++. I saw a little of AWK once, and […]

  • Why do I use Linux?

    I used to be quite an expert on Windows, I even used to hang out on the #windows-help IRC channel. So why do I use Linux uniquely nowadays? First, I tried Linux out of curiosity. What made me interested initially is that I am a control freak: I like to know what happens with my […]