Christophe Papazian

Je ne sais pas d'ou vient le 24%, mais c'est toujours la bataille de chiffres. Je trouve des articles évoquant 14% de filles dans les formations ingénieurs en informatiques.
J'ai été prof pendant 17 ans dans une telle formation, on a jamais dépassé 10% il me semble, donc même le 14% me semble trop.

a/b/c/d je crois voire comment faire.
Pour le e, suffit-il d'extraire une suite de fonctions continues (en utilisant la distance) des suites de suites qui serait alors en contradiction directe avec d ?

On est en 2025, et ma mère, pour pouvoir se connecter à son espace personnel de mutuelle santé, doit utiliser le numéro d'adhérent de mon père. 😞

On pourrait ajouter coté roi, le diplomate qui se déplace comme la dame mais ne prend pas et ne peut être pris (on l'appelle Jester) , et côté dame, le berserker, qui ne peut pas se déplacer mais peut prendre une pièce (même de la même couleur) comme la dame.

Photo d'un chien à l'air très gentil tirée de l'article scientifique en question avec la légende: "Scribble preparing to replicate a quantum factorisation."

Nouveau financement participatif pour le Boulet.
- 120€: zonzombi
- 500€: zombibi et bizonzon
- 900€: bibibi et zonzonzon
- 4000€: les combinaisons de 4 syllabes bi/zon
- 25000€: les 5 syllabes dont le tristement célèbre zombizonbison.
- 100000€ Bison Park Renaissance sur YouTube.
- la série Netflix

Pour remettre ça en perspective, la voiture en France, c'est 68 millions de tonnes de CO2 par an, soit l'équivalent CO2 de 210000 nouveaux films "français" qui sortiraient chaque semaine.

Alors, si on interdisait plutôt la voiture qui pollue infiniment plus que le cinéma ?

Thank you for the explanations 😅
I see now it's a lot trickier.

By Kleene recursion theorem, consider f such that if R(p) is True f(p) is a program returning False and otherwise a program returning True. the fixed point of f leads to a contradiction for R.

Par contre, la femme de @bouletcorp.bsky.social , elle traverse tous les obstacles sans problème et sans se plaindre 😆

Le fameux: un entier c'est un mot fini fini et un truc fini, c'est un truc qu'on peut coder par un entier.
On oublie trop souvent que, en fait d'une certaine manière, ω est le premier cardinal inaccessible...

C'est d'ailleurs pour ça que c'est impossible de prouver certaines non terminaisons de machine: elle s'arrêtent dans des modèles non standard mais pas sur les entiers finis. Or la sémantique de la théorie ne distingue jamais les 2.

En particulier, si je comprends bien, le fait qu'on a des théories non complètes est lié à l'existence de modèle d'entiers non standard. On en construit facilement sur Peano mais sur ZFC, ils existent aussi. Et il y a de bonnes chances que tester la primalité d'un entier non standard soit difficile.

OK, il me semble comprendre que le problème est même plus complexe que ça.
D'un côté, si la machine s'arrête en temps fini, il y a une preuve finie aussi qu'elle s'arrête.
De l'autre côté, dire que tous les entiers sont testables algorithmiquement, c'est faire une supposition forte sur leur forme.

...catholique patriote d'extrême droite et que les ennemis numéro 1 de la France, c'était les nazis.
J'ai pas vraiment cherché à comprendre toute sa logique, mais souvent, les gens sont contradictoires entre ce qu'ils pensent, comment ils s'identifient et ce qu'ils font au final.

Ça me rappelle la fois où un retraité est entré dans mon bureau, quand je travaillais à l'université. Il s'est présenté en tant qu'ancien légionnaire. Du coup on a discuté (je n'ai jamais vraiment su ce qu'il faisait là).
Il m'expliqua qu'il était ...

France 1945

BREAKING: US voted against Ukraine's UN resolution which branded Russia the "aggressor" & demanded withdrawal of its troops.

US on list of 18 nations also incl Russia, Iran and North Korea to vote against.

UK & most European nations among 93 states to back Ukrainian resolution. China abstained.

En utilisant l'algorithme de Lanczos, une des étapes calcule
"sqrt(2 * pi) * t ** (z + 0.5)" et selon les valeurs de g, ça pourrait bien tomber vers 141 le dépassement sur un float de cette valeur intermédiaire. en.wikipedia.org/wiki/Lanczos...

Si je comprends bien, le premier argument est trop fort, puisqu'il est équivalent à
¬G →(P ∧ ¬A)
"n'implique pas" ne veut pas dire que l'implication est fausse, en général, mais que la conséquence est fausse.
donc plutôt
¬G →(P → ¬A) qui revient à ¬G →(¬P ∨ ¬A)
Même là, c'est encore trop fort..

C’est une monade de Dijon

Pas de chance. C'est fait exprès ?
Bon en même temps, il suffit de savoir compter jusqu'à 4 pour résoudre le problème sans calculateur 😉

Pas besoin de réfléchir, Python fait ça très bien.

>>> pow(42, 20**25, 10)
6

You'll never get bored if you love learning new things. 💙

J'ai aussi le souvenir d'un dossier interdisciplinaire à cheval sur 3 sections. Bon dossier mais les 3 sections ont refusé car le dossier pas assez dans leur section.
L'appel a abouti. Tout cela me semblait assez cohérent.

Datadog is on Bluesky! Follow us to stay up to date on the latest in observability and security, product innovation, Datadog happenings and more.

>>> a=((1,2,3),(4,5,6)) >>> (*zip(*a),) ((1, 4), (2, 5), (3, 6))

Ça reste plus concis avec des tuples en Python 3

Je ne pense pas que le pentagone accepterait, car cela entrainera une disparition de fait de l'OTAN, une expulsion probable de tous les soldats américains des bases européennes et un gel des coopérations en cours.
Les conséquences militaires et stratégiques sur le renseignement seraient terribles.

Si vous ne l'avez pas déjà fait, je vous conseille la lecture de livre d'Eric Vuillard, Prix Goncourt 2017
"L'ordre du jour"
Ce livre plutôt court raconte notamment comment les industriels et les banquiers allemands se sont ralliés à Hitler en 1933.

C'est vrai.