Envie de comprendre comment fonctionne le numérique et d’apprendre à créer avec du code ? Cet atelier initie à la programmation de manière simple et ludique. Les participant·es découvrent les bases ...

Si vous avez toujours voulu apprendre à coder, mais que vous ne savez pas par où commencer, Mimo est l’outil parfait pour vous. Il est conçu pour les débutants comme pour ceux qui souhaitent ...

Toucan Toco est un logiciel d'analyse et de traitement de data à destination des entreprises. L'objectif du logiciel est de faciliter le plus possible la gestion des données récoltées par les ...

Qt Creator est une plateforme moderne et évolutive qui, grâce à l’intelligence artificielle, redéfinit les standards de productivité et d’efficacité dans le domaine du développement logiciel.

Et si vous aviez votre propre IA, 100 % locale, sans internet et privée ? Ce guide vous montre comment faire tourner un LLM sur votre PC, même sans être un pro.

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...