Reprise du message précédent :

préméditation entre 1h00 et 3h00 du mat, fin de soirée excitée, parents qui restent dignes, et aucune notion affichée de racisme, même si ça a forcement pu jouer un peu.
ça ne fait pas le même potentiel de vues que Crepol, je pense.

Mais putain les parents dans l'histoire
D'ailleurs la maman que je connais a quitté son taf et cherche a changer de région.

moche.
c'est incroyable la disproportion entre le fait et le riposte.
 

c'est très beau l'été aussi le sud, les fruits / légumes de saisons locaux sont dingues, c'est cool l'été (avec piscine et clim c'est certain, ou alors super vieille baraque construite correctement pour tenir la fraicheur)
 

Le niveau de fanboyisme des utilisateurs de Rust atteint des sommets inégalés. Première fois que je me prends un -100 dans un commentaire Reddit

 
Possible.
 

 
C'est chaud ouais
 
Mais j'ai du mal à compatir pour les 9 jeunes par contre.

c'est aussi super au printemps/automne et il y a plus d'écart avec ici .  
A l'automne on a pas mal de brouillard dans la vallée de la Saône.  
En descendant au sud, on prend 5° de plus pour arriver a 20-25, et on a un grand soleil. Le seul inconvénient est que les journées sont courtes pour les balades.

Après ça amène quand même la question de pourquoi ça amène tellement plus de vues...

pareil, c'est une connerie avec des vraies conséquences. Ils ont eu 1000 occasion de se dire " c'est pas un peu con ce qu'on fait" ? et a la place ils ont continué.
Mais imagine ton gosse qui rentre en te disant " on a fait une connerie" , ou avec la gendarmerie qui vient le chercher le lendemain

Une bagarre pour une fille doit y en avoir des dizaines tous les samedis soir en France

Aller jusqu'à tuer c'est chaud

A 9 contre 1 avec l'alcool et l'effet de groupe ça a du vite dégénérer

Chaud

Des cas avec embuscade a posteriori ça doit pas être si courant.

Après, est-ce que la jupe de la fille était pas un peu courte ?

Ca me fait penser à une histoire entendu au JT de France 3 il y a quelques temps dans le sud-ouest. C'est la même affaire ou c'est une autre En tout cas, c'est bien triste.

Est-ce que N' est poursuivi pour conduite en état d'ivresse ?

la communauté Rust a l'air hyper toxique

 
D'habitude t'es ban, y'a du progrès.

en indice de 100 par rapport à un topic politique ou guerre sur HFR ?

 
C'est pas exclu que je le sois, cela dit.

Ouais grave, quand tu fais du language trolling hors sujet, c’est la communauté rust qui est toxique

J'en avais vaguement entendu parler, et ça a l'air de se confirmer, en effet.

Bof, je ne fais que donner mon avis. Rien de bien méchant.

C'est vraiment chouette la Provence y a aussi une chouette liste de Plus Beaux Villages de France a visiter dans le coin. Bon par contre faut piscine et clim dans les chambres au moins pour survivre a l’été. C'est presque aussi beau que le sud ouest, mais c'est bien plus accessible

Ca date un peu, mais j'ai pose quelques questions de noob sur le subreddit et j'ai toujours eu des réponses quali.
Et autant y a eu une période y a quelques annes un peu chiante ou sur les topic programming t'avais pleins de questions en mode "mais pourquoi tu re-ecris pas ton truc en Rust", autant je trouve que ce type de post a vraiment diminue en nombre.

@el muchacho: T'as pris -100, mais t'as aussi pas mal de gens qui ont fait l'effort de te répondre avec des arguments sur pourquoi ils sont pas d'accord avec ton avis, c'est pas comme si ils avaient chain troll "stfu noob"

Se faire downvoter quand tu fais trolling hors sujet c’est pas bien méchant non plus, mais apparemment tu peux pas gérer

Oui et j'ai répondu. La plupart des réponses un chouilla argumentées ont du sens, donc j'ai répondu.

Je gère très bien. Ca me fait juste rigoler le coté groupthink un peu trop visible.
Le pire, c'est que je n'ai rien contre Rust, mais Zig est plus bas niveau, et c'est essentiel dans le kernel programming, plus important que le fait que Rust soit 100% memory safe.

Clairement oui

Ce qui n’est pas le sujet du thread.  
 
Et en bonus tu continues à démontrer que t’as pas compris le but du truc, et la raison pour laquelle rust a été provisionnellement accepté par Linus. Ce qui montre bien que downvote & move on était la décision correcte.

Bon écoute, ta gueule.

On voit que t’as bien géré effectivement.

Non mais sérieux, t'es de la police ? C'est toi qui décide quel est le sujet du thread ?

Le fait est que dans aucun autre subreddit de programmation, les gens font du downvote bashing à ce point. Le groupthink fanboyiste est au max dans ce subreddit, c'est tout, c'est une constatation.
Ils peuvent chialer sur le fait que le mec s'est barré, mais je comprends un peu pourquoi les autres dévs du kernel ont quleques doutes, quand on voit le niveau. On comprend pourquoi il y a autant de drama dans cette commu.

Je ne sais pas pour le kernel en particuliers, mais quand tu vois le nombre de CVE, dont certaines très critiques, qui sont du a la gestion mémoire, je ne suis pas du tout certains qu’évacuer l'argument de la memory safety soit si facile. Après est ce que Rust aurait permis de toutes les éviter ? Sans doute pas, mais c'est sans doute un pas dans la bonne direction.

Il ne me semble pas vraiment hors sujet, bon y'a un peu de trolling certes, mais ça parle bien de Rust et de Linux dans le billet.

La vidéo linké https://youtu.be/WiPp9YEBV0Q?t=1529 est pas mal d'ailleurs, le mec dit qu'il ne veut pas se faire imposer une religion et une façon de faire qui n'a pas encore fait ses preuves sur tous les différents filesystem qui sont codés en C, et d'essayer à tout pris d'encoder tout un tas de sémantique dans le type system sans être sur que ça scale.

Le rapport avec Zig est que c'est juste un meilleur C (ils essayent en tout cas), et ça serait sûrement moins casse bonbon pour tout un tas de dev de passer de C à Zig, qu'à Rust. Les devs ont juste envie d'améliorer leur C, pas de big bang sur Rust.

Mais y'a quand même une petite pointe de trolling de much, c'est normal, c'est le jeu.

Selon qui exactement? Les contributeurs à Linux, Windows, Fuchsia ont pas l'air d'être de cet avis. Les BSD considèrent l'introduction de Rust aussi.
Tu affirmes un truc gratuitement (t'as fait un sondage parmi les devs ?) à propos d'un langage qui est encore loin d'être mature, alors qu'une une partie conséquente de l'industrie estime que les garanties apportées par Rust sont justement très pertinentes au développement de noyaux modernes.
 

Lesquels de contributeurs ? Tu as les noms ?

Perso, je comprends que les devs seniors du kernel Linux de la vidéo, quand ils voient une signature comprenant des trucs comme Result<Either<Aref<Inode<T>>, inode<T>>>, ils ne soient pas pluis enthousiastes que ça. Je soupçonne que ce qu'ils veule éviter par dessus tout, c'est la "magie" qui résulte de ce genre de typage complexe. Ils sont habitués à rester toujours au niveau le plus basique du code.Parce que une fois que tu as du code qui dépend de A<B<C<D>, <E<F>>, <G<H<I>>>>>, ça me paraît très difficile voire impossible de savoir ce qui se passe au niveau le plus bas.C'est le genre de truc qu'ils n'aiment pas, et l'une des raisons pour lesquelles le C++ a été rejeté pour du noyau.
Tous les programmes les plus performants et économes en ressources que je connaisse s'en tiennent à des abstractions relativement faibles, même en C++, souvent utilisé comme du C avec classes, voire du C tout court avec un compilateur moins permissif, et le moins possible avec des abstractions (notamment la STL). C'est un choix conscient et voulu de la part des développeurs, pas un hasard ou une conséquence historique. La réaction épidermique des auditeurs dans la vidéo, je soupçonne que cela procède un peu du même esprit. Ils ne sont pas prêts à faire un compromis sur le contrôle et la compréhension qu'ils ont du code pour plus de sécurité et surtout pour plus d'abstraction. Peut-être qu'ils ne comprennent pas toute la théorie derrière le langage, mais ils ne font confiance qu'à ce qu'ils comprennent, et c'est normal et essentiel à ce niveau, parce que ça peut très vite déraper, et ils ne peuvent pas se le permettre.

AFAIK FreeBSD ils parlent de mettre rust dans base, pas dans le kernel. Donc pour des daemons, des utilitaires, des portions userland de fonctionalités (genre stack réseau), ...

Non mais surtout le but de l'introduction de rust dans le kernel linux c'est l'écriture de drivers, in-tree et (surtout) out-of-tree. Parce que c'est là que t'as une limitation de capacité et un gros risque de mésutilisation des APIs du kernel.

Mais naturellement pour que ça marche il faut réussir à exposer la sémantique des APIS du kernel sous une forme propre, et c'est AFAIK la partie que les devs qui bossent dessus (ceux qui ont pas arrêté) sont en train d'essayer d'explorer et de définir.

Et la signature que much cite me semble être un exemple flagrant, et pas bien compliqué: Result<Either<Aref<Inode<T>>, inode<T>>>:

• Result, donc t'as appelé une fonction qui peut échouer
• Either, donc tu peux recevoir deux alternatives
• inode, c'est une inode
• aref, un handle de refcounting

Donc voilà, t'as une fonction qui peut échouer, qui peut renvoyer soit une référence unique (truc du style) soit une référence (owning) vers une inode refcountée. Ça sent l'API kernel existante, qui est intégralement encodée dans les types. Ton API est pas plus simple ou moins abstraite en C, t'as juste pas les infos.

 
vu de loin ça ressemble à un problème de change management, ça sent le "oh ben moi j'ai toujours fait comme ça, je vois aucune raison que ça change"
Vu aussi de ma fenêtre, on peut aussi dire que ce modèle super bas niveau a eu des réussites, mais aussi des faiblesses manifestes (hello CVEs) et que peut etre ce serait temps de reconsidérer ces choix ?
Note que ça veut pas forcément dire Rust, mais si toutes les boites qui ont des groses bases C/C++ se posent la question, c'est peut etre que cette realisation qu'il y a des trucs à changer fait son chemin.
 
(pour suivre de loin je trouve aussi qu'il y a beaucoup de hype sur Rust, en particulier sur le fait que le langage a les défauts de ses qualités, à savoir que c'est pas le truc dans lequel il est le plus simple du monde d'itérer en changeant d'avis drastiquement)

dommage, le truc que je songeais à faire serait énorme par rapport à la taille des tuiles
il me faudrait 512 octets de ram

Le problème, c'est que tu ne vas pas forcer un maintainer comme Ted Ts'o (mainteneur de ext2/ext3/ext4) à passer 5000h à réapprendre un nouveau paradigme complètement étranger à celui qu'il pratique depuis son enfance pour qu'il arrive à un niveau d'expertise équivalent. En tant que maintainer, il est responsable du code Rust qui lui est soumis, ce qui veut dire qu'il doit aussi valider les interfaces Rust qui réencodent entièrement les API C.

Or dans la vidéo, le code Rust n'est pas juste un wrapper autour d'une API C, c'est une réécriture complète du comportement, encodée dans le type system de Rust. Du coup maintenant, il doit valider l'API C (qui ne va pas disparaitre magiquement, sachant qu'elle est utilisée par une cinquantaine de filesystems) *ET* l'API Rust et valider qu'elles sont sémantiquement identiques, alors que dans l'exemple, les API sont complètement différentes. Ca veut dire qu'il ne peut même pas utiliser les mêmes tests, il doit réécrire tous les tests pour l'API Rust. Et donc maintenir deux codebases parallèles.
Et c'est pour ça qu'il gueule dans la vidéo (je n'approuve pas la façon dont il intervient), c'est la suite des réticences des autres développeurs.

Et c'est pour ça aussi qu'un langage qui est un step up du C est plus approprié pour ces gens-là, parce que le paradigme est le même qu'en C. Il y aurait le même problème de double validation et de montée en compétence, mais la logique est bien plus proche de celle du C que la logique de Rust.
Alors bien sûr, on pourrait juste dire: "mauvais maintainer, change maintainer", mais je doute que ce type de profil, ça court les rues, on ne prend pas pour ce genre de poste le premier full stack dev venu.

Je suis en train de mater la présentation, et je vois bien dans la discussion entre le dev russe et le présentateur le problème. Le présentateur veut pouvoir comprendre toutes les subtilités de la sémantique complexe que le kernel dev russe connait. Ce dernier comprend ce qu'ils veulent faire, mais il montre quand même de réticences, parce que la sémantique réelle est en réalité bien plus complexe que celle montrée dans l'exemple, et du coup si tu veux l'encoder complètement dans le type system, il est probable que l'API Rust résultante serait sensiblement plus complexe que ce qui est montré.

j'en ai plein le cul de google

Vous parlez de quelle vidéo (rust) ?

https://www.youtube.com/watch?v=WiPp9YEBV0Q

Tu veux faire quoi avec ce super ordinateur ?

on se demande pourquoi on mets les liens plus haut

A propos de management, le Lean management, c'est un truc en vigueur dans vos boîtes ou pas du tout ? Dans la mienne, tous les DP et CP doivent faire la formation de base (yellow belt). Consigne du groupe.
 
Et ITIL, c'est toujours à la mode ? J'ai l'impression que c'est un peu en perte de vitesse.

Je n'avais pas du tout entendu parler de one million check boxes, le fil X est intéressant: https://x.com/itseieio/status/1829268247105138764

#TIL https://en.wikipedia.org/wiki/Null_Island