Pour ceux qui aiment la théorie des catégories et les preuves diagrammatiques Paul-André Melliès présente une (nouvelle?) approche graphique à la croisée du calcul des séquents et de la théorie des noeuds.

Cliquez sur l’image pour télécharger les slides pdf.

Le système d’exploitation MorphOS, un OS léger et convivial descendant de feu AmigaOS est enfin disponible en version 2.5 sur matériel Apple, eMac, Mac mini G4, en plus des plateformes déjà supportées (Pegasos 1 & 2 et EFIKA).

La procédure d’enregistrement de MorphOS 2.5 est intégrée à la version de démonstration et consiste à :

• installer la version de démonstration librement téléchargeable
• utiliser l’outil RegTool pour s’enregistrer
• le paiement s’effectue à l’aide de PayPal

Les conditions d’utilisation assez restrictives (la licence est liée au matériel) sont destinées à limiter le piratage. Espérons que cela n’empêchera pas les passionnés d’informatique alternative de découvrir ce système plein d’atouts pour ne pas dire culte puisqu’il a le don de déclencher un attachement que certains qualifient d’irrationnel.

L’installation par défaut écrase toutes les données du disque, pour installer MorphOS 2.5 en multi-boot sur Mac Mini reportez vous à ces instructions.

Renseignez-vous sur MorphOS et l’Amiga :

• visitez le site d’un utilisateur satisfait par MorphOS
• visitez un site de fans de cette machine mythique qu’est l’Amiga
• adhérez au groupe DVP des utilisateurs d’Amiga et compatibles
• apprenez la fabuleuse histoire de l’Amiga, découvrez des personnages hauts en couleur comme Jay Miner, son chien Mitchy, et revivez la passion de l’informatique comme elle ne sera plus jamais

Un MIME (Multipurpose Internet Mail Extension) est une information système pour identifier les types de fichier et leur affecter certains attributs comme une commande par défaut ou une icône personnalisée.

Dans ce billet je vais encore plus loin en vous proposant directement un panel d’icônes taillées sur mesure pour le gestionnaire de fichiers ROX-Filer.

Bien sûr si vous semblez frappé d’injustice du fait que votre langage de programmation favori ne soit pas représenté, vous pouvez me faire une proposition que j’ajouterai pour élargir la gamme de fichiers sources personnalisables.

C’est essentiel pour communiquer sur sa compétence, tout particulièrement lors d’un entretien d’embauche où il s’agira avant tout de montrer à son examinateur qu’il a du talent.

Ce petit lexique non exhaustif est fait pour vous aider à convaincre votre interlocuteur que vous êtes au moins aussi incompétent que lui. Conforté dans l’idée qu’il a enfin trouvé la personne à sa hauteur il ne pourra que vous engager à rejoindre son équipe de professionnels aguerris.

langage: qu’importe le langage puisqu’en fait ils se valent tous, n’importe quel langage ferait aussi bien l’affaire pourvu que ce soit le même que celui qui est exigé.

portabilité: le langage exigé a un plus par rapport aux autres langages. il est portable. c’est d’ailleurs le seul langage connu qui soit réellement portable. de plus il en existe déjà une implantation sur la plateforme exigée. qui est en fait la seule plateforme qui compte puisque c’est celle que tout le monde utilise. d’autres langages sont disponibles sur d’autres plateformes moins populaires mais ça ne sert à rien puisque personne ne les utilise.

objet: on ne dit pas une classe, on dit un objet. on ne programme pas à l’aide d’un langage de classes mais à l’aide d’un langage à objets. on ne déclare pas une nouvelle classe, on créer un nouvel objet. pour montrer qu’on est vraiment un pro de la programmation par objets on ne manquera pas d’hériter de cet objet puis d’instancier ce nouvel objet. pour les plus soigneux l’étape de l’implantation objet sera précédée d’une étape de modélisation objet où l’on aura préalablement établi toutes les relations inter-objets.

conception: ce qui importe c’est la conception. c’est pourquoi le langage exigé est un langage d’implantation. on pourrait aussi implanter à l’aide d’un langage de conception mais c’est inutile si on a une bonne conception et qu’on veut une implantation.

(trans-)typage: le problème avec le typage fort c’est que le compilateur ne comprend pas toujours ce qu’on veut faire. en particulier lorsqu’on a une bonne conception il est souvent utile de mieux documenter cette conception à l’aide d’indications de type qu’on insère dans le code. de cette façon le compilateur comprend mieux la conception. on pourrait utiliser un langage de conception mais alors il ne serait plus possible de documenter la conception dans le code, on perdrait un formidable outil qui permet de bâtir des architectures fiables.

syntaxique: on ne fait pas de la coloration lexicale, on fait de la coloration syntaxique. on ne désérialise pas un texte balisé, on écrit un parseur xml.

méta: si on ne sait pas comment le classer on le mettra dans une méta-liste. si on ne sait pas à quoi il sert on dira qu’il a un méta-rôle. un béotien pourrait penser que c’est indéfini mais un expert reconnaîtra tout de suite quand c’est méta.

Le système d’exploitation MorphOS, un OS léger et convivial descendant de feu AmigaOS est enfin disponible sur matériel Apple.
En plus de la mise à jour, la nouvelle version 2.4 du fameux système au papillon bleu apporte la compatibilité avec tous les modèles de Mac Mini PowerPC G4.

La procédure d’enregistrement de MorphOS 2.4 est intégrée à la version de démonstration et consiste à :

• installer la version de démonstration librement téléchargeable
• utiliser l’outil RegTool pour s’enregistrer
• le paiement s’effectue à l’aide de PayPal

Les conditions d’utilisation assez restrictives (la licence est liée au matériel) sont destinées à limiter le piratage. Espérons que cela n’empêchera pas les passionnés d’informatique alternative de découvrir ce système plein d’atouts pour ne pas dire culte puisqu’il a le don de déclencher un attachement que certains qualifient d’irrationnel.

L’installation par défaut écrase toutes les données du disque, pour installer MorphOS 2.4 en multi-boot sur Mac Mini reportez vous à ces instructions.

Vous pouvez participer quelque soit votre langage favori (C/C++, C#, JAVA, Perl, Php, Office, Matlab, Prolog,…).

Découvrez le sujet et défendez haut vos couleurs :

http://c.developpez.com/defis/5-Cube-Soma/

Consultez également le fil de discussion dédié au défi :

http://www.developpez.net/forums/d805461/c-cpp/c/defis-c/5eme-defi-decouvrez-cube-soma/

Si votre langage n’est pas encore dans la liste des langages du défi alors faites rapidement connaître votre participation. La rédaction de developpez.com fera tout son possible pour trouver un rédacteur apte à évaluer votre contribution.

Bonne participation à tous !