Hi there! I'm Sidney Congard, I worked 3 years as a C++ programmer then went back to studies: I'm now a phd student in programming languages (in France), flavored with linear logic. I'm interested in the treatment of mutability in programming (e.g. borrows), and more generally by the merry mess that is coding. I came to lurk and perhaps exchange on similar topics :)