chimrod a écrit 1073 commentaires

Tu as aussi raté les cours de français on dirait.

Je suis parfaitement d'accord avec toi, l'apport des langage fonctionnels touche surtout à la garantie qu'un code qui compile sera un code qui fonctionne (sauf erreur de conception).

• Garantie que la donnée correspond au format attendu
• Garantie que la requête sur la base de données correspond au schéma déclaré etc…

Mais il reste encore des points sur lesquels ces langages sont à la traîne (pas du point de vue technique, mais dans les librairie existantes). Surtout dans le domaine du web. Des choses auxquelles je pense :

• La gestion des web service : à ma connaissance, OCaml n'a pas de bindings pour créer un client WS à partir d'un WSDL et garantir que les données transmises sont conformes.

• La gestion du XML : j'aimerai beaucoup pouvoir garantir qu'une transformation XSL appliquée sur un schéma XSD d'entré me produit un XML conforme à un XSD de sortie. (quel que soit le xml bien sûr)

Pourtant, c'est techniquement possible. Mais ces langages ne sont pas encore assez présents dans le monde du dev web. Quand tu as quelqu'un qui te parle SOA, JBoss, ServiceMix tu as beau savoir que ça n'est que ça n'est qu'une technologie avec ses limites, tu ne pas proposer quelquechose d'équivalent en face.

Mouais, pas convaincu.

Ce qui permet surtout de progresser, c'est de comprendre la théorie. Le langage, c'est un outil comme un autre. Même chose pour l'appareil photo, faire des tâches lumineuses en forme de cœur se fait de la même manière avec un jetable ou un reflex, à condition de comprendre la technique.

On ne progresse pas en apprenant à écrire xor ax, ax plutôt que mov ax, 0 mais je reconnais que travailler au corps le principe des registres, de l'adressage (+indexé (+indirect)) peut aider à assimiler des notions qui peuvent sembler abstraite à quelqu'un qui n'a fait que lire un livre sur le fonctionnement du processeur. Pour autant, en rester à pratiquer du code, sans se préoccuper de la théorie qui est derrière, n'a rien de formateur…

En me réinscrivant au cnam, j'ai eu besoin de me reprendre une calculatrice, et arrivé devant le rayon, grosse hésitation devant les modèles. J'ai pris une TI 36X pro, principalement pour le prix, mais je ne regrette pas l'achat finalement.

C'est une calculatrice non programmable, non graphique; mais qui fait du calcul naturel (dans une certaine limite quand même) : par exemple (42/8)² donne comme résultat 441/16 et non 27.56… De même, 36*pi/3 va donner 12pi.

Elle est capable de convertir les unités américaines vers le SI (voir le lien donné ci-dessus), et en bonus, elle possède des cellule solaire en plus de la pile (mais la pile n'est pas facile d'accès et la changer nécessite de démonter la calculette).

Pour la lisibilité native, je préfère le ReStructuredText au markdown. Son problème est qu'il manque de d'outils pour le prendre en charge (en dehors de python et pandoc, c'est le vide).

J'arrive à me connecter à ton sondage. J'ai par contre une erreur 403 sur ta page principale (donc le site est trouvé !)

Quand je faisais mes tests d'auto-hébergement, je passais par anonymouse pour vérifier mon site http, ça permet de naviguer sur le site depuis une ip externe.

La vidéo n'est pas pratique à consulter, mais ton commentaire m'a donné envie de comprendre la raison du changement.

J'ai trouvé un article comparant les différentes solutions proposées et celles-retenues.

Je ne pensais pas que le choix d'une palette était aussi travaillée. Mais l'usage de matplotlib dépasse le simple rendu de résultats d'activités…

Merci pour les explications.

Le sentiment que j'ai eu en l'essayant est que la documentation disponible va très vite dans le très technique, et ne présente pas un les cas d'utilisations à partir de cas d'usages simples.

J'y vois l'avantage qu'il s'intègre dans une configuration existante sans avoir à tout changer dans le système.

Principalement la conf proposée dans debian (je l'utilise depuis quelques temps pour isoler iceweasel et thunderbird)

$ cat /etc/firejail/disable-common.inc    
blacklist ${HOME}/.adobe
blacklist ${HOME}/.macromedia
blacklist ${HOME}/.mozilla
blacklist ${HOME}/.icedove
blacklist ${HOME}/.thunderbird
blacklist ${HOME}/.config/midori
blacklist ${HOME}/.config/opera
blacklist ${HOME}/.config/chromium
blacklist ${HOME}/.config/google-chrome
blacklist ${HOME}/.filezilla

Affichage des règles appliquées à iceweasel :

$ firejail --seccomp.print=1497   
SECCOMP Filter:
  VALIDATE_ARCHITECTURE
  EXAMINE_SYSCAL
  BLACKLIST 165 mount
  BLACKLIST 166 umount2
  BLACKLIST 101 ptrace
  BLACKLIST 246 kexec_load
  BLACKLIST 304 open_by_handle_at
  BLACKLIST 175 init_module
  BLACKLIST 313 finit_module
  BLACKLIST 176 delete_module
  BLACKLIST 172 iopl
  BLACKLIST 173 ioperm
  BLACKLIST 167 swapon
  BLACKLIST 168 swapoff
  BLACKLIST 103 syslog
  BLACKLIST 310 process_vm_readv
  BLACKLIST 311 process_vm_writev
  BLACKLIST 133 mknod
  BLACKLIST 139 sysfs
  BLACKLIST 156 _sysctl
  BLACKLIST 159 adjtimex
  BLACKLIST 305 clock_adjtime
  BLACKLIST 212 lookup_dcookie
  BLACKLIST 298 perf_event_open
  BLACKLIST 300 fanotify_init
  BLACKLIST 312 kcmp
  RETURN_ALLOW

Le problème de firejail est qu'il fonctionne par liste noire (si j'ai bien compris), or dans le cadre de la sécurité, il est préférable d'autoriser plutôt que d'interdire.

En même temps, j'imagine mal comment préparer une configuration qui s'adapterait à l'ensemble des cas d'utilisation, alors que le configuration par défaut fourni un socle de sécurité minimal déjà convenable (blocage des accès aux répertoires .ssh etc).

C'est également un langage que j'aime beaucoup, autant par son expressivité que sa rigueur. Malheureusement, je n'ai pas la possibilité de l'utiliser au quotidien, et je crois que je n'aurai pas la possibilité de l'utiliser au travail. Personne ne connais, sauf des: « ah oui j'en ai fait un peu en école d'ingé », et je ne peux pas non plus me permettre d'écrire du code que je serai le seul à maintenir…

C'est dommage, mais c'est la vie. J'espère que le tournant viendra un jour !

Je suppose que ta sortie est donnée par iftop.

Si c'est le cas, ton serveur ne répond rien aux requêtes entrantes… (0B en sortie) J'interprète plutôt ça comme un tentative externe d'envoyer des données sur le port 514, que ton pc ignore silencieusement…

Je ne comprend pas le problème comme toi : On considère que la voiture à roulé à l'aller, et maintenant il est temps de faire le retour. À quelle vitesse va-t-elle devoir rouler, pour que, sur la durée totale du trajet, sa moyenne soit de 200km/h ?

Une idée pour empêcher ça serait de ne pas afficher le lien du site perso pour les messages postés le même jour que la création du compte…

De mon côté j'ai apprécié d'y jouer,

l'aventure est plutôt gentille (on ne deviendra pas un tueur qui ravage tout un village) et (assez) linaire, mais il y a beaucoup à explorer. Parfois trop, le jeu aime bien nous pousser à faire des aller/retours entre deux points (parfois entre les deux extrémités de la cartes), ce qui peut finir par être lassant…

Il y a quelques limitations : l'équipement déjà évoqué qui n'est pas très réaliste, et il possible de truquer un combat en sauvegardant après avoir rompu, de même la gestion des déplacement n'est pas optimale pour un écran tactile (on aimerai cliquer sur la carte et voir le personnage s'y rendre tout seul)

Le problème avec ces jeux, c'est qu'une fois le jeu terminé, l'histoire connu, on perd un peu à le recommencer…

Qu'est ce que je pourrais avoir besoin de configurer ?

Plein de chose !

• la liste des clefs ssh autorisées (un utilisateur peut accéder au serveur sans être autorisé à se connecter au serveur git)
• quels sont ceux qui peuvent commiter pour chaque projet
• si le projet doit apparaître sur le site en ligne
• le nom du projet…

Je suis un peu surpris : si je comprends bien ton commentaire, avec une config très basique il n'y a pas moyen d'avoir accès aux fichiers, un peu à la manière d'un serveur sur lequel on uploade des fichiers en ftp via un compte restreint mais que n'importe qui peut aller consulter en http ?

Sur une installation minimale, tu auras pour seul accès le compte ssh. Si tu veux un accès public, il te faut le serveur web, qui peut facilement s'installer, mais n'est pas obligatoire…

Pour un dépôt personnel, je suppose que tu ne cherches pas à avoir toute la partie « remontée de bug », gestion des « pull requests »… si c'est le cas c'est plus simple.

En fait, le minimum, c'est un serveur ssh et un outil pour gérer la configuration des projets git. gitolite fait bien l'affaire, tu trouveras pas mal de doc pour expliquer comment l'installer.

Si tu veux tu peux en rester là ; tu peux utiliser gitg pour afficher le projet et voir l'historique, ou n'importe quel autre outil.

Par contre, ça nécessite un accès ssh pour consulter le dépôt. C'est pourquoi on propose souvent un accès web qui permet d'y accéder en lecture seule, (et puisque l'on a un navigateur, autant y ajouter une consultation de l'historique etc). Pour ça je recommande cgit qui est plus joli que gitweb, et dont la configuration peut être chargée depuis la conf gitolite.

Ensuite si tu en veux encore davantage, oriente toi vers gitlab qui a déjà été cité plus haut.

Tu aussi LBCAlerte qui peut générer un flux rss à partir d'une recherche.

En me renseignant sur un jeu apparu sur fdroid, je suis tombé sur le projet godot qui est un framework orienté jeu pour ios, android, linux… (C'est complètement libre).

Par contre ça nécessite d'apprendre un nouveau langage (gdscript, mais pas trop compliqué à prendre en main), et je ne sais pas trop ce qu'ils couvrent en terme de fonctionnalités.

Ils ont fait une présentation aux RMLL cette année dons je suppose que certains ici doivent connaître ?

L'article n'en dit pas beaucoup (contenu protégé), mais on en sait assez pour savoir qu'il s'agit d'une version « limit » du poker, c'est à dire que le montant des relances n'est pas libres. Conséquence, le pot devient rapidement plus important que le montant des mises à jouer (par rapport au « no limit » où l'on peut contrôler le montant des mises).

Ça retire de l'analyse tout l'aspect psychologie humaine du jeu, et ça devient juste une question de calcul d'espérance mathématique. (Un peu compliqué certes, mais pas complexe).

C'était une invitation à relire ton message et corriger les fautes :

cela se passera t'il coe

connection

je peux envoyé

qu'il exécuté

Le wiki de mozilla contient une page sur la configuration ssl à appliquer :

• hsts
• protocoles de chiffrement à déclarer (ciphersuite)
• configuration pour les serveurs web (et pas uniquement apache)

C'est une bonne référence.

Il ne faut pas réduire le fonctionnel à des types récursifs…

C'est aussi une plongée dans la théorie des types et les concepts mathématiques qui peuvent être peuvent être mis en application par ailleurs. Si ton but est comprendre ses concepts, je te recommande chaudement la lecture du typeclassopedia qui devrait te donner une vision beaucoup plus avancée du langage.

Merci pour le journal,

J'en profite pour faire part d'un problème rencontré derrière un serveur proxy. s_client ne semble pas respecter les variables d'environnement HTTP_PROXY et HTTPS_PROXY. J'ai pu contourner le problème en ouvrant la connexion vers le serveur à travers le proxy, puis laisser la main à s_client pour tester la validité, mais ça n'est pas vraiment très simple..

Est-ce qu'il me manque quelque chose ou bien bien est-ce un manque dans l'appli ?

Les plugins semblent être compilés à partir du code ml. Ils sont chargés via le module Dynlink ?

Le système de plugin d'OCaml n'est pas très pratique à utiliser puisqu'il faut que ceux-ci soient compilés avec la même version du compilateur que le code qui va les charger. Ou bien ça oblige à disposer de la liste complète qui sera diffusée en même temps que le moteur, ou bien de disposer de la chaîne de compilation pour pouvoir charger un module…

Tu n'as jamais été limité à cause de ça ?