En savoir plus

Lambda-calcul : de la définition à la logique booléenne

Deuxième partie de notre dossier consacré au lambda-calcul ! Après nous avoir présenté l’histoire du Lambda-calcul, Anatolli nous propose cette fois d’en découvrir la définition et les méthodes pour construire des programmes simples équivalents à la machine de Turing.

Lire la suite
En savoir plus

Histoire du Lambda-calcul

Depuis que les lambda ont été formalisées par Alonso Church dans les années 1930, elles ont été l’objet d’étude et de développement importants. Elles sont également des outils importants dans nombre de théories ayant permis de nombreuses réussites comme la démonstration du théorème des quatre couleurs. Anatolli nous retrace l’essentiel de cet objet puissant des mathématiques modernes.

Lire la suite
En savoir plus

Bien gérer l’activation de points d’arrêt avec IntelliJ

Le debugging est une tâche fastidieuse bien connue des développeurs. Les IDE proposent en général de nombreuses options concernant l’utilisation des breakpoints. Les maîtriser, c’est se faciliter la vie ! Claire nous présente les différentes options possibles avec IntelliJ.

Lire la suite
En savoir plus

Starter pack pour Vert.x

L’utilisation et la gestion d’event dans les systèmes distribués (ou pas) est de plus en plus courante. Soufiane nous présente la librairie Vert.x qui permet le transport et le dispatch des événements de votre système. Pour la visite c’est par ici !!

Lire la suite
En savoir plus

Java : le nouveau modèle avec le Long Time Support

Il  y a quelques mois, Oracle a annoncé un changement radical dans le cycle de release de Java. Il y aura dorénavant une release majeure tous les 6 mois, une …

Lire la suite
En savoir plus

Retour d’expérience sur le Forum PHP 2018

Nous avons assisté à la toute dernière édition du Forum PHP cette année à Paris. Nous étions présents pour échanger et apprendre pendant deux jours. Beaucoup de choses ont été abordées et nous allons, dans cet article, revenir sur les sujets qui nous ont le plus marqué.

Lire la suite