This post introduces the fresh new “Gagallium” blog, that is meant to contain informal posts from young members (PhD students mostly) of the Gallium research team at INRIA Rocquencourt. It will probably speak about OCaml occasionally, and hopefully our research as well. The idea is both to let people know what we are doing, and to practice the educational exercise of writing down what we’re working on.
Please don’t expect clean and polished popular science essays. The idea is more to dump what’s on our mind once in a while, including the boring bugfix attempts, the rambling meditations, the spelling errors, and the reasoning mistakes. You have been warned.