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.
Les seul fois ou j'ai vu qu'il ne trouvait personne, c'est parce qu'ils payaient parfois très peu. Genre un expert en formation pour un budget de 50k$, quand ils sont payé le double au US, ou pour rechercher un ingénieur français de test à 22k€.
"Typiquement la France a un déficit en ingénieurs"
Preuve ? Le seul déficit que je vois est que les boites veulent toute recruter un ingénieur de 2 ans d'expérience dans une techno qui vient de sortir, pour faire exactement la même chose pour eux, et éviter de donner toute formation. Étonnamment, elles ne trouvent pas.
Simulation d'à-peu-près tout et n'importe quoi qui a de la mécanique, des déformations, un écoulement de fluide, des transferts de chaleur, du magnétisme…
En tout cas, les carte phy d'intel ont montré leur efficacité, le ratio puissance max et réel est supérieur à 50%, ce n'est pas le cas des gpu en général.
[^] # 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é"
[^] # 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é à 4.
Les seul fois ou j'ai vu qu'il ne trouvait personne, c'est parce qu'ils payaient parfois très peu. Genre un expert en formation pour un budget de 50k$, quand ils sont payé le double au US, ou pour rechercher un ingénieur français de test à 22k€.
"La première sécurité est la liberté"
[^] # Re: Pendant ce temps ...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 6.
Sauf si le but est de tester des algo de routage ou d’interconnexion.
"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.
"Typiquement la France a un déficit en ingénieurs"
Preuve ? Le seul déficit que je vois est que les boites veulent toute recruter un ingénieur de 2 ans d'expérience dans une techno qui vient de sortir, pour faire exactement la même chose pour eux, et éviter de donner toute formation. Étonnamment, elles ne trouvent pas.
"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é à 5.
"mais aussi cassage de codes de militants des droits de l'homme…"
Un gros cpu/gpu suffit pour ça.
"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.
http://www.youtube.com/watch?v=ymjSNaqZLps pour ceux qui veulent de la précision :)
"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é à 3.
Simulation d'à-peu-près tout et n'importe quoi qui a de la mécanique, des déformations, un écoulement de fluide, des transferts de chaleur, du magnétisme…
cf http://www.youtube.com/watch?v=Gf9baxY-9MU (c'est du marketing, mais c'est toujours plus facile à comprendre, c'est la boite qui a racheté celle où je bosse)
"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é à 8.
En tout cas, les carte phy d'intel ont montré leur efficacité, le ratio puissance max et réel est supérieur à 50%, ce n'est pas le cas des gpu en général.
"La première sécurité est la liberté"