Cela fait déjà quelque temps que je possède un ODROID-C2. Je l'avais acheté pour tester mes programmes sur une plateforme ARM 64 bits.
Tout comme les derniers Raspberry Pi, il comporte le fameux connecteur d'E/S à 40 broches. De quoi titiller l'électronicien qui sommeille en moi. Je me suis donc acheté un de ces kits pour Raspberry Pi permettant de réaliser des montages électroniques que l'on connecte au Raspberry. Moyennant quelques précautions, ces kits sont parfaitement utilisables (…)
Salut à tous,
Laissez moi vous présenter IKOS: https://github.com/NASA-SW-VnV/ikos
IKOS est un analyseur statique pour C et C++ basé sur LLVM, développé à la NASA. Il est gratuit et open source.
IKOS permet de détecter des bugs dans vos programmes C et C++. Contrairement à un analyseur statique « classique », il se repose sur une théorie mathématique appelée Interprétation Abstraite. IKOS prouve automatiquement l’inexistence de bugs dans vos programmes, pour toutes les exécutions possibles. En contrepartie, IKOS peut (…)
Pour mettre en place une webcam, on connecte une caméra à un ordinateur sur lequel on fait tourner un serveur retransmettant les images. Celles-ci sont alors accessibles via des requêtes au serveur.
Cet article présente comment implémenter un serveur de webcam en Haskell. Le serveur proposé transmet l'image courante en réponse aux requêtes HTTP. En parallèle (via un thread léger), il met également à jour l'image courante à partir du flux vidéo.
Tout d'abord (…)
Salut à toi !
Ce journal pour te dire que je participe avec quelques camarades au lancement d’une maison d’édition qui édite des textes en libre diffusion (et gratuitement accessibles) sur le réseau parallèlement à son format papier (elle s’appelle Abrüpt), et nous avons commis un outil libre qui peut-être pourra t’être utile si tu souhaites éditer rapidement et proprement un texte, fabriquer un livre.
On a appelé cet outil le Gabarit Abrupt.
Il s’agit (…)
Ça fait bien longtemps que je me dit que quand j'écris un Makefile, je travaille trop.
Si on considère cet exemple :
main.o: main.c hello.h
gcc -o main.o -c main.cLe kernel sait parfaitement que ma commande gcc -o main.o -c main.c lit main.c, et écrit main.o.
Et donc que si main.c change, je dois recompiler, et si main.o n'est pas là, idem.
Et pareil pour les dépendances entre commandes.
Adobe a ouvert un sondage pour connaitre l’intérêt des utilisateurs de Linux pour ses produits.
Vendredi 7 décembre, vers 0430 UTC, les serveurs de noms faisant autorité pour linux.org (à ne pas confondre avec linuxfr.org) ont été modifiés. Les nouveaux serveurs indiquaient comme adresse IP pour linux.org un serveur Web pirate (208.91.197.27, le serveur Web habituel étant chez Cloudflare, en 104.27.166.219 et 104.27.167.219). Apparemment (je n'ai pas pu le voir), le contenu comprenait diverses insultes contre Linux ("G3T 0WNED L1NUX N3RDZ") et Linus Torvalds, certaines reliées aux nouvelles conditions de participation à Linux.
Le service (…)
Hello
Juste un petit journal pour partager mon point de vue suite à la sortie de la Freebox V7.
Je vais pas revenir sur la partie technique, mais plutôt sur les tarifs.
Je ne sais plus trop quoi penser de Free en fait pendant des années pour moi ça a été le FAI de référence, celui qui ne faisait que quelques pubs dans les petits panneaux de wagons RER ou très tard la nuit à la TV, mais dont le (…)
Quelque chose déconne chez Free, et La Voix du Nord a publié un article aujourd'hui: Que se passe-t-il chez Free ? Des dizaines d’abonnés Nordistes appellent à l’aide
Pour moi, ça a commencé mardi, vers midi. J'ai un serveur chez moi qui interroge toutes les 10 minutes plusieurs autres serveurs (mais tous dans un même AS) et c'est depuis ce moment là qu'il me rapporte des problèmes de connexions. Au départ, je pensais que le problème était plus distant (…)
L'édition 2018 du langage Rust est sortie. Ce journal est une traduction et un résumé de la documentation officielle.
Certaines nouveautés ne sont pas si nouvelles, mais c'est toujours utile d'en parler si vous n'avez pas trop suivi l'évolution du langage depuis un an.
Il faut savoir qu'une nouvelle version de Rust sort toutes les 6 semaines. On peut donc vite être noyé dans les mises-à-jour (…)
Cent-neuvième épisode dans la communication entre les différents intervenants autour du site LinuxFr.org : l’idée est de tenir tout le monde au courant de ce qui est fait par les rédacteurs, les admins, les modérateurs, les codeurs, les membres de l’association, etc.
L’actu résumée ([*] signifie une modification du sujet du courriel) :
Du 16 au 30 novembre 2018
Bonjour Nal,
Je viens de publier ce harnais de test qui permet de lancer facilement des tests écrits avec le moteur de Qt et de collecter les résultats dans un rapport en HTML.
Qt fournit quelques classes pour réaliser des tests unitaires, mais ils proposent de générer une application séparée pour chaque test, et de les lancer toutes à la fois via un "make check". Les résultats sont alors affichés sur la console et pénibles à lire. De (…)
Je cite RFI : "Groupama a annoncé qu’il ne renoncerait pas à assurer ses propriétaires de la rue d’Aubagne contre le risque d’effondrement à condition toutefois qu’une expertise conclue que ces immeubles n’ont aucun risque de s’effondrer."
lien : Texte du lien
Microsoft a annoncé (par la voix de Joe Belfiore) vouloir développer un nouvelle version de son navigateur Edge basé cette fois-ci sur le projet chromium avec son moteur blink et l'interpréteur javascript v8.
Les raisons citées sont notamment, la faible part de marché de Edge (moins de 5%) (cantonné sur Windows 10), trop de travail sur le moteur de rendu pour supprimer les bugs sur certains sites; l'objectif étant aussi de porter le nouveau Edge sur MacOS, Windows 7 (…)
Dans la release de CPU cette semaine : Une hésitation avant de sauver, des doutes sur la moralité du projet, des scrupules sur les effets de bords dans le monde “réel”, des cauchemars à n'en plus dormir la nuit.
Le code et l'éthique du code, un vaste débat sur la responsabilité des makers. Avec M4d'z, tech evangelist chez alwaysdata.
Si vous avez des liens (…)