avril
2012
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.
Un article de SpiceGuid 
juin
2010
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 […]
avril
2010
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 […]
novembre
2009
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 […]
octobre
2009
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 […]
septembre
2009
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 […]