Si le but est de faire des échanges de fichiers, le binaire de bitorrent peut être utiliser telquel. Il reste les notifications (le push) a coder. Mais on eut imaginer un message purement textuel que l'on mettre n'importe ou (forum, twitter, tribune,…).
On peut imaginer que chaque bloc est crypté avec un AES, la clef est dans le fichier chapeau. Il suffit qu'un fichier top, soit crypté avec gpg, pour que "ses amis" puissent lire l'arborescence, non ?
Pourquoi rester avec http ? On peut imaginer utiliser bittorrent pour diffuser les données. On peut même imaginer une sauvegarde par duplication chez les voisins, sécurisé par le cryptage symétrique, cela permet d'évacuer le problème de disponibilité des données si elles sont dupliquées et accessible ailleurs que sur un serveur perso.
On peut même utilisé un cloud sans avoir peur de la NSA (sauf si elle casse de l'AES ayant une clef issue d'un vrai hasard et non un hash de mot de passe trouvé par un humain)
Pourquoi avoir choisi sha1, et pas un truc encore complétement sûr comme sha256 ?
Pour gérer les mises à jour, pourquoi ne peut jouer sur un numero de version basé sur une date, dans le fichier chapeau ?
"les hommes viennent de mars et les femmes de vénus"
Pourquoi taper la-dessus ? C'est la mode chez les anthropologues ? CE livres parlent de façon de communiquer. donc le rapport avec la bouffe…
Et le plus drôle est que dans la préface l'auteur précise, que lors de ses conférences, il a vu plusieurs fois, les schémas qu'il décrit mais à l'envers.
"Après, je me souviens avoir discuté avec un admin (bossant à Troyes je crois bien), qui se désolait du fait que chaque fac ou centre de recherche voulait son cluster (qui du coup va être occupé à 25%), alors qu'il serait tellement plus économique qu'elles mutualisent les ressources et achètent un seul cluster partagé, avec une équipe d'admins uniques…"
En même temps, une "université" US n'est pas du tout la même chose qu'une "Université" Française. A moment, ils voulaient créer l'université de Paris, en fusionnant tous les numéros pour augmenter leur masse critique. Ainsi chaque université pourrait avoir son cluster mais réellement utilisé. Ou alors, il faut rendre obligatoire la disponibilité du cluster pour d'autre université pour les creux.
Mais ce qui me désole le plus, c'est qu'il y a mon nom écrit en gros au dessus, et qu'on bosse dans la même boite, sans que tu es l'air de t'en apercevoir. Tu es sans doute à Toulouse, mais bon, la boite fait moins de 100 personnes…
Vous avez combien d'admin pour les 2 noeud de calcul ? Cela ne serait pas mieux mutualisé, si les noeuds était à l'Idris ? J'ai l'impression que les fac font leur tambouille juste pour éviter de la gestion administrative. Je me trompe ?
Ensuite, un PC multi socket reste un PC, c'est donc facile à gérer. J'imagine que cela compte aussi.
-"Cependant dans le cadre du HPC, je peux te garantir que si tu peux te passer de l'overhead de MPI et passer par de la mémoire partagée, le gain en vitesse, bien que « juste » constant, peut être significatif "_
J'en suis persuadé, mais vous ne réutilisez jamais de code commun ou générique écrit uniquement en MPI ?
Tu n'assignes jamais en fonctionnel :) Cela parait dingue quand on vient du C, mais on s'y fait très bien.
D'ailleurs, j’attends un langage avec un type (linéaire) qui empêche qu'un bloc de mémoire soit pointé par plus d'un pointeur. Cela rend hyper simple le multi-tache.
En ocaml, tu peux ajouter aussi les types avec des ":", quand tu le fais, le code est beaucoup moins lisible qu'en C. Ce qui est amusant, car ocaml est beaucoup plus compact que le C, dans le cas général.
Pour simplifier, dans un GADT par rapport au type somme classique, tu peux y mettre des fonctions en plus des type de donnés. Ok.
L'exemple d'AST que tu donnes, je pense que cela peut se coder avec des variants en jouant sur des ensembles fermés.
"De façon générale, mais ce n’est que mon avis, les fonctions avancées des langages fonctionnels sont surtout intéressantes parce qu’elles permettent d’écrire rapidement et de façon très concise (surtout en Haskell) du code sûr et performant."
Tout le monde veut écrire du code rapidement et sans bug !
Dans l'absolu, c'est évident. Mais c'est complètement faux si tu rajoutes l'équation économique. Si tu veux le max puissance de puissance réel pour 5k€, je ne suis pas sûr qu'une solution quad-socket (et donc avec des Xeon, plus chère), soit plus rapide que 4 carte mère avec des Core i7 rapide. En plus pour diminuer la latence, cela ne doit pas être complexe de mettre 4 liens ethernet par carte pour relier chaque carte mère une à une.
Si les gens sont au courant, c'est pas pour autant qu'ils vont leur faire confiance. C'est quasiment sûr que MS va dire c'est pas nous, c'est les éditeurs jeu par jeu qui demande la connexion permanente ou l'interdiction de revente.
En plus, la puissance de la Xbox one semble de 25% plus faible que celle de le PS4, tout en étant plus chère (30% de shader en moins et 30% de bande passante en moins).
Il y a 2 façon de voir le HPC : un service d'état qui gère "plein" de machine, cluster de PC et autre, spécialisé dans l'administration de ses machines, avec un comité d'expert pour évaluer l’intérêt d'un projet, mais surtout un but de faire tourner les machines 100% du temps (ça c'est le gâchis potentiel).
L'autre façon, c'est un labo qui a eu une subvention européenne, achète 250 Dell core i7, relié par ethernet, et dont 2 thésards gère l'administration et en même temps essaye d'écrire leur code.
Devine laquelle des 2 solutions offrent moins de gâchis potentiel ?
Si il est tellement difficile de passer l'étape du comité scientifique et que les machines ne tournent pas 100% du temps, ils pourraient créer des créneaux de temps court, "premier arrivé premier servi" pour combler les troues.
Dans type "puissant", j'entends aussi utilisable. Le nouveau système de type de ocaml, j'ai beau avoir lu la doc et l'exemple, je n'ai rien compris. Si un ingé moyen ne comprends même pas l'outil, qui peut comprendre un code écrit avec ?
Il fut un temps ou des labos avait l'argent pour se payer des clusters de PC mais l'utilisait très peu faute d'administrateur système. Si ce gachis est terminé, c'est tant mieux.
[^] # Re: Petites précisions
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Camlistore, système de stockage universel, opensource et protégeant de la vie privée?. Évalué à 2.
Si le but est de faire des échanges de fichiers, le binaire de bitorrent peut être utiliser telquel. Il reste les notifications (le push) a coder. Mais on eut imaginer un message purement textuel que l'on mettre n'importe ou (forum, twitter, tribune,…).
"Quelles mises à jour?"
Celle d'une donnée, un blob.
"La première sécurité est la liberté"
[^] # Re: Petites précisions
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Camlistore, système de stockage universel, opensource et protégeant de la vie privée?. Évalué à 2.
J'ai plein de question !
On peut imaginer que chaque bloc est crypté avec un AES, la clef est dans le fichier chapeau. Il suffit qu'un fichier top, soit crypté avec gpg, pour que "ses amis" puissent lire l'arborescence, non ?
Pourquoi rester avec http ? On peut imaginer utiliser bittorrent pour diffuser les données. On peut même imaginer une sauvegarde par duplication chez les voisins, sécurisé par le cryptage symétrique, cela permet d'évacuer le problème de disponibilité des données si elles sont dupliquées et accessible ailleurs que sur un serveur perso.
On peut même utilisé un cloud sans avoir peur de la NSA (sauf si elle casse de l'AES ayant une clef issue d'un vrai hasard et non un hash de mot de passe trouvé par un humain)
Pourquoi avoir choisi sha1, et pas un truc encore complétement sûr comme sha256 ?
Pour gérer les mises à jour, pourquoi ne peut jouer sur un numero de version basé sur une date, dans le fichier chapeau ?
"La première sécurité est la liberté"
[^] # Re: Il y a une meilleure explication
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La viande combat les inégalités et les plans démoniaques. Évalué à -1.
"les hommes viennent de mars et les femmes de vénus"
Pourquoi taper la-dessus ? C'est la mode chez les anthropologues ? CE livres parlent de façon de communiquer. donc le rapport avec la bouffe…
Et le plus drôle est que dans la préface l'auteur précise, que lors de ses conférences, il a vu plusieurs fois, les schémas qu'il décrit mais à l'envers.
"La première sécurité est la liberté"
[^] # Re: 3x plus rapide sur mon benchmark pas représentatif
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche 22 v’là Firefox !. Évalué à 2.
oui, après j'ai retenu de tête le score de Fx21, et tu commences à me faire douter.
Pour accélérer l'asm.js, il faut tout de même un comportement du compilateur qui peut agir aussi sur du code classique mais bien écrit.
"La première sécurité est la liberté"
# 3x plus rapide sur mon benchmark pas représentatif
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche 22 v’là Firefox !. Évalué à 9.
J'ai testé le js sur mon benchmark préféré : le boot de linux dans une machine virtuelle de x86 en javascript : Je passe de 14s à 5.4s !
http://bellard.org/jslinux/
"La première sécurité est la liberté"
[^] # Re: drôle d'interrogation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Orbis OS le système qui ferait fonctionner la PS4 serait-il un FreeBSD ou un OpenSuse ?. Évalué à 3.
tu te marre mais avec une box standard connecté en permanence avec une webcam dessus, c'est tentant pour tout un tas de pirate.
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
Et le pire est qu'un cluster pas trop chère devient obsolète en 3 ans. Finalement un PC de compétition à l'air très rentable.
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
"Après, je me souviens avoir discuté avec un admin (bossant à Troyes je crois bien), qui se désolait du fait que chaque fac ou centre de recherche voulait son cluster (qui du coup va être occupé à 25%), alors qu'il serait tellement plus économique qu'elles mutualisent les ressources et achètent un seul cluster partagé, avec une équipe d'admins uniques…"
En même temps, une "université" US n'est pas du tout la même chose qu'une "Université" Française. A moment, ils voulaient créer l'université de Paris, en fusionnant tous les numéros pour augmenter leur masse critique. Ainsi chaque université pourrait avoir son cluster mais réellement utilisé. Ou alors, il faut rendre obligatoire la disponibilité du cluster pour d'autre université pour les creux.
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Ok, tu parles de KCG :)
Mais ce qui me désole le plus, c'est qu'il y a mon nom écrit en gros au dessus, et qu'on bosse dans la même boite, sans que tu es l'air de t'en apercevoir. Tu es sans doute à Toulouse, mais bon, la boite fait moins de 100 personnes…
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
Vous avez combien d'admin pour les 2 noeud de calcul ? Cela ne serait pas mieux mutualisé, si les noeuds était à l'Idris ? J'ai l'impression que les fac font leur tambouille juste pour éviter de la gestion administrative. Je me trompe ?
Ensuite, un PC multi socket reste un PC, c'est donc facile à gérer. J'imagine que cela compte aussi.
-"Cependant dans le cadre du HPC, je peux te garantir que si tu peux te passer de l'overhead de MPI et passer par de la mémoire partagée, le gain en vitesse, bien que « juste » constant, peut être significatif "_
J'en suis persuadé, mais vous ne réutilisez jamais de code commun ou générique écrit uniquement en MPI ?
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Je n'ai rien présumé du tout, je répondais juste à : "Je déclare toto ou je l'assigne ?"
"(sur un projet que tu dois sûrement connaître vu que tu en parles souvent ici)"
Je parle beaucoup ici, tu parles de quoi exactement ?
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Tu n'assignes jamais en fonctionnel :) Cela parait dingue quand on vient du C, mais on s'y fait très bien.
D'ailleurs, j’attends un langage avec un type (linéaire) qui empêche qu'un bloc de mémoire soit pointé par plus d'un pointeur. Cela rend hyper simple le multi-tache.
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
En ocaml, tu peux ajouter aussi les types avec des ":", quand tu le fais, le code est beaucoup moins lisible qu'en C. Ce qui est amusant, car ocaml est beaucoup plus compact que le C, dans le cas général.
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 1.
Pour simplifier, dans un GADT par rapport au type somme classique, tu peux y mettre des fonctions en plus des type de donnés. Ok.
L'exemple d'AST que tu donnes, je pense que cela peut se coder avec des variants en jouant sur des ensembles fermés.
"De façon générale, mais ce n’est que mon avis, les fonctions avancées des langages fonctionnels sont surtout intéressantes parce qu’elles permettent d’écrire rapidement et de façon très concise (surtout en Haskell) du code sûr et performant."
Tout le monde veut écrire du code rapidement et sans bug !
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 1.
Dans l'absolu, c'est évident. Mais c'est complètement faux si tu rajoutes l'équation économique. Si tu veux le max puissance de puissance réel pour 5k€, je ne suis pas sûr qu'une solution quad-socket (et donc avec des Xeon, plus chère), soit plus rapide que 4 carte mère avec des Core i7 rapide. En plus pour diminuer la latence, cela ne doit pas être complexe de mettre 4 liens ethernet par carte pour relier chaque carte mère une à une.
"La première sécurité est la liberté"
[^] # Re: drôle d'interrogation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Orbis OS le système qui ferait fonctionner la PS4 serait-il un FreeBSD ou un OpenSuse ?. Évalué à 10.
Si les gens sont au courant, c'est pas pour autant qu'ils vont leur faire confiance. C'est quasiment sûr que MS va dire c'est pas nous, c'est les éditeurs jeu par jeu qui demande la connexion permanente ou l'interdiction de revente.
En plus, la puissance de la Xbox one semble de 25% plus faible que celle de le PS4, tout en étant plus chère (30% de shader en moins et 30% de bande passante en moins).
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 4.
il gère aussi l'emboitement ?
Genre
type t = Plop of integer | Plip of string
type t2 = Foo of t1 | Foo2 of (t*t)
let foo t2 =
match t2 with
| Foo (Plop i ) -> ..
| Foo (Plip s) ->…
| Foo2 (_, tt) -> toto (tt)
…
"La première sécurité est la liberté"
[^] # Re: drôle d'interrogation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Orbis OS le système qui ferait fonctionner la PS4 serait-il un FreeBSD ou un OpenSuse ?. Évalué à 6.
faut lire un peu sur le sujet, c'est pas comme-ci tous les médias en avaient déjà parlé.
"La première sécurité est la liberté"
[^] # Re: drôle d'interrogation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Orbis OS le système qui ferait fonctionner la PS4 serait-il un FreeBSD ou un OpenSuse ?. Évalué à 4.
Entre la PS4 et la Xbox One, le choix protection de la vie privé, est très très vite fait.
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 1.
Il y a 2 façon de voir le HPC : un service d'état qui gère "plein" de machine, cluster de PC et autre, spécialisé dans l'administration de ses machines, avec un comité d'expert pour évaluer l’intérêt d'un projet, mais surtout un but de faire tourner les machines 100% du temps (ça c'est le gâchis potentiel).
L'autre façon, c'est un labo qui a eu une subvention européenne, achète 250 Dell core i7, relié par ethernet, et dont 2 thésards gère l'administration et en même temps essaye d'écrire leur code.
Devine laquelle des 2 solutions offrent moins de gâchis potentiel ?
Si il est tellement difficile de passer l'étape du comité scientifique et que les machines ne tournent pas 100% du temps, ils pourraient créer des créneaux de temps court, "premier arrivé premier servi" pour combler les troues.
"La première sécurité est la liberté"
[^] # Re: Proust alors.
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Ou SCADE, mais c'est pas du tout libre.
http://www.esterel-technologies.com/products/scade-suite/prototype-design/scade-suite-modeler/#editor
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Dans type "puissant", j'entends aussi utilisable. Le nouveau système de type de ocaml, j'ai beau avoir lu la doc et l'exemple, je n'ai rien compris. Si un ingé moyen ne comprends même pas l'outil, qui peut comprendre un code écrit avec ?
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 1.
Il fut un temps ou des labos avait l'argent pour se payer des clusters de PC mais l'utilisait très peu faute d'administrateur système. Si ce gachis est terminé, c'est tant mieux.
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 3.
tu as un exemple ? :)
"La première sécurité est la liberté"
[^] # Re: Domination d'Intel vs Power et les autres
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
De quelle application, tu parles ? Le fait de stoquer et de restituer rapidement des données ? Genre comme youtube ?
appli décisionnel ? Genre google translate ? adword ?
"La première sécurité est la liberté"