Journal Résolution naïve d'un jeu de société

Posté par  . Licence CC By‑SA.
41
20
juil.
2015

Bonjour nal,
Aujourd'hui je vais te parler de résolution naïve d'un problème combinatoire, en explorant un arbre. Le problème vient d'un jeu de société, et la résolution se fera en Haskell, illustrant des notions intéressantes : Anamorphisme et Deforestation_(computer_science).

Explication du jeu

Le jeu du Ricochet Robots est un jeu de société constitué d'une grille de jeu, comportant des cases, avec des murs certains côtés, et certaines cases ayant un symbole d'une certaine couleur.

Quatre Robots (chacun d'une (…)

Journal Tame et OpenBSD

Posté par  (site web personnel) . Licence CC By‑SA.
67
20
juil.
2015

Juste un petit journal pour vous signaler un post intéressant de Theo de Raadt (leader d'OpenBSD) sur la liste "Tech".
Dans ce post il présente tame, un outil sur lequel il travaille depuis un certain temps et qui vise à réduire les droits d'un programme afin de diminuer la surface d'attaque.

Theo commence par évoquer très brièvement les alternatives et pourquoi, selon lui, elles ne conviennent pas.

  • Capsicum nécessite de réécrire profondément le programme qui sera protégé.
  • D'autres approches (…)

Journal Chroniques de l'automatisation : L'hotellerie

Posté par  . Licence CC By‑SA.
8
19
juil.
2015

Un petit journal bookmark pour rebondir sur le journal récent : http://www.lemonde.fr/pixels/article/2015/07/17/le-premier-hotel-gere-par-des-robots-ouvre-ses-portes-au-japon_4687360_4408996.html

Après le restaurant robotisé Chinois, un domaine de plus qui s'ouvre à la robotique avec comme perspective peut être la fin des femmes de ménages dans le rôle d'employées ? Bon on a déjà les robots tondeuses et apirateur, là on approche le cran du dessus. On peut gager que les roboticiens "Wallace" un peu fainéant vont être titillé par le défi du robot qui fait le lit :)

Journal SourceForge dans les choux

Posté par  . Licence CC By‑SA.
Étiquettes :
38
18
juil.
2015

Si vous hébergez votre code ou si vous téléchargez des logiciels libres sur SourceForge, vous avez pu constater que le site est mort depuis quelques jours. Une grosse panne, une attaque ? Mystère. En tout cas, en ayant marre des publicités pleines de virus, ayant lu récemment l'article sur les dérives de SourceForge sur https://linuxfr.org/news/sourceforge-de-pire-en-pire-usurpation-d-identite-du-projet-gimp , j'ai décidé de migrer vers une autre forge. J'avais essayé Gna! et Savannah il y a longtemps mais les bugs n'étaient pas corrigés (par exemple (…)

Journal Paperwork, it works!

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
18
17
juil.
2015

Bonsoir,

j'ai testé Paperwork.

D'abord, il à fallu l'installer (sur Debian), ce n'était pas très simple, mais c'est bien documenté.
https://github.com/jflesch/paperwork/blob/stable/doc/install.debian.markdown

Il semblerait qu'il y ait une autre méthode, plus bas dans la page.

Dans les logs d'erreur, quand je voyais qu'il manquait quelque chose, je regardais d'abord s'il existait un paquet, et sinon j'essayais avec pip install.

  • dateutil
  • pytz
  • tornado
  • ???

De mémoire, j'ai aussi installé libfreetype6-dev, pour corriger l'erreur:

    freetype: no  [The C/C++ header for freetype2 (ft2build.h)
(…)

Journal Vacances & Réseaux hostiles

Posté par  (Mastodon) . Licence CC By‑SA.
45
17
juil.
2015

Bonjour Nal,

Cette période propice à l'oisiveté est également parfois synonyme de déplacements physiques vers des contrées ensoleillées. Et comme tu es prévoyant, cher Nal, tu as probablement en stock un ou deux VPN plus ou moins communautaires, afin de pallier à l'absence de sécurité des points réseaux rencontrés, et de préserver ta vie privée. Combinaison de photos estivales personnelles et de réseaux inconnus, il n'en fallait pas plus pour que tu t'équipes. Cependant, par défaut ce n'est pas toujours (…)

Journal La trahison de qui ?

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
27
17
juil.
2015

Un site Allemand fait face à des accusations de trahison, pour avoir publié des documents internes qui montrent l'extension de l'espionnage par les services allemands de la population locale.

On se demande bien qui trahi qui. Mais j'ai l'impression que cela devient une habitude en Occident… :(

https://www.laquadrature.net/fr/surveillance-soutenons-netzpolitik-contre-les-pressions-du-gouvernement-allemand

Journal [ANN] Channel IRC Sur le Domain Driven Design #dddfr

Posté par  . Licence CC By‑SA.
Étiquettes :
3
16
juil.
2015

Bonjour

un petit journal pour annoncer la création d'un canal irc #dddfr sur freenode.org pour parler exclusivement de Domain Driven Design (Conception pilotée par le Domaine en bon français), du CQRS (Command Query Responsability Segragation), Event Sourcing, Event Store etc … Mais aussi d'architectures ( Clean , Hexagonales, Layer ) et aussi des solutions qui existent pour les implémenter quelque soit vos langages de programmations.

Aucun espace francophone n'existait pour venir échanger du sujet, donc voilà, c'est choses (…)

Journal 10 Millions d'€uros pour une suite office en ligne et libre

Posté par  (Mastodon) . Licence CC By‑SA.
46
15
juil.
2015

Cher Nal, un petit mot pour signaler qu'un consortium dirigé par Linagora vient de se voir attribuer la somme de 10 Millions d'euros par le gouvernement afin de développer une suite bureautique de type Office en ligne. Xwiki & Nexedi sont aussi de la partie.

Espérons qu'ils développent une Web User Interface à LibreOffice, dans un esprit pragmatique de ré-utilisation, d'économie, d'amélioration et de partage (et non pas un "nouveau" logiciel …)

Voilà, c'est tout, vous pouvez retourner à la (…)

Journal la Cour Suprême déboute Google sur l'utilisation des API Java

Posté par  . Licence CC By‑SA.
Étiquettes :
42
15
juil.
2015

Je ne crois pas avoir vu passer une news sur le sujet.

Acte 1 / 2005-2007
Google continue le développement d'android racheté quelques temps auparavant. Lors du lancement du produit Google indique qu'Android utilise des éléments directement tiré de la technologie JAVA et du SDK de Sun. Sun n'y trouve rien à redire et au contrainte félicite Google via la voix de son PDG. Google et Sun discutent pour trouver un accord d'utilisation mais finalement cela n'aboutit à rien.

Acte (…)

Journal Parlons XMPP - épisode 4 - les discussions de groupes

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
29
14
juil.
2015

(pour lire les épisodes précédents, suivez l'étiquette correspondante)

Dans le milieu du développement logiciel, et surtout dans le logiciel libre, les discussions de groupes sont très populaires, le plus souvent via IRC (Internet Relay Chat).
Ce vénérable protocole fait ce qu'on lui demande, et XMPP s'en est fortement inspiré. Voyons ça de plus près.

Les discussions de groupes utilisées actuellement sont appelées MUC pour « Multi-User Chat » et sont définies par la XEP-0045. Cette dernière standardise et étend la solution (…)

Journal Les avocats à la poubelle

26
13
juil.
2015

Combien serons-nous dans 20 ou 30 ans à faire encore partie des "heureux" privilégiés qui disposent d'un travail comme source de revenus ? Quels sont ceux d'entre nous qui seront en compétition avec des machines ? On sait déjà que Uber réinvestit tout les profits qu'elle fait dans l'intelligence artificielle, avec pour objectif de remplacer les véhicules avec chauffeurs par des voitures autonomes sans chauffeur. J'imagine que les routiers et les conducteurs de train ne seront pas longs a suivre. Et voilà (…)

Journal Amour et logiciel libre.

Posté par  . Licence CC By‑SA.
Étiquettes :
13
13
juil.
2015

DISCLAIMER
Un nourjal du vendredi posté un lundi. Joie et bonheur les amis !

Encore une fois, je vais faire de la psycho-socio de comptoir, à l'image de quelques unes de mes logorrhées ici. Et il est évident que tout cela a été théorisé, disséqué, analysé par des tas d'autres gens, si qualifiés pour en parler. Je n'ai aucune légitimité là dedans, si ce n'est celle de quelqu'un qui vit et pense l'amour, le sexe, la vie de manière différente (…)

Journal Libellule n°76 - Juillet 2015 (Livret d’info libre)

2
13
juil.
2015

Que va-t-il se passer pendant l’été pour la communauté de Libre Languedocienne ? Le mieux pour le savoir, c’est de participer à cette journée entièrement dédiée aux logiciels libres. En commençant par la permanence Emmabuntüs sur la communauté Emmaüs, puis en nous rejoignant au traditionnel pique-nique du libre. Vous y apprendrez plusieurs grands projets de Montpel’libre, qui vous seront proposés à la rentrée et qui sont :

  • la finalisation du partenariat entre le Club de la Presse, Wikimédia et bien sûr (…)

Journal Imprimer ses cartes IGN

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
26
12
juil.
2015

Ma chère et tendre et moi-même sommes amateurs de courses en montagnes. En tout genres. Et en tous lieux, ce qui suppose un fond de cartes important. Certes il est possible d'en emprunter à la bibliothèque de notre section du CAF mais comme nous disposons d'une imprimante laser couleur nous nous contentons parfois de capturer la zone qui va bien sur Internet pour l'imprimer en A4.

Tout d'abord pour une course en montagne il est exclu d'utiliser autre chose qu'une (…)