John Regehr, Professor of Computer Science, University of Utah, USA. This post is aimed at computer science students. Git is the obvious choice; the main thing you should have is a basic Github-centric workflow including pull requests, remotes, dealing with merge conflicts, etc. I routinely use gnuplot, graphviz, and Powerpoint to make figures. Lots of people like matplotlib. LLDB, GDB, something IDE-based.

Papers and projects on developing secure software. Who decides when you need to update vulnerable software? Creating Laws for Computer Security. Secure Programming for Linux and Unix HOWTO - Creating Secure Software. What laws should be created to improve computer security? How to Prevent the next Heartbleed.

Noch nie hat eine Religion, weder mittelbar noch unmittelbar, weder als Dogma noch als Gleichnis, eine Wahrheit enthalten.

Which is the prefered URL. GCC MELT is an inactive project. If you want to pay support on it, contact me on. Domain would probably be lost in April 2018. Customizing your GCC compiler with MELT. Votre compilateur GCC sur mesure avec MELT.

GODI - Ocaml for Everybody. How workgroups profit from GODI. This is the archived content of the former site godi. GODI - Ocaml for Everybody.

In Paris with Yann Régis-Gianas. I am working on the proof language of Coq. I was a student at the École normale supérieure de Paris. My interests domains are programming languages theory and proof checkers. If two people agree on everything, one of them is unnecessary. If I had asked people what they wanted, they would have said faster horses.