IntroductionCet article est une brève introduction à la vérification formelle dans le cadre de smart contract de la blockchain Tezos [11]. Cet article a pour but de donner un aperçu du concept de vérification formelle et de donner un exemple d’application à un sm...
Hello !Nous avons jusqu'à présent eu l'occasion d'aborder plein de concepts techniques, mais nous ne nous sommes pas encore intéressés au logiciel qui fait tourner tous ces serveurs et dispositifs informatiques : le Système d'Exploitation (ou OS - Operating System). Vous avez sûrement tous une idée de ce que c'est. Mais quel est son rôle ? Et sur q...
Retour d’expérience sur les fonctionnalités de l’outil Rancher, qui sert de proxy pour parler et interférer avec les clusters Kubernetes qu’il gère.
En tant que préparateur, je veux passer la commande en statut afin d'informer le client de l'avancement de sa commande.Vous avez déjà vu cette User Story. Si ce n'est elle, c'est donc sa sœur. Nous nous imaginons souvent nos procédures métier comme une évolution linéaire, une succession d'états d'une ressource donnée qui tendent irrémédiablement v...
IntroductionL’article d’introduction débute en listant certaines différences de visions que je peux avoir avec d'autres développeurs concernant l'architecture applicative ou encore la rédaction des tests. À travers elles, j’évoque les difficultés qu’ils peuvent rencontrer à identifier précisément quoi tester et comment.Nous avons pu voir dans ces a...
Hello !Lors de la BD précédente sur le Terminal, nous avons évoqué le fait de "travailler sur un serveur distant" via la ligne de commande. Nous allons aujourd'hui creuser ce sujet en parlant du SSH (Secure SHell).Pour aller plus loin :Le Secure Shell : https://fr.wikipedia.org/wiki/Secure_ShellLe SSH : https://linux.developpez.com/formation_debian...
De nos jours, la donnée est omniprésente. Le but est de savoir comment la valoriser, et pour cela, le stockage de celle-ci est une problématique majeure dans de nombreux projets informatiques. De nombreuses bases de données de différents types existent et répondent chacune à des besoins bien précis. Nous pouvons citer les bases de données relationn...
Si vous vivez dans le présent, voire un peu dans le passé, vous avez sûrement une application de type SPA réalisée avec le framework Angular. Vu que vous vivez dans le présent, vous avez sûrement envie de suivre un processus de développement et de livraison sain, avec promotion d'une même version d'un artefact à travers plusieurs environnements (te...
Cet article est issu d'un travail de recherche effectué au sein de la SAS pass Culture par OCTO. Il n'engage pas la SAS pass Culture et les algorithmes tels qu'évoqués dans cet article ne sont à ce jour pas ceux implémentés dans l'application. Les différents jeux de données utilisés ne sont que partiels et les analyses ne sauraient être interprétée...
Illustration : Marina WieselPour vous, choisir entre un dropdown, des checkbox ou un date-picker c’est mission impossible ? Vous avez déjà proposé une liste de radio-buttons avec 15 options différentes ? Cet article vous fait faire un tour d’horizon des choix possibles et vous guide dans le choix de l’input control de vos rêves.Pour résumerIl exist...