Syndication : Atom 1.0  RSS 2.0
Blogs des développeurs   »   Le blog de SpiceGuid

Catégorie: Divers

26/04/2012

Permalink 13:54:40, Catégories: Récapitulatif, Divers, 48 mots   French (FR) , SpiceGuid

A gentle introduction to 2-dimensional algebra and string diagrams

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.

04/06/2010

Permalink 09:40:20, Catégories: Récapitulatif, Divers, 223 mots   French (FR) , SpiceGuid

MorphOS 2.5 disponible aujourd'hui

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 :

Vous devez être identifié pour poster un commentaire.

10/04/2010

Permalink 15:45:20, Catégories: Récapitulatif, Programmation fonctionnelle, Divers, 120 mots   French (FR) , SpiceGuid

Plus de logos pour Rox-Filer

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.

03/11/2009

Permalink 07:16:55, Catégories: Récapitulatif, Récapitulatif Génie Logiciel, Divers, 503 mots   French (FR) , SpiceGuid

[G. Logiciel] Petit lexique de la conception objet

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.

» Lire la suite!

Vous devez être identifié pour poster un commentaire.

13/10/2009

Permalink 17:16:59, Catégories: Récapitulatif, Récapitulatif Mac, Systèmes d'exploitation & Mac, Divers, 169 mots   French (FR) , SpiceGuid

[Mac] MorphOS enfin disponible sur Mac

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

15/09/2009

Permalink 16:19:17, Catégories: Récapitulatif, Divers, 122 mots   French (FR) , SpiceGuid

Le premier défi DVP inter langage

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.

Liste des blogs

Le blog de SpiceGuid

Objective-Caml et la programmation fonctionnelle :

Coq et les types dépendants :

Rechercher

<  Avril 2012  >
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

Syndiquez ce blog XML

Articles :

Commentaires :

 
 
 
 
Partenaires

Hébergement Web