4050

Vince il a passé trop de temps avec le compilo C pour la Lynx, il est désensibilisé cheeky
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4051

non, j'ai juste déjà vu beaucoup plus pire
avatar
Webmaster du site Ti-FRv3 (et aussi de DevLynx)
Si moins de monde enculait le système, alors celui ci aurait plus de mal à nous sortir de si grosses merdes !
"L'erreur humaine est humaine"©Nil (2006) // topics/6238-moved-jamais-jaurais-pense-faire-ca

4052

pencil quand tu traites des .java ou les espaces et les tabulations se melangent, ou tu peux avoir une fonction de 30 lignes sans espaces (mais indentee!).... ou des fichiers de 1200 lignes avec 1 fonction, 0 commentaire, et pas d'aeration .... les horreurs du taff#beurk#

4053

Flanker vous dirait qu'en Python, il n'y a pas ce problème cheeky
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4054

grin
avatar
<<< Kernel Extremis©®™ >>> et Inventeur de la différence administratif/judiciaire ! (©Yoshi Noir)

<Vertyos> un poil plus mais elle suce bien quand même la mienne ^^
<Sabrina`> tinkiete flan c juste qu'ils sont jaloux que je te trouve aussi appétissant

4055

De nos jours ce genre de code n'est plus vraiment un problème. J'essaie d'éviter l'éviter habituellement, mais ce genre de code est clairement un parfait candidat pour un outil de formatage automatique de code.

./4044> C'est tellement ça.
avatar

4056

Zero: meme pas, ce n’est pas python compatible
avatar
Proud to be CAKE©®™


GCC4TI importe qui a problème en Autriche, pour l'UE plus et une encore de correspours nucléaire, ce n'est pas ytre d'instérier. L'état très même contraire, toujours reconstruire un pouvoir une choyer d'aucrée de compris le plus mite de genre, ce n'est pas moins)
Stalin est l'élection de la langie.

4057

Uther (./4055) :
De nos jours ce genre de code n'est plus vraiment un problème. J'essaie d'éviter l'éviter habituellement, mais ce genre de code est clairement un parfait candidat pour un outil de formatage automatique de code.

./4044> C'est tellement ça.

et apres t'as ton RT qui te dit d'eviter de formatter les fichiers des autres parce que ca le gene pour ses backport entre branches grin

4058

C'est une des raison pourquoi je n'aime pas le formatage auto. Mais là y'a quand même un cas de force majeure.
avatar

4059

Uther (./4058) :
C'est une des raison pourquoi je n'aime pas le formatage auto. Mais là y'a quand même un cas de force majeure.
Pourtant, s'il applique lui-même le formatage auto de son côté, la fusion devrait plutôt bien se passer, non ?

Et au contraire, c'est la raison pour laquelle j'utilise maintenant tout le temps du formatage auto (quand il est parfaitement déterministe), même quand je ne suis pas fan du rendu : ça facilite les fusions vu que tu évites les conflits liés à des lignes coupées en deux ou à l'indentation.
avatar
<<< Kernel Extremis©®™ >>> et Inventeur de la différence administratif/judiciaire ! (©Yoshi Noir)

<Vertyos> un poil plus mais elle suce bien quand même la mienne ^^
<Sabrina`> tinkiete flan c juste qu'ils sont jaloux que je te trouve aussi appétissant

4060

pencil

4061

Un langage de programmation idéal pour Brunni :
https://en.wikipedia.org/wiki/ColorForth
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4062

En théorie toujours disponible:

https://colorforth.github.io/install.htm

Pour continuer sur le forth, lecture intéressante sur le sujet:
http://yosefk.com/blog/my-history-with-forth-stack-machines.html

Les commentaires sont aussi intéressant (pour une fois)
avatar
Proud to be CAKE©®™


GCC4TI importe qui a problème en Autriche, pour l'UE plus et une encore de correspours nucléaire, ce n'est pas ytre d'instérier. L'état très même contraire, toujours reconstruire un pouvoir une choyer d'aucrée de compris le plus mite de genre, ce n'est pas moins)
Stalin est l'élection de la langie.

4063

Une faille vraiment vicieuse dans le moteur JS de Chrome : https://abiondo.me/2019/01/02/exploiting-math-expm1-v8/

Explication résumée ici : https://news.ycombinator.com/item?id=18811596
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4064

Je trouve impressionnant (et flippant) de voir comment un bug qui peut paraître anodin peut avoir de tels impacts une fois maîtrisés avec la volonté de casser des barrières de sécurité O_o
avatar

4065

4066

Je suis pas le dernier à taper sur JavaScript quand il le mérite, mais en l’occurrence ça pourrait arriver avec n'importe quel langage un peu optimisé. Ne parlons même pas du C ou du C++ qui ne font aucun contrôle de dépassement.
avatar

4067

Justement, du coup c'est à la personne qui code de faire attention, et au moins on sait que l'on ne peut pas déléguer ça à d'obscures mécanismes liés au compilateur ou à l'interpréteur.
avatar
Que cache le pays des Dieux ? - Forum Ghibli - Forum Littéraire

La fin d'un monde souillé est venue. L'oiseau blanc plane dans le ciel annonçant le début d'une longue ère de purification. Détachons-nous à jamais de notre vie dans ce monde de souffrance. Ô toi l'oiseau blanc, l'être vêtu de bleu, guide nous vers ce monde de pureté. - Sutra originel dork.

4068

Pfiou, même si l'explication est compréhensible en lisant 3 fois chaque phrase, ça reste super impressionnant de voir que des mecs arrivent à exploiter ce genre de bug à l'aveugle sans savoir à l'avance dans quelle direction avancer fou

./4065 ~ ./4067 : c'est difficilement comparable, JS vous permet d'exécuter du code de n'importe qui sur votre machine sans avoir trop peur de l'ouvrir aux pirates du monde entier, sauf en présence de bugs comme celui-ci (qui restent heureusement très rares). Je ne suis pas sûr que vous ayez envie d'autoriser votre navigateur ou n'importe quel autre logiciel à exécuter du code arbitraire écrit en C ou C++ smile
avatar
All right. Keep doing whatever it is you think you're doing.
------------------------------------------
Besoin d'aide sur le site ? Essayez par ici :)

4069

Zeph (./4068) :
(qui restent heureusement très rares)

Je n'en mettrais pas ma main à couper vu la complexité du truc.
Beaucoup de bugs sont probablement latents et ne demandent qu'à être trouvé.

Et je suis d'accord avec Ximoon, il y a une différence énorme entre un bug du langage (ou interpréteur ici) et un bug dans le code écrit par un utilisateur.
Les deux peuvent être très critiques il est certains, mais le bug de langage est plus pernicieux parce que ce n'est pas une erreur du programme en lui même. (et bug d’interpréteur est encore pire parce que leur PoC marche avec V8, mais pas avec le moteur de WebKit, Fx ou celui de Edge) et d'autant plus que le bug et le chemin pour y arriver est obscure comme dans ce cas.
avatar
Proud to be CAKE©®™


GCC4TI importe qui a problème en Autriche, pour l'UE plus et une encore de correspours nucléaire, ce n'est pas ytre d'instérier. L'état très même contraire, toujours reconstruire un pouvoir une choyer d'aucrée de compris le plus mite de genre, ce n'est pas moins)
Stalin est l'élection de la langie.

4070

Après s'ils sont tellement difficiles à trouver que personne ne les a ni repérés ni même prouvé qu'ils existaient, je ne vois pas trop à qui tu peux reprocher quelque chose grin (ou alors faut vite que tous ceux parmi nous qui ne peuvent pas prouver mathématiquement qu'ils produisent des résultats sans aucun bug s'arrêtent tout de suite de travailler, dans le doute, mais ça risque de faire pas mal de monde)
avatar
All right. Keep doing whatever it is you think you're doing.
------------------------------------------
Besoin d'aide sur le site ? Essayez par ici :)

4071

Zeph (./4070) :
s'arrêtent tout de suite de travailler
Ouiiiiii ? "bon, chef, j'ai décidé d'arrêter de bosser, mais c'est pour des raisons de sécurité !"
avatar

4072

Zeph (./4070) :
Après s'ils sont tellement difficiles à trouver que personne ne les a ni repérés ni même prouvé qu'ils existaient, je ne vois pas trop à qui tu peux reprocher quelque chose grin (ou alors faut vite que tous ceux parmi nous qui ne peuvent pas prouver mathématiquement qu'ils produisent des résultats sans aucun bug s'arrêtent tout de suite de travailler, dans le doute, mais ça risque de faire pas mal de monde)
Bien sur qu'avec ce niveau de complexité il est difficile, non il est impossible de ne pas avoir de bugs. Et plus on enlève des bugs faciles, plus des bug profonds et difficile a corriger vont apparaître (voir tordus comme ce cas précis)

D'ailleurs, ce n'est pas parce que certains ne sont pas publiquement connus qu'ils ne le sont pas. Beaucoup de failles on été découverte bien avant leur publication officielle, et souvent pas par les meme personnes. Si la personne qui trouve la faille (exploitable) a de mauvaises intentions, il ne va pas la pointer du doigt !
avatar
Proud to be CAKE©®™


GCC4TI importe qui a problème en Autriche, pour l'UE plus et une encore de correspours nucléaire, ce n'est pas ytre d'instérier. L'état très même contraire, toujours reconstruire un pouvoir une choyer d'aucrée de compris le plus mite de genre, ce n'est pas moins)
Stalin est l'élection de la langie.

4073

Je ne suis pas du genre à défendre le JS d'habitude, mais il est tout-à-fait possible d'avoir le même genre de mauvaise blague avec un compilateur C dont la phase d'optimisation est buguée. Ximoon va répondre qu'on peut compiler en désactivant les optimisations, mais on peut tout aussi bien utiliser un interpréteur Javascript qui n'optimise pas non plus.

Et dans le genre tordu, il y a eu au moins une faille de sécurité qui reposait sur le fait que du code de vérification de bornes était basé sur la détection d'overflow d'entiers signés. Or c'est un comportement indéfini en C, et du coup GCC avait gentiment supprimé le code de vérification.
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4074

Nan mais je suis d'accord qu'au final c'est un bug de l'optimiseur et qu'on peut avoir le même genre de problème dans tous les langages. Mon argument est simplement que plus on a de couches, moins on sait ce qui se passe, c'est tout (mais oui, du coup plus on développe rapidement).
avatar
Que cache le pays des Dieux ? - Forum Ghibli - Forum Littéraire

La fin d'un monde souillé est venue. L'oiseau blanc plane dans le ciel annonçant le début d'une longue ère de purification. Détachons-nous à jamais de notre vie dans ce monde de souffrance. Ô toi l'oiseau blanc, l'être vêtu de bleu, guide nous vers ce monde de pureté. - Sutra originel dork.

4075

La conclusion, c'est que l'assembleur, y'a que ça de vrai embarrassed
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4076

mais y a aussi des bugs/failles dans les CPU
donc il faut revenir au circuits logique embarrassed
avatar

4077

Tu peux avoir une faille dans le transistor !

Il faut revenir au switch et lampes!
avatar
Proud to be CAKE©®™


GCC4TI importe qui a problème en Autriche, pour l'UE plus et une encore de correspours nucléaire, ce n'est pas ytre d'instérier. L'état très même contraire, toujours reconstruire un pouvoir une choyer d'aucrée de compris le plus mite de genre, ce n'est pas moins)
Stalin est l'élection de la langie.

4078

mais le switch peut se gripper et la lampe clamsser sad
faut revenir au boulier !
avatar

4079

mais il peut y avoir une faille dans le chinois qui manœuvre le boulier !
avatar
Zeroblog

« Tout homme porte sur l'épaule gauche un singe et, sur l'épaule droite, un perroquet. » — Jean Cocteau
« Moi je cherche plus de logique non plus. C'est surement pour cela que j'apprécie les Ataris, ils sont aussi logiques que moi ! » — GT Turbo

4080

Ximoon (./4067) :
Justement, du coup c'est à la personne qui code de faire attention, et au moins on sait que l'on ne peut pas déléguer ça à d'obscures mécanismes liés au compilateur ou à l'interpréteur.
Sur des quantités massives de code complexe , c'est plus que prouvé que la vigilance humaine ne suffit pas.
Et là, on à justement la preuve que l'humain ne peut pas faire attention à tout. Le moteur V8 est codé en C++ par des gens qui savent très bien qu'ils doivent faire particulièrement attention.

Zeph (./4068) :
sauf en présence de bugs comme celui-ci (qui restent heureusement très rares).
De ce que j'ai lu de la part de personne travaillant sur Servo (le moteur expérimental de Mozilla), ça n'est pas si rare que ça. La majorité des exploits graves découverts dans les navigateurs ces dernières années viennent du JIT.
Servo utilise pour le moment le moteur SpiderMonkey en C++ de Firefox, mais ils étudient différentes pistes, certaines basées sur le langage Rust pour essayer de limiter les risques.
avatar