
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.
Vous devez être identifié pour poster un commentaire.

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 à :
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 :
Vous devez être identifié pour poster un commentaire.
Dans un précédent billet je vous expliquais comment créer un MIME pour les sources dans votre langage de programmation favori.
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.
Vous devez être identifié pour poster un commentaire.
Pour bien montrer qu'on maîtrise son sujet il est indispensable d'utiliser le bon vocabulaire.
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.
Vous devez être identifié pour poster un commentaire.
, SpiceGuid 
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 à :
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 devez être identifié pour poster un commentaire.
La rubrique C de la rédaction developpez.com lance le 5-ième défi C qui est aussi le premier défi inter langage.
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 !
Vous devez être identifié pour poster un commentaire.
Objective-Caml et la programmation fonctionnelle :


| Lun | Mar | Mer | Jeu | Ven | Sam | Dim |
|---|---|---|---|---|---|---|
| 1 | ||||||
| 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| 16 | 17 | 18 | 19 | 20 | 21 | 22 |
| 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| 30 |
Copyright © 2000-2012 - www.developpez.com