Liber Pater

Il me semble que le sujet a été évoqué, mais impossible de le retrouver. On sait quelle a été/est la stratégie de Milei pour transformer les institutions argentines afin atteindre rapidement ses objectifs ?

Tout à fait. Quand je parle d'améliorer les institutions existantes, je sous-entends également qu'il faut supprimer celles qui sont superflus

Il est vain de croire qu'on pourra reconstruire des institutions libérales une fois que tout se sera effondré : ce n'est qu'une option parmi d'autres, et rien ne la rend plus probable que les autres. Mieux vaut travailler à améliorer les institutions existantes. Je trouve utopique de regarder nos dirigeants tout détruire en espérant que, de ces ruines, naîtra quelque chose de meilleur.

Ça plaît à son électorat

J'avais oublié l'existence d'Horizons, c'est dire ! Mais ça me paraît compliqué pour Rinner

Eh bien ça peut te surprendre mais je ne parlerai pas de biais catho pour Trump non plus

Les macronistes n'ont pas de mairie. Ils vont donc concentrer leurs efforts pour assurer la candidature de Philippe Edit : Renaissance a 300 mairies. Je n'y avais pas pensé, mais même pour Philippe ça risque d'être chaud

On va avoir du mal à parler de biais catho quand il a été marié trois fois

D'après Gemini c'est assez similaire entre la France et le Portugal, et c'est effectivement entre 100 et 150 € par personne

Tu n'as pas pensé à brûler ton lycée à l'époque ? Ça aurait certainement fait baisser le taux de chômage..

Je ne vois pas dans quel monde il a 500 parrainages

Ben c'est normal, faut être catho pour vouloir baptiser son enfant a priori

Une LFIste fonctionnaire mdr

C'est lié à la vague démocrate ?

Tu es aliéné par l'idéologie du WEF

C'est flaggé quand c'est de l'IA

Tu as plus d'infos là-dessus ?

Je crois que je suis d'accord. Choix difficile ceci dit, mais Death of a Clown est un de mes morceaux préférés

Les adhésions sont payantes ?

Le RN a environ 112000 adhérents. Il manque donc 13000 adhérents pour que Nouvelle Énergie devienne le premier parti de France, donc vendredi prochain à ce rythme

Ce qui signifie ?

Tout à fait, il faut tout formaliser pour rentrer la démonstration dans l'assistant de preuves. Mais c'est quelque chose que l'IA fait facilement pour le coup. Et le tout reste forcément vérifié par un humain. Je crois qu'on n'est pas prêts de laisser à une machine le soin de valider totalement une démonstration, et dans un sens tant mieux.

Je ne pense pas que ça a de rapport avec l'ordinateur. L'intérêt des joueurs pour le blitz est sans aucun doute renforcé par le fait que les préparations sont rendues plus approfondies et intenses par l'ordinateur via sa puissance de calcul et la possibilité d'analyser de nombreuses lignes rapidement. Cependant le blitz c'est autre chose. C'est très stimulant pour un public qui a les codes mais n'a pas les moyens intellectuels ou l'attention pour suivre une partie longue. Mais ce n' est pas nouveau. Ce qui est nouveau c'est que maintenant les joueurs jouent majoritairement sur ordinateur et apportent ainsi la possibilité de retranscrire le plateau instantanément pour le public - c'était impossible sur le rythme du blitz avec un tournoi otb.

Je ne pense pas que ça a de rapport avec l'ordinateur. L'intérêt des joueurs pour le blitz est sans aucun doute renforcé par le fait que les préparations sont rendues plus approfondies et intenses par l'ordinateur via sa puissance de calcul et la possibilité d'analyser de nombreuses lignes rapidement. Cependant le blitz c'est autre chose. C'est très stimulant pour un public qui a les codes mais n'a pas les moyens intellectuels ou l'attention pour suivre une partie longue. Mais ce n' est pas nouveau. Ce qui est nouveau c'est que maintenant les joueurs jouent majoritairement sur ordinateur et apportent ainsi la possibilité de retranscrire le plateau instantanément pour le public - c'était impossible sur le rythme du blitz avec un tournoi otb.

Si l'homme ne peut pas la comprendre alors ce n' est pas démontré à mon sens. Et la démonstration est une suite d'enchaînements formels logiques, c'est pas le bazar non plus. D'ailleurs les démonstrations (humaines et IA) sont aujourd'hui vérifiées par des logiciels qui étudient la logique de celles-ci.