Avec Frama-c, vérifiez et validez vos programmes C de manière sûre par la preuve de programme.

Si vous avez découvert Varnish dans le numéro 138 de GNU/Linux Magazine, voici un nouvel article qui vous permettra d’aller plus loin dans la configuration et l’exploitation de ce puissant reverse-proxy cache HTTP. Vous avez acquis précédemment les bases du langage VCL qui anime le logiciel, nous allons maintenant nous pencher sur quelques-unes de ses fonctionnalités phare en détail et manipuler les utilitaires qui gravitent autour du daemon.

Dans toute application un tant soit peu complexe, la lecture et l’enregistrement d’un fichier de configuration finissent par devenir une difficulté récurrente, que ce soit sous la forme de fichiers INI, XML, blobs binaires, ou bases de données. Les EFL (Enlightenment Foundation Libraries) fournissent justement une bibliothèque pour gérer ce problème de manière simple et efficace : Eet

Des chiffres, des chiffres, et encore des chiffres ! Imaginez un monde où la technologie est si avancée que le commun des mortels, pour choisir entre un produit et un autre, devrait entreprendre une difficile démarche d’apprentissage qui finalement à terme rendrait son choix obsolète. Alors que le consommateur étudierait consciencieusement la valeur de chaque [...]

La disponibilité d’une masse croissante de données via Internet permet à chacun d’appréhender des problèmes qui restaient confinés jusque récemment à un cercle restreint d’utilisateurs suffisamment chanceux pour accéder à ces données. Ainsi, seule la compétence de traitement limite aujourd’hui la capacité de toute personne à extraire un maximum d’informations de ces données.

Nous avons abordé, au cours des moments passés ensemble, l’adressage IPv6, la configuration en mode sans ou avec état, le fonctionnement de radvd, DHCPv6 et nous avons terminé avec la configuration d’un serveur de nom. Nous allons utiliser ce dernier pour mettre en place quelques services qui devront fonctionner à la fois sur IPv4 et sur IPv6. Parmi les services, nous allons commencer par SSH, puis FTP, ensuite HTTP avec Apache2, et nous terminerons enfin par une suite de messagerie. Nous tâcherons de voir in fine comment se comporte Netfilter avec IPv6.