J'ai lu il y a un moment un blog d'un codeur du noyau linux. Il était content des nouveaux OCZ vertex, qui sont les 1er SSD a être compétitif face à ceux d'intel.
Au bout d'un moment, git lui remontait des erreurs dans ses fichiers (git utilise des hash sha-256). Il s'est rendu compte que les OCZ faisait moins attention à ses données que les disques intel. Il est donc retourné dépité sous intel.
On peut même dire que la différence entre SSD pro type X25-e et X25-M, c'est la bande passante des paquets de 4Ko en écriture aléatoire. En gros autour de 1Mo pour les disques dures et à plus de 10 Mo pour les SSD pro.
C'est une donnée très importante pour toutes applications qui passent leur temps à faire des fsync() comme firefox avec SQLlite.
Est-ce qu'il y a des filtres pour "gommer" les déformations géométriques des objectifs ? Il existe un logiciel libre dont j'ai oublier le nom qui utilise une formule connu avec 3 paramètres. Ceux ci sont dans une base de donné pas mis à jour (fulla de mémoire, mais j'ai pas vérifier depuis un moment).
Il serait super utile tout de même d'avoir un plugin qui permet de faire un truc "au jugé" à la main. (http://wiki.panotools.org/Lens_correction_model ). Si il est possible de faire ça par plan de couleur, cela permet aussi de récupérer des abérations chromatique (les franges violettes).
Si mais de façon bizarre, en gros, tu as interdiction de modifier, tu lis des trucs commun, et tu écris ailleurs. Beaucoup d'algos peuvent se faire comme ça. En gros, cela ressemble à un filtre shell :)
Les assertion attrapent les erreurs dynamiquement. Les contrats sont des conditions sur l'état des objets. C'est vérifier à l'exécution en mode debug. Le sain graal serait de pouvoir les vérifier automatiquement.
Le compilo attrape les "call sur nul" statiquement, sans utiliser de contrat.
- Tu va voir ta source et tu lui demande de bon arguments histoire de défendre son point de vue ;
- Tu va faire un tour sur le net (et pas que wikipedia) et tu vois que en effet plein de gens tout à fait respectables pensent le contraire, et tu admet ton erreur ;
- Tu refuse d'admettre que tu ais pus avoir tord mais tu as la flemme de demander au gourou des arguments, et dans ce cas la, vu qu'on est pas vendredi, tu fait le mort.
J'ai répondu un peu coté, j'attendais les vrais arguments mais la personne en question répond peu au mail. Et c'est argument était faible (en gros, c'est que javascript n'est pas été conçu pour être compilé). Ensuite concernant faire un tour sur le web, tu tombes sur la page wikipedia. Et souvent sur des très trucs pointus, c'est pas la joie.
Et j'ai fait un peu le mort dégouté par ce qui intéresse les gens : polémiquer. Peut être que tu as rater d'autres news/journal mais c'est assez systématique, typiquement de la part de Timaniac qui essaye de démontrer par A+B que Lisaac ne sert à rien. Il essaye de le démontrer par tout les moyens, ils insistent sur la syntaxe ou des choix téchnique qui ne sont que des choix. Ils ne sont pas moins bon, ils sont autres : à quoi sert de faire comme tout le monde ?
Alors oui, on essaye de faire de la pub. Un nouveau langage, c'est dur à lancer, à avoir une taille critique. Alors quand on a un beau truc, qui se fait critiquer systématiquement sur la tronche du "if", c'est gavant. D'où mes réactions.
Le "gourou" communique peu. C'est pas son truc. Alors on le fait à sa place mais on est pas chercheur en labo. On a des boulots. Moi, je suis dans l'informatique bas niveau avec un back ground en microelec. Je suis loin des langages (même si ma boite en produit un).
Ici encore : la page wikipedia sur le sujet, elle même un peu contredite par la page qui décrit les langage à prototype de quelle contradiction parle tu ? J'ai pas lu en détails, mais je ne vois pas vraiment de contradictions entre les deux.
Cette découpe n'existait que pour des raisons des capacités d 'un compilo sur des machines des années 80. Depuis, on a un peu plus de patates sous le pieds.
Le compilo Lisaac se compile en quelques seconde sur un atom (50kloc ?). C'est gcc qui rame ensuite quelques minutes.
- les gars, vous compiler toujours tout.
Oui, et c'est pas si lent.
- si vous devez compiler pour tester, vous compilerez tout.
Oui mais les bugs sont attrapé par le compilo en majorité. Une grosse parti de la compile pour être mis en cache.
L'avenir c'est le test statique par le compilo, pas le test. Cela ne passe pas à l'échelle.
- si vous devez compiler pour débugguer, vous compilerez tout.
Oui, c'est sans doute le plus chiant. Le débug, en ligne, est aussi le degré zéro de la validation, même si on n'a pas encore le choix.
- si vous devez proposer des modules interchangeable d'un point de vue déploiement, vous n'allez jamais le faire.
Si en plugin. Ensuite, j'imagine que niveau performance, cela sera beaucoup plus intéressant de distribuer des binaires complets différents. Et plus l'appli est grosse et plus cela sera intéressant par la magie de la compilation global.
- si vous voulez distribuer des bibliothèques sous forme binaires, vous n'allez jamais le faire.
Oui, sauf sous forme de plugin. J'imagine que l'on pourrait faire une sorte de paquet prédigéré pour accélérer la compilation et la distribution, faire cela juste pour l'obfuscation, c'est un peu naze surtout si il y a beaucoup d'introspection dans le langage.
Est-ce que tu es sûr que les Tile ont une cohérence mémoire ? Dans un soc habituel il n'y en a pas, et c'est assez horrible à gérer. C'est un défi en soi.
Que passer de 100 cores à 100 000 000, cela pose les mêmes problèmes qui existe peu à 4 coeurs. En gros, linux maintient un maximum de structure local à chaque coeur pour éviter tout transfert de mémoire entre coeur.
A une époque cela pouvait venir d'un contrôleur disque qui n'utilisait pas le DMA. Normalement, Linux s'est beaucoup améliorer la dessus.
Si tu as un noyau récent et qu'une commande du style mets ton système à genoux, il y a un gros souccis quelques part.
$ dd if=/dev/zero of=/dev/null bs=1024k
C'est possible aussi que tu ais un setting pour serveur qui enlève la préemption du kernel pour gagner en bande passante ce que tu perds en basse latence.
On ne le fera jamais. Cela ne sert à rien. On rend possible de faire un .o mais le but n'est pas d'en lier plusieurs mais sois de faire des plugin soit de se lier à du code autre.
On aura sans doute une découpe vertical, et non horizontal comme le C. Il faut juste être sûr de passer à l'échelle, le problème sera sans doute GCC. Et ensuite, l'interface entre module sera traité comme les IO d'un programme complet, donc toutes les détections fonctionnent pareil.
Avec un langage qui propose des assertions par contrat on peut éviter la plupart de ces "call sur null".
Tu es sûr que tu as compris de quoi tu parlais ?
Pourquoi pas, je suppose donc que changer de parent nécessite tout de même de conserver un certain héritage en commun sinon c'est dangereux non ? (en l'occurence la clef USB reste un port USB)
Non, ce n'est jamais dangereux. Si tu fais n'importe quoi, cela ne compile pas. Lisaac est strictement typé.
Analyse qui pert une grande partie de son score dès qu'on modularise le code avec compilation séparée. Du bon boulot mais qui encourage à des pratiques inverses des pratiques conseillées traditionnellement en génie logiciel.
Tu confonds modularisation du code et compilation séparé. L'un n'entraine pas forcément l'autre.
Idem : comment le garanties-tu en cas de compilation séparée ?
On ne fait pas de compilation séparé pour l'instant. J'imagine que cela fonctionnera avec des tests aux interfaces... comme pour la compilation global...
Mais j'imagine que tu préfères gérer une exception au runtime.
Tu peux montrer un exemple de code où c'est pertinent ?
Un port USB qui devient une imprimante ou une clef usb, un bitmap qui change selon l'afficheur (8 16 24 bits).
Y dit qui voit pas le rapport. Votre langage part du principe que les types sont en majuscule par soucis de "clareté". Bah pour la clareté on a inventé la coloration syntaxique. Nettement plus élégant que les majuscules.
Il faut vraiment tout t'expliquer ? Combien d'erreur pour simplement un mix minuscule/majuscule?
Sinon, le fait de faire plaisir au compilo permet plein de chose que veut l'utilisateur : avoir un code juste le plus rapidement possible et le binaire le plus performant possible.
Un langage moderne part du principe que y'a un éditeur spécialisé avec coloration syntaxique...
Tu m'expliquera comment une coloration syntaxique corrige une faute de syntaxe.
D'accord sauf pour la difficulté à lire, puisque c'est justement l'objectif : simplifier la lecture par un noobs avec une syntaxe familière.
Perl et Ocaml propose beaucoup de "simplification" par sucre syntaxique. C'est cool pour écrire mais dingue pour relire si tu connais pas l'astuce en question.
Concernant la syntaxe, c'est tellement un avantage pour le compilo, qu'il y a peu de chance qu'elle bouge.
[^] # Re: filtre anti-déformation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal G'MIC : Goinfrez Moi d'Images Cristallines !. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Durable!
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Faut-il craquer pour du SSD ?. Évalué à 3.
Au bout d'un moment, git lui remontait des erreurs dans ses fichiers (git utilise des hash sha-256). Il s'est rendu compte que les OCZ faisait moins attention à ses données que les disques intel. Il est donc retourné dépité sous intel.
"La première sécurité est la liberté"
[^] # Re: 2 petites infos inutiles?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Faut-il craquer pour du SSD ?. Évalué à 3.
C'est une donnée très importante pour toutes applications qui passent leur temps à faire des fsync() comme firefox avec SQLlite.
http://www.pcworld.fr/image/zoom/1045351/ControllerWR (intel SLC, c'est le X25-e)
"La première sécurité est la liberté"
# filtre anti-déformation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal G'MIC : Goinfrez Moi d'Images Cristallines !. Évalué à 2.
Il serait super utile tout de même d'avoir un plugin qui permet de faire un truc "au jugé" à la main. (http://wiki.panotools.org/Lens_correction_model ). Si il est possible de faire ça par plan de couleur, cela permet aussi de récupérer des abérations chromatique (les franges violettes).
"La première sécurité est la liberté"
[^] # Re: cohérence de cache<
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Intel présente un prototype de processeur x86 octatétracontacœur. Évalué à 5.
"La première sécurité est la liberté"
[^] # Re: 2 mots clefs... ou pas
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
Je ne vois pas de licence là-bas. Cela serait à ajouter qq part, d'ailleurs.
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
Le compilo attrape les "call sur nul" statiquement, sans utiliser de contrat.
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 3.
- Tu va voir ta source et tu lui demande de bon arguments histoire de défendre son point de vue ;
- Tu va faire un tour sur le net (et pas que wikipedia) et tu vois que en effet plein de gens tout à fait respectables pensent le contraire, et tu admet ton erreur ;
- Tu refuse d'admettre que tu ais pus avoir tord mais tu as la flemme de demander au gourou des arguments, et dans ce cas la, vu qu'on est pas vendredi, tu fait le mort.
J'ai répondu un peu coté, j'attendais les vrais arguments mais la personne en question répond peu au mail. Et c'est argument était faible (en gros, c'est que javascript n'est pas été conçu pour être compilé). Ensuite concernant faire un tour sur le web, tu tombes sur la page wikipedia. Et souvent sur des très trucs pointus, c'est pas la joie.
Et j'ai fait un peu le mort dégouté par ce qui intéresse les gens : polémiquer. Peut être que tu as rater d'autres news/journal mais c'est assez systématique, typiquement de la part de Timaniac qui essaye de démontrer par A+B que Lisaac ne sert à rien. Il essaye de le démontrer par tout les moyens, ils insistent sur la syntaxe ou des choix téchnique qui ne sont que des choix. Ils ne sont pas moins bon, ils sont autres : à quoi sert de faire comme tout le monde ?
Alors oui, on essaye de faire de la pub. Un nouveau langage, c'est dur à lancer, à avoir une taille critique. Alors quand on a un beau truc, qui se fait critiquer systématiquement sur la tronche du "if", c'est gavant. D'où mes réactions.
Le "gourou" communique peu. C'est pas son truc. Alors on le fait à sa place mais on est pas chercheur en labo. On a des boulots. Moi, je suis dans l'informatique bas niveau avec un back ground en microelec. Je suis loin des langages (même si ma boite en produit un).
Ici encore : la page wikipedia sur le sujet, elle même un peu contredite par la page qui décrit les langage à prototype de quelle contradiction parle tu ? J'ai pas lu en détails, mais je ne vois pas vraiment de contradictions entre les deux.
Cela a pourtant été pointer par d'autre, je pensais au message de mathieu ici :
http://linuxfr.org/comments/1087357.html#1087357
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
Le compilo Lisaac se compile en quelques seconde sur un atom (50kloc ?). C'est gcc qui rame ensuite quelques minutes.
- les gars, vous compiler toujours tout.
Oui, et c'est pas si lent.
- si vous devez compiler pour tester, vous compilerez tout.
Oui mais les bugs sont attrapé par le compilo en majorité. Une grosse parti de la compile pour être mis en cache.
L'avenir c'est le test statique par le compilo, pas le test. Cela ne passe pas à l'échelle.
- si vous devez compiler pour débugguer, vous compilerez tout.
Oui, c'est sans doute le plus chiant. Le débug, en ligne, est aussi le degré zéro de la validation, même si on n'a pas encore le choix.
- si vous devez proposer des modules interchangeable d'un point de vue déploiement, vous n'allez jamais le faire.
Si en plugin. Ensuite, j'imagine que niveau performance, cela sera beaucoup plus intéressant de distribuer des binaires complets différents. Et plus l'appli est grosse et plus cela sera intéressant par la magie de la compilation global.
- si vous voulez distribuer des bibliothèques sous forme binaires, vous n'allez jamais le faire.
Oui, sauf sous forme de plugin. J'imagine que l'on pourrait faire une sorte de paquet prédigéré pour accélérer la compilation et la distribution, faire cela juste pour l'obfuscation, c'est un peu naze surtout si il y a beaucoup d'introspection dans le langage.
"La première sécurité est la liberté"
[^] # Re: Intel Marketing
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Intel présente un prototype de processeur x86 octatétracontacœur. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Les grosses copies de fichiers sous Linux
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Nouvelle version 2.6.32 du noyau Linux. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: cohérence de cache<
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Intel présente un prototype de processeur x86 octatétracontacœur. Évalué à 5.
"La première sécurité est la liberté"
[^] # Re: Intel Marketing
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Intel présente un prototype de processeur x86 octatétracontacœur. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: et le kernel dans tout ça ??
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Intel présente un prototype de processeur x86 octatétracontacœur. Évalué à 3.
Quand on voit Fermi de Nvidia, c'est en gros un cpu qui gère 32 threads en même temps avec 32 unité de calcul !
"La première sécurité est la liberté"
[^] # Re: et le kernel dans tout ça ??
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Intel présente un prototype de processeur x86 octatétracontacœur. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: et le kernel dans tout ça ??
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Intel présente un prototype de processeur x86 octatétracontacœur. Évalué à 6.
"La première sécurité est la liberté"
[^] # Re: Utile aussi pour la virtualisation
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Intel présente un prototype de processeur x86 octatétracontacœur. Évalué à 5.
"La première sécurité est la liberté"
[^] # Re: Les grosses copies de fichiers sous Linux
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Nouvelle version 2.6.32 du noyau Linux. Évalué à 1.
Si tu as un noyau récent et qu'une commande du style mets ton système à genoux, il y a un gros souccis quelques part.
$ dd if=/dev/zero of=/dev/null bs=1024k
C'est possible aussi que tu ais un setting pour serveur qui enlève la préemption du kernel pour gagner en bande passante ce que tu perds en basse latence.
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
On ne le fera jamais. Cela ne sert à rien. On rend possible de faire un .o mais le but n'est pas d'en lier plusieurs mais sois de faire des plugin soit de se lier à du code autre.
On aura sans doute une découpe vertical, et non horizontal comme le C. Il faut juste être sûr de passer à l'échelle, le problème sera sans doute GCC. Et ensuite, l'interface entre module sera traité comme les IO d'un programme complet, donc toutes les détections fonctionnent pareil.
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
Tu es sûr que tu as compris de quoi tu parlais ?
Pourquoi pas, je suppose donc que changer de parent nécessite tout de même de conserver un certain héritage en commun sinon c'est dangereux non ? (en l'occurence la clef USB reste un port USB)
Non, ce n'est jamais dangereux. Si tu fais n'importe quoi, cela ne compile pas. Lisaac est strictement typé.
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
Analyse qui pert une grande partie de son score dès qu'on modularise le code avec compilation séparée. Du bon boulot mais qui encourage à des pratiques inverses des pratiques conseillées traditionnellement en génie logiciel.
Tu confonds modularisation du code et compilation séparé. L'un n'entraine pas forcément l'autre.
Idem : comment le garanties-tu en cas de compilation séparée ?
On ne fait pas de compilation séparé pour l'instant. J'imagine que cela fonctionnera avec des tests aux interfaces... comme pour la compilation global...
Mais j'imagine que tu préfères gérer une exception au runtime.
Tu peux montrer un exemple de code où c'est pertinent ?
Un port USB qui devient une imprimante ou une clef usb, un bitmap qui change selon l'afficheur (8 16 24 bits).
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
Il faut vraiment tout t'expliquer ? Combien d'erreur pour simplement un mix minuscule/majuscule?
Sinon, le fait de faire plaisir au compilo permet plein de chose que veut l'utilisateur : avoir un code juste le plus rapidement possible et le binaire le plus performant possible.
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
Tu m'expliquera comment une coloration syntaxique corrige une faute de syntaxe.
D'accord sauf pour la difficulté à lire, puisque c'est justement l'objectif : simplifier la lecture par un noobs avec une syntaxe familière.
Perl et Ocaml propose beaucoup de "simplification" par sucre syntaxique. C'est cool pour écrire mais dingue pour relire si tu connais pas l'astuce en question.
Concernant la syntaxe, c'est tellement un avantage pour le compilo, qu'il y a peu de chance qu'elle bouge.
"La première sécurité est la liberté"
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
C'est le fait qu'il soit plus utilisé, qu'il est une lib plus grosse, que le code soit plus plus stable.
Je ne sais pas tes critères précis, mais c'est un langage de haut niveau qui a les perfs du C. Ce n'est quand même pas rien comme marché.
"La première sécurité est la liberté"