Benoît Laurent a écrit 155 commentaires

Ça faisait longtemps que je voulais essayer OCaml, ça m'en a donné la possibilité et m'a forcé à maintenir mon l’intérêt sur plusieurs semaines. J'espère avoir passé un premier cap où il me serra plus facile de m'y remettre.

J'ai aimé l'environnement et ainsi pouvoir continuer sur plusieurs machines sans installer quoi que ce soit. Les supports sont bien.

On sent un certain style universitaire dans les choix d'exercice et d'énoncé, j'ai d'ailleurs trouvé ceux-ci plusieurs fois incomplet ou difficilement compréhensible, les messages laissés dans les forums mon parfois débloqué, merci à ceux qui ont en laissé.

Après 3 ou 4 semaines j'ai réduit ma participation par manque de temps/fatigue j'ai alors joué sur la notation et n'ai pas cherché à tout finir.

Note que c'était le premier MOOC auquel je participais.

• Un thread sur reddit qui m'a fournis beaucoup de nom d'outils : r/ocaml - Current best practices for building OCaml projects?
• un deuxième, c'est semble-t'il une question récurrente dans la communauté : r/ocaml - What's missing in the ecosystem?
• Learn OCaml, la nouvelle version de try OCaml en démo.

Un truc dont je suis bien conscient et, je pense, tout le monde dans la communauté OCaml, c'est que ce n'est pas vraiment agréable comme expérience pour les débutants.

Oui ça n'est pas facile, mais ça ne me choque pas pour un langage de cet age.

Par contre les langages les plus récents mettent la barre assez haut maintenant, notamment Rust avec Cargo.

Opam est une réussite et à l'air de faire l'unanimité. Qu'est-ce qui empêcherait de reproduire cet effort pour y ajouter l'outil de build ? Le support financier de JaneStreet ? Un consensus technique ?

Merci à tous pour vos retours d'expériences et vos astuces.

Extrait de la page wikipedia :

Le nom dérive de Framanet (pour FRAnçais et MAthématiques en intraNET), projet éducatif interdisciplinaire

Framasoft - Historique du réseau

Pour android j'utilise KeePassDroid un avis par rapport à Keepass2Android pour ceux qui connaîtraient les deux?

Je viens de croiser cet article, je le met ici pour mémoire.

Loadbalancer hautement disponible avec HAProxy et Keepalived

J'utilise Bozon que je trouve bien pratique. PHP 5.2 min, pas de base de donnée. Je ne sais pas comment il se comporte sans Javascript par contre, il en utilise quand même pas mal.

J'ai lu ça quelque pars, peut être sur Reddit, c'est des clins d'oeil à d'autre OS ou noyaux.

Je n'ai jamais mis en place ça moi même, mais en général, HAProxy est utilisé avec Keepalived et comme tu le dis une adresse IP virtuelle.

C'est donc Keepalived qui bascule le serveur vivant sur la VIP (grâce au protocol VRRP je crois.)

Ça te donne quelques mots clés supplémentaires pour chercher de la doc.

J'utilise aussi obnam, il marche très bien quand les fichiers sont plutôt de taille moyenne mais quand on passe à des cas où on a aussi bien de très nombreux petits fichiers et aussi des très gros (images de VM, vidéos) il montre ses limites. L'auteur travaille sur un nouveau format de stockage green-albatross mais ça reste expérimental.

Pour un backup complet d'un /home sans se poser de question, je teste Borg une ré-écriture d'attic. qui est très prometteur mais finalement assez jeune :

• la doc : http://borgbackup.readthedocs.io/en/stable/
• le github : https://github.com/borgbackup/borg

Merci pour cette dépêche.

Quelques ratés dans la traduction :

• "heureux d'announcer la sortie "
• "n’importe que noyau Jupyter"

Il y a aussi http://obnam.org/

Dans mon arborescence de musique, j'ai un répertoire avec des fichiers m3u très bien compris par mpd (comme playlist).

Et avec mpd on a l’embarra du choix côté client, en ligne de commande : mpc, ncmpcpp, etc.

Exemple de fichier m3u:

$ cat pbb.m3u 
#EXTM3U
#EXTINF:Pedro's Broadcasting Basement
http://pbb.laurentgarnier.com:8000/pbb128

Pareil, ça m'a fait penser à ça tout de suite.

Ils avaient fait une présentation à Pas Sage En Seine, on peut retrouver la vidéo là http://www.pseshsf.org/fr/archives-et-videos/

Édit: Oups, j'avais pas vu que le lien youtube c'est ça …

Ils redéveloppent aussi un éditeur de texte https://github.com/redox-os/sodium … "Sodium: Vim 2.0" !

Dans le journal ou ici, personne n'a encore parlé de Mithril

L'API est petite, il ne force pas le choix d'une variante de JS ou d'un système de build et semble proposer tout le nécessaire.

Voir aussi cette présentation avec ses exemples : https://github.com/nordfjord/mithrilexamples/

Vous l'avez essayé ? Qu'en pensez-vous ?

Dans sa dernière version, GCompris est en Qt Quick et donc les activités sont développées en Javascript. Je connais pas trop cette techno, désolé si ce n'est pas tout à fait exact.

Voir Documentation of the Qt Quick Version (Under development)

Je me garde ça sous le coude, j'ai un très bon souvenir de la série de conférence de Gérard Berry qui s’appelait "Pourquoi et comment le monde devient numérique ?" … en 2007 !

Voilà, elle est sortie à la date prévue : Tails 2.0 is out

Bonjour,

SPIP est un gestionnaire de contenus (CMS) qui a le souci du respect de la vie privée de ses utilisateurs

Pourriez-vous apporter plus de précisions ?

Je ne sais pas à quoi il est fait allusion en particulier, je ne pourrai pas en dire plus.

et d'une économie de ressources pour être utilisable partout.

Pourriez-vous apporter plus de précisions ?
Ce que je vois apres avoir cliqué sur "SPIP Demo" sur le site officiel, c'est un truc au design vraiment pauvre, limite moche, réalisable par n'importe quelle Michue en 10 minutes sous notepad pour afficher du texte.
Donnez moi envie d'aller plus loin.

Là par contre je peux détailler, car j'utilise SPIP depuis bien longtemps (2002) comme d'autre au dessus

La démo, c'est le style de base, il est très neutre pour s'adapter à de nombreux cas d'utilisation. C'est un point de départ, en général il n'est pas utilisé tel quel.

Il faut rappeler que SPIP est fait à l'origine pour permettre à de nombreuses personnes de rédiger des journaux ou magasines en ligne. Il sait maintenant faire d'autre chose, mais il garde de sont but initial une interface d’administration, "l'espace privé", très bien faite pour dialoguer entre auteurs.

J'ai par exemple participé à http://montbouge.info/, aujourd'hui en "sommeil". Plus de trente auteurs y ont écrit des articles. Et en général une dizaine en même temps pour proposer, relire, etc.

Lancé par les gens de rezo.net, dont le webmaster du http://www.monde-diplomatique.fr/ (qui est toujours sous SPIP), SPIP c'est aussi une certaine idée du monde.

C'est pourquoi on trouve sous SPIP des sites comme RSF : https://fr.rsf.org/, ou des syndicats http://www.cgt.fr/ , http://www.force-ouvriere.fr/

Pour plus de détail sur l'histoire, je vous renvois à ce que j'avais pu écrire là http://montbouge.info/spip.php?article522

Pour le côté "économie de ressources" il y a cette présentation déjà bien vieille : http://2010.rmll.info/SPIP-systeme-de-publication-ecologique.html

C'est super d'avoir les flux RSS, mais je trouve dommage que les annonces n'ai plus aucun formatage dans le flux.

Je confirme, j'ai ce genre de machine et je regrette d'avoir choisi 64bits. Sinon Debian Jessie tourne parfaitement avec un WM léger (et pratique !) comme i3 :)

En pratique, quelles sont les limitations par rapport à une version "standard" ?

En terme de syntaxe du langage, c'est un python 3.4 tout ce qu'il y a de plus normal.

C'est côté bibliothèque standard et encore plus les bibliothèques externes que c'est limité.

Les modules de la bibliothèque standard sont presque tous fournis indépendamment pour être embarqué seulement à la demande

• voir la doc officielle MicroPython libraries
• et celles disponibles sur le pypi : Index of Packages Matching 'micropython' ; si c'est écrit "Dummy" c'est que ce n'est pas développé.

À noter qu'il est possible de compiler micropython pour unix et qu'il y a un forum MicroPython Forum

P.S: J'ai retrouvé cette page Differences · micropython/micropython Wiki

Python pour l'embarqué existe : https://micropython.org/
Avec la carte pyboard ou http://wipy.io/

P.: Je suppose que tu voulais écrire "oublie" et pas "publie"

Je ne sais pas si c'est un clin d'œil au clippy de word !

Mais ça peut se configurer dans le kakrc:

• soit déactiver complètement set global autoinfo false
• soit changer le style, sont disponibles 'clippy', 'cat' et 'none' set global ui_options ncurses_assistant=none

P.S: Je ne peux pas tester tout de suite la syntaxe, mais ça doit être ça