Vue normale

Il y a de nouveaux articles disponibles, cliquez pour rafraîchir la page.
À partir d’avant-hierFlux principal

Conférence Rust 2024, journée pour les devs et utilisateurs

Par : Florent Zara
23 mai 2024 à 13:49

Passionnés de RUST, bloquez le 25 juin dans votre agenda ! Première édition de la conférence Rust Paris 2024 à l'ISEP (Institut supérieur d’électronique de Paris). C'est une journée dédiée aux développeurs et utilisateurs de Rust très axée sur le retour d'expérience des intervenants, dont certains sont très impliqués dans le monde Open Source. Cette journée souhaite mettre en avant les réussites, mais aussi les limites de l'utilisation de Rust.

Pour rappel, Rust est un langage de programmation multi-paradigme, généraliste, qui met l’accent sur les performances, la sécurité des types et la concurrence. Il a été créé en 2006 comme un projet personnel au sein de Mozilla Research. Mozilla a officiellement parrainé le projet en 2009 dans le cadre du projet de nouveau moteur de rendu Servo. Suite à l'impact du COVID-19 et aux importants licenciements de 2020 et l'abandon de Servo, Rust a été confié aux bons soins d'une fondation dédiée. Rust a été largement adopté par les « big tech » telles qu’Amazon, Discord, Dropbox, Google, Meta, Microsoft… et se retrouve même au sein de notre noyau préféré.

Bannière de la conférence

📅 25 juin 2024
⏰ 9h00 — 18h30
📍 Institut supérieur d’électronique de Paris, 10 rue de Vanves à Issy-les-Moulineaux

C'est une conférence payante (89 € HT) mais…

  • moitié prix pour les lecteurs de LinuxFr.org si vous utilisez le code Linux_RustParis2024
  • voire gratuite si votre employeur est membre de Systematic (Pôle de compétitivité organisateur via le Hub Open Source)

Programme détaillé

  • 09h00 - 09h30 : Accueil des participants
  • 09h30 - 09h45 : Introduction
  • 09h45 - 10h30 : Langages à bonnes propriétés, la fin des analyseurs de code ? par Patricia Mouy (CEA List)
  • 10h35 - 11h05 : Construire un logiciel de dessin architectural à haute performance dans un navigateur web grâce à Rust et Webassembly par Bastien Dolla (Rayon)
  • 11h25 - 11h55 : Passer à l'échelle grâce à Rust dans le développement d'applications sociales : le cas de Amo par Lucas Pluvinage (Amo)
  • 12h00 - 12h30 : WebAssembly has been hailed as the future of the web: enabling fast, small, secure web applications (written in rust, of course). But does it live up to the hype? par Joe Neeman (Modus Create)
  • 14h35 - 15h05 : Rust et PikeOS pour la Cyberdéfense par Thierry Maudire (Sysgo) et Pierre Boinet (Thales La Ruche)
  • 15h10 - 15h40 : La voie de Rust pour les systèmes embarqués certifiables par José Ruiz (AdaCore) et Benoît Souyri (Thales)
  • 16h00 - 16h30 : Comment on a migré Parsec de Python vers Rust par Florian Bennetot (Parsec)
  • 16h35 - 17h05 : Seven Years in Rust par Angelo Corsaro (ZettaScale)
  • 17h05 - 17h10 : Conclusion
  • 17h10 - 18h30 : Cocktail networking

En parallèle de cette session, une salle dédiée est prévue pour des présentations de développeur à développeur autour des technologies Rust.

Origine du nom Rust

Petite anecdote si vous avez lu jusqu’ici. Il y a plusieurs théories sur l’origine du nom du langage. L’une d’elle suggère que Rust est nommé d’après un champignon qui est robuste, distribué et parallèle. De plus, Rust est une sous-séquence du mot « robust ». Selon une autre théorie, le nom reflèterait le but du langage qui est d’utiliser des techniques éprouvées, aka «  rusty  » (rouillées), plutôt que de mettre en œuvre des fonctionnalités expérimentales pointues. Quoi qu’il en soit, Rust est un langage de programmation de plus en plus influent et répandu.

Commentaires : voir le flux Atom ouvrir dans le navigateur

Comment remplacer son passe Navigo par son smartphone (iPhone et Android)

30 mai 2024 à 13:07

Les propriétaires d’iPhone et d'un smartphone Android peuvent utiliser leur smartphone pour prendre le métro, le tramway ou le bus en région Île-de-France. Il faut utiliser les applications Apple Wallet ou Île-de-France Mobilités pour acheter un titre ou un forfait dématérialisé.

Le passe Navigo est enfin disponible sur iPhone, après 582 jours d’attente

21 mai 2024 à 09:41

À quelques jours des Jeux olympiques, les applications Île-de-France Mobilités et Apple Wallet permettent enfin de créer un passe Navigo virtuel, pour acheter des abonnements et des tickets à l’unité. La région et Apple ont confirmé l’information dans une conférence de presse.

Les expérimentations de la SNCF avec la vidéosurveillance algorithmique ne passent pas

3 mai 2024 à 16:55

sncf gare de lyon

La SNCF mène des expérimentations sur la vidéosurveillance algorithmique (VSA) dans trois gares, à Paris et Marseille. Les tests ont déclenché une action de La Quadrature du Net devant la Cnil, avec l'espoir d'y mettre fin.

Il existe un passe Navigo avantageux qui ne coûte pas 86 € tous les mois

Par : Nelly Lesage
3 mai 2024 à 08:50

Le forfait Navigo Liberté+ est moins connu que les passes mensuels et annuels. C'est pourtant une option intéressante si vous voyagez dans Paris en métro et RER. Voici ce qu'il faut savoir sur ce titre de transport d'Île-de-France Mobilités.

Le passe Navigo Liberté+ permettra de voyager dans toute l’Île-de-France et arrive sur smartphone

2 mai 2024 à 14:40

Sur Android, Île-de-France Mobilités lance en test la dématérialisation du passe Navigo Liberté+, son forfait adaptatif qui permet de payer un prix adapté à son usage à la fin du mois. Le passe Liberté+ permet enfin de se rendre en zones 3-5.

Le QR code pour les JO de Paris 2024 est une forme de contrôle sans précédent

Par : Yoann Nabat
1 mai 2024 à 08:01

Les Jeux olympiques de Paris 2024 seront marqués cet été par la mise en place de zones de sécurité dans les lieux qui accueillent les épreuves sportives. Pour y accéder, la possession d'un QR Code sera obligatoire. Une initiative temporaire, mais qui s'inscrit dans un mouvement sécuritaire plus large, rappelle cet article de The Conversation.

Dans les coulisses du nouveau centre de gestion du RER A

Par : Aurore Gayte
26 avril 2024 à 10:08

Il y a du nouveau pour le RER A : la ligne bénéficie depuis janvier d'un nouveau centre de gestion. Gérée de concert par la RATP et la SNCF, la ligne s'est équipée pour mieux répondre aux problèmes quotidiens, à la veille des JO.

Passe Navigo, ticket de métro à 4 € : tout comprendre au prix des transports pendant les JO à Paris

Par : Nelly Lesage
24 avril 2024 à 09:35

Il faudra payer pour voyager dans les transports en commun d'Île-de-France durant les JO 2024. Mais, combien coûtera le ticket de métro, de RER ou le passe Navigo ?

Qu’apporte l’app « Transport Public Paris 2024 » par rapport à Google Maps ou Citymapper ?

23 avril 2024 à 15:32

Lancée par Île-de-France Mobilités en avril 2024, Transport Public Paris 2024 est « l'application officielle pour se déplacer pendant les Jeux olympiques ». Elle permettra notamment d'utiliser son smartphone (iPhone ou Android) pour valider son titre de transport dans le métro.

Qui doit avoir un QR Code pour les JO de 2024 ?

21 avril 2024 à 15:19

multipass 5e élément

La plateforme pour obtenir un laissez-passer dématérialisé doit ouvrir en mai 2024. Elle sera incontournable pour avoir un QR Code qui sera réclamé à l'entrée de certains périmètres sécurisés, durant les Jeux olympiques de Paris.

Une action contre les QR Codes pour circuler à Paris pendant les JO échoue

19 avril 2024 à 15:45

qr code

Une requête déposée devant le Conseil d'État a tenté de contrer la future plateforme qui mettra en place les QR Codes pour circuler à Paris durant les Jeux olympiques. Mais l'instance administrative a retoqué l'action, considérée comme prématurée.

Que reproche-t-on à la vidéosurveillance algorithmique pour les JO de Paris 2024 ?

17 avril 2024 à 15:59

vidéosurveillance

L'emploi opérationnel de la vidéosurveillance algorithmique (VSA) aura lieu à deux occasions, entre le 19 et le 21 avril, en Île-de-France. Pour un concert de Black Eyed Peas et pour un match de football. Un déploiement discret, en amont des Jeux olympiques de Paris, mais qui soulève des interrogations et des craintes pour l'avenir.

À Paris, la montre connectée remplace le passe Navigo (mais il y a un hic)

15 avril 2024 à 08:27

Depuis le 15 avril 2024, Île-de-France Mobilités propose aux propriétaires d'une montre Galaxy Watch de monter à bord d'un métro, d'un tramway ou d'un bus avec leur poignée. L'Apple Watch sera la prochaine servie.

JO de Paris 2024 et circulation en voiture : ce qu’il faut retenir sur les restrictions

15 avril 2024 à 06:31

Les épreuves des Jeux Olympiques à Paris vont certainement compliquer la vie de ceux qui doivent circuler en région parisienne cet été, à commencer par les zones rouges. Il vaut mieux anticiper en s’informant sur les restrictions de circulation durant la compétition dès à présent, et les conditions d'accès à certaines zones de la capitale.

Le passe Navigo se rapproche de l’iPhone… mais pas forcément en mai

10 avril 2024 à 05:52

Une information de l’AFP, reprise par de très nombreux médias, annonce l’arrivée du passe Navigo sur iPhone « d’ici fin mai ». Il ne s’agit pas encore d’une officialisation. 

Comment obtenir son Pass Jeux (QR Code) pour circuler dans Paris lors des JO cet été

13 mai 2024 à 10:22

seine-olympique

Le déplacement à Paris durant les Jeux olympiques de 2024 sera conditionné à la présentation d'un pass jeux, basé sur un QR Code. Ce pass sera requis dans certains périmètres de la capitale et de l'Île-de-France. La plateforme d'inscription pour le récupérer est désormais en ligne. Voilà les grandes lignes de son fonctionnement.

La France a un plan pour éviter les crashs de drones dans les hélicoptères durant les JO de Paris

9 avril 2024 à 08:45

hélicoptère gendarmerie

Pour les Jeux olympiques de Paris, la gendarmerie nationale déploiera dans ses hélicoptères le dispositif SéSé. Celui-ci est capable de capter les signaux Wi-Fi des drones pour savoir leur position. Cela doit éviter aux hélicos une collision aérienne.

Le QR Code pour se déplacer pendant les JO de Paris arrive bientôt

9 avril 2024 à 08:26

Gérald Darmanin annonce au Parisien l'ouverture d'un site dédié aux Jeux olympiques de Paris, le 10 mai. Il permettra de générer des QR Codes pour accéder à la ville, dont l'accès sera restreint durant la compétition.

❌
❌