I am a Brazilian-Italian developer interested in:

• Haskell;
• theory of computation;
• compilers;
• formal methods;
• some old technology (vi, sed, awk and other things that works as expected);
• and some more.

Feel free to poke me about these subjects, but it does not mean I will have answers for your questions.