Nicolas Boulay a écrit 16254 commentaires

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é"

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é"

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é"

tu as un exemple ? :)

"La première sécurité est la liberté"

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é"

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é"

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é"

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é"

"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é"

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é"

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é"

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é"

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*)

"La première sécurité est la liberté"

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é"

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é"

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é"

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é"

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é"

"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é"

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é"

" 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é"

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é"

"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é"

"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é"

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é"