s[e]th & h[o]lth a écrit 284 commentaires

  • [^] # Re: Correction du lien

    Posté par (site web personnel) . En réponse au journal D’une image nommée .iso à un premier probe en Haskell. Évalué à 1 (+0/-0).

    Comme cela était suggéré par plusieurs personnes, voici quelques liens utiles supplémentaires :

  • [^] # Re: ok, mais pourquoi ISO

    Posté par (site web personnel) . En réponse au journal D’une image nommée .iso à un premier probe en Haskell. Évalué à 2 (+1/-0).

    Je vais probablement alterner entre des articles plus théoriques, fondés sur des données libres ou synthétiques que chacun pourra manipuler, et des études de cas plus courtes sur mes propres images de jeux FromSoftware, que les personnes intéressées pourront reproduire avec leurs propres exemplaires.

  • [^] # Re: Titre

    Posté par (site web personnel) . En réponse au journal D’une image nommée .iso à un premier probe en Haskell. Évalué à 1 (+0/-0).

    À commentaire sans appel, réponse sans appel : lol, j’avoue :-)

    Je ne m’étais pas rendu compte à quel point mon titre était franchement bof voire un peu naze, mais maintenant que tu le soulignes, c’est assez évident :-)

    Je l’ai remplacé par Modding de jeux FromSoftware en Haskell : sonder une ISO PlayStation 3, qui devrait déjà être plus explicite et plus accrocheur \o/

    Plus généralement, tous vos retours m’ont beaucoup aidé à clarifier ce que je devrais faire pour la suite, et surtout ce que j’ai réellement envie d’en faire.

    Merci chaleureusement à vous tous !!!

  • [^] # Re: intro

    Posté par (site web personnel) . En réponse au journal D’une image nommée .iso à un premier probe en Haskell. Évalué à 2 (+1/-0).

    Merci beaucoup pour ce retour, il me donne pas mal d’idées pour la suite ! Avec le commentaire précédent, je comprends qu’il manque sans doute un texte d’introduction, entre préambule et FAQ, pour présenter le projet, le corpus, le choix de Haskell et les prérequis.

    Ces choix viennent en partie de mon parcours : je collectionne les jeux vidéo depuis plus de 20 ans, j’adore les jeux FromSoftware et j’ai toujours aimé le bas niveau, de l’assembleur au VHDL en passant par la Game Boy. Haskell se trouve un peu au croisement de tout cela : j’aime son système de types, la composition des fonctions et la façon dont on peut y construire des parseurs. Ce n’est pas forcément « le meilleur langage » pour la rétro-ingénierie, mais c’est celui que j’ai envie d’approfondir. L’introduction sera justement l’occasion d’expliquer ce choix et les alternatives possibles.

    Je suis très content que le code t’ait paru lisible sans pratiquer (pour le moment :p) Haskell. :-) Je comprends aussi ta remarque sur les commentaires : je me suis beaucoup appuyé sur les explications autour du code et sur les signatures des fonctions, mais cela ne suffit pas toujours à faire comprendre leur rôle ni les raisons du découpage. Ajouter quelques commentaires directement aux endroits importants permettrait de mieux relier le code au raisonnement de l’article, sans pour autant le surcharger.

    Pour ECMA-119, je ne cherche pas à couvrir toute la norme ni à garantir la conformité de toutes les images. J’applique plutôt un design par soustraction : implémenter le minimum nécessaire pour atteindre un objectif précis. Les références normatives permettent ensuite à ceux qui le souhaitent de partir du code pour aller plus loin. Une structure qui sort du sous-ensemble reconnu devra simplement être signalée comme absente, incorrecte ou non prise en charge. Mais je prends en compte cette remarque :-)

    Nous sommes également d’accord sur les fixtures et l’intégration continue. Je compte développer le projet en TDD, car les tests peuvent aussi servir de documentation exécutable de l’API. Les parties générales pourront ainsi utiliser des données libres ou synthétiques que chacun pourra rejouer dans la CI.

    Merci aussi d’avoir soulevé la question juridique. Je n’ai aucune intention de diffuser du contenu protégé et je veillerai à respecter le cadre applicable, mais je n’ai pas encore suffisamment approfondi cet aspect pour en dire davantage.

    Merci encore pour toutes ces pistes. Je comprends qu’il ne manque pas forcément plus de contenu au premier article, mais plutôt une vraie porte d’entrée avant de mettre les mains dans le cambouis. :-)

  • [^] # Re: ok, mais pourquoi ISO

    Posté par (site web personnel) . En réponse au journal D’une image nommée .iso à un premier probe en Haskell. Évalué à 5 (+4/-0).

    Merci beaucoup d’avoir pris le temps de lire l’article et d’écrire un retour aussi détaillé. C’est exactement pour recevoir ce genre de remarques que je l’ai publié, donc ça me fait vraiment plaisir. :-)

    Tu as tout à fait raison pour le dépôt GitHub en anglais. Jusqu’à la publication, je n’avais pas encore complètement tranché entre l’anglais, pour toucher davantage de monde, et le français, qui correspond beaucoup mieux à ce que j’ai envie de faire. C’est finalement en terminant l’article que j’ai fait mon choix : la série sera en français.

    Je lis l’anglais technique sans problème, mais je préfère lire et écrire en français. J’ai aussi envie de travailler mon style et de montrer qu’on peut produire de la documentation technique précise et agréable à lire dans notre langue. J’ai simplement oublié que le dépôt était resté en anglais après cette décision. Je vais donc le repasser en français. Merci de m’avoir signalé cette incohérence.

    Pour la longueur, tu mets aussi le doigt sur quelque chose avec lequel j’ai beaucoup hésité. Je voulais que ce premier article arrive à un résultat concret, même modeste, et j’avais peur qu’en le découpant trop il s’arrête avant d’avoir produit quoi que ce soit d’intéressant. Mais, à l’arrivée, j’ai empilé beaucoup de sujets : extensions et formats, signatures binaires, ISO 9660, Joliet, PlayStation 3, commandes shell, puis Haskell. Il y a en plus une double manipulation, puisque je mène d’abord l’enquête avec le shell avant de la refaire dans GHCi.

    Le passage par ISO 9660 avait une raison : avant d’atteindre les fichiers propres au jeu, il faut comprendre les couches extérieures de l’image qui permettent de les retrouver. Ce n’est donc pas le sujet final du projet, mais une étape vers les données de Demon’s Souls. Si cela ressemble à un long détour, c’est que je ne l’ai probablement pas assez bien expliqué.

    Ta remarque sur la reproductibilité est également très juste. Les commandes et leurs sorties permettent de voir où se trouvent les informations et de refaire le raisonnement sur une autre image. Mais elles ne permettent pas de rejouer l’expérience à l’identique ni de modifier mes données, puisque je ne peux pas redistribuer l’image du jeu.

    Je pourrais utiliser une image ISO libre pour cet article, mais ce ne serait pas vraiment cohérent avec la suite : je vais rapidement travailler sur des données issues des jeux FromSoftware que je ne pourrai pas davantage redistribuer. Je préfère donc assumer ce corpus plutôt que de donner provisoirement une fausse impression de reproductibilité.

    En revanche, ton commentaire me donne une idée de découpage qui me paraît bien meilleure : faire les articles généraux (lecture binaire, offsets, endianness, description des structures, etc.) avec des données synthétiques ou librement accessibles, afin qu’ils soient entièrement reproductibles. Puis publier entre eux des articles plus courts et plus pratiques montrant comment appliquer ces notions à mes exemplaires de Demon’s Souls, Dark Souls ou Dark Souls II.

    Je crois que mon premier article a essayé d’être ces deux choses à la fois, ce qui explique sans doute sa longueur. Pour la suite, je vais essayer de mieux séparer les fondations générales, reproductibles et pédagogiques, des études de cas concrètes sur les jeux.

    Enfin, Haskell est un choix complètement assumé : c’est un langage que j’aime beaucoup et que j’ai envie d’approfondir. Mais cela ne veut pas dire qu’il est immédiatement accessible à tout le monde. Je dois mieux annoncer les prérequis et éviter de demander au même article d’introduire à la fois Haskell, l’analyse binaire et les particularités d’une image PlayStation 3.

    Merci encore pour ton retour. Il ne m’aide pas seulement à corriger quelques détails : il me donne une structure beaucoup plus claire pour toute la suite de la série. :-)

  • # Correction du lien

    Posté par (site web personnel) . En réponse au journal D’une image nommée .iso à un premier probe en Haskell. Évalué à 2 (+1/-0).

    Évidemment, le lien vers l'article n'était pas le bon :-)

  • # Pourquoi s’en inquiéter ?

    Posté par (site web personnel) . En réponse au journal Microsoft rachète Github. Évalué à 5.

    Parce que lorsque tu mets 7,5 milliards sur la table, c’est que tu as une idée derrière la tête...

  • # xda

    Posté par (site web personnel) . En réponse au message Cherche une ROM Android pour Galaxy S (i9000). Évalué à 1.

    Tu trouveras certainement pas mal de choses sur le forum xda : http://forum.xda-developers.com/galaxy-s-i9000#romList

    Sinon, tu peux toujours essayer de compiler ta propre version mais ça te prendra un peu de temps pour récupérer les sources et comprendre comment ça fonctionne. Pour avoir déjà passer une dizaine de jours, on fini par y arriver mais faut s'accrocher :-)

  • [^] # Re: Est ce que le peuple doit avoir le pouvoir

    Posté par (site web personnel) . En réponse au journal Démocratie : histoire d'un malentendu. Évalué à 3.

    Le peuple ne récupère pas le pouvoir automatiquement, il a la possibilité de le faire confier à quelqu'un d'autre.

    De plus, si aucun des candidats à l'élection ne correspond au choix du peuple, il n'y a pas vraiment de moyen de tous les refuser.

  • [^] # Re: Est ce que le peuple doit avoir le pouvoir

    Posté par (site web personnel) . En réponse au journal Démocratie : histoire d'un malentendu. Évalué à 2.

    Quand au hasard, il est est vachement tordu, avec plein de gens qui essayent d'éviter quand ils sont tirés au sort. Et ce pour quelques jours seulements de présence, imaginons pour x années...

    La démocratie athénienne utilisait le tirage au sort pour certains postes au gouvernement. Tirage au sort parmi des citoyens volontaires.

    Et ça n'attire pas/plus foule.

    Peut-être par méconnaissance... C'est le genre de sujet qui aurait pourrait être abordé en cours d'histoire ou d'éducation civique.

  • # Une autre vidéo

    Posté par (site web personnel) . En réponse au journal Démocratie : histoire d'un malentendu. Évalué à 3.

    Dans le même registre, une autre vidéo sur youtube : http://www.youtube.com/watch?v=EV60aqBD6H4

  • [^] # Re: l'université, c'est plus ce que c'était.

    Posté par (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E05 : de retour de la Paris Games Week. Évalué à -2.

    l'État, que tu décris avec des mots très négatifs

    J'aimerai d'ailleurs bien savoir quels sont ces "mots très négatifs" que j'ai employés afin de pouvoir m'en justifier ou, le cas échéant, en faire repentance.

  • [^] # Re: l'université, c'est plus ce que c'était.

    Posté par (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E05 : de retour de la Paris Games Week. Évalué à -2.

    Ne joue pas sur les mots, tu conchies tout ce qui peut être l'État

    Apporter un début de réponse au problème que tu exposes à propos du fait que certaines personnes préfèrent passer par le l'enseignement privé plutôt que par l'Université mérite-t-il une conclusion aussi violente de ta part quant à ma perception de l'État ?

    Et ces parents feraient mieux de se dire qu'il vaut mieux améliorer l'Université plutôt que de payer une école privée : ça leur coûtera moins cher et ça bénéficiera à tout le monde.
    [...]
    Tu as un discours libéral ultra-classique (le discours, pas le libéralisme), assume-le et tout ira bien.

    Tu as un discours communiste ultra-classique, assume-le et tout ira bien.

  • [^] # Re: l'université, c'est plus ce que c'était.

    Posté par (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E05 : de retour de la Paris Games Week. Évalué à -3.

    Et ces parents feraient mieux de se dire qu'il vaut mieux améliorer l'Université plutôt que de payer une école privée : ça leur coûtera moins cher et ça bénéficiera à tout le monde.

    Cela me semble être une vision plutôt personnelle. Peut-être que ces personnes ont une bonne raison de faire ce choix qui "ne remet actuellement pas en cause le choix de société" donc tout va bien.

    Mais non, comme toi, ils préfèrent faire un choix égoïste et individualiste...

    Merci de ne pas faire de supposition quant à mes convictions. Je te rappelle d'ailleurs que je propose plus haut un système pouvant éventuellement améliorer l'Université.

    ou libéral si on parle politiquement.

    Un petit rappel sur la devise de la République française : Liberté, Égalité, Fraternité
    En France, lorsqu'on parle de Liberté, on fait référence au pouvoir de faire tout se qui n'est nuisible à autrui tel que la Loi en vigueur le défini.
    En France, lorsqu'on parle d'Égalité, on fait référence à l'égalité des droits et non à un égalitarisme matériel que certains essaient à tout prix de mettre en oeuvre.

  • [^] # Re: l'université, c'est plus ce que c'était.

    Posté par (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E05 : de retour de la Paris Games Week. Évalué à 0.

    «imposé», «méthode choisie» ! He ben dis donc, tu dois te sentir mal devant tant de violence !

    Je t'invite à consulter la définition du terme imposer par l'académie française et me dire ce que tu ne comprends pas. Je t'invite également à me faire part d'un terme qui te semble plus approprié si tu en trouves un. Que tu le veuilles ou non, le pouvoir de l'État est coercitif.

    Les chiffres correspondant aux dépenses n'étant ni clairs ni réellement disponibles, il est impossible d'avoir la moindre certitude quant au coût exact de l'enseignement français.

    Le coût ? Non, l'enseignement ne coûte pas, il rapporte. Sur le long terme, il rapporte beaucoup, et ce n'est pas à l'Etat que ça rapporte le plus. Comme disait Lincoln : «Si vous trouvez que l'éducation coûte cher, essayez l'ignorance»

    Puisque tu fais semblant de ne pas comprendre, je vais refaire ma phrase: Les chiffres correspondant aux dépenses n'étant ni clairs ni réellement disponibles, il est impossible d'avoir la moindre certitude quant au bénéfice exact de l'enseignement français.

  • [^] # Re: l'université, c'est plus ce que c'était.

    Posté par (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E05 : de retour de la Paris Games Week. Évalué à 0.

    Qu'est-ce que tu n'as pas compris dans l'expression «choix de société» ?

    Je te renvoie à ta propre phrase et te laisse proposer un début d'explication.

    Je ne comprends pas comment ces écoles arrivent à prospérer. Je sais bien que l'Université n'a pas une bonne image auprès des parents mais quand même.

  • [^] # Re: l'université, c'est plus ce que c'était.

    Posté par (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E05 : de retour de la Paris Games Week. Évalué à 0.

    N'est-ce pas le principe des écoles privées subventionnées ?

    Pas vraiment, non. Dans les écoles privées sous contrats, les enseignants sont directement rémunérés par l'État et on y propose l'enseignement tel qu'il est imposé par les directives ministérielles. Les familles paient un surplus (locaux, divers entretiens, surveillants, cantine, ...) ne correspondant aucunement à la qualité de l'enseignement ni à la méthode choisie.

    Quand au coût de l'éducation, sur 50 ans, je pense* qu'on est bénéficiaire

    Les chiffres correspondant aux dépenses n'étant ni clairs ni réellement disponibles, il est impossible d'avoir la moindre certitude quant au coût exact de l'enseignement français.

  • [^] # Re: l'université, c'est plus ce que c'était.

    Posté par (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E05 : de retour de la Paris Games Week. Évalué à -1.

    Il y a actuellement une bulle aux Etats-Unis sur la dette étudiante, la même que les subprimes sauf que là, derrière, il n'y a pas de maison à saisir et à revendre. Je ne veux pas ça pour mon pays.

    Sauf que l'État français est également endetté et que la part du système éducatif dans cette dette représente également un bras mais bien sûr, ça, il ne faut pas en parler.
    Le problème du monopole de l'enseignement publique est que les méthodes d'enseignement dites alternatives coûtent excessivement cher pour les familles ayant décidé de suivre cette voie car celles-ci sont aussi obligées de payer pour l'enseignement publique qu'elles ne suivent pas.
    Un système peut-être plus juste dans une société où le citoyen est obligé de financer l'enseignement à travers l'impôt serait de laisser ces mêmes citoyens choisir l'enseignement qu'ils veulent suivre. Un peu comme cela existe avec de la taxe d'apprentissage que les entreprises paient à l'État mais qui peut être utilisé pour payer directement un apprentissage au sein de cette entreprise.

  • [^] # Re: l'université, c'est plus ce que c'était.

    Posté par (site web personnel) . En réponse à la dépêche Je crée mon jeu vidéo E05 : de retour de la Paris Games Week. Évalué à 0.

    Impossible de savoir si l'Université est moins chère étant donné que la part d'impôt qui la paie n'est pas connue. De plus, l'argument "c'est mieux car le diplôme est reconnu" n'est pas ce qui se fait de mieux en terme de pertinence. Bref, le monopole de l'État sur l'enseignement a encore de beaux jours devant lui...

  • [^] # Re: Corporatisme et lavage de linge sale en famille...

    Posté par (site web personnel) . En réponse à la dépêche Mise en demeure, suite et fin. Évalué à 1.

    Petite nuance: les avocats viennent te menacer sans que tu leur ait rien demander.

    Une autre nuance serait que les 150E pour changer de disque dur représente une somme plus ou moins basé sur l'offre et la demande de tout un tas d'acteurs différents depuis la matière première au service final concernant la pose de l'engin. Là où les 1500E demandé par tel ou tel avocat se fait dans le flou total... Pourquoi pas 100E ? Pourquoi pas 235.000E ? Pour quoi pas 3 mois de prison ? Que représente cette somme ? Y a-t-il des justificatifs ?

  • [^] # Re: « Tom Clamsy ? »

    Posté par (site web personnel) . En réponse au journal Octobre est vraiment Rouge pour Tom Clancy. Évalué à 10.

    Charles Bronson est mort ??! O.O

  • [^] # Re: bios

    Posté par (site web personnel) . En réponse au message Mageia-3-1-586-DVD. Évalué à 2.

    Une autre solution pourrait éventuellement utiliser une machine virtuelle comme VirtualBox pour tester l'installation sans tout casser.

  • [^] # Re: bios

    Posté par (site web personnel) . En réponse au message Mageia-3-1-586-DVD. Évalué à 3.

    Parfois, c'est également sur F2 qu'il faut appuyer pour choisir le lecteur sur lequel le PC va démarrer.
    Le plus "simple" est de rentrer dans le BIOS et de faire la manipulation.
    Sans avoir l'écran de démarrage sous les yeux, c'est un peu compliqué d'expliquer toutefois, de nombreuses vidéos expliquent la procédure.
    En regardant les vidéos présentes sur ce lien, tu trouveras sûrement celle qui explique comment faire avec ton ordinateur.
    En tout cas, bon courage, avec un peu de patience et quelques nuits blanches, on finit tous par y arriver ;-)

  • [^] # Re: Pourquoi se limiter au développement de logiciels libres ?

    Posté par (site web personnel) . En réponse au journal Et pourquoi pas un status : "Développeur Open Source" financé par l'état ?. Évalué à -1.

    Qu'avec un revenu universel garanti (ou appelez ça comme vous le voulez) on simplifierait grandement les choses pour pas mal de cas, y compris pour les développeurs Open Source.

    Jusqu'à preuve du contraire, fixer à X€ par mois le revenu universel garanti ne simplifie ni ne résout rien. Par exemple: remplacer X par zéro dans la phrase précédente. Qui est le mieux placé pour trouver le bon chiffre à la place de X ? Quand bien même ce dernier serait fixé, il y aura toujours quelqu'un pour dire que ce dernier est trop/pas assez élevé. Du coup, beaucoup de temps et d'énergie dépenser pour trouver une mauvaise solution à un faux problème.

  • # Choix du langage

    Posté par (site web personnel) . En réponse au journal Lycée et informatique : spécialité ISN en terminale S. Évalué à 2.

    Loin de moi l'idée de dénigrer le python comme langage mais la "simplicité" apparente du langage n'entrainerait-elle pas les élèves à penser la programmation de façon plus simpliste qu'elle ne l'est réellement.

    D'ailleurs, tu le dis toi-même, le niveau des élèves pouvant être très différent, il aurait peut-être été préférable de mettre plus de monde sur un pied d'égalité en choisissant un autre langage apportant des paradigmes de programmations moins commun et à mon sens plus adapté dans le cursus "académique" des élèves en prenant un langage fonctionnel.

    J'ai personnellement commencé la programmation sur calculatrice en mode pascal et/ou asm sur TI92/HP48 puis sur PC avec Caml Light que je trouvais à l'époque finalement plus simple à comprendre lorsque l'on baigne dans ce milieu scolaire.

    De plus, avec l'émergence des plateformes multi-coeurs, il me semble que le paradigme fonctionnel a une carte maitresse a jouer.
    Il est vrai que les langages de scripts ont une approche plus sympathique mais ces derniers ont l'avantage de s'apprendre facilement en autodidacte se qui est un peu plus compliqué pour des OCaml, Haskell, LISP, etc. La force d'un enseignement étant justement l'expérience de l'enseignant, j'aurais trouvé cela plus enrichissant de choisir des langages un peu plus rigoureux et moins aisés à apprendre seul dans son coin…

    Sinon, question note à la fin de chaque semestre, mener à bien la réalisation d'un outil dans le langage enseigné peut être une bonne façon d'évaluer le travail fourni. Écrire un programme informatique n'est pas aussi théorique qu'un devoir de mathématiques. Plusieurs réponses peuvent être bonnes. Un programme fonctionnant mal mais bien architecturé peut aboutir à une meilleure note qu'un travail dégueulasse qui marche. Comment note-t-on les élèves dans le filières professionnelles ? J'imagine que l'approche de notation est similaire.

    Un dernier point sur le système de notation. Je trouve que ce dernier insiste en général trop sur le code produit et oublie l'un des aspects les plus importants voire LE plus important dans la programmation à savoir: NE PAS REINVENTER LA ROUE. Je trouve dommage qu'on mette de côté le fait de chercher si quelqu'un n'a pas déjà codé le sujet en question et intégrer ce travail dans le sien pour résoudre le problème. C'est pour moi, l'essentiel de la programmation.