@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 !
