Dugland Bob a écrit 640 commentaires

Quand je parlais de bombes, je parlais de la simulation de la détonation (en particulier la forme du détonateur) qui semble poser des problèmes à nos amis les militaires.

Plan 9 ? :-) Plus sérieusement il s'appelle SUPER-UX et il a 12ans. http://www.ess.nec.de/newsroom/attachments/SX-6-Multi-node.pdf J'ai moi aussi quelques question, on développeme comment là-dessus, en compilation croisée ou on réserve un noeud pour ça ? On redéveloppe tout ou on utilise aussi des trucs standards (la doc parle d'OpenMP)?

Le avec le CEA tu n'as aucune garantie que c'est civil (et un des enjeux actuele est de simuler le début d'une explosion). Les Alphas, s'ils ne sont pas vectoriels, ont une bonne prédisposition pour ce type de calcul (SIMD large).

Pour rajouter un commentaire "Slashdotien", non ça ne fait pas tourner Quake :-) ça sert à rien ce truc !

Y'a un mec qui m'a écrit car il chechait des compétences smalltalk dans la région du Mans :

Nous sommes à la recherche de compétences Visual Age Smalltalk

pour travailler dans la région de Niort et/ou Le Mans.



Connaissez vous des personnes que cela peut intéresser ?

Contactez-moi si ça vous intéresse (ma page web est en haut du post normalement).

Pour aller dans tous sens, les mecs qui font du Smalltalk à Wall-street se font des couilles en or.

Au-delà de ça, tu as une efficacité que j'ai trouvée dans aucun autre langage avec la tonne d'outils qui ont été developpé pour ce truc (refactoring browser, coding assitant, outils de navigation etc.)

Il y a des tentatives pour faire pareil pour Caml mais ça en est encore loin.

Quelque soit le nom du package, JAVA n'est pas self-réflexif mais "simplement" introspectif, tu matter mais tu peux pas toucher :-)

En Smalltalk et en Self, tu mattes et tu touches, c'est mieux :-)
En Java, tu mattes et tu te touches.

Heu là c'est pire, il est self-réflexif, créer une sous-classe consiste à envoyer un message à une classe lui demandant de créer une sous-classe avec telles variables d'instances etc.

Les classes sont des "usines à objets" qui répondent au message new (des fois pas).

Je sais pas ce qu'il en ai de Ruby mais là c'est self-réflexif complet.

heu tu me dira où dans ce fil j'ai parlé de caml ?

J'ai fait gaffe à pas privilégier de langage dans la discussion pour pas qu'il y ait un blaireau qui s'acharne dessus au lieu de réfléchir aux problème de son langage de 33l33t. Ce qui m'intéresse c'est une prise de conscience vis à vis du C pas de vendre un langage, au contraire, je suis pour l'ouverture, pas pour la fermeture dans un autre langage.

Tu devrais peut-être étudier le caml, puisque tu en parles :
http://caml.inria.fr/ocaml/htmlman/manual003.html#htoc7(...)

J'ai déjà parlé de langages fonctionnels purs (Haskell par ex.), mais je les recommande pas trop à n'importe qui, un changement brutal pourrait créer un rejet plus qu'autre chose (y'a qu'à déjà voir le fil de discussion ou je ne parlais que de changer le langage sans trop en pousser un autre).

Je veux pas foutre une VM en hard (même si c'est ce qui semble ce dégager de ma phrase) mais "teinter" le hard différement.

Moi ça m'étonne pas qu'ils n'en soient pas capable, c'est la misère à compiler du C. Si tu bidouille la pile, tu pète l'ABI et c'est la merde.

Quand aux algos, j'ai jammais dit qu'il fallait tout récursiviser, il va falloir arrêter la mauvaise foi, j'ai dits que certaines fonctions récusives (récursives terminales et certaines autres, réécrites par le compilo) passaient tranquille. Les fonctions pas récursive .. bah c'est bien, qu'elles le restent.
Mais me tapper Trémaux à la main parce-que j'utilise un langage de merde, je préfère éviter.

le morceau de fil démarrait sur un malloc, pas sur des VM.

D'autre part si l'innovation doit venir des université, qu'elle en vienne, ça me dérange pas. Elle pourrait même venir de MS (avec les risques que ça comporte) avec le CLR .net

Ensuite que peut-on utiliser sur une carte à puce ? plein de trucs, par ex le bytecode java est plus compact que du code natif 32 ou 64 bits.

Par-contre foutre un buffer overflow sur une carte à puce me paraîtrait très con quand on connait la dose de techniques pour les éviter.

D'autre part je vois pas pourquoi un langage de haut niveau produirait des exécutables plus grs que les autre surtout si il y a du matos pour les faire tourner en hard.

Maintenant si personne ne se sort les doigts du cul pour dire aux hardeux qu'on aimerait passer la seconde au niveau fiabilité et qu'ils pourraîent nous aider ben ça bouge pas si ils voient un marché, ils se bougeront.
Des exemples simples : F-CPU prévoit un truc pour les langages fonctionnels, SPARC a des 'tag bits' pour différentier les pointeurs des entiers etc.

faire gaffe à ce qu'on fait

Relis ce que j'ai écrit plus haut à propos de l'attention.

qu'il peut assez facilement être _complêtement_ maîtrisé

Bon déjà non, la sémentique à rustine ça chie, si tu veux un langage parfaitement maîtrisable en 2 heures prends smalltalk, la grammaire tient sur un ticket de métro ou encore mieux prends Forth, elle tient sur le haut du ticket.

Ensuite je pense que tu parlais du comportement du programme plutôt que du langage ben là je suis pas d'accord non plus, je suis pas un compilateur et quand je code, je donne des ordres à la machine, je lui dit pas comment elle doit les exécuter, même en C c'est crétin de vouloir tout contrôler, tu va ralentir ton programme car tu maîtrise pas les timings des instructions, l'état des pipelines et de l'ordonanceur quand tu les prends, la dose d'inlining que tu peux te permettre (à cause du cache), etc.
Et tu va empêcher le compilo d'optimiser car tu auras été trop loin dans les détails de l'implentation mémoire de ton programme et il va être obligé de ce conformer à ce que tu lui auras dit.

Donc, *non*, je ne suis pas un compilateur.
Et si j'ai une représentation en tête de mon programme, je suis pas _du tout_ sûr qu'en mémoire il aura la même tronche.
L'exemple le plus simple : les CPS, le compilateur va virer derrière mon dos un paquet des appels de fonctions que j'ai écris (et les tranformer en saut direct) et bien qu'il le fasse, je m'en fout ! Mieux, ça limitera l'usage de la pile et conservera peut-être la partie active de la pile plus souvent dans le cache en plus ça vire les problèmes de récursivité sur certaines fonctions.

J'ai raison :-) (ben oui, c'est mon avis)

Ceci dit un problème viens de l'endroit où tu demande à l'ouvrier de se concentrer, tu demande pas à un mec qui est sur une presse de 40 tonnes de se concentrer sur un truc en haut du cadre de la presse en disant "comme il est pas con" il va pouvoir surveiller sa presse en même temps.

Effectivement, il va pouvoir surveiller les 2 mais une des 2 taches n'est pas son métier et la sécurité veut qu'il se concentre sur un minimun de trucs.

Effectivement, le choix se fait par popularité, d'où cette politique du pire, c'est une véritable fuite en avant, il y a déjà eu des morts (missiles patriots, ambulances anglaises, systèmes de radiothérapie) mais bientôt ça va devenir régulier, tout ça pour "avoir fait comme les autres".

ben oui, alors que dans les langages de haut niveau, les allocateurs tiennent la charge, de base, le mec qui écrit son code n'a pas à s'en occuper.

Le cas classique où on touche à l'allocation dans les langages de haut niveau est la réutilisation d'objets, rien de plus.

Tu prends la carte bleu, je te fait un chèque, un virement direct de compte à compte ou tu préfère du liquide ?

Petite précision pour ceux qui ne le sauraient pas : malloc() est bien généralement plus lent qu'une allocation dans un langage moderne.

Non, c'est _la même_ imperfection systématiquement, va faire des stats sur security focus, tu vas voir.
C'est presque toujours des pointeurs explicites qui se barrent en vrille (le plus souvent des buffer overflow).

Se langage, il est chiant à compiler, chiant à optimiser, il rend parano les développeur (obligés de passer des outils pour vérifier la mémoire au lieu de vérifier le fonctionnement) et il rend l'informatique instable.

Tout ça à cause d'une bande d'encroutés qui veut pas changer de métode de travail, ça vaut le coup de critiquer les boites douteuse qd on fait pareil !

Il serait peut-être temps que les développeurs se concentrent sur leur métier plutôt que sur la mémoire. Surtout dans le cadre d'Apache, c'est pas simple, il y a des algos en jeu, des problèmes de puissance, des protocoles de communication et les développeur sont obligés de ce concentrer sur la mémoire.

Je vois pas pourquoi il posterait s'il n'a rien à ajouter.

Les poste du styles : "oui, jes suis d'accord avec toi" ça sert à rien.

Même apache qui est LE logiciel phare a des buffers overflow.
Et il y toujours cette croute dure de développeurs pour défendre leur langage à la con.
C'est rigolot l'absense de cognition chez certains.

Ben non, toute les lois ne sont pas enbigües, d'autre part, sur une loi enbugüe, on prefère que se soit la Cour de Cassation (unique, à Paris) qui tranche, ça offre la meilleure sécurité juridique.

Le problème est que ça peut coûter extrèmement cher en procédure d'aller en cassation car en général tu as déjà 2 appels (et 2 instances, l'appel dans un tribunal différent de l'instance) dans les pattes.
Donc beaucoup de lois ne sont pas désembigütées à fond (cassation) car il n'y a aucun accusé qui a pris le risque juridique et financier de pousser jusqu'à Paris.
Ceci dit, il ne faut pas croire qu'un mec condamé est victime systématiquement d'une embigüité, c'est plutôt une loi qui réprime les actes comis (tout connement les mecs de Danone n'auraient pas dû reprendre le logo, ils ont tendu la perche).

Bon, pour que se soit clair LES JUGES NE FONT PAS LA LOI.

C'est ton putain de députer qu'il faut aller voir, j'aurai dû mettre des liens plus simples.

Dans l'affaire Kitetoa, il a bien eu accès à des informations dont il savait qu'il n'avait pas el droit de télécharger, ce putain de fichier mdb c'est bien retrouvé sur son disque non ? ben c'est la loi seul le maintien frauduleux est discutable mais le juge a probablement retenu que le fait d'y revenir régulièrement est un maintien. Maintenant, on peut sans problème attaquer Tati pour ses négligeance encore faut-il trouver un procureur qui en ait envie et là c'est pas gagné.

Le problème des forums est un problème de loi mais la loi est respectée dans ces jugements et il faut la modifier, tu ferais mieux de réfléchir à une réforme juste de la loi (et le problème est compliqué) que de t'attaquer aux juges.

Maintenant si t'es pas joisse (comme je ne suis pas jouasse) et bien tu sorts tes petits boigts boudinés de ton gros anus hypertophié, tu les laves et tu prends tu plus beau sylo et du papier et tu explique ton point de vue à ton député. Bon dans les faits il va t'envoyer chier car il est probablement de droite et qu'à droite c'est pas la fête à la liberté mais c'est un autre problème qui nous dépasse tous les 2.

Je vois souvent ici des raisonnement douteux (des jeunes j'imagine).
Y'a une règle simple en droit : prenez pas les juges pour des cons.
Le procureurs non plus : vicieux mais pas cons.

Mon avis : on a pas le choix, on va aller vers un responsabilisation des auteurs, c'est l'unique méthode pour gagner en qualité.

Un petit rappel tout d'abord ici :
http://perso.wanadoo.fr/juriscafe/DocsCivil/CompRespDelRespCont.htm(...)

Il faut donc établir la preuve qu'un contrat est passé entre l'auteur et l'utilisateur, sinon, c'est _très_ dangereux pour l'auteur, les règles de la programmation sont connue et la preuve d'une faute en cas de bug facile à montrer (faut trouver le bug déjà mais après c'est facile) et la chaîne de responsabilité pas compliquée.

Ce contrat doit porter au moins un objet (ce qui n'est jamais le cas d'une license d'utilisation à ma conaissance) mais celui-ci n'a pas besoin d'être écrit (on peut donc supposer que si vous téléchargez Apache, vous savez que c'est un serveur web, s'il est pas foutu de balancer la moindre réponse HTTP sur le réseau c'est quand même une rupture du contrat).

Plus de détails là :
http://perso.wanadoo.fr/juriscafe/DocsCivil/ModesConclusionContrats(...)

Bon en fait j'ai rien dit mais plus je me renseigne et plus je sais pas quoi penser réelement.

Un principe général : il serait temps de pouvoir foutre une boite au tribunal de commerce quand le produit vendu ne correspond pas ce qui en est attendu (c'est vague, comme ça je me mets personne à dos :-)

compilo de quoi ?
C'est un langage à eux, c'est eux qui développent le compilo.

Un compilo pour le reste du programme qui lui est en OpenGL ?

tien j'ai une question marrante, tout le monde a sa petite license CADENCE complète à quelques patates dans le projet ?