chimrod a écrit 1101 commentaires

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 ?

Je ne sais pas quelle exigence est requise en M2 de management des arts, mais ton questionnaire ne vaut rien. Quelle représentativité a-t-il ; tu sélectionnes ton échantillon au petit bonheur la chance sur internet ?

Si tu veux réellement utiliser le questionnaire comme outil, je te conseille de commencer par une lecture de « L'enquête et ses méthodes : Le questionnaire » de François de Singly avant de faire n'importe quoi…

Bon, je ne suis pas expert C… le code va mieux avec les bon headers :

#include <stdio.h>
#include <stdbool.h>

main()
{
    if(1==true) /* A=B vrai */ {
        printf ("1 vaut true\n");
    }
    if(2==true) /* C=B vrai */ {
        printf ("2 vaut true\n");
    } else {
        printf ("oups\n");
    }
}

qui donne :

$ gcc test.c && ./a.out
1 vaut true
oups

Je ne vois pas le problème…

Tu compiles ton code avec quoi ?

#include <stdio.h>

main()
{
    if(1==true) /* A=B vrai */ {
        printf "1 vaut true";

    }
}

chez moi ça donne :

$ gcc test.c
test.c: In function ‘main’:
test.c:5:11: error: ‘true’ undeclared (first use in this function)
     if(1==true) /* A=B vrai */ {
           ^
test.c:5:11: note: each undeclared identifier is reported only once for each function it appears in

Par contre, tu peux tout à fait écrire ça :

    if(1) {
        printf ("1 vaut true");
    }

mais dans ce deuxième exemple, je ne fait pas appel à la notion d'égalité…

Comme souvent dans les langages, il y a une différence de comportement entre l'égalité stricte et l'égalité « floue ». Pourquoi pas.

Mais de là à proposer une relation d'égalité qui ne soit pas transitive, il y a une marge ! Pas besoin de faire du Haskell pour se rendre compte qu'il y a un problème de cohérence.

Si A = B et B = C, je peux m'attendre à ce que A = C. (Quel que soit le sens que tu donnes à ton opérateur d'égalité). Ben non, pas en PHP.

Genre avec ça ? (http://php.net/manual/en/types.comparisons.php)

php > if (true == 1) print "ok";
ok
php > if (1 != "-1") print "normal";
normal
php > if (true == "-1") print "??";
??

En bash, l'esperluette a une signification particulière (exécuter la commande en arrière plan).

Ajoute des guillemets pour empêcher l'interprétation de la chaîne par bash, ça devrait aller mieux :

$ echo toto & tata
toto
[1] 9780
-bash: tata : commande introuvable
[1]+  Fini                    echo toto

$ echo "toto & tata"
toto & tata

Attention !!!!!

Avant de commencer à supprimer les données, on peut faire moins sauvage… Généralement, la configuration est présente dans le fichier .config du répertoire utilisateur.

Peux-tu juste renommer ce dossier en backup_config :

mv .config backup_config

et essayer de te reconnecter ?

date +%s
1434724801

man date

Le 1er lecteur mp3 sorti sur le marché (1998) était équipé d'un port parallèle…

Je pense que l'on n'a pas idée de la vitesse à laquelle une technologie devient périmée, mais je suis sûr que dans 30ans il sera plus facile d'écouter Kind_of_blue sur un pressage d'origine (1959) que depuis un Ipod ou une clef mp3 que l'on qualifierai de générique aujourd'hui.

(et je ne parle même pas du protocole d'échange entre le pc et ladite clef qui est géré côté logiciel : MTP…)

Et tu vas utiliser les vieux gramophone (ou equivalent) avec la manivelle et tu adoreras les vieux craquement pourrit? Je passe sur la fragilite du support en soit.

Dans trente ans plus personne n'aura une oreille assez affinée pour évaluer la qualité du son !

Soyons serieux s'il te plait.

Ok, mon propos n'était pas de vanter la qualité du vinyle sur le numérique, mais de dire qu'il est à priori plus facile d'extraire du son depuis un disque vinyle que depuis la mémoire flash d'une clef mp3. Dans 30 ans, je pense qu'il sera aussi difficile de trouver une connexion usb1 pour brancher sa clef qu'un lecteur disquette aujourd'hui… Le format mp3 a beau être connu (et il ne risque pas disparaître on est d'accord), encore faut-il accéder au support.

Pour écouter un vinyle, il suffit d'une feuille de papier et d'une aiguille… (bon après je ne veux pas voir l'état du sillon mais là n'est pas la question ^^)

Tu fais comment avec ton mp3 ?

Tu construis combien de colons avec son kit ?

Parce que si ça te génère juste un colon et t'oblige ensuite à attendre que ta ville se développe en population pour en avoir un 2ème, ça n'est pas très rentable… autant attaquer les colonies adverses avec des mercenaires…

La navigation n'est pas du tout réaliste, on se dirige au joystick en pointant la direction, et le vaisseau fonce droit dans sa trajectoire…

J'ai entendu parler Kerbal Space Program en cherchant à comprendre de quoi parlait xkcd, mais n'ai jamais pris le temps de le tester. On reste quand même dans le jeu ou passe-t-on dans le monde des simulateurs ?

Autre problème pour moi, ma carte 3d ne semble plus compatible avec les dernières versions du jeu… et le seul binaire qui semble dispo de cette époque révolue est pour windows.

Je ne me vois sortir le compilateur ce soir… tant pis.

J'avais testé vega strike il y a bien longtemps, et le jeu m'avait donné l'impression d'être bien buggué. Peut-être faudrait-il le retester également.

J'ai découvert Pionneer en me renseignant un peu sur Oolite, il faudrait que je l'essaye, il m'a l'air intéressant, merci !

Tu confonds assembleur et langage machine !

Tu as des exemples de code sur la page de wikipédia

Tu trouveras à cette adresse l'ensemble de la doc concernant le format pdf.

Les specs font environ 1300 pages ; bonne lecture.

Plutôt que d'utiliser une configuration unique, pourquoi ne pas éclater la configuration en différents sous-modules ?

Ça permet d'avoir un repo git pour chaque configuration (par exemple vim, i3, bashrc) que l'on peut cloner sur une autre machine de manière indépendante. Je pense qu'il peut être intéressant de ne cloner la configuration que d'une seule application (entre le pc du bureau et le pc à la main par exemple), sans pour autant rapatrier l'ensemble de son home.

La repo général ne fait que référencer l'ensemble des différentes configuration.

En fait un module flash peut être vu comme une application compilée. Le fichier swf est un fichier binaire, lu par le plugin installé sur le navigateur.

Si l'équipe de développement a utilisé des fonctionnalités de flash présentes uniquement dans flash 20.0 (par exemple), tu ne pourras pas charger le module si ta version du flashplayer sur le pc est la version 18. Par contre les autres sites qui utilisent uniquement flash <= 18 pourront être chargés sans problème.

Cela est indépendant du serveur sur lequel le site est installé.

Par contre ça marche avec languageToolCheck

En fait je pensais à mettre en place un script qui testerai le mot de passe, en fonction :

• ou bien monterai un répertoire différent dans /home/${user} (via mount --bind)
• ou bien passerai un login différent au système.

Il y a du script à faire, mais ça permet déjà d'avoir un moyen d'intercepter la demande de connexion avant qu'elle ne soit transmise au système.

Il fut un temps où GDM avait des scripts à appliquer avant/après le login. Je ne sais pas si cela existe encore, mais les scripts se trouvaient dans :


/etc/gdm/PreLogin/Default
/etc/gdm/PostLogin/Default


Je m'en étais servi pour déchiffrer la partition home au moment du login de l'utilisateur. Cela doit également être disponible sur les autres outils de connexion…