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

Méthode de rédaction des exigences d’un projet

La gestion de projet est particulièrement difficile et nécessite beaucoup de rigueur. La rédaction des exigences constitue le point de départ de beaucoup de projets. Salomé nous propose de découvrir comment les rédiger de façon précise et efficace.

Lire la suite
En savoir plus

Émission de dette ou action : quel financement pour les entreprises ?

Tout le monde a déjà entendu parler des actions mais connaissez-vous les obligations ? Certainement pour les états, et pour les entreprises ? Il s’agit d’un outil de financement, au même titre que les actions. Qu’est ce qui les différencie ? Jérémie nous présente quelques éléments clef pour découvrir ou redécouvrir ce qu’ils sont.

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

FAQ Finance

Vous passez prochainement un entretien en finance ? La pression monte et vous avez besoin d’aide ? Révisez en 10 questions (un peu poussées) les sujets que vous pourrez rencontrer en entretien. De la martingale au smile de volatilité, en passant par l’appel de marge, Jérémie vous livre ses secrets pour répondre de manière synthétique et pertinente !

Lire la suite

Actualités Meritis

Meritis collabore avec baptiste chassagne
En savoir plus

Meritis x Baptiste Chassagne : une collaboration au sommet entre performance et engagement 

Chez Meritis, entreprise labellisée B Corp™, nous sommes intimement convaincus que le sport dépasse largement le cadre de la compétition : il est un formidable vecteur de valeurs, de cohésion, …

Lire la suite
En savoir plus

Retour sur le Master Dev France 2025

Le Master Dev France 2025 a tenu toutes ses promesses ! Cet événement phare de la communauté tech a rassemblé plus de 800 développeurs en compétition et 3 000 visiteurs …

Lire la suite
Meritis indice égalité hommes femmes
En savoir plus

Meritis réaffirme son engagement pour l’égalité professionnelle et obtient une note de 94/100 pour l’année 2024

Meritis atteint un score de 94/100 à l’Index égalité femmes-hommes 2024, confirmant son engagement en faveur de la diversité et de l’inclusion.

Lire la suite