Encore un journal moinsé à cause du mot "IA", vous êtes pénibles. C'est un logiciel qui permet de vérifier les propriétés de Rust dans un code purement C++.
Posté par fearan .
Évalué à 7 (+4/-0).
Dernière modification le 05 janvier 2026 à 10:52.
désolé mais quand je clique sur le lien j'arrive sur un fil de discussion avec des commentaires, j'arrive en plein milieu d'une discussion…
Bref tes liens sont intéressant, celui original, non (il faut deviner qu'en cliquant sur la première ligne on arrive à l'article, et ce n'est pas évident)
Il ne faut pas décorner les boeufs avant d'avoir semé le vent
# Apporter les fonctionnalités de Rust dans C++
Posté par Nicolas Boulay (site web personnel) . Évalué à -1 (+2/-6).
Encore un journal moinsé à cause du mot "IA", vous êtes pénibles. C'est un logiciel qui permet de vérifier les propriétés de Rust dans un code purement C++.
projet : https://github.com/shuaimu/rusty-cpp
description : http://mpaxos.com/blog/rusty-cpp.html
"La première sécurité est la liberté"
[^] # Re: Apporter les fonctionnalités de Rust dans C++
Posté par fearan . Évalué à 7 (+4/-0). Dernière modification le 05 janvier 2026 à 10:52.
désolé mais quand je clique sur le lien j'arrive sur un fil de discussion avec des commentaires, j'arrive en plein milieu d'une discussion…
Bref tes liens sont intéressant, celui original, non (il faut deviner qu'en cliquant sur la première ligne on arrive à l'article, et ce n'est pas évident)
Il ne faut pas décorner les boeufs avant d'avoir semé le vent
# Mauvais lien
Posté par pas_pey . Évalué à 4 (+2/-0).
En effet le lien direct vers l'article est:
http://mpaxos.com/blog/rusty-cpp.html
Désolé pour la TDAH-ade.
[^] # Re: Mauvais lien
Posté par Ysabeau 🧶 (site web personnel, Mastodon) . Évalué à 4 (+1/-0).
Lien modifié.
Je n’ai aucun avis sur systemd
[^] # Re: Mauvais lien
Posté par pas_pey . Évalué à 2 (+0/-0).
Merci !
Envoyer un commentaire
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.