chimrod a écrit 1105 commentaires

(À part bien sûr le |> de OCaml!)
A cela éveille ma curiosité, si j'ai 2 minutes je vais voir de quoi il en retourne?

Imaginons que tu ais trois fonctions :

1. print_line: string -> unit
2. read_file: file -> string
3. open_file: string -> file

Ces trois fonctions peuvent s'assembler pour afficher le contenu fichier.

Une première manière est de faire :

print_line( read_file ( open_file ("mon_fichier.txt") ) )

Or, |> est une fonction définie comme ça :

let (|>) x f = f x

C'est à dire qu'elle prend un type x, une fonction f, et en inverse l'application. Par exemple cela permet d'écrire :

"mon_fichier.txt" |> open_file

Bien sûr ça n'a pas beaucoup de sens dans l'exemple ci dessus, mais ça permet de réécrire le premier bloc de code de la manière suivante :

   open_file "mon_fichier.txt"
|> read_file
|> print_line

Et voilà :)

J'ai le même problème que toi : le gps met du temps à se synchroniser, et tant que ça n'est pas fait ne donne pas une précision fiable. Par contre, au bout de ±5mn, je n'ai plus de problème. Ça n'est pas gênant quant je pars de chez moi, mais quand je dois pars d'un lieu que je ne connais pas trop et dois chercher le chemin, je ne peux pas faire confiance au gps pendant les 5 premières minutes du trajet.

J'ai pris un dongle au hasard, je ne peux donc pas comparer par rapport à d'autres. C'est le modèle nd100 de globalsat.

L'avantage est de pouvoir installer navit sur mon pc de bureau, et regarder avant de partir le trajet que va me présenter le gps une fois dans la voiture. Je synchronise ensuite les favoris avec unison avant le départ.

Ce qu'il manque surtout pour moi, c'est surtout les informations du traffic en temps réel. Je crois que ça passe par la radio, et je ne pense pas qu'il existe de solution déconnectée capable de les intégrer. Parfois je regrette aussi de ne pas avoir une touche rapide pour ajouter un mémo durant la navigation ; quand la carte openstreetmap n'est pas à jour, j'aimerai bien pouvoir me mettre un petit mot pour y revenir par la suite et corriger, mais c'est secondaire…

Merci pour ton retour. Pour ma part j'ai eu l'occasion de voir le film sur le site de mediapart, et l'ai trouvé très intéressant (depuis le temps que j'avais envie d'aller faire un tour dans un hackerspace, je pense que cela va me pousser à prendre le temps de le faire).

Concernant le film proprement dit, je pense qu'il n'apporte pas grand chose au public qui vient déjà sur linuxfr (on prêche des convaincus), mais a l'avantage de donner un discours clair sur la question de la vie privée. Comme il est dit dans le film, ça n'est plus aujourd'hui une vision paranoïaque de quelques technophiles, mais un discours qui sensibilise de plus en plus de personnes.

Après avoir vu le reportage, je me suis demandé quel nouveau chapitre nous pourrions ajouter au livre « l'éthique des hackers », pour présenter ce qu'est devenu le hacking aujourd'hui, et je pense qu'il est désormais clair que le hacking a débordé d'un public d'informaticien pour toucher aujourd'hui une part de la population qui n'était pas visée à la base.

Merci en tout cas pour ton reportage, il faut donner plus de visibilité à ces mouvements :)

Je croyais que dwm était basé sur le code de wmii ? (puis awesome, i3…) Peut-être me suis-je trompé.

genre Meego, ou quel que soit le nom que ce projet peut porter maintenant.

Tu aurais pu remonter à la source : Maemo.

Cela dit, je suis impressionné par la vivacité de certains projets, qui semblent avoir été écrits pour être forkés, xmms, Wmii… Si ça continu, d'ici quelques années on pourra se faire de jolies cartes pour en tracer l'historique !

J'utilise un pc portable avec navit. Le pc a suffisamment d'autonomie pour me tenir un trajet, le récepteur gps est un simple dongle usb comme on peut en trouver plein sur ebay.

J'ai détaillé la solution sur mon blog : un gps libre avec navit, et c'est ce que j'utilise encore aujourd'hui.

Pour ma part, je trouve que les changements induits (librairies sorties du projet principal) justifieraient un changement de version majeure. Un programme écrit pour OCaml 4.01 ne compilera pas directement avec OCaml 4.02, sans changements dans le projet ; non pas à cause de changements de syntaxe, qui, comme tu le fais remarquer est très stable, mais à cause de l'environnement qui évolue (dépendance vers camlp4 qui ne sera plus disponible par défaut).

En même temps, j'ai l'impression que OCaml 4.XX marque une rupture dans le langage. Historiquement, un bon langage était un langage avec une bonne syntaxe, qui évitait au développeur de passer du temps sur des choses simples. Aujourd'hui ça n'est plus suffisant : un bon langage doit « être fourni avec des piles » pour reprendre le slogan de python.

Pendant longtemps, c'est ce qui a manqué à OCaml. Deux bibliothèques concurrentes ont essayées de combler ce manque, batteries et core, et il semble qu'aujourd'hui core soit en train de gagner la bataille. ( + Opam vient également changer la donne dans la diffusion des bibliothèques ).

Pour moi, cela représente davantage que les changements de syntaxes. Un langage ne peut pas être résumé à sa grammaire s'il veut se diffuser. OCaml à la chance d'avoir une bonne syntaxe, élégante et très puissante. S'il n'a pas percé jusqu'alors, c'est pour d'autres raisons, et je pense que cette version 4.XX est en train de marquer ces changements.

C'est bien beau de pouvoir coder des arbres balancés, mais au quotidien, on a plus souvent besoin d'un parseur XML que d'un splay tree ! Je pense que c'est sur ce point que l'on va continuer à voir le langage évoluer et se diffuser.

Si on se rend compte que l'on va être battu, il faut faire une diversion, c'est-à-dire qu'on se met tout d'un coup à parler de tout autre chose comme si cela faisait partie du sujet débattu et était un argument contre l'adversaire. Cela se fait avec discrétion si la diversion a quelque rapport avec le thème discuté ; avec imprudence si elle ne concerne que l'adversaire et n'a rien à voir avec l'objet du débat.

La_Dialectique_éristique, ou autrement dit : don't feed the troll !

je moinse ton commentaire, car je ne trouve pas anormal de devoir payer pour bénéficier d'une source d'information. Certains choisissent de vivre grâce à la publicité (que je filtre sur internet), d'autres choisissent de vivre en demandant au lecteur de payer. La deuxième option à le mérite d'être claire et honnête.

Je comprend que ça soit désagréable de se retrouver face à une page nous demandant de payer, mais je préfère ça à une page liée à une régie publicitaire. Mediapart a choisi de ne pas être lié à un fournisseur de publicité (akiamaid, google, ou autre) en échange d'une contribution (9€ par mois), je pense que ça se vaut.

C'est possible avec n'importe quel système de chiffrage et losetup :

« losetup -o » permet de déclarer un offset sur le point de montage, donc tu peux cacher une partition dans un fichier (pour ne pas écraser les headers), une autre partition etc…

Si tu utilise cryptsetup pour chiffrer les données, ne pas utiliser le format lucks, car il utilise un format identifiable pour stocker le trousseau de clefs.

Bien vu ! J'avais commencé à écrire :

internet est virtuel, pas réel. On peut interagir avec lui, mais il n'a pas d'existence réelle.

Puis avais retiré le « réel » pour ne pas faire écrire une tautologie. J'aurais du me relire davantage…

Bon, on peut continuer encore assez loin comme ça :)

Je suis d'accord avec toi pour dire que ce que l'on fait sur internet n'est pas le fruit de notre imagination. Comme je l'ai dit plus haut, notre interaction n'est pas imaginaire.

Par contre, je pense qu'une idée n'exclue pas la possibilité d'action. Il y a des idées qui transforment le monde (entendre : qui changent la manière dont on perçoit le monde), et ça rejoins la citation de K Dick : la réalité est subjective.

Et pour moi c'est dans cette catégorie que je classe internet, ça n'est pas palpable, ça n'a pas de texture, tu ne peux pas me montrer internet. Pourtant, nous sommes tous d'accord pour dire qu'internet existe et que les actions que l'on y réalise sont réelles. Et c'est pour ça que je le qualifie de virtuel. Ça ne lui donne pas moins de valeur, je ne nie pas le temps que j'y passe, au contraire !

Pourtant, je peux en prendre un bout

Ah bon comment fais-tu ? Tu peux en extraire de l'information, la modifier, et l'enrichir. Pour autant cette information que tu possèdes n'est pas internet.

Internet t'offre un support pour accéder à l'information, tout comme un quotidien. Les pages de ton journal sont réelles, l'encre qui est dessus l'est aussi. Mais est-ce que l'idée présente dans l'article que tu lis est réelle ?

De la même manière, mon commentaire est fait de mots, et permet d'interagir avec toi (tu peux être d'accord, t'opposer, me donner des arguments qui me feront charger d'avis), mais ce commentaire n'a pas d'existence réelle. Il existe certes, mais virtuellement, à travers la représentation que tu en as.

Cela n'enlève rien à la force d'internet, mais il n'est pas réel.

Je me plaçais au niveau du concept, pas au niveau de la facilité à communiquer.

Pour moi, tu peux interagir avec internet tout comme tu peux interagir avec un miroir : si tu braques une lampe torche dessus, tu verras la lumière éclairer ton plafond. Pour autant, l'image présente sur le miroir n'est pas réelle pour autant.

Elle n'est pas imaginaire (elle existe objectivement), mais on ne peut pas parler de réalité pour autant.

Après, on peut discuter pour se demander quelle définition on peut donner à « réalité », mais je pense avoir été trop marqué par Pirsig et Mage : l'Ascension pour avoir une définition objective…

Pas d'accord, internet est virtuel, pas réel. On peut interagir avec lui, mais il n'a pas d'existence.

(Pour ce qui est de la définition du réel, je laisse le soin à ceux qui se posent la question d'y réfléchir, moi je vais terminer ma digestion.)

Tor ne protège que la connexion réseau, pas la transaction financière.

Pour le compte bancaire, tu peux utiliser les bitcoins, une banque pas très regardante à l'étranger etc. Il y a plein de possibilités de payer sans être pisté.

J'avais cru comprendre que dans ton milieu, quand un type était un peu trop ouvert à ton goût, tu lui collais un type fantôme pour le surveiller et le restreindre dans ses possibilités ?

Tu trouves que c'est une attitude sympathique ça ? ;)

Je joue habituellement à « sokoban garden » sur mon téléphone (donc du tactile). Le jeu a inversé les contrôles : on choisi la pièce que l'on veut déplacer et la déplaçons via glisser/poser. le personnage se déplace ensuite automatiquement pour réaliser l'action demandée. C'est un confort dans le sens où cela nous évite de faire toutes les opérations de déplacement.

Je n'ai pas retrouvé cette possibilité dans la version html5, mais c'est peut être prévu, sinon c'est une idée d'ergonomie comme une autre :)

Ça m'a fait penser à ça une planche de boulet ! Bon, c'est pas tout mais y en a qui bossent quand même…

Même avec une machine hébergée, tu as la possibilité de transférer ta clef ssh avant de désactiver l'accès par mot de passe.

De toute façon, en cas de problème, tu as toujours un accès console, même si c'est via une page web (je pense à ovh par exemple).

Tout à fait.

C'est fait avec iptables et les règles « -m owner --uid-owner » qui sont chargées de rediriger le trafic uniquement sur le vpn.

J'ai fait exactement la même chose que toi hier : mettre en place un vpn pour un seul utilisateur au lieu de l'installer pour le système complet.

Je me suis inspiré d'un script disponible ici : http://www.niftiestsoftware.com/2011/08/28/making-all-network-traffic-for-a-linux-user-use-a-specific-network-interface/, mais que je vais quand même détailler (histoire de mettre une valeur ajoutée au commentaire) :

tu as la possibilité de créer des tables de routages spécifiques, à travers iproute2. Donc il faut créer une table de routage qui utilisera le vpn, mais qui n'est pas cette par défaut. Ensuite il faut marquer les paquets en provenances d'un utilisateur pour les assigner à cette table de routage.

Une option à ne pas oublier dans la configuration d'openvpn est « route-nopull » qui évite de charger les route au démarrage de la connexion. Par contre, il faut aller chercher à la main dans ce cas la passerelle à utiliser avec la connexion réseau nouvellement créée. J'ai pas encore eu le temps d'automatiser ça, mais tu peux regarder les paramètres « up » et « down » dans openvpn qui permettent d'exécuter un script à l'initialisation ou à l'arrêt de la connexion.

Bon voilà en gros une autre manière de faire, je profite de ton journal pour rebondir dessus, mais j'avais l'intention de détailler tout ça davantage sur mon blog une fois tout bien rodé…

Tu as des calendriers solaire, lunaire voire même Calendrier_luni-solaire… Donc non, il n'y a pas de point commun.

ps : je sais plus comment on appel un gestionnaire de fenetre basé sur le terminal en informatique.

Tu veux dire comme screen ou tmux : un multiplexeur ?

Tiens, une autre entrée dans le forum qui donne également des pistes :

https://linuxfr.org/forums/linux-debian-ubuntu/posts/redmine-et-debian

de rien !