La duster le nouveau 4x4 Dacia utilise l'astuce du poids moindre pour diminuer tout ce qui coute cher : disque de frein, amortisseur, pneu,...
En plus, une voiture légère est bien plus "dynamique" à conduire.
Dacia pourrait faire juste une sportive sur sa même base téchnique en l'allégeant au maximum et en rajoutant un petit turbo électrique pour avoir du couple même à bas régime.
J'ai mis vaguement car je ne suis pas matheux et je m'attendais un "non pas du tout, c'est différent" d'une personne pointilleuse. C'était uniquement le sentiment qui j'avais en lisant les docs de vulgarisation sur cduce.
Ce qui me gène c'est que l'équipe ne semble pas collaborer avec une autre pour intégrer ce système de typage ailleurs.
J'ai aussi du mal à voir l'intérêt d'un langage pour manipuler du xml. Par contre, le système de sous-typage qui correspond (vaguement) au ensemble mathématique, j'aime beaucoup.
J'aimerais ajouter que c'est très dommage. La structure même de l'Inria ne pousse pas les chercheurs à bosser ensemble. Si j'ai bien compris, c'est une histoire d'équipe et de budget. Si 2 équipes bossent ensemble, cela serait vu comme une seul et ils perdent du budget.
Je trouvais dingue de parler de Cduce à une autre équipe Inria, que les équipes qui font des compilos ne se connaissent pas forcément.
Y'a personne à l'inria, pour faire une messe annuelle "compilation", au sens large uniquement pour que les équipes présentes leur travaux ?
Dans Lisaac, il y a eu des solutions pour les problèmes que tu évoques.
"Je cherche comment implémenter efficacement de l'analyse de fuite[1] afin de pouvoir optimiser les programmes sans que le programmeur doive choisir où allouer ses classes et tout gérer à la main (cf. C++)"
C'est n'est pas encore fini mais l'idée est de garder un GC en library et d'utiliser de la réflexivité.
, je cherche une solution permettant d'avoir des classes et des fonctions génériques sans avoir un surpoids significatif des binaires (cf. C++) sans pour autant sacrifier la performance (en permettant la spécialisation de types/fonctions génériques à l'exécution).
Si tu spécifies à l'exécution tu tombes dans le cas des compilateurs just in time. Cela peut être très puissant pour des codes répétitifs qui sont simplifiables, un peu comme si on finissait une constante propagation, une partie des constantes étant la configuration du logiciel. Par contre, un JIT est loin d'être léger.
Je cherche, comme tous les langages contemporains, une solution simple et puissante au problème de la concurrence.
Lisaac propose COP mais cela n'est pas encore complètement mature.
Est-ce que tu pourrait nous dire pourquoi tu as essayé de créer ton propre langage au lieu de te créer le tien ?
Contrairement aux autres commentaires, je trouve qu'il est très complexe d'attirer quelques personnes de plus qui connaissent bien les compilateurs pour faire avancer un projet qui n'est pas le leur.
Sachant que compiler 50 000 lignes de code prend quelques dizaines de secondes, la "constante" est faible.
C'est un des axes d'améliorations du langages : passer à l'échelle du millions de ligne de code, et prévoir un système pour compiler à part le module en court de développement pour diminuer le temps de recompilation (le temps le plus long est pris par gcc).
"Je ne connaissais pas vraiment Lissaac mais il semble que ce soit un langage orienté prototype, c'est à dire qu'au lieu d'avoir une hiérarchie de classes, on peut cloner un objet et lui ajouter des méthodes. Cela semble plus dynamique que de l'ooc - donc forcément, avec un coût à l'exécution =) Mais intéressant tout de même."
Il n'y a heureusement aucun surcout à l'exécution. La preuve est que Lisaac a été premier pendant un moment dans le langage shoutout, avant que les implémentation C et C++ soit modifié.
Et même si tu as une couleur bizarre comme ici, tu peux forcer ton propre réglage de balance de blanc, et dans le cas de cramage de rouge, tu peux aussi baisser l'exposition.
J'avais l'impression que la gestion du bruit, c'était juste le filtre de floutage basé sur les ondelettes que l'on trouve dans dcraw. Il a tendance à virer les hautes fréquences avec un rendu reconnaissable.
Pour les distorsions et les abérations chromatiques, c'est juste une histoire de formule mathématique assez simple, le plus dur étant d'avoir la base de donné pour trouver ses objectifs.
Sauf que l'appareil de tirage et ton écran ne reproduise pas plus que 8 bits par canal RVB, voir encore moins avec les problèmes de réglages et de gamma.
Son discoure est de réussir la photo du premier coup et c'est facile à vérifier avec le numérique, il suffit de recommencer, plutôt que de se raccrocher à la retouche.
Je pense que le niveau d'optim sera plus bas en passant par le link.
Pour ton problème, il faut utiliser la précompilation de header. En gros, avec Gcc depuis un moment, tu peux compiler un header comme un .c. Je crois que tu ne peux le faire que pour un seul header, par contre.
Je dirais comme d'habitude qu'il faut pousser ses points forts; pour les hackers, c'est le code.
Le spam n'est plus vraiment un problème pour le end-user depuis la généralisation des filtres bayésiens et de spamassassin. C'était une solution téchnique.
Je pense que des initiatives comme nosdéputés.fr renforce le contrôle démocratique en fournissant des outils plus facile pour chercher l'information. Je pense que la création de site web pour mettre en avant des données complexes va exploser. Cela avait commencé avec google map, wikipedia,.... J'imagine qu'un jour un site concernant les finances publiques existent.
Le problème de pulbi-reportage de wikipedia pourrait se résoudre aussi avec du code comme pour le spam.
Les problèmes de loi se résolvent aussi avec la transparence qu'apporte wikileaks. Ils ont aussi un gros travail téchnique d'anonymisation des sources.
J'imagine que tu penses à l'utilisation de malloc()/free(), mais comment gérer la fragmentation de la mémoire inévitable (ou comment un gestionnaire de fichier pouvait bouffer 300 Mo pour rien) ?
Pourquoi activer -fstack-protector si tu es sûr de ne pas avoir de buffer overflow dans ton code ? Pourquoi activer "-pie" alors que tu es sûr de tes entrées ?
L'idée est d'avoir des "couches" de protection qui théoriquement se suffisent à elle-même, mais si elles sont passées, il reste la suivante.
Bien sûr, cela doit être fait correctement, il doit y avoir une réelle indépendance entre couche, sinon, il est possible d'affaiblir la sécurité.
[^] # Re: Prix
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Mass reduction. Évalué à 3.
En plus, une voiture légère est bien plus "dynamique" à conduire.
Dacia pourrait faire juste une sportive sur sa même base téchnique en l'allégeant au maximum et en rajoutant un petit turbo électrique pour avoir du couple même à bas régime.
"La première sécurité est la liberté"
[^] # Re: Hé oui
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Mass reduction. Évalué à 6.
"La première sécurité est la liberté"
# perf ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Des films en vectoriel ?. Évalué à 2.
Si tu veux du type Avatar, le PC va souffrir le martyre.
Le principe même de la compression vidéo est de trouver une structure. En gros, il découpe l'image en petit carré qui "bouge" d'une frame à l'autre.
"La première sécurité est la liberté"
[^] # Re: Un langage amateur sympa, mais qui se prend trop au sérieux
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le langage ooc auto-hébergé - les nouveautés de rock 0.9.0. Évalué à 2.
Ce qui me gène c'est que l'équipe ne semble pas collaborer avec une autre pour intégrer ce système de typage ailleurs.
"La première sécurité est la liberté"
[^] # Re: Un langage amateur sympa, mais qui se prend trop au sérieux
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le langage ooc auto-hébergé - les nouveautés de rock 0.9.0. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Un langage amateur sympa, mais qui se prend trop au sérieux
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le langage ooc auto-hébergé - les nouveautés de rock 0.9.0. Évalué à 2.
Je trouvais dingue de parler de Cduce à une autre équipe Inria, que les équipes qui font des compilos ne se connaissent pas forcément.
Y'a personne à l'inria, pour faire une messe annuelle "compilation", au sens large uniquement pour que les équipes présentes leur travaux ?
"La première sécurité est la liberté"
[^] # Re: While.... mais pas de Do.... While
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le langage ooc auto-hébergé - les nouveautés de rock 0.9.0. Évalué à 2.
Il n'utilise que l'opérateur "->" pour redéfinir un arbre. L'idée est de pouvoir réimplanter tous les paradigmes avec le même langage.
"La première sécurité est la liberté"
[^] # Re: Un langage amateur sympa, mais qui se prend trop au sérieux
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le langage ooc auto-hébergé - les nouveautés de rock 0.9.0. Évalué à 4.
"Je cherche comment implémenter efficacement de l'analyse de fuite[1] afin de pouvoir optimiser les programmes sans que le programmeur doive choisir où allouer ses classes et tout gérer à la main (cf. C++)"
C'est n'est pas encore fini mais l'idée est de garder un GC en library et d'utiliser de la réflexivité.
, je cherche une solution permettant d'avoir des classes et des fonctions génériques sans avoir un surpoids significatif des binaires (cf. C++) sans pour autant sacrifier la performance (en permettant la spécialisation de types/fonctions génériques à l'exécution).
Si tu spécifies à l'exécution tu tombes dans le cas des compilateurs just in time. Cela peut être très puissant pour des codes répétitifs qui sont simplifiables, un peu comme si on finissait une constante propagation, une partie des constantes étant la configuration du logiciel. Par contre, un JIT est loin d'être léger.
Je cherche, comme tous les langages contemporains, une solution simple et puissante au problème de la concurrence.
Lisaac propose COP mais cela n'est pas encore complètement mature.
Est-ce que tu pourrait nous dire pourquoi tu as essayé de créer ton propre langage au lieu de te créer le tien ?
Contrairement aux autres commentaires, je trouve qu'il est très complexe d'attirer quelques personnes de plus qui connaissent bien les compilateurs pour faire avancer un projet qui n'est pas le leur.
"La première sécurité est la liberté"
[^] # Re: Joli
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le langage ooc auto-hébergé - les nouveautés de rock 0.9.0. Évalué à 3.
Sachant que compiler 50 000 lignes de code prend quelques dizaines de secondes, la "constante" est faible.
C'est un des axes d'améliorations du langages : passer à l'échelle du millions de ligne de code, et prévoir un système pour compiler à part le module en court de développement pour diminuer le temps de recompilation (le temps le plus long est pris par gcc).
"La première sécurité est la liberté"
[^] # Re: Joli
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le langage ooc auto-hébergé - les nouveautés de rock 0.9.0. Évalué à 1.
Il n'y a heureusement aucun surcout à l'exécution. La preuve est que Lisaac a été premier pendant un moment dans le langage shoutout, avant que les implémentation C et C++ soit modifié.
"La première sécurité est la liberté"
[^] # Re: Et la sauvegarde ? (et mon auto-pub ??)
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Rapide état des lieux de la photo numérique sous linux. Évalué à 3.
"La première sécurité est la liberté"
[^] # Re: Raw ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Rapide état des lieux de la photo numérique sous linux. Évalué à 0.
"La première sécurité est la liberté"
[^] # Re: Et la sauvegarde ? (et mon auto-pub ??)
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Rapide état des lieux de la photo numérique sous linux. Évalué à 5.
"La première sécurité est la liberté"
[^] # Re: Raw ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Rapide état des lieux de la photo numérique sous linux. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Comment ça du retard?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Rapide état des lieux de la photo numérique sous linux. Évalué à 2.
Pour les distorsions et les abérations chromatiques, c'est juste une histoire de formule mathématique assez simple, le plus dur étant d'avoir la base de donné pour trouver ses objectifs.
"La première sécurité est la liberté"
[^] # Re: Raw ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Rapide état des lieux de la photo numérique sous linux. Évalué à 3.
L'auteur parle de tirage 40 pouce (1m).
"La première sécurité est la liberté"
[^] # Re: Raw ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Rapide état des lieux de la photo numérique sous linux. Évalué à -2.
Son discoure est de réussir la photo du premier coup et c'est facile à vérifier avec le numérique, il suffit de recommencer, plutôt que de se raccrocher à la retouche.
"La première sécurité est la liberté"
[^] # Re: Raw ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Rapide état des lieux de la photo numérique sous linux. Évalué à 1.
"La première sécurité est la liberté"
[^] # Re: Tort ? Interets
Posté par Nicolas Boulay (site web personnel) . En réponse au journal freebox et les licences libres : vers une traduction de la GPL. Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Tort ? Interets
Posté par Nicolas Boulay (site web personnel) . En réponse au journal freebox et les licences libres : vers une traduction de la GPL. Évalué à 3.
"La première sécurité est la liberté"
[^] # Re: LinkTimeOptimisation
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie de GCC 4.5. Évalué à 2.
Pour ton problème, il faut utiliser la précompilation de header. En gros, avec Gcc depuis un moment, tu peux compiler un header comme un .c. Je crois que tu ne peux le faire que pour un seul header, par contre.
"La première sécurité est la liberté"
[^] # Re: J'ai rien compris.
Posté par Nicolas Boulay (site web personnel) . En réponse au journal le jour ou le NET c'est brisé ..... Évalué à 3.
Le spam n'est plus vraiment un problème pour le end-user depuis la généralisation des filtres bayésiens et de spamassassin. C'était une solution téchnique.
Je pense que des initiatives comme nosdéputés.fr renforce le contrôle démocratique en fournissant des outils plus facile pour chercher l'information. Je pense que la création de site web pour mettre en avant des données complexes va exploser. Cela avait commencé avec google map, wikipedia,.... J'imagine qu'un jour un site concernant les finances publiques existent.
Le problème de pulbi-reportage de wikipedia pourrait se résoudre aussi avec du code comme pour le spam.
Les problèmes de loi se résolvent aussi avec la transparence qu'apporte wikileaks. Ils ont aussi un gros travail téchnique d'anonymisation des sources.
"La première sécurité est la liberté"
[^] # Re: Pratiques d'une ère (dé)passée
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Threat modeling - Savez vous quelles sont les menaces qui guettent votre application ?. Évalué à 4.
"La première sécurité est la liberté"
[^] # Re: Commentaires aigris
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Faut-il supprimer la tribune ? (suite). Évalué à 2.
"La première sécurité est la liberté"
[^] # Re: Pratiques d'une ère (dé)passée
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Threat modeling - Savez vous quelles sont les menaces qui guettent votre application ?. Évalué à 4.
Pourquoi activer -fstack-protector si tu es sûr de ne pas avoir de buffer overflow dans ton code ? Pourquoi activer "-pie" alors que tu es sûr de tes entrées ?
L'idée est d'avoir des "couches" de protection qui théoriquement se suffisent à elle-même, mais si elles sont passées, il reste la suivante.
Bien sûr, cela doit être fait correctement, il doit y avoir une réelle indépendance entre couche, sinon, il est possible d'affaiblir la sécurité.
"La première sécurité est la liberté"