Archives

Last entries

January 2017

  • 1 entries

A new PGP key

May 2016

  • 1 entries

Little Guide on Software Engineering

February 2016

  • 5 entries

Why are OO programs scalable?

Open-source alternative to Trello: does it exist? Can we make it better?

À écouter : France Inter, « État d’urgence, état de méfiance »

The need for a new editor mixing texts and graphics

"Software Aging"

January 2016

  • 3 entries

Fin du support des « vieux » Windows à partir de Skylake : un bon argument pour passer à Linux ?

WE programming project: XKCD keyword index

Ajout de SPF pour bentobako.org

August 2014

  • 3 entries

DNSSEC Validator supporte DANE !

Améliorations des sauvegardes

HTTPS pris en compte pour la qualité d'un site web par Google

January 2014

  • 1 entries

Server upgrade to Wheezy: beware of Dovecot!

December 2013

  • 2 entries

Book review: Better Embedded System Software

The day I left GMail

November 2013

  • 4 entries

Introduction aux méthodes formelles actualisée

Présentation de l'internationalisation dans MapOSMatic

Mozilla published a guide to help configure TLS on web servers

Carte des zones d'exclusion autour des centrales nucléaires françaises

October 2013

  • 1 entries

Introductory slides on Frama-C

July 2013

  • 1 entries

Critique livre : Éloge de l'oisiveté

June 2013

  • 1 entries

WE programming idea: opportunistic secure email exchanges

May 2013

  • 5 entries

Issues with distributions, not only a Debian specific problem

High-level requirements for re-demexp

Analyse de Regards Citoyens sur la transparence démocratique

Re-engineering demexp

Un faire part de naissance avec Scribus

April 2013

  • 1 entries

A new machine for this blog

January 2013

  • 2 entries

The failures of Debian (and its derivatives)

Deux articles importants à lire

December 2012

  • 1 entries

How to install Atelier B 4.1 on a Debian-like 64 bits machine

October 2012

  • 3 entries

Cachez votre utilisation du web, utilisez HTTPS Everywhere

Forfait téléphonique à 2€ par mois : Prixtel aussi

Critique livre : Introduction à la logique

September 2012

  • 3 entries

Réponse ouverte sur la mise en stationnement payant de rues de Rennes

Critique livre : Saison brune

Book review: Rework. Change the way you work forever

August 2012

  • 3 entries

bentobako.org utilise DNSSEC

Ménage de rentrée : supprimer flux RSS et listes de diffusion inutiles

GNATprove tools available

July 2012

  • 1 entries

Which approach for Hoare logic formal verification?

June 2012

  • 2 entries

An nice tutorial on basic logic

A proved toy electronic voting booth program in Ada

May 2012

  • 2 entries

Gulliver à Vern-sur-Seiche du 23 au 26 mai : Libre-sur-Seiche

Petit script Python pour afficher le n-ième jour du mois

April 2012

  • 2 entries

Une nouvelle version de MapOSMatic

March 2012 MapOSMatic hackfest

March 2012

  • 2 entries

Coming MapOSMatic hackfest

New paper accepted on use of Why3 as another proof toolchain for Atelier B

January 2012

  • 1 entries

Présentation de l'analyse statique avec Frama-C

December 2011

  • 3 entries

Introduction aux méthodes formelles

A draft of library to handle physical units in OCaml

Cartoparty à Mondevert

September 2011

  • 1 entries

Utilitaires Libres utiles sous Windows

August 2011

  • 1 entries

Passage à Prixtel pour la téléphonie mobile

June 2011

  • 1 entries

Bouh ! C'est le méchant inspecteur des impôts !

March 2011

  • 2 entries

Présentation de MapOSMatic

Critique livre : Pour une révolution fiscale

February 2011

  • 2 entries

Lutter contre le spam avec Dotclear

Frama-C pour l'analyse de valeur et la preuve

January 2011

  • 2 entries

« OpenData » à Rennes, ça avance !

Présentation de l'analyse de valeur avec Frama-C

December 2010

  • 1 entries

Présentation introductive aux méthodes formelles

November 2010

  • 1 entries

Track artifacts of a project: the Qualifying Machine

October 2010

  • 2 entries

Pourquoi l'« ouverture » des données de Rennes Métropole est insuffisante

What is it important to document?

September 2010

  • 2 entries

Literate programming: where we are and where we should aim at

New paper accepted on B Method and Model checking

August 2010

  • 4 entries

La fin du bureau ?

De grands pas vers une téléphonie Libre !

L'observatoire du SSL

Le test de Joel

July 2010

  • 3 entries

A small idea to securely store votes in a voting machine

A modification proposal to Frédéric Connes' voting protocol

An interesting new electronic voting protocol by Frédéric Connes

April 2010

  • 1 entries

Pourquoi je quitte l'expérience démocratique

March 2010

  • 4 entries

Gagner du temps n°2 : se désinscrire des listes de diffusion et flux RSS qu'on ne lit pas

Status of OCaml packages on Ubuntu Lucid Lynx (10.04 LTS): transition to OCaml 3.11.2 finished

Looking for a C software for Formal Verification

Standing on the shoulders of giants: MapOSMatic in a sea of Free Software

January 2010

  • 1 entries

Quick news: OCaml on Ubuntu Lucid and MapOSMatic

December 2009

  • 1 entries

Installation of Linux Ubuntu Karmic Koala (9.10) on an ASUS UL30A-QX090V laptop

November 2009

  • 2 entries

Organisation : avoir la boite de courrier entrant toujours vide

OCaml on Ubuntu: looking for a new maintainer

September 2009

  • 2 entries

Absences...

C'est la rentrée !

August 2009

  • 1 entries

Août, farniente & Co.

July 2009

  • 7 entries

Critique livre : La programmation en pratique

Secure setup of DokuWiki with Lighttpd web server on Debian Lenny

Transition to OCaml 3.11.1 has started in Karmic

Critique livre : The Visual Display of Quantitative Information

Quelle société voulons nous ?

Mini news : micro-blogging et demexp

Quelques rues et quartiers de plus dans Saint-Grégoire, Ille-et-Vilaine

June 2009

  • 9 entries

Le nullité de la téléphonie chez Free

Transition to OCaml 3.11.1 has started in Debian

OpenStreetMap : et hop quelques routes de plus sur Fougères et Lécousse !

Ubuntu 9.10 will ship with OCaml 3.11.0... for now

Niadomo épisode 4 : installation du paquet dokuwiki sur une Debian Lenny

OCaml 3.11.0 on Ubuntu Karmic Koala nearly complete

Résultats d'élections européennes :-(

Luciole : un logiciel ultra-simple d'emploi pour faire des animations image par image

Faire une carte pour un GPS Garmin eTrex à partir d'Open Street Map

May 2009

  • 8 entries

Une nouvelle application demexp en web avec web2py

Les machines de vote électronique en Inde

Loppsi 2 : 1984 est en marche

Micro-guide de survie sur vi

Quelques infos en vrac

Un client demexp pour Ubuntu 9.04 / amd64

Niadomo épisode 3 : installation d'un serveur web et d'un webmail

Malin va !

April 2009

  • 9 entries

Trouvez le parti qui vous ressemble pour les européennes

SpeedCrunch : une petite calculatrice très pratique !

Niadomo deuxième épisode : première configuration d'un serveur de courriel

Faut-il repenser nos systèmes d'exploitation ?

Pourquoi le Libre est préférable au gratuit

Loi HADOPI : des débats très instructifs à l'Assemblée Nationale

Un générateur de mots de passe aléatoires en ligne

Les outils de vérification logiciel deviennent de plus en plus accessibles

Lors des mises à jour, redémarrez les programmes concernés !

March 2009

  • 9 entries

Convertir une URL Google Maps en Open Street Map

Niadomo saison 1 : l'auto-hébergement par l'exemple. Premier épisode : les statuts

[André Gorz] La sortie du capitalisme a déjà commencé

Customize Google : une extension Firefox fort pratique

Compilez vos programmes...

Politique de mise à jour des paquets dans Ubuntu

OCaml revisions for each Ubuntu release

Some comments on extprot

Mise à jour Debian Etch en Lenny sur un kimsufi d'OVH

February 2009

  • 9 entries

List of Ubuntu patches applied to Debian OCaml packages

Quelques liens en vrac

Serveurs web haute performance

Up-to-date status of OCaml packages on Ubuntu

Blogs intéressants pour faire des sites webs

Critique livre: Ergonomie web

[Cory Doctorow] Écrire à l'ère de la distraction permanente

Google's Browser Security Handbook

A visual way to represent and check fingerprints

January 2009

  • 6 entries

Reasons to use and not to use Gmail

Internet change-t-il notre façon de lire ?

Comment jurer originalement

comp.risks, pour suivre les risques technologiques

Faites gaffe à vos traces sur Internet !

Le retour de mon blog