Le blog de SpiceGuid

Profil Contributions

Le jeu tel que créé le 6 septembre 2006 pour l'anniversaire de tante Zeami.

Zeami's Birthday est un graticiel pour Windows 98 ou supérieur.
 
 Dans un monde en ruines, Zeami tente de rassembler les morceaux de ce qui faisait sa vie passée.

Le gameplay est comparable à Sokoban avec pour différence la possibilité d'assembler des briques selon un certain schéma.

Commandes du jeu

• Touches direction: Déplacer Zeami
• F4: Fenêtre/Plein-écran
• F5: Sauvegarder
• F6: Charger
• M: Musique on/off
• R: Recommencer le niveau
• Esc: Quitter le jeu

Le jeu contient un répertoire "bonus" qui donne accès à :

• la musique du jeu
• certains sons du jeu
• des icônes qui pourront servir à illustrer votre compte utilisateur Windows XP
• le fichier gmd pour Game Maker 5

Un tout petit effort pour rationaliser la présentation de l'approche algébrique de la résolution des cubes.

Par quoi faut-il commencer ?

Commencez par acheter et résoudre le Pocket-Cube. Si vous ne savez pas comment vous le procurer alors utilisez Gabbasoft Cube. N'achetez pas le mini-pocket-cube, ses rotations sont trop mauvaises. Le tutoriel sur le Pocket-Cube vous donne une solution pratique tout en introduisant en douceur quelques notions théoriques. Si vous n'arrivez pas à le résoudre avec le tutoriel d'Aerie's Guard cherchez un autre tutoriel sur internet.

Ensuite, pour approfondir vos notions théoriques, reportez-vous au Guide universel pour Univers³.

Que faut-il acheter comme cubes ?

Commencez par des cubes faciles, bons pour débuter :

• Le Pocket-Cube

• Le Pyraminx

• Le Domino
• La Tour 2×2×3

Puis continuez par les grands classiques, à l'aide des formules pour tous les cubes de 2³ à 5³ :

• Le Rubik's Cube ou le Do It Yourself
• Le Megaminx
• Le Eastsheen cube 4³
• Le Eastsheen cube 5³

• Une variante intéressante du Eastsheen cube 4³ consiste à étiqueter les facettes de façon à ce que chacune d'elle doive retrouver exactement sa place initiale (sinon les flèches ne seront pas alignées). Cette variante est également jouable à l'aide de Gabbasoft Cube.

Enfin, si vous rencontrez une difficulté, n'hésitez pas à posez votre question dans la rubrique univers³.

Le pire avec les test de QI (Quotient Imbécile) c'est le non-sens absolu de certaines questions.

Un exemple manifeste

Un autre exemple

Parmi les lettres H, A, B, M, T quelle est l'intruse ?

Et vous, vous est-il arrivé de rencontrer des Questions Idiotes dans les test de Quotient Imbécile ?

Moins de casse-tête pour le site.

D'abord je n'achète plus de cubes. Ceux que j'ai déjà me semblent suffisants pour l'instant. Il en existe des myriades d'autres mais je les trouve bien moins attractifs, autant sur le plan esthétique que sur le plan intellectuel.

La rubrique Univers Cubique n'est pas ce qu'on peut appeler une réussite en matière de traffic.
Peut-être mon approche n'est-elle pas assez pragmatique. Ou peut-être mes cubes sont-ils trop exotiques.
Je remercie Ertaï qui n'a eu de cesse de m'encourager. Cependant je ne me fais pas d'illusion, ce qui compte pour un web-master c'est la fréquentation, et là elle n'est clairement pas au rendez-vous.

La rubrique a eu des à-côtés très positifs, comme :

• m'obliger à me familiariser à fond avec l'éditeur de texte riche
• motiver certaines nouveautés comme la balise Spoiler et m'apprendre à créer des images PNG avec de la transparence

Dans le même ordre d'idées j'ai également arrêté :

• la construction en legos, y compris la photographie de mes constructions déjà existantes, notamment sur le thème Moyen-Âge
• les jeux-vidéos, les jeux en général, y compris le côté algorithmique

 
Tout cela pourrait donner à penser que je me désinvesti du Refuge. Bien au contraire, j'ai un nouveau projet logiciel qui devrait être potentiellement porteur de plus de synergies avec les talents du site. J'en dirai davantage dès que j'aurai quelque chose de plus concret à présenter.

Le post-mortem du projet Moonscript.

Pour les nouveaux et pour ceux qui n'auraient pas suivi (on les comprend), le projet Moonscript est un projet personnel de type tabula rasa en matière de paradigme de programmation. L'idée de base était bien de rejeter en bloc tout ce qui existe en langages de programmation puis de tout refonder (reconstruire) à partir d'un seul outil puissant et bien fondé: la théorie des catégories bicartésiennes fermées. Il s'agissait d'un projet fou uniquement compréhensible pour quelques informathématiciens passionnés. La version actuelle Moonscript 0.6 est sans doute la dernière version du projet. 

Comment rendre compte de l'expérience de quelque chose d'une abstraction aussi stratosphérique ?

D'abord il faut le vivre, pour éprouver l'excitation d'être à l'aube de quelque chose d'entièrement nouveau, une telle sensation on ne peut la rencontrer plusieurs fois dans une vie. Je peux dire que je l'ai vécue une fois et que j'en suis heureux. Moonscript, comme son nom l'indique, était dans la Lune et n'avait pas les pieds sur Terre. À mon avis je devais le faire car la vie professionnelle n'offre pas d'opportunités aussi détachées des réalités.

Ce qui a bien marché c'est l'implantation des structures habituelles (entiers, tableaux indexés, listes, queues, ensembles, dictionnaires, tas et files de priorités). Grâce à l'élégance toute mathématique de la théorie sous-jacente au code, toutes ces structures sont modélisées avec une concision et une sûreté inégalées. À ce stade là je n'utilisais que les notions (assez) bien maîtrisées de catamorphisme et de paramorphisme.

Ce qui n'a pas du tout marché en revanche c'est l'ajout du TAD (Type Abstrait de Données) graphe.
J'avais déjà tout ce que je désirais dans ma librarie de TADs, il ne me manquait plus que les graphes. Je voulais absolument avoir les graphes et les algorithmes associés, car c'est typiquement ce qui n'est pas fourni par les autres langages, et donc ça devenait comme un plus-produit, une raison d'être et d'exister pour mon langage. J'anticipais que d'éventuels utilisateurs seraient avant tout atirés par un confort inégalé pour manipuler les graphes et les concepts associés (transposé, connexité, dualité, clique, isomorphisme,...).

Et c'est là qu'est réapparu le fantôme d'une scission fondamentale que je croyais avoir enterrée d'un seul grand coup de marteau-pilon. N'importe quelle introduction sur les graphes vous le dira, il n'y a que deux façons d'implémenter un graphe :

• soit à l'aide d'une liste d'adjacence
• soit à l'aide d'une matrice

J'ai choisi la liste d'adjacence dans le style de Martin Erwig.

Le problème: je n'obtiens pas un TAD graphe mais seulement l'implémentation de ce TAD. Moonscript ne fait pas la distinction classique entre interface et implémentation. Cette distinction interface / implémentation est une idiosyncrasie de la programmation modulaire et de la programmation par objets, or Moonscript n'est ni un langage modulaire ni un langage de programmation par objets. Du coup j'ai une implantation mais je ne peux pas l'utiliser car aucune interface n'est disponible.

La solution: elle réside forcément dans la théorie des catégories bicartésiennes fermées. Puisque c'est mon seul et unique paradigme. Après mûre réflexion je suis arrivé à me convaincre que les métamorphismes offrent le type de transformation que je recherche. Ils font la conversion interface-implantation et vice-versa. Malheureusement j'ai beau googliser je ne trouve qu'une seule publication sur les métamorphismes. Assez pour me convaincre que je suis sur la bonne voie mais trop peu pour que je m'y engage. Une seule publication cela veut dire que la notion est sans doute encore très récente, pas assez étudiée, en tout cas pas assez pour être implantée dans un langage de programmation. Avant de lire cet article je ne savais même pas ce qu'est un métamorphisme. Autant dire que je dois abandonner. Pourtant je ne suis pas si loin du but. Dommage. J'y reviendrai peut-être un jour.

Pour ceux qui s'en souviennent je m'étais vanté d'une promesse de suivi/commentaires par un logicien reconnu. Il n'en a rien été. Aucun contact en 1 année.

Pourquoi ce silence ?

Pourquoi Le Mur a-t-il autant de succès et le Blog si peu ?

Mystère.

Je n'ose pas imaginer que les membres d'Aerie's Guard n'ont rien à dire.

Je n'ose pas non plus imaginer que les membres d'Aerie's Guard n'ont pas de projet.

C'est très constructif de blogger sur le (non-)avancement de son projet.

Moi-même, en consultant ce blog je me rend compte que MoonScript a plus d'un an et qu'il est donc grand temps pour moi de faire le point.

Et je suppose que ce serait tout autant profitable aux autres membres de parler d'eux, de leurs projets, de leurs opinions et plus généralement de ce qui leur tient à cœur.

Autre chose: avant d'ajouter un sujet dans L'Auberge demandez-vous s'il n'aurait pas mieux sa place sur votre blog.

En googlisant (du verbe googliser) je viens d'apprendre que j'habite un des "172 quartiers interdits" en France.

En clair un quartier où le niveau de violence serait si élevé que plus aucun dépositaire de l'ordre républicain n'oserait plus y mettre les pieds de peur pour sa sécurité.

Or ce n'est pas du tout ce que je vis au quotidien.

Bien sûr il y a des incivilités, des cambriolages, et surtout de nombreux incendies de véhicule, je ne le nie pas. Mais il y a bien un commissariat de police de quartier, des rondes policières (plusieurs par nuit), des contrôles de véhicule, parfois des patrouilles à pied en journée (souvent avec présence d'une femme-policier), les pompiers interviennent sur les incendies de véhicule... bref, on ne peut pas dire que les forces de l'État ont déserté le secteur et livré la population à la voyoucratie.

Alors quelle est l'origine de cette liste des "172 quartiers interdits" ?

Sur quels critères a-t-elle été établie ?

A-t-elle d'autre mobile que l'exploitation électorale ?

Merci à Zergy pour m'avoir signalé l'offre Orange découverte à 21 € par mois.

Le fait est que j'avais souscrit à une offre triple-play alors qu'en fait je n'avais besoin que d'une offre internet nu.

Ce qui fait tout de même 11€/mois de différence, une somme qui compte pour un petit budget comme le mien.

L'offre triple-play est assortie d'un engagement de 12 mois.

Alors comment résilier mon contrat avant cette échéance ?

J'ai d'abord essayé de changer manuellement de contrat à partir de mon compte sur le site Orange.

Peine perdue, le changement ne se fait pas.

Rendez-vous à la boutique Orange la plus proche. Là le vendeur me confirme que le changement est légalement possible, puisque suite à la répercussion de la hausse de la TVA sur les offres triple-play, il y a rupture de contrat, ce qui me met en position de résilier ou de renégocier ma formule d'abonnement.

Cependant, techniquement, il ne peut pas le faire à partir de son terminal.

Toutefois il me donne un numéro d'assistance téléphonique, il suffirait de composer le 3900 puis de faire le choix 2 pour être mis en communication avec un(e) opérateur(trice) qui pourra effectuer le basculement vers un abonnement plus adapté à ma consommation.

Dans le cadre de la commande groupée j'ai reçu de nouveaux cubes.

Vous recevrez les vôtres bientôt je l'espère.

De gauche à droite, de haut en bas :

1. le V7-cube, un cube à 7 tranches
2. la tour 3 × 3  × 2
3. la tour 2 × 2  × 3
4. le 4³ fléché comme dans Gabbasoft-cube, la différence avec un 4³ ordinaire c'est qu'il faut remettre toutes les pièces centrales (les pièces monocolores) exactement à leur place initiale  
5. le Jing's Pyraminx, un vrai puzzle pyramidal
6. le mégaminx, le petit frère du gigaminx

Une photo groupée de mes nouveaux cubes

Vaut-il mieux être lisible ou être visible ?

Tout en continuant de blogger sur developpez.com je trouve que blogger ici a également des avantages.

Il y a déjà presque un mois que j'ai mis en ligne Moonscript 0.5, puis j'ai du arrêter par manque de visibilité.

Il me fallait l'intervention d'un logicien bien plus compétent que moi pour dire si ma fondation algorithmique était bonne pour bâtir un étage au dessus. Une logique intuitionniste qui fasse de Moonscript un langage de preuve afin que la fin devienne le moyen et que le moyen devienne la fin.

Aujourd'hui je viens de recevoir un email encourageant, un logicien va éventuellement étudier Moonscript 0.5. C'est là que ça devient vertigineux. Il va éventuellement accorder quelques minutes à mon travail, il va éventuellement me dire que je fais fausse route, ou bien il va éventuellement me donner une réponse polie (ce qui signifie: aucun intérêt), ou bien éventuellement il va s'abstenir de commentaires (car il reçoit trop régulièrement ce genre de sollicitations qui lui coûtent un temps précieux).

Dans tous les cas je vais descendre de mon piédestal. Les années passant je suis bien obligé de faire le bilan de ce que j'ai investi pour ce que je reçois en retour. Peut être que je reçois trop. Peut être que je ne m'investi pas assez. Ou peut être que je m'investi trop pour une mission dont justement personne ne m'a investi. Et donc qu'il est normal que je ne reçoive rien (ou le strict minimum) en retour.

Me voilà arrivé au tournant. Je suis encore jeune et je peux retourner à des préoccupations plus alimentaires. Mais ça va être difficile. Ou alors je peux tenter de forcer le destin. Et alors ça va être encore 10000 fois plus difficile. Au contraire j'avais toujours cru avoir des facilités. Alors est-ce que ça valait vraiment le coup si c'était pour en arriver à ce point là ?