D’ailleurs vu les prix d'une config quad-socket, je pense qu'il pourrait être intéressant d'avoir un boitier qui embarque 4 cartes mère 1 socket ou plus, relié en interne par un switch ethernet. C'est plus gros, mais beaucoup moins chère. Il "suffirait" qu'une seul carte mère puisse avoir des cartes PCI-express.
C'est plus puissant, car le filtrage peut être emboité si nécessaire, et que "sa complétude" est vérifié (pas d'oublie possible, c'est génial en cas de modif).
"Cela correspond, certes, à un segment de marché moins important en volume que les multiples grilles-pain / x86 massivement distribués que l'on trouve chez ovh ou ailleurs."
Peux tu nous rappeller combien de Power, Google et Amazon utilise pour gérer leur Po de donné ?
Pour arriver chez Ansys, j'ai simplement été embauché par une boite qui a été racheté par Ansys. Et je faisait de l'EDA à la base, mais cette partie à fait faillite en 2009. Je suis passé du VHDL, à la conception d'outils de développement.
Je parle du truc de ocaml, dont chaque branche est plus ou moins définit par un constructeur qui permet de déconstruire la donnée et récupérer ce qu'il y a dedans de façon typé.
L'exemple typique définit un arbre, il faut en gros que ta donné soit un poil complexe. Le genre de truc qui te prend un paquet de fichier en java, mais 10 lignes en ocaml. Par exemple, un moyen d'exprimer un paquet de donné binaire :
type val_t =
| I32 of Int64.t
| U32 of Int64.t
| I16 of int
| U16 of int
| U8 of int
| Comment
| Padding of int
let get_size val =
match val with
| I32 _ -> 4
| U32 _ -> 4
| I16 _ -> 2
| U16 _ -> 2
| U8 _ -> 1
| Comment -> 0
| Padding i -> i
let is_correct val =
match val with
| I32(i) -> (Int64.compare (-2147483648L) i) <= 0) && ((Int64.compare i 2147483647L) <= 0
| U32(u) -> (Int64.compare 0L u) <= 0) && ((Int64.compare u 4294967295L) <= 0
| I16(i) -> (-32768 <= i) && (i <= 32767)
| U16(u) -> (0 <= u) && (u <= 65535)
| U8(u) -> (0 <= u) && (u <=255)
| Padding(i) -> 0 <= i
type mon_gros_tableau_binaire = (val_t * string) list; (*ici la string est un commentaire pour savoir d'ou vient la donné en question*)
Le système de type paramétrique de Ada semble pas mal, mais essaye un langage qui a du filtrage de type, c'est tellement simple à lire, que l'on se demande pourquoi les autres langages n'ont pas l'équivalent.
Et combien ont les compétences ou l'argent pour administrer une telle machine ? Parce que des cluster des 200 PC ont été monté et sont très peu utilisés.
Je serais curieux de savoir, si des "petits super ordinateur", trouverait plus d'applications (gros PC bisocket avec 4 ou 5 GPU) ou une seul armoire rempli de serveur lame relié par un gros switch.
Des itaniums ? Je ne sais pas si c'est encore le cas, mais au début, il avait fait de bonne machine, avec une bonne gestion thermique. Il me semble que leur cluster de calcul tourne encore, sous Itanium.
"Après avoir insisté un peu, ils m'ont avouer l'avoir développé en commun. Je n'en ai jamais cru un mot !"
Si c'est vrai. Ils ont continuer la gamme des DPS, qui était de très bon "mini" à l'époque. Dans les dernières versions, les cpus étaient fabriqué par NEC.
" Le seul niveau d’optimisation où tu peux faire ça c’est en -O0."
Oui mais en fait, non. Pour vxworks, on peut compiler en -XO en enlevant certaine optim comme l'inline, pour respecter la traçabilité code source code objet, mais bon on se met aussi dans un cas de set d'option que personne n'utilise…
Le problème n'est pas vraiment le fichier ADN, en tant que tel, mais le respect des règles en rapport avec son utilisation (effacement après innocence, duré de préservation, ….)
Cela serait pourtant une base pour rendre l'administration beaucoup plus efficace : droit sociaux automatique sans montage de dossier énorme, par exemple.
Le problème est le croisement des fichiers, leur accès non enregistré : policier qui vendent les informations à des enquêteurs privé par exemple, et les erreurs.
En gros, pour chaque fichier possiblement problématique, il devrait y avoir une commission qui vérifie (à postériori) que chaque accès est légitime et est punissable (pas 1€ symbolique, comme cela s'est déjà vu). Il faudrait une autre commission qui vérifie le contenu de chaque fiche, et dont le but est de valider l'intégrité des données, et les dates de prescription.
Pour le 4k, il faut des écrans de 2m pour voir la différence avec le 2K. J'espère surtout que le 50 ou 60 images par seconde va devenir la norme. Plus l'écran est grand et plus le manque d'image par seconde se voit.
A moins que les écrans 4K, servent à faire de la 3D passive en 1080P de façon propre.
"Pour ce qui est de leurs exploits dans le domaine spatial, de ce que j'en sais, il faut surtout féliciter des ingénieurs russes payés une fortune pour faire le boulot sans la ramener."
"Le client veut une technologie et le type d'ingénieurs qui correspond à la demande de ce client est recherché."
Une nouvelle techno qui nécessite d'embaucher plein de nouveau ingénieur nécessitent forcément des formations, qu'aucune boite ne veut payer.
Dans les années ~90, on parlait beaucoup des 3 mois de formation à l'entrée des boites de consultant les plus prestigieuse. EDF et la SCNF avait aussi des formations de quelques mois pour leur poste.
Aujourd'hui, un ingénieur qui a 3 jour de formation par an est considéré chanceux.
[^] # 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.
D’ailleurs vu les prix d'une config quad-socket, je pense qu'il pourrait être intéressant d'avoir un boitier qui embarque 4 cartes mère 1 socket ou plus, relié en interne par un switch ethernet. C'est plus gros, mais beaucoup moins chère. Il "suffirait" qu'une seul carte mère puisse avoir des cartes PCI-express.
"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.
C'est plus puissant, car le filtrage peut être emboité si nécessaire, et que "sa complétude" est vérifié (pas d'oublie possible, c'est génial en cas de modif).
"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.
Si un record est une structure, cela n'a en effet aucun rapport :)
Les type sommes, sont une sorte d'union de type, avec un enum pour faire la différence, sauf que c'est typé (un switch ne peut pas être incomplet).
"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.
"Cela correspond, certes, à un segment de marché moins important en volume que les multiples grilles-pain / x86 massivement distribués que l'on trouve chez ovh ou ailleurs."
Peux tu nous rappeller combien de Power, Google et Amazon utilise pour gérer leur Po de donné ?
"La première sécurité est la liberté"
[^] # Re: Un supercalculateur chinois
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 3.
Pour arriver chez Ansys, j'ai simplement été embauché par une boite qui a été racheté par Ansys. Et je faisait de l'EDA à la base, mais cette partie à fait faillite en 2009. Je suis passé du VHDL, à la conception d'outils de développement.
"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 faudrait voir les prix. Si la boite de 12 PC, coute (beaucoup) plus chère que 12 Pc, j'imagine que cela ne se vendra pas trop.
"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.
Je parle du truc de ocaml, dont chaque branche est plus ou moins définit par un constructeur qui permet de déconstruire la donnée et récupérer ce qu'il y a dedans de façon typé.
"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. Dernière modification le 24 juin 2013 à 16:53.
L'exemple typique définit un arbre, il faut en gros que ta donné soit un poil complexe. Le genre de truc qui te prend un paquet de fichier en java, mais 10 lignes en ocaml. Par exemple, un moyen d'exprimer un paquet de donné binaire :
type mon_gros_tableau_binaire = (val_t * string) list; (*ici la string est un commentaire pour savoir d'ou vient la donné en question*)
"La première sécurité est la liberté"
# langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 8.
Le système de type paramétrique de Ada semble pas mal, mais essaye un langage qui a du filtrage de type, c'est tellement simple à lire, que l'on se demande pourquoi les autres langages n'ont pas l'équivalent.
"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 combien ont les compétences ou l'argent pour administrer une telle machine ? Parce que des cluster des 200 PC ont été monté et sont très peu utilisés.
Je serais curieux de savoir, si des "petits super ordinateur", trouverait plus d'applications (gros PC bisocket avec 4 ou 5 GPU) ou une seul armoire rempli de serveur lame relié par un gros switch.
"La première sécurité est la liberté"
[^] # Re: La complexité selon les points de vue.
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tristan Nitot sur France-Culture.. Évalué à 4.
J'espère que l'interface des synology à progressé, car même si je ne suis pas admin sys, je suis informaticien, et leur interface était méga complexe.
"La première sécurité est la liberté"
[^] # Re: Hein?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Discours de Fleur Pellerin sur le libre chez Mozilla à Paris. Évalué à 9.
http://standblog.org/blog/post/2013/05/24/Mozilla-s-agrandit-et-recrute
http://www.journaldunet.com/solutions/emploi-rh/siege-de-mozilla-europe-a-paris/
"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.
Des itaniums ? Je ne sais pas si c'est encore le cas, mais au début, il avait fait de bonne machine, avec une bonne gestion thermique. Il me semble que leur cluster de calcul tourne encore, sous Itanium.
"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.
"Après avoir insisté un peu, ils m'ont avouer l'avoir développé en commun. Je n'en ai jamais cru un mot !"
Si c'est vrai. Ils ont continuer la gamme des DPS, qui était de très bon "mini" à l'époque. Dans les dernières versions, les cpus étaient fabriqué par NEC.
"La première sécurité est la liberté"
[^] # Re: TCC ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche LLVM 3.3 et Clang 3.3. Évalué à 4.
Fabrice Bellard a écrit TCC car il trouvait que gcc était vraiment trop lent, malgré tout ce qu'il faisait sur le code.
tcc permet d'utiliser un fichier C, comme un script. cela peut être utile.
"La première sécurité est la liberté"
[^] # Re: TCC ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche LLVM 3.3 et Clang 3.3. Évalué à 3.
" Le seul niveau d’optimisation où tu peux faire ça c’est en -O0."
Oui mais en fait, non. Pour vxworks, on peut compiler en -XO en enlevant certaine optim comme l'inline, pour respecter la traçabilité code source code objet, mais bon on se met aussi dans un cas de set d'option que personne n'utilise…
"La première sécurité est la liberté"
[^] # Re: Refus-ADN et FNAEG
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Société de surveillance, fichage génétique et refus de prise d'empreinte. Évalué à 3.
Le problème n'est pas vraiment le fichier ADN, en tant que tel, mais le respect des règles en rapport avec son utilisation (effacement après innocence, duré de préservation, ….)
"La première sécurité est la liberté"
[^] # Re: ADN: "juste" un élément de la fiche...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Société de surveillance, fichage génétique et refus de prise d'empreinte. Évalué à 7.
"Je trouve le fichage systématique anormal,"
Cela serait pourtant une base pour rendre l'administration beaucoup plus efficace : droit sociaux automatique sans montage de dossier énorme, par exemple.
Le problème est le croisement des fichiers, leur accès non enregistré : policier qui vendent les informations à des enquêteurs privé par exemple, et les erreurs.
En gros, pour chaque fichier possiblement problématique, il devrait y avoir une commission qui vérifie (à postériori) que chaque accès est légitime et est punissable (pas 1€ symbolique, comme cela s'est déjà vu). Il faudrait une autre commission qui vérifie le contenu de chaque fiche, et dont le but est de valider l'intégrité des données, et les dates de prescription.
Cela serait déjà pas mal.
"La première sécurité est la liberté"
[^] # Re: Dans la série "Tianhe-2 est un monstre"
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
"Donc non les carte phi sont loin de faire aussi bien que les gpus sur certaines classes de problemes."
Si le problème en question est de faire de la 3D ?
Ce que l'on demande est de faire de l'écoulement de fluide, en général au test linpack, les gpu étaient sous les 50% de puissance réel.
"La première sécurité est la liberté"
[^] # Re: Un article partial: parfait pour un Vendredi.
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le combat X contre Wayland : les faits vus par Eric Griffith. Évalué à 4.
Pour le 4k, il faut des écrans de 2m pour voir la différence avec le 2K. J'espère surtout que le 50 ou 60 images par seconde va devenir la norme. Plus l'écran est grand et plus le manque d'image par seconde se voit.
A moins que les écrans 4K, servent à faire de la 3D passive en 1080P de façon propre.
"La première sécurité est la liberté"
[^] # Re: Un supercalculateur chinois
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
"Pour ce qui est de leurs exploits dans le domaine spatial, de ce que j'en sais, il faut surtout féliciter des ingénieurs russes payés une fortune pour faire le boulot sans la ramener."
Et les sous-traitant occidentaux ?
"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é à 3.
Power != PowerPC
La seul vrai raison est qu'une machine Power coute bien plus chère que l'équivalent en PC, surtout en "puissance moyenne".
"La première sécurité est la liberté"
[^] # Re: Un supercalculateur chinois
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 10.
"Si ils ne peuvent pas payer, ils font comment ? "
Ils évitent de payer leur commerciaux doubles ?
"La première sécurité est la liberté"
[^] # Re: Un supercalculateur chinois
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 9.
"Le client veut une technologie et le type d'ingénieurs qui correspond à la demande de ce client est recherché."
Une nouvelle techno qui nécessite d'embaucher plein de nouveau ingénieur nécessitent forcément des formations, qu'aucune boite ne veut payer.
Dans les années ~90, on parlait beaucoup des 3 mois de formation à l'entrée des boites de consultant les plus prestigieuse. EDF et la SCNF avait aussi des formations de quelques mois pour leur poste.
Aujourd'hui, un ingénieur qui a 3 jour de formation par an est considéré chanceux.
"La première sécurité est la liberté"
[^] # Re: Un supercalculateur chinois
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 7.
Il parait qu'au US, il paye bien plus les "maker" que les "seller". Tu as un point de vue la dessus ?
Parce qu'en France, le type qui vend le soft que tu développes est bien mieux payé que toi.
"La première sécurité est la liberté"