AeriesGuard Le Refuge des Créateurs Minecraftiens !

• Profil
• Blog
• Contributions

Le blog

Narcissus

posté il y a plus de 10 ans

Vous l'ignorez sans doute : LEGO®-group fait énormément de crowdsourcing.Pour des pièces, des boîtes, des thèmes, c'est sans limite.

Revenge of MoonLib

posté il y a plus de 10 ans

Ce brouillon d'article est destiné à mettre au clair (comprendre : pour des logiciens) certaines des idées algorithmiques développées dans ma bibliothè...

So You are Thinking of Doing a PhD ...

posté il y a plus de 10 ans

Alors comme ça vous envisagez un doctorat ?

Les types dépendants à l'ouvrage

posté il y a plus de 10 ans

Suite et fin de l'Introduction express aux types dépendants.

Test de coloration du code Anubis

posté il y a plus de 10 ans

Message de test de la coloration du code Anubis.

Introduction express aux types dépendants

posté il y a plus de 10 ans

Parfois, même avec un langage de programmation très fortement typé, certaines erreurs vont passer alors qu'on saurait très bien comment les éviter. Il...

Petits OS à ronger

posté il y a plus de 10 ans

Il s'agit de plusieurs paquets que j'ai réalisés pour Racy Puppy Linux 5.

1 + 1 n'est pas forcément égal à 2

posté il y a plus de 11 ans

Que cache cette affirmation erronée ? Une question bien plus fondamentale.

Jouons avec du (vrai) code OCaml

posté il y a plus de 11 ans

Ce billet a pour but de tester la coloration du code OCaml sur Aerie's Guard. En grandeur nature.

Phénoménologie des projets informatiques

posté il y a plus de 11 ans

Ce billet est un brouillon largement inspiré par le Lightning-talk de Benjamin Lorteau (de 30:50 à 35:26). Comme j'ai moi aussi mon lot de projets poub...