Caporal StratégiqueDécouvrez France Port, la ville du Var où France Bateaux accueillera le futur porte-avions France Libre
Anne O'neam
- 33 Followers
- 101 Following
- 1.3K Posts
Famed musclemancer. Actually I am a man. Trapped into a dungeon of bondage (i.e. I play RPG).
Ca nous fait pas autant rire que l'actuel qui devait s'appeler initialement 'Bretagne' pour être basé à Toulon donc gardez espoir les marins.
Les titres auxquels vous avez échappé :
France Libre : McKinsey tient finalement à signaler son utilité quand il s'agit de choisir un nom.
@Zestryon En théorie bien théorique parce que : le Metaverse lol.
Découvrez France Port, la ville du Var où France Bateaux accueillera le futur porte-avions France Libre
@mihamarkic @Tendar Morally dubious and we get an "ally" that is anything but reliable...
@Tendar Kinda disagree. The Ukraine war is a just defensive war, the Iran "war" is aimless random aggression from which nothing good will come out. I don't support the IRI regime, of course, but this aggression will either keep it in place or replace it with something just as bad if not worse. I don't want Europe to get involved in that.
Miguel 🦑 SternbergSomeone on bluesky mentioned this ancient meme and I felt compelled.
@Zestryon Je trouve que la vraie nouveauté c'est les vérificateurs de preuve du coup, l'IA va juste aider le vérificateur de preuve à savoir quoi tenter mais c'est plus du détail ça...
@Zestryon Je sais pas, franchement je pense que l'article de Slate est fondamentalement plus à propos de Lean (un concurrent de Coq que je ne connaissais pas) et donc les outils de preuves formelles. Des trucs pas nouveaux (première release de Coq il y a 36 ans quand même). Les preuves non relisibles par de humains ça fait 20 ans que ça existe...