@flomaraninchi @BrKloeckner @legendarybassoon @MonniauxD bandwagons...Il y a eu le problème avec la théorie des cordes en physique théorique pendant des années.
Le bilan GES de la théorie des cordes a sans doute été plus modeste que celui de l'IA (surtout g).
Et comme l'argument de l'IA bonne pour la santé/la science/... est utilisé pour normaliser les usages des IAg dans le grand public, j'attribue les dégâts envt des IAg aussi un peu aux vendeurs d'IA pas g.
@flomaraninchi @jaztrophysicist @BrKloeckner @legendarybassoon Moi je voulais juste faire du typage, de la compilation et de la preuve..
@flomaraninchi @jaztrophysicist @BrKloeckner @legendarybassoon d'où ma surprise que pour un projet de typage, de compilation et de preuve on me demande de me positionner par rapport à l'IA !
@MonniauxD @flomaraninchi @jaztrophysicist @BrKloeckner @legendarybassoon réponse beaucoup trop premier degrés : de plus en plus de slopeurs font leur vibe code en rust parce que le typage statique et le compilo "tatillon" ça permet de cadrer un minimum ce qui sort (si au moins ça compile...).
Y a probablement un vrai argument à en sortir pour faire passer des projets sérieux...
