Posts by antoinechambertloir@mathstodon.xyz
(DIR) Post #AmtsRIDnzDunR1EdrE by antoinechambertloir@mathstodon.xyz
2024-10-11T15:01:02Z
0 likes, 0 repeats
@josh @ColinTheMathmo the empty subset has no element, so it can't have a smallest one.And Indeed, the condition implies the ordering is total (aka linear).
(DIR) Post #Aqa6ECA4ljHBEXXLbk by antoinechambertloir@mathstodon.xyz
2025-01-29T17:18:09Z
0 likes, 0 repeats
@uichelorraine @maisouvaleweb @bortzmeyerje me fais la même réflexion à chaque tribune universitaire à laquelle je participe, en écrivant ou signant. Mais de fait, qui rend service à qui en la matière ? le scientifique au journal, en lui fournissant un texte argumenté, ambitieux, ou bien le journal au scientifique, en lui ouvrant un espace pour faire entendre sa voix, en lui donnant accès, au sens propre, à une tribune ?@arsaintmartin
(DIR) Post #Aryl6gDINTCLijAifY by antoinechambertloir@mathstodon.xyz
2025-03-12T08:35:55Z
1 likes, 0 repeats
« Des centaines de millions de soleils dans le système solaire... » Heureusement qu'il dit que l'astrophysique le fascine. Et Bergé et Borne rigolent...https://video.lefigaro.fr/figaro/video/des-milliards-de-soleils-dans-le-systeme-solaire-les-approximations-astronomiques-de-francois-bayrou-en-plein-discours/
(DIR) Post #Ascne51Vl5gnfGRyaG by antoinechambertloir@mathstodon.xyz
2025-03-31T10:57:08Z
1 likes, 0 repeats
Magnifique monde médiatique où des personnes condamnées pour détournement de fonds sont invitées à contester une décision de justice devant des millions de téléspectateurs... La République des juges a bon dos, quand il n'y a personne pour évoquer celle des magnats de presse. «Marine Le Pen sera l’invitée du « 20 heures » de TF1 lundi, après sa condamnation à cinq ans de prison et cinq ans d’inéligibilité »
(DIR) Post #AtXv6o1rM1aWM23PDk by antoinechambertloir@mathstodon.xyz
2025-04-28T09:53:37Z
0 likes, 0 repeats
@bortzmeyer j'ai eu le même, à la substitution évidente près...
(DIR) Post #AuXpcQScvCSpDtsfdA by antoinechambertloir@mathstodon.xyz
2025-05-28T06:44:10Z
0 likes, 0 repeats
@stux and I shut my cell phone for the night.
(DIR) Post #AvQlo3JizVScz3hSzI by antoinechambertloir@mathstodon.xyz
2025-06-23T10:20:32Z
0 likes, 1 repeats
The role of the university is to resist AI@danmcquillan “Critical thought is not something you can stochastically optimise, and I agree with Hannah Arendt that thoughtlessness is a precondition for fascism.”“I want to conclude by emphasising that the proposition that the role of the university is to resist AI is not simply a defence of pedagogy, but an affirmation of the social importance of imagination.”https://danmcquillan.org/cpct_seminar.html
(DIR) Post #Ax4L7hLl2OhkhZoyWG by antoinechambertloir@mathstodon.xyz
2025-08-11T18:52:09Z
0 likes, 0 repeats
@bortzmeyer Je suis bien emm... de participer à Lean/mathlib pour mon travail et ça se passe sur github dès qu'on veut faire des pull request.
(DIR) Post #AxwQehMT0WokbHXmxE by antoinechambertloir@mathstodon.xyz
2025-09-06T21:08:36Z
0 likes, 0 repeats
@phette23 I've seen the opposite last week: a new edition completely identical to a former one (at least, I sampled several pages randomly, and there were no differences at all), but a new ISBN.
(DIR) Post #Ay2Mo0zW9xi5Dekx1c by antoinechambertloir@mathstodon.xyz
2025-09-09T17:26:48Z
1 likes, 0 repeats
@crowdagger un drone un goéland
(DIR) Post #AyT44BuIpgGQ4v5Wjo by antoinechambertloir@mathstodon.xyz
2025-09-22T15:00:52Z
0 likes, 0 repeats
@bortzmeyer @tut_tuuut @mdk j'aurais volontiers proposé une autre explication, compatible avec la doc mais peut-être pas avec l'implémentation : si i:j signifie les caractères entre la position i (permise) et la position j (exclue), alors le résultat est celui attendu quand il n'y a pas de tels caractères.Par contre, t[i] demande le caractère à la position i, qui peut ne pas exister.
(DIR) Post #AynxEWe0m7r3LNEcFc by antoinechambertloir@mathstodon.xyz
2025-10-02T16:53:18Z
0 likes, 0 repeats
@bortzmeyer je mets @PoisChiche dans la boucle en espérant que c'est le même qui avait apporté un éclairage sur bluesky.Je n'ai pas d'objection de principe à l'utilisation d'ordinateurs pour réaliser de nombreuses tâches, les correcteurs grammaticaux et orthographiques existent, les moteurs de recherche aussi, et ce sont des outils fantastiques.Je n'ai pas non plus d'objection de principe à l'utilisation, pour créer ces outils informatiques, de réseaux de neurones ou d'algorithmes probabilistes. Comme lu ailleurs, si l'utilisation courante de l'algorithme est un progrès notable et si l'enjeu d'une erreur éventuelle est faible, il n'y a pas forcément de raison de s'en priver. Mais cela fait deux *si*.Il me semble par contre que l'IA générale/générative, par essence, ne peut pas répondre aux problèmes qu'on veut lui faire résoudre. Le truc est fabriqué pour pondre un texte à nature optimiste et constructive, même quand il n'y a pas de raison, les mécanismes de raisonnements n'en sont pas, et même les calculs, alors que l'algorithme en reconnaît l'existence et en donne un code informatique raisonnable (`let a = ... ; print (a)`), sont inventés alors que le code proposé aurait donné la bonne réponse.Si toutes ces boîtes qui ont accumulé des milliards de capital et scanné des millions de livres voulaient bien faire des logiciels spécifiques, on aurait peut-être quelque chose d'intéressant.
(DIR) Post #AzEehBB70piXIwaKPY by antoinechambertloir@mathstodon.xyz
2025-10-15T13:59:09Z
1 likes, 0 repeats
Télérama — « Une IA achèvera-t-elle Orson Welles ? Fable, une start-up américaine d’intelligence artificielle, soutenue par Amazon, propose de recréer les quarante-trois minutes perdues de La Splendeur des Amberson, le deuxième film du cinéaste américain, tourné dans la foulée de Citizen Kane. »Mais pitié…
(DIR) Post #AzR5r38sm2Vlw7zZvU by antoinechambertloir@mathstodon.xyz
2025-10-21T13:48:19Z
1 likes, 0 repeats
Comment on dit Go Fuck Yourself en novlangue-IA ?
(DIR) Post #AzuEvfo1b051JGVX8a by antoinechambertloir@mathstodon.xyz
2025-11-04T08:22:08Z
0 likes, 1 repeats
@EUCommission and yet, Frontex…
(DIR) Post #AzuEzoNfekhj3x9cEy by antoinechambertloir@mathstodon.xyz
2025-11-04T09:38:15Z
0 likes, 0 repeats
@alterelefant @EUCommission For example:https://www.nytimes.com/2020/11/26/world/europe/frontex-migrants-pushback-greece.html
(DIR) Post #AzuEzwqKC6NVJ8cc0u by antoinechambertloir@mathstodon.xyz
2025-11-04T09:40:39Z
0 likes, 0 repeats
@alterelefant @EUCommission or thathttps://www.sosmediterranee.org/eyes-on-the-central-med-51-eu-officials-and-frontex-accused-of-implication-in-human-rights-violation-in-the-central-mediterranean/
(DIR) Post #B14NaMWt1yMRAR8GO0 by antoinechambertloir@mathstodon.xyz
2025-12-08T12:45:47Z
0 likes, 0 repeats
The new @arXiv policy is to impose an English version for all papers.They acknowledge: “We realize that many arXiv submitters may not have access to professional translation services; non-English paper versions that use automated translation are acceptable, as long as their content is faithful to the original paper.”Four possibilities emerge:1 - people outside of the English speaking countries start reclaiming their mother tongue for science. 2 - contrary to their expectation, most submissions will be English only.3 - a torrent of AI-generated translations will flood on the arxiv and later on in papers.4 - French people put their papers in French on @hal_fr, which will make French science less visible.What would you wish? What do you expect?
(DIR) Post #B1uEtVJU4JM30paSJc by antoinechambertloir@mathstodon.xyz
2026-01-02T19:16:26Z
0 likes, 0 repeats
@bortzmeyer Si tu m'expliques comment le faire (*), ça peut m'amuser d'y passer quelques heures. (*) J'ai essayé une fois sur un autre article, et je n'ai rien compris à la façon de faire.
(DIR) Post #B2DZhN0xZ7HrtQX4d6 by antoinechambertloir@mathstodon.xyz
2026-01-12T18:14:31Z
0 likes, 0 repeats
@bortzmeyer @matiu_bidule dire qu'iels auraient pu critiquer l'absence de diacritiques sur la forme féminine...