[critor]

Plus que quelques jours pour remporter le trésor du Wumpus avec entre autres une TI-Nspire CX CAS compatible Ndless, une TI-84 Plus C Silver Edition couleur, et une TI-83 Plus.fr USB.

L'interface avec laquelle vous deviez travailler pour développer et rendre votre IA (Intelligence Artificielle) vient d'être mise à jour et est téléchargeable ci-dessous.

Il y a eu d'une part correction d'un bug qui faisait que les salles piégées n'étaient pas signalées dans certains cas. Un grand merci à Extra44 et oakwood pour le signalement, l'explication et la proposition de correction!

D'autre part maintenant que votre IA (intelligence artificielle) ne risque plus de tomber par erreur dans une oubliette non signalée, nous avons pu remarquer que certaines des IA soumises se mettaient parfois à errer éternellement sans but dans le labygraphe, ne terminant donc jamais la partie.

Cela arrive en effet lorsqu'il n'y a pas de solution au problème. L'IA qui finit par déduire que la situation est sans espoir n'a que deux solutions:

• se suicider
• continuer d'errer éternellement dans le labyrinthe

Mais comment est-ce possible alors que l'énoncé du concours vous garantit qu'il y a toujours une solution au problème?

Regardez un petit peu l'exemple ci-contre.
A partir de l'entrée du labygraphe (salle n°1) il est bien possible de rallier la salle du trésor (salle n°8), mais uniquement à condition de réussir à passer la salle du Wumpus (salle n°10).

• Partant de la salle n°1, notre IA n'a donc que le choix de rallier la seule salle voisine, la n°9.
• Dès son arrivée en salle n°9, l'IA sent un Wumpus. Le monstre se trouve donc dans une salle voisine non explorée, ce qui ne laisse le choix qu'entre les n°5, 7 et 10. Comme il n'y a rien d'autre à explorer sur ce labygraphe il n'y a pas le choix: il va falloir se confronter au Wumpus.
• L'IA peut alors soit décider de la jouer quitte ou double, et de visiter au hasard l'une des salles n°5, 7 ou 10. Mais elle peut aussi plus sagement tirer son unique flèche dans une des salles n°5, 7 ou 10 pour tenter de tuer le Wumpus, ou à défaut d'en déduire sa position. Supposons que l'IA tire au hasard dans la salle n°7.
• L'IA se rend alors compte que ça sent toujours autant le Wumpus, que ce dernier est donc toujours vivant et ne se trouvait donc pas en salle n°7. Il est donc soit dans la salle n°5, soit dans la salle n°10. Même situation à nouveau: il n'y a toujours pas de salle sûre à explorer.
• Sauf que là, l'IA n'a plus sa flèche. La seule possibilité qui lui reste est d'aller dans une des salles n°5 ou 10. Supposons que l'IA aille au hasard dans la salle n°5.
• L'IA se rend compte qu'elle est toujours vivante et déduit donc que le Wumpus est en salle n°10.

Sauf que sur cet exemple de labygraphe, avoir déduit la position du Wumpus ne nous aidera pas à gagner, puisque nous n'avons plus notre flèche pour le tuer, et qu'il n'y a pas d'autre chemin permettant de le contourner pour se rendre dans la salle du trésor.
L'IA a-t-elle donc eu tort? Non, elle a parfaitement bien raisonné sur cet exemple - c'est exactement ce qu'il fallait faire.

La situation est donc désespérée. Et ce cas n'ayant pas été mentionné au règlement, vous n'avez ni obligation ni interdiction. Vous avez aussi bien le droit de suicider votre IA que de la faire errer éternellement dans les salles sûres du labygraphe, et nous ne devons pas faire de différence dans l'évaluation.

L'IA ci-dessus a notamment fait le choix d'errer éternellement à travers les mêmes cinq corridors et six salles du labygraphe, et en est déjà à son 111^ème déplacement.



Mais pour évaluer votre IA, il nous faudra réaliser un grand nombre de parties, et donc pouvoir passer à la partie suivante.

• D'une part, nous rajoutons donc une touche 'f' qui permet de déclarer forfait et de passer à la partie suivante si vous estimez que votre IA est coincée.
• D'autre part, pour avoir des statistiques sur un grand nombre de parties en évitant de devoir venir vérifier toutes les deux minutes si votre IA ne s'est pas coincée, nous instaurons un nombre de coups maximal par partie. Rien d'effrayant: nous l'avons fixé pour le moment à n*d, soit 200 coups sur l'exemple ci-dessus avec n=10 et d=20. C'est très largement plus qu'il n'en faut pour explorer et ressortir d'un tel labygraphe. En effet, cela correspond au nombre de coups théoriques pas juste pour visiter toutes les salles, mais pour les visiter de toutes les façons possibles en empruntant tous les corridors deux fois (aller et retour). Comme en pratique il n'est jamais nécessaire d'emprunter tous les corridors sauf si le labygraphe se résume à une unique ligne brisée avec le trésor au bout, cela ne gênera jamais votre IA, tout en permettant à notre interface de passer à la partie suivante après quelques secondes d'errements sans fin.

Dans les deux cas, cela est compté par l'interface exactement comme une partie perdue. Elle ne fait aucune différence et conformément au règlement il n'y a donc strictement aucune autre pénalité, surtout que le nombre de coups moyen n'est calculé qu'à partir des parties gagnantes.

Bonne chance!

Lien : Présentation et énoncé complets du concours

Téléchargements:
La nouvelle version du fichier TI-Nspire à modifier/compléter et à rendre:
LabyGraph - Wumpus

Pour éditer le script Lua et le compléter avec vos fonctions:
Logiciel TI-Nspire 3.2 enseignant (pour PC - gratuit pendant 90 jours)
Logiciel TI-Nspire 3.2 enseignant (pour Mac - gratuit pendant 90 jours)
Logiciel TI-Nspire 3.2 étudiant (pour PC - gratuit pendant 30 jours)
Logiciel TI-Nspire 3.2 étudiant (pour Mac - gratuit pendant 30 jours)

[critor]

Malgré une légende urbaine assez tenace, les données que vous rentrez dans vos calculatrices ne sont pas contrôlées lors des concours ou examens en France. En effet, elles sont considérées comme des données privées et sont donc protégées par la loi.

Les surveillants ne pourraient donc éventuellement que s'en tenir à ce qu'ils seraient capables de voir sur les écrans de vos calculatrices sans avoir à y toucher. Devant le nombre de plus en plus important de modèles différents toujours plus perfectionnés, qui est capable de différencier d'un simple coup d’œil sur l'écran des données insérées par un candidat de données préchargées dans la calculatrice? Pas grand monde.



Certains professeurs opposés à l'utilisation de pompes sur la calculatrice font parfois de la désinformation malhonnête en citant sans davantage de précisions un jugement rendu par le Tribunal Administratif de Rennes le 16 septembre 1999. Un candidat au BAC a en effet été pris par un surveillant lors d'une épreuve avec un affichage de pompes à l'écran de sa calculatrice et a vu son examen annulé.

En pratique ce que l'on ne vous dit pas dans les lignes ci-dessus, c'est qu'il s'agissait d'un candidat au BAC Technologique Agricole (séries STAE ou STPA à l'époque, depuis remplacées par la série STAV), dont l'organisation est entièrement confiée au Ministère de l'agriculture, de l'agroalimentaire et de la forêt. La sanction et sa confirmation par le Tribunal Administratif se basent sur l'article R.811-174 du code rural. Cet article ne peut donc pas être invoqué dans le contexte d'examens ou concours organisés par le Ministère de l'Éducation Nationale, et cela inclut la filière Biologie-Écologie, qui bien que suivie dans des établissements agricoles voit l'organisation de ses épreuves dépendre de l'Éducation Nationale. Cette décision ne saurait donc nullement constituer jurisprudence, autre que pour les examens et concours dont l'organisation revient exclusivement au Ministère de l'agriculture, de l'agroalimentaire et de la forêt.

Depuis il n'y a plus jamais eu d'autre cas de ce type, et ce pauvre candidat apparaît aujourd'hui comme la victime d'un surveillant un peu zélé, sans doute intrigué car non encore habitué à l'époque aux dernières superbes calculatrices perfectionnées qui venaient de sortir comme la TI-92, et qui ne causent aujourd'hui plus aucun problème.



Toutefois, afin de rassurer les sceptiques mais aussi d'aider les candidats d'autres pays non soumis aux mêmes lois, Levak vous avait sorti dans une actualité précédente un petit outil, HideManager, qui vous permettait de masquer certains documents.

Hélas, il s'agit du pire outil Ndless en terme de demandes d'aide relativement au nombre de téléchargements, bien au-delà du rapport aide/téléchargements de Ndless ou de mViewer. Vous êtes très nombreux à dire que c'est incompréhensible et à venir demander une réexplication complète de l'outil.

Cela veut souvent dire:

• soit que la documentation de l'outil est mal faite
• soit que l'utilisation de l'outil n'est pas intuitive ou naturelle

Avec le recul, c'est sans doute un peu des deux. L'utilisation de l'outil n'est d'une part ni naturelle, ni intuitive. La documentation d'autre part avec sa richesse semble davantage cibler l'utilisateur/technicien et fait apparaître l'utilisation comme compliquée alors qu'elle ne l'est pas. De plus, étant disponible exclusivement en anglais, sa lecture semble décourager nombre de lecteurs francophones. Hélas, l'auteur ne l'a jamais mise à jour pour la rendre plus accessible à tout un chacun.



Heureusement, Excale vient de nous sortir un nouvel outil, nHide, dont l'utilisation est beaucoup plus naturelle puisque utilisant l'explorateur intégré à la TI-Nspire!

Par défaut, l'explorateur TI-Nspire ne permet d'accéder qu'au contenu du dossier "/documents/" du système de fichiers TI-Nspire, et c'est pour cela que les différents fichiers système n'y apparaissent pas.

Une fois nHide installé à partir de l'écran d'accueil vous pouvez lancer l'explorateur de documents Nspire dans la racine du système de fichiers, faisant apparaître tous les dossiers cachés.
Au lieu de simplement taper , il suffit pour cela d'une combinaison secrète: maintenir la touche enfoncée tout en tapant

Il vous suffit ensuite d'effectuer avec l'explorateur ainsi étendu de simples couper/coller de vos fichiers sensibles présents dans "/documents" vers n'importe quel autre dossier que vous pouvez éventuellement créer dans la partie usuellement cachée du système de fichiers!

Toute personne ne connaissant pas cette combinaison secrète sera incapable d'accéder à ces fichiers. Il vous faudra bien sûr lancer nHide après chaque redémarrage de la TI-Nspire pour pouvoir accéder à ces fichiers. Vous pouvez soit décider de le mettre dans le dossier de démarrage "/documents/ndless/startup/" de Ndless, soit le laisser dans un autre dossier éventuellement en lui donnant un nom bizarre et ne le lancer que lorsque nécessaire. Dans ce cas, même une personne connaissant la combinaison secrète ne pourra pas y accéder.

Nous regretterons juste que nHide ne permette pas de personnaliser la combinaison secrète.

Bons camouflages!

Téléchargement :
nHide (nécessite Ndless 3.1 ou compatible)

Hello à tous

TI-Tutoriel a son propre site et tu peux y accéder ici
Ce site te permettra de connaître facilement nos projets mais aussi nos vidéos, nos photos et événements à venir !

[critor]

Dans une actualité précédente, nous t'annoncions un nouveau concours Omnimaga où tu devais programmer un jeu addictif pour TI-83 Plus et TI-84 monochromes.

Deux catégories distinctes étaient ouvertes (TI-Basic et assembleur), avec pour chacune:

• 1^er prix : la nouvelle TI-84 Plus C Silver Edition couleur
• 2^ème prix : 3 calculatrices TI
• 3^ème prix : un T-shirt Omnimaga

Les trois calculatrices des 2^ème prix de chaque catégorie viennent d'être dévoilées, et franchement on ne se moque pas de vous:

• une TI-83 Plus Silver Edition :
  Munie de sa superbe couleur argentée, il s'agit du haut de gamme de la série TI-83 Plus.
  Elle présente un processeur à 15MHz et une puce Flash-ROM de 2Mo offrant 1,5Mo de mémoire d'archive, soit exactement comme les TI-83 Plus.fr USB et TI-84 Silver Edition!
  De plus, elle inclut 128Ko de mémoire RAM est est donc supérieure en spécifications aux TI-83 Plus.fr USB et TI-84 Silver Edition qui n'ont que 48Ko de RAM!
  Le seul inconvénient par rapport à ces derniers modèles, excusable vu l'âge, est l'absence d'une prise mini-USB intégrée.
  Ce modèle fut rapidement abandonné pour ne pas faire d'ombre à la nouvelle série des TI-84 Plus dont la calculatrice de base est moins bien. Il est donc fort rare aujourd'hui.
• une TI-85:
  processeur à 6MHz + 32Ko de RAM + 128Ko de ROM non reprogrammable (pas de mémoire d'archive)
  Présente l'avantage d'avoir un écran large 128x64 pixels comme ceux des calculatrices graphiques Casio monochromes, contre 96x64 pixels pour les TI-82/83/84 monochromes.
  Premier, mais également avant dernier modèle avec la TI-86 de la série de calculatrices non formelles dédiées à l'enseignement supérieure et aux ingénieurs. Remplacé depuis par la série des calculatrices formelles.
• une TI-82 ou TI-83:
  processeur à 6MHz + 32Ko de RAM + 128Ko de ROM (TI-82) ou 256Ko de ROM (TI-83) non reprogrammable (pas de mémoire d'archive)

Finalement, malgré les décennies qui passent, on se rend compte que certaines anciennes calculatrices TI continuent de battre les modèles récents sur certains critères.


Attention, la date limite de participation est ce mercredi 6 novembre à 23h59 heure Omnimaga. En tenant compte du décalage horaire et de notre passage récent à l'heure d'hiver, cela devrait donner 4h59 du matin chez nous.


Source :
http://www.omnimaga.org/index.php?topic=17327.0

[critor]

Dans une vidéo, Deloge vous vantait le démarrage ultra rapide (comparé à une TI-Nspire CX CAS) en seulement quelques secondes de la HP-Prime.
En effet, Texas Instruments a une haute opinion de la “sécurité”, possiblement due au passé militaire de l’entreprise, et de nos jours une volonté de protéger la poule aux oeufs d’or. La TI-Nspire CX CAS doit franchir deux couches de sécurité lors de son démarrage:

• le boot1 décompresse le boot2 et vérifie l’authenticité d’une signature avec une clé RSA 2048 bits, avant de lancer le boot2 s’il est validé;
• le boot2 déchiffre et décompresse l’OS, avant d’en vérifier l’authenticité avec une autre clé RSA 2048 bits… et de le lancer, enfin.

In a video, Deloge gave props to the fast boot speed of the HP Prime, only several seconds whereas the Nspire’s boot procedure takes dozens of seconds (especially on the CX series).
Indeed, Texas Instruments gives priority to “security”, possibly a consequence of the company’s military past, nowadays a will to protect the lucrative business model. The Nspire CX CAS uses two layers of security during its boot process:

• the boot1 decompresses the boot2 and validates the authenticity of a signature using a 2048-bit RSA key, before launching the boot2 if it passes validation;
• the boot2 decrypts and decompresses the OS, before validating its authenticity with another 2048-bit RSA key… and launching it, at last.

On pouvait donc supposer que la HP-Prime ne disposait pas d’une telle “sécurité”, à l’image des calculatrices Casio où l’on peut modifier les OS installés comme bon nous semble, à condition de mettre à jour une simple somme de contrôle.
Les guillemets autour de “sécurité” dans la phrase précédente sont là pour rendre compte du fait que ces signatures et ce chiffrage n’empêchent pas le reverse-engineering, les exploits et diverses manipulations que nous avons déjà amplement décrites dans de nombreuses autres news et divers tutorials, et qui ne sont pas l’objet de cette news. Du point de vue de l’utilisateur, le déchiffrement, en particulier, est une pure perte de temps.

Therefore, it felt logical that the HP Prime didn’t use such a “security” scheme, like Casio calculators where the installed OS can be modified at will, provided a simple checksum is updated.
The use of quotes around “security” in the previous sentence is meant to refer to the fact that signatures and encryption do not prevent reverse-engineering, exploits and various manipulations which we already described at length in many other news items and various tutorials, and aren’t directly related to the current news item. From a user’s perspective, decryption (especially) is a pure waste of time.

Les firmwares HP-Prime se composent de plusieurs fichiers.

HP Prime firmwares are made of multiple files.

• BXCBOOT0.BIN
• BESTAARM.ROM
• MASTER.DAT
• APPSDISK.DAT

Aussi en août, Lionel et moi avions fait une expérience relatée par Lionel.

In August, Lionel and I had made a quick experiment described by Lionel.

Elle consistait à modifier, dans le firmware de la Prime (partie \programs\misc\armfir.elf du système de fichiers FAT16 contenu dans APPSDISK.DAT), des éléments visibles, à l’époque les chaînes d’aide de WHILE et REPEAT.
La modification a été réalisée sous Linux, après montage de l'image:

Code: Select all

mkdir appsdisk; mount -o loop,offset=8192 APPSDISK.DAT appsdisk/

Elle a été effectuée grâce à l’éditeur hexa `hte`, après avoir trouvé les chaînes avec `strings` et un peu de `od`. Du classique, donc.

The experiment was made of a modification, in the Prime’s firmware ( \programs\misc\armfir.elf part of the FAT16 filesystem embedded into APPSDISK.DAT), of some user-visible items, namely the help strings of WHILE and REPEAT.
The modification was performed under Linux, after mounting the image:

Code: Select all

mkdir appsdisk; mount -o loop,offset=8192 APPSDISK.DAT appsdisk/

It was done thanks to the `hte` hex editor, after finding the strings with `strings` and a sprinkling of `od`. No fancy tools.

Bien sûr, pour qu’une modification ait une chance de fonctionner (du moins, nous l’imaginons, mais nous allons poursuivre les tests), il faut mettre à jour la somme MD5 dans le fichier \APPSLIST.MD5 du filesystem FAT16, après avoir calculé la somme MD5 du fichier armfir.elf modifié.
Ensuite, il faut transférer le firmware complet, comprenant le fichier APPSDISK.DAT modifié, à la calculatrice.

Of course, such a modification has no chance of working (well, at least, we think so, but we’ll perform more tests) without updating the MD5 sum in the \APPSLIST.MD5 file of the FAT16 filesystem, after computing the MD5 sum of the modified armfir.elf

Avec ça, c’est bon ? Non, notre expérience en août avait échoué. Les chaînes de caractères de l’aide de WHILE et REPEAT n’avaient pas changé, sur la calculatrice, et nous avions donc supposé que la procédure de validation était plus compliquée. Il fallait quand même tenter les choses simples et très rapides en premier

So far, so good ? Nope, our experiment from August had failed. The help strings for WHILE and REPEAT didn’t change, on the calculator, so we supposed that the checking procedure was more complicated. Trying out the simple, quick things first was the appropriate thing to do

Mais nous avons compris ce week-end pourquoi nous avions échoué: dans cette expérience, le firmware n’avait pas été intégralement transféré à la calculatrice !
Pour déclencher un transfert complet, une méthode apparemment fiable est de downgrader le firmware, avant de l’upgrader. Peut-être y a-t-il plus simple (modification dans MASTER.DAT ou autre), mais les transferts de firmware vers la Prime sont suffisamment rapides grâce à un contrôleur USB supérieur à celui des Nspire et à un protocole plus malin.

However, this week-end, we understood why our experiment had failed: the firmware hadn’t been fully re-transferred to the calculator !
In order to trigger a full firmware transfer, a seemingly reliable method is to downgrade the firmware before upgrading it back. Maybe there are simpler ways (e.g. modifying MASTER.DAT), but on the Prime, firmware upgrades are fast enough, thanks to an USB controller better than that of the Nspire, and a better protocol.

Lors du downgrade + upgrade, la calculatrice affiche pendant quelques secondes un message "verifying firmware". Il y a donc peut-être bien une signature, mais elle ne concernerait que certains fichiers jugés critiques ?
En tout cas, le fichier APPSDISK.DAT modifié est bien transféré à la calculatrice, et les modifications sont visibles, comme le montrent les photos ci-contre ainsi que la capture d’écran réalisée avec le programme de test de libhpcalcs (“libticalcs pour les Prime”, et davantage) en développement par Lionel et que je teste:

During the upgrade + downgrade, the calculator displays a “verifying firmware” message for several seconds. Therefore, there may be a signature, but it could be applied only to a subset of files considered highly critical ?
Anyhow, the modified APPSDISK.DAT file is correctly transferred to the calculator, and the modifications are visible, as shown by the opposite snapshots as well as the screenshot made with the libhpcalcs (“libticalcs for the Prime”, and more) being developed by Lionel, which I’m testing:

(on remarquera les couleurs avec inversion des teintes rouges et bleues, venant du fait que le post-processing nécessaire sur les images produites par la machine n’est pas encore implémenté)

(notice the inverted colors, caused by the current lack of implementation of necessary post-processing on the images produced by the calculator)

Il est évident que si on peut modifier aussi facilement les chaînes de caractères de l’OS, on peut modifier bien d’autres choses
Espérons donc plein de bonnes choses pour la plate-forme Prime, à commencer par:

• l’utilisation de la pleine puissance de la machine grâce au code natif (la puissance brute la plus élevée du marché pour une calculatrice à l’heure actuelle, même si elle est faible par rapport aux smartphones modernes);
• le portage de Linux et l’émulation la machine, largement faisables avant la fin de l’année si une équipe peut y passer assez de temps, d’autant que la machine est basée sur des composants connus, déjà supportés pour la plupart par Linux et de vieux forks de QEMU, voir http://tiplanet.org/hpwiki/index.php?ti ... /Emulation ;
• la correction de bugs, comme celui de l’indice des suites ne pouvant pas commencer à zéro (très embêtant pour l’enseignement secondaire français).

It is obvious that if modifying the OS’s strings is so easy, then many other things can be modified
Let’s hope the best for the Prime platform, starting with:

• unleashing the full power of the calculator through native code (at the time of this writing, the highest raw power on a calculator in the entire marketplace, even if it’s low compared to modern smartphones);
• porting Linux and emulating the calculator, clearly doable before the end of the year if someone can spend enough time on it, all the more the calculator is based on well-known components, most of them already supported by Linux and old QEMU forks, see http://tiplanet.org/hpwiki/index.php?ti ... /Emulation ;
• bugfixes, such as making it possible for sequence index to start at 0 (the current impossibility to do so is very annoying for French high school teaching).

coécrit par Critor et Lionel Debroux

cowritten by Critor and Lionel Debroux