Journal Sortie de GHC 8.0.2 et une petite histoire de typage statique

32
19
jan.
2017

GHC, le compilateur Haskell le plus utilisé, est sorti en version 8.0.2, vous pouvez consulter l'annonce de la sortie datée du 11 janvier 2017 ainsi que les notes de version

Il s'agit principalement d'une version de suivi qui corrige plus de deux cent bugs depuis la version 8.0 dont l'annonce de la sortie
avait été faite sur http://linuxfr.org. Donc à ce titre, il n'y a pas grand chose à raconter. Le futur, c'est GHC 8.2 qui (...)

Journal [Tuto/HowTo] Sauvegarder la Base de données de phpBB sur ubuntu/debian/raspbian avec automysqlbackup

Posté par . Licence CC by-sa
6
18
jan.
2017

Ce tuto est la suite de [Tuto/HowTo] Sauvegarder les fichiers joints de phpBB3 sur le cloud via rsync et webdav/dafvs2
Le tuto d'origine se situe à l'adresse suivante : https://www.0rion.netlib.re/forum4/viewtopic.php?f=63&t=496#p1097

Introduction

  • automysqlbackup est un script libre, disponible dans les paquets Ubuntu et Debian/Raspbian, qui permet d'automatiser la sauvegarde de base de données Une fois le paquet installé, par défaut il copiera les bases de données en suivant les cron suivants : @daily ("0 0 * * *"), @monthly ("0 0 (...)

Journal Sortie de matplotlib 2.0

Posté par . Licence CC by-sa
54
18
jan.
2017

Bonjour à toutes les moules scientifiques (et les autres !),
la bibliothèque python Matplotlib vient de sortir en version 2.

Pour info, matplotlib est la bibliothèque de référence pour le tracé de données avec python. Elle permet de tracer des graphs de grande qualité que ce soit en 2D ou 3D (cf la galerie du site). Pour les aficionados des logiciels privateurs à plusieurs milliers d'euros (commençant par mat et terminant par lab), il est possible d'utiliser le namespace pyplot qui (...)

Journal [Tuto/HowTo] Concevoir une camera de surveillance avec un Raspberry Pi

41
17
jan.
2017

Tuto testé sur un Raspberry Pi type 1A avec Raspbian Jessie (la version (25/07/2016) sans pixel) et un serveur Zoneminder
Tuto d'origine : [Tuto/HowTo] Concevoir une camera de surveillance avec un Raspberry Pi

Introduction

Principe de base

  • Créer une camera de surveillance sécurisée compatible avec ZoneMinder. Cette camera sera plus sécurisée que les caméras grand public que l'on trouve dans le commerce.

Côté Hardware

  • Nous allons créer une caméra Hardware avec un Raspberry Pi (conseillé type 2 voir plus), un (...)

Journal LinuxFr.org : première quinzaine de janvier 2017

Posté par (page perso) . Licence CC by-sa
Tags :
13
17
jan.
2017

Deux puissance sixième épisode dans la communication entre les différents intervenants autour du site LinuxFr.org : l’idée est 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) :

Statistiques

  • 1 931 commentaires publiés (dont un masqué depuis) ;
  • 275 tags posés ;
  • 89 comptes ouverts (dont 1 fermé depuis) ;
  • 55 entrées de forums publiées (dont une masquée (...)

Journal Alterner les répertoires avec zsh

Posté par . Licence CC by-sa
6
16
jan.
2017

Vous utilisez souvent C-^ pour alterner les deux derniers fichiers ouverts dans vim ?
Sachez qu’il est possible de réaliser une fonctionnalité analogue avec le shell zsh !

Première étape, créer un fichier alter-dirs contenant :

emulate -R zsh

setopt local_options

setopt warn_create_global

LBUFFER="cd -"

zle accept-line

Ensuite, insérer ces lignes dans votre zshrc :

# Inutile si vous placez le fichier dans un répertoire
# déjà existant dans $fpath
fpath+=(/répertoire/de/votre/fichier/alter/dirs)

# Chargement à la
(...)

Journal Une petite histoire d'utilisation type fort dans Ocaml

Posté par . Licence CC by-sa
16
14
jan.
2017

Obtenir du code correct par l'utilisation de types

Je vais illustrer cette idée avec un cas trivial mais pragmatique. Pour se mettre à un langage, rien ne vaut un petit projet perso, avant de passer aux choses sérieuses en regardant le code écrit par d'autres. Dans mon cas, il s'agit de l'écriture d'un utilitaire pour afficher des schémas Kicad et les différences entre deux versions (rien de gros ni professionnel comme GNU, comme dirait l'autre). Par avance, mes excuses aux (...)

Journal Du choix discutable des sources de Google pour ses définitions automatiques

21
14
jan.
2017

Cher Journal,

Suite au journal-candidature précédent j'ai voulu faire une recherche simple sur google :

rôle député

pour me rafraichir la mémoire.

Google me renvoit alors vers une définition provenant du site personnel de Marion-Maréchal Le Pen

On ne va même pas parler de la définition en elle-même, qui, sans êtres fausse, n'est surement pas la plus concise ni la plus précise jamais réalisée mais je me demande juste pourquoi Google ne pointe pas vers wikipedia comme d'habitude ou (...)

Journal Tablette 2017

6
14
jan.
2017

Bonjour.
J'aimerais avoir votre avis, de façon assez large, sur le sujet des Tablettes en 2017.

On trouve aujourd'hui toute sorte de tablettes sur le marché. De l'Apple, de l'Android et du Windows (plus quelques outsider, mais un peu confidentiel quand même). Et on y vois, dans les grandes enseignes, des rayons au moins aussi grands que ceux des ordinateurs conventionnels.

C'est un système qui remplace aujourd'hui l'ordinateur conventionnel pour beaucoup de monde, et même si l'écran tactile pose de (...)

Journal Gamedev Framework 0.3.0

Posté par . Licence CC by-sa
Tags :
32
14
jan.
2017

Gamedev Framework (gf) est un framework de développement de jeu vidéo 2D en C++11. Il est basé sur SDL et OpenGL ES 2.0 et s'inspire très largement de l'API du module graphique de SFML avec quelques différences mineures et surtout en ajoutant des fonctionnalités non-présentes dans SFML.

Six mois après la version 0.1.0 et trois mois après la version 0.2.0, la version 0.3.0 sort aujourd'hui, comme prévu.

Au menu des nouveautés, j'ai refait complètement l'interface en mode immédiat en (...)

Journal Info perso: ma candidature aux législatives

Posté par (page perso) . Licence CC by-sa
Tags :
9
13
jan.
2017

Bonsoir à tous,

Tout d'abord bonne année à tous et mes meilleurs vœux!

Je sais que ce n'est pas le lieu mais comme nous sommes vendredi…

Je vous annonce que je suis candidat aux législatives pour juin prochain dans la 1ère circonscription de Loire-Atlantique (Nantes-Nord, Orvault, Sautron).

J'ai participé dans pas mal d'associations quand j'étais un peu plus jeune et je suis toujours un adepte des logiciels libres. Donc je pourrai en parler mais aussi les défendre. Je défendrais également (...)

Journal Des conséquences d'un plâtre

30
13
jan.
2017

'lut,

Je me retrouve avec le bras droit dans le plâtre pour plusieurs semaines suite à la rencontre brutale avec un véhicule qui m'a grillé la priorité alors que j'étais en vélo. Allant au boulot depuis des années en vélo, je pourrais disserter des heures sur la dangerosité d'utiliser son vélo dans la jungle urbaine et les campagnes d'incitation à prendre le vélo dans ce contexte, mais ce n'est pas l'objet de ce post.
Je me retrouve coincé à la (...)

Journal BinMake : pour construire un fichier binaire décrit en texte

Posté par . Licence CC by-sa
21
12
jan.
2017

BinMake est un logiciel libre permettant de créer des fichiers binaires en décrivant par du texte leur contenu.
Il peut également être inclus dans du code C++ et être utilisé comme un flux.

Le texte décrivant le binaire à générer permet d'indiquer des nombres de bases décimale, hexadécimale, octale et binaire, de fournir du texte brute (sur une ligne). Il permet également de modifier l'endianness.
(Il devrait prochainement proposer des nombres flottants et du texte multi-lignes)

Version programme exécutable

La (...)

Journal Grumpy : un nouveau concurrent à pythran

Posté par . Licence CC by-sa
18
12
jan.
2017

Salut 'nal !

Il y a des gars chez google qui trouvent que python est trop mou au lieu d'utiliser l'une des dizaines de façon d'accélérer python, ils ont mis au point un transpiler source à source python vers go. Le principe est assez classique. On compile notre code python en go ensuite, on compile ce code go et on obtiens notre exécutable.

Ce n'est pas sans dommage :

  • grumpy est incompatible avec les modules C
  • grumpy n'est pas capable de faire (...)