Mot de passe oublié ?

Blogs sur: Compiler

Blog vedette

Installer MySQL à partir des sources

Le texte qui suit indique la procédure à suivre minimale pour installer MySQL à partir des sources dans la plupart des distributions linux. 1. Ajoutez un login utilisateur (user) et un group pour que … la suite →

/*informancien*/

Installer MySQL à partir des sources

informancien wrote 3 months ago: Le texte qui suit indique la procédure à suivre minimale pour installer MySQL à partir des sources d … more →

Mots-clefs : MySQL, mysql, installer mysql, Sources, installation, source, Compilation, à partir des sources

OCaml Batteries Included, release 0: Where it should all have begun

yoric wrote 1 year ago: After a few discussions on IRC, by e-mail and on forums, I have come to realize that both the purpos … more →

Mots-clefs : batteries included, In English | en Anglais, Informatique - Computer Science, OCaml, API, batteries, Contributing, Debian, Development Kit

Post-doctorate position in Programming Language Design

yoric wrote 1 year ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … more →

Mots-clefs : Enseignement, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, applications, Certification, concurrency

What's up with Batteries? — 7 comments

yoric wrote 1 year ago: A few days ago, someone asked me whether there was more to OCaml Batteries Included than Lazy Lists. … more →

Mots-clefs : batteries included, In English | en Anglais, Informatique - Computer Science, OCaml, Characters, Compilers, data structures, development, Floats

Security analysis

yoric wrote 1 year ago: A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, … more →

Mots-clefs : Informatique - Computer Science, Recherche / Research, Sûreté / Security, abstract interpretation, Compilation, Debug, Dependent Types, dynamic analysis, IO


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS