-
teaching
teaching
teaching activities.
2023/2024
Internship topics for students interested in pursuing a (MSc)
thesis,
stage (fr), or
-
research
research
research interests
free software and how formal methods can be
applied to address the complexity of the scenarios brought by the
open source development model. I'm currently a member of the
...
-
publications
publications
academic papers, classified by type of publication
and in reverse chronological order:
Abstract: The automatic identification of code authors
based on their programming styles—known as au...
-
hacking
hacking
I like
hacking (but this is about hackers, and has
basically nothing to do with black hats). As a
hacking enthusiast I can't stand being locked away from information
and in particular sourc...
-
software
software
Matita - an interactive proof assistant
[homepage, debian package]
CamlBZ2 - OCaml bindings for
LablGtkSourceView (now a part of
OCaml-HTTP (no longer maintained by me) -
OCaml library for ...
-
how to use Notmuch with Mutt
zack's home page/
blog/
posts/
2011/
01/
how to use Notmuch with Mutt
Mutt mail indexing on steroids!
I've been using external mail indexing with Mutt for quite a while now. Before no...