Ils ont l'air de contester ce projet : www.tomshardware.com/pc-component...

C'est quand même ironique de faire ça sur un forum consacré à un assistant de preuve : la machine est censée pouvoir vérifier la preuve (la formulation du théorème restant discutable). Donc ces génies font des copier-coller sans vérifier quelque chose de vérifiable automatiquement. Ça me dépasse 🤯.

Merci pour votre réponse :). C'est con et je dois rentrer dans la case sémanticien noeunoeu, mais qualifier ça d'acte de guerre m'a convaincu et fait réfléchir, alors que guerre seul m'avait plutôt semble exagéré.

(Et pour éviter de m'attirer des foudres : c'est une honnête interrogation, et je ne connais pas le fond de cette affaire à la poste, je ne peux pas en juger de la gravité)

Moi je ne souscris pas sur la forme. L'usage du mot guerre est-il vraiment approprié ? Tout au plus guerre de l'information ou guerre numérique, mais il y a des gens qui souffrent vraiment d'une guerre avec la Russie et c'est autrement plus dramatique.

Je me demande a quoi ressemble la spec de ffast-math. On suppose que les flottants se comportent comme des réels et ça permet de nouvelles transformations ? (Et d'ignorer les NaN)

The problem is not that LMCS2 should not optimize. It’s that the optimizations should be correct. Right?
Anyway, good job tracking that, it would be nice to report your findings.

Et le donut qui n’en a pas. Il y a un message derrière cette œuvre :).

C’est moi ou c’est peu pour ce genre de boîtes ? Surtout au niveau européen.

Merci, je ne connaissais pas Exodus, je vais creuser.

Vous avez des sources ? Parce que juste dire ça ne convaincs pas mes proches. (Et pour le pire, j’ai pas mal d’imagination)

Des apparitions récentes ? J’ai raté quelque chose ?

Yes I sent you a direct message. You can't read it?

Merci pour la recommandation. Malheureusement je n’ai pas de PS{4,5}, en attendant b0tster.itch.io/bbpsx vaut le détour. (En espérant que Sony et/ou d’autres gens fassent un Bloodborne pour d’autres machines)

Ou la première d’ailleurs. Je me suis cassé les dents sur Elden Ring, c’est trop vaste… Puis j’ai trouvé le bon équilibre avec DS3. Je suis tout ouïe si vous avez d’autre jeux à recommander :).