Christophe Papazian
@c-papazian.bsky.social
Python dev, former academic
Le mépris comme outil de gouvernance.
La bêtise et l'impunité.
La bêtise et l'impunité.
November 1, 2025 at 8:45 AM
Le mépris comme outil de gouvernance.
La bêtise et l'impunité.
La bêtise et l'impunité.
Maybe we just have to give humanity some large enough cardinal time to expand...
October 29, 2025 at 9:32 PM
Maybe we just have to give humanity some large enough cardinal time to expand...
It's kind of hard to choose among an infinite number of possibilities, especially if they are not countable 😂
October 29, 2025 at 9:30 PM
It's kind of hard to choose among an infinite number of possibilities, especially if they are not countable 😂
Awesome idea, I love the "the infinity gives a solution to an impossible problem".
October 29, 2025 at 9:19 PM
Awesome idea, I love the "the infinity gives a solution to an impossible problem".
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.
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.
October 3, 2025 at 10:42 PM
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.
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 ?
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 ?
October 3, 2025 at 10:26 PM
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 ?
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 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.
August 24, 2025 at 4:44 PM
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.
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
- 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
July 6, 2025 at 9:39 AM
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
- 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
Thank you for the explanations 😅
I see now it's a lot trickier.
I see now it's a lot trickier.
June 15, 2025 at 7:48 PM
Thank you for the explanations 😅
I see now it's a lot trickier.
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.
June 15, 2025 at 6:50 PM
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 😆
May 29, 2025 at 4:51 PM
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...
On oublie trop souvent que, en fait d'une certaine manière, ω est le premier cardinal inaccessible...
April 23, 2025 at 4:14 PM
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...
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.
April 23, 2025 at 6:53 AM
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.
April 23, 2025 at 6:53 AM
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.
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.
April 23, 2025 at 6:53 AM
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.
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.
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.
April 21, 2025 at 8:52 PM
...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.
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 ...
Il m'expliqua qu'il était ...
April 21, 2025 at 8:52 PM
Ç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 ...
Il m'expliqua qu'il était ...
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...
"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...
Lanczos approximation - Wikipedia
en.wikipedia.org
February 23, 2025 at 8:01 PM
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...
"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..
¬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..
February 22, 2025 at 1:12 PM
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..
¬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..