Sujets
Documents disponibles dans cette catégorie (23)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Article : texte imprimé
Etienne Bossé, Auteur ; Jean-Jacques Lafay, Auteur | 2025"En juin dernier, nous avons eu l’opportunité de présenter notre utilisation de Rust et de WebAssembly (Wasm) dans des environnements contraints lors de la conférence Rust Paris 2025 organisée par Systematic. Cet article couvre notre présentation et partage notre retour d’expérience sur l’utilisation de Rust et Wa...
Article : texte imprimé
Guillaume Claret, Auteur | 2025"Nous présentons dans cet article l’outil “coq-of-rust” https://github.com/formal-land/coqof-rust, un outil d’analyse de code Rust pour garantir l’absence de bug dans un programme par vérification formelle." (Extrait de Programmez n°272)
Article : texte imprimé
Pierre Zemb, Auteur | 2025"Quand un composant logiciel critique devient soudainement orphelin, que faire ? C’est le défi auquel j’ai été confronté avec le driver Rust pour FoundationDB (foundationdbrs), une librairie utilisée par mon employeur, Clever Cloud, et d’autres acteurs." (Extrait de Programmez n°270)
Article : texte imprimé
Stéphane Mourey, Auteur | 2025"Revenons sur Rocket, le framework web pour Rust, afin d’explorer la création d'un système d'authentification et de sessions utilisateur. Avec la mise en place de cet espace sécurisé, nous explorerons comment fonctionnent les connexions aux bases de données, la gestion des cookies, l’accès aux variables d’environnemen...
Article : texte imprimé
Naïma Ouarti, Auteur | 2025"La revue de code représente une pratique essentielle dans le processus de développement logiciel. Cet article illustre l'amélioration du processus en intégrant les retours de l’analyseur statique SonarQube Cloud au serveur de source GitHub. Pour cela, une application minimaliste développée en Rust, exécutée à l'aide d’AWS, facilite...
Article : texte imprimé
Benoît Prieur, Auteur | 2025"Tout commence par la lecture d’un article de François Tonic, publié le 31 mars 2025 sur le site du magazine Programmez!, à propos de Whisper.cpp (Whisper.cpp : implémentation open source de Whisper d’OpenAI)." (Extrait de Programmez n°269)
Article : texte imprimé
Stéphane Mourey, Auteur | 2025"Rapidité de traitement, fiabilité, sécurité, robustesse… Il y a de nombreuses raisons de choisir Rust comme langage pour développer une application en ligne. Mais quel framework choisir ? Nous vous proposons aujourd’hui d’examiner Rocket, un framework qui concilie ces qualités avec simplicité et rapidité de développement." (Extrai...
Article : texte imprimé
Kevin Ansard, Auteur | 2025"Aujourd’hui une grande partie des développeurs sont employés à la création d’APIs (Application Programming Interface). Pour ce faire nous avons recourt à de multiples langages, la plupart du temps orientés objet comme le C#, le Java ou encore Nodejs. Cependant, en plus de la programmation, les développeu...
Article : texte imprimé
Serge Guelton, Auteur | 2024"C, C++, Python, ADA, Ruby, Java, Rust, MISRA-C, Swift et j’en passe. Autant de noms de langages qui se voient associés pour leur plus grand bien ou pour leur malheur à la question de la sécurité. Ou de la sûreté. Ou les deux. En cinquante ans, les besoin...
Article : texte imprimé
Stéphane Mourey, Auteur | 2024"Programmer en Rust, c'est bien. Mais programmer toujours en Rust, des générateurs de code Rust, exécutés tout juste au moment de la compilation, c'est mieux ! Voilà ce que permettent les macros, avec toujours cette efficacité redoutable à laquelle nous a habitués ce langage." (Extrait de GNU/Linux magazine n°268)
