@antoinechambertloir@mathstodon.xyz avatar

antoinechambertloir

@antoinechambertloir@mathstodon.xyz
  • Apprentice mathematician (Professor at Université Paris Cité),
    interested in algebraic geometry, number theory and (more recently) proof formalization
  • Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
  • Apprentice progressist.

In love with math, jazz, indian music and poetry. ⏚

This profile is from a federated server and may be incomplete. Browse more on the original instance.

scudery, (edited ) to random French
@scudery@piaille.fr avatar

Bon.
Pour mon piercing :

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@scudery ubuntu

antoinechambertloir, to lacabine French
@antoinechambertloir@mathstodon.xyz avatar

at Joe's for breakfast.

antoinechambertloir, to random French
@antoinechambertloir@mathstodon.xyz avatar

6 mois après sa mise en place, Notilus change d'adresse URL… à ce niveau-là, l'incompétence devient dure à plaider, c'est forcément de la malveillance.

krazykitty, to random French
@krazykitty@mamot.fr avatar

Je suis dans le 7ème arrondissement parisien donc vraisemblablement quand j'entends un mec dire dans la rue "je connaissais pas, tu vois, le balai c'était nouveau pour moi" en fait il parlait de ballet.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@krazykitty ça se prononce pas pareil, pourtant...

Nosferalis, to random French
@Nosferalis@piaille.fr avatar

"Aucun plan, c'est pourquoi la rêverie." Un bilan, puis Liu Cixin, puis la rêverie. Question : Pourquoi ? Réponse : pourquoi pas ?
https://anathnosfe.fr/2024/05/19/reverie-du-19-mai-le-99e-article/

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@Nosferalis
J'aime bien le et pourquoi pas final.
Un aspect qui me touche de la forme de blog est l'absolue liberté. Personne pour lire, peut-être, mais personne non plus pour juger avant diffusion.
Et si un texte n'obtient que peu d'interaction, ce n'est pas forcément qu'il est mauvais, mais juste qu'il n'a pas trouvé son public.
(Remettez un lien vers le texte sur la poésie ?)

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@Nosferalis j'ai lu, avec plaisir, et j'ai eu envie de lire le texte de Di Manno en lien.
Intéressant aussi, qui donne envie de lire cet Homme de plus de Grandmont, mais quel entre-soi :
« Muriel », « mon ami », « juste pour moi »...
Et, repassant dessus 2h après, un peu gêné des facilités du genre « ces pages qui tentent de fixer un présent immobile mais constamment fuyant. »

antoinechambertloir, to random French
@antoinechambertloir@mathstodon.xyz avatar

Une banderole, ça compte pour ?

ciredutempsEsme, to random French
@ciredutempsEsme@mamot.fr avatar

Les séries post apo nous font tjs croire qu'il y aura des méchants qui vont foutre le bordel.
C'est très peu en faveur de la solidarité. C'est dommage qu'il n'y ait pas cette partie.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@ciredutempsEsme il faudrait faire un fil collaboratif des films sur la Solidarité

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@ciredutempsEsme @HydrePrever
C'est plutôt les couilles sur la table du marché que le pénis invisible, je dirais.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@ciredutempsEsme
A petite échelle
https://en.wikipedia.org/wiki/I%2C_Daniel_Blake?wprov=sfla1

thejoliesfleurs, to France French
@thejoliesfleurs@mastodon.top avatar

🇫🇷💀 Observer le passé pour comprendre le présent, anticiper l’avenir. L’histoire se répète, sous nos yeux, «la première fois comme une tragédie, la seconde fois comme une farce,» notait Marx. Les ombres des moments les plus sombres de notre s’enracinent👺

https://youtu.be/13eLidfZ7vY?si=TgKdCipfkbZ7zVVE

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@thejoliesfleurs

MartinEscardo, to random
@MartinEscardo@mathstodon.xyz avatar

It is just me? The following definition of category hurts my categorical instincts, because it uses object equality.

A category consists of

  1. A collection of objects.

  2. A collection of morphisms.

  3. Each morphism f has two assigned objects, its source s(f) and its target t(f).

  4. For each pair of morphisms f,g such that t(f)=s(g) there exists a specified morphism g ∘ f such that [it doesn't matter what]

  5. [Some axioms are satisfied.]

It is (4) that hurts my categorical instincts.

There is no reason to have "evilness" (in the categorical sense, rather than the emotional sense) built-in in the definition of category!

This definition is, for example, adopted by Freyd.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@johncarlosbaez @MartinEscardo @oantolin so one would start with a class of composable maps, and their compositions, that would make a usable definition, and I guess one could eventually recover the definition of source and target from it.

Khrys, to Help French
@Khrys@mamot.fr avatar

Bon il m'arrive (encore) des trucs de fou.

J'ai dû changer quelque chose à mon clavier, mais il ne prend plus ^ (ni l'accent grave d'ailleurs, mais c'est moins "grave")

Du coup, pour utiliser ^_^ (que j'aime beaucoup), je suis obligée de faire des copier-coller /o\

(et j'ai dû le faire aussi pour écrire "dû", sic, très chiant quoi)

La touche matérielle fonctionne, y'a pas de souci je suis sous macbook air debian mate, clavier français mac, version Apple (portable) des idées ?

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@Khrys ça ressemble au clavier qui s'est mis en mode, où enlève du mode clavier numérique. Il y a une combinaison de touches qui fait changer de clavier dans la liste des claviers voulus.
Dans les préfèrences systèmes, clavier, on peut vérifier ça, éventuellement mettre un onglet clavier dans la barre au sommet de l'écran .

1pseudodeplus, (edited ) to random French
@1pseudodeplus@piaille.fr avatar

Visite du jardin Lucien Beaufrère à Vierzon. Inauguré en 1933. Conçu par Eugène Henry Karcher.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@1pseudodeplus tu voulais voir Vierzon et on a vu Vierzon...

sknob, to random French
@sknob@mamot.fr avatar

☕️ :mastodon:

Je lis les discussions lunaires sur la nature antisémite ou non d’une blague nulle d’un humoriste médiocre. Un peu comme si les mecs donnaient des brevets de féminisme.

Faut être sourd et aveugle pour ne pas percevoir l’antisémitisme endémique à gauche, qui s’exprimait allègrement pendant les manifs des gilets jaunes ou contre le « pass nazitaire » par exemple.

Du pain béni pour la droite (islamophobe et antisémite) qui n’en demandait pas tant…

Bref, pas bravo.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@sknob
Les gilets jaunes étaient un mouvement trop protéiforme pour qu'on puisse le dénoncer comme ça. Si on tient à le caractériser, il faudrait lire le détail des textes issus des conventions que le mouvement a organisées.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@sknob Les sociétés occidentales se sont développées sur le racisme et l'antisémitisme, pendant plusieurs siècles, tout particulièrement pendant les 5 derniers siècles, il n'est pas étonnant que ce sentiment soit difficile à combattre, raison de plus pour ne rien lâcher.
Mais j'irais d'abord regarder l'attitude des partis face au droit d'asile ou la colonisation, par exemple — je crois qu'une expression claire digne et humaine sur ces sujets aiderait.

lemonde, to random French
@lemonde@mastodon.social avatar

Guillaume Meurice, suspendu par Radio France, reçoit le soutien de Charline Vanhœnacker lors de son émission hebdomadaire https://www.lemonde.fr/actualite-medias/article/2024/05/05/guillaume-meurice-suspendu-par-radio-france-recoit-le-soutien-de-charline-vanh-nacker-lors-de-son-emission-hebdomadaire_6231737_3236.html

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

Les mots ont un sens, une blague, même ratée, même malvenue, même douteuse, n'est pas un « propos polémique ».
QT @lemonde

1pseudodeplus, to random French
@1pseudodeplus@piaille.fr avatar

Qu'est-il arrivé à @mule_du_pape ? Le compte .cloud est-il celui du fan de train ?

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@1pseudodeplus
Je crois qu'il avait mentionné vouloir changer d'instance pour remettre à zéro toute sa cohorte de followers.

1HommeAzerty, to random French
@1HommeAzerty@mamot.fr avatar

J'ai envoyé les notes aux étudiant⋅es, vague de contestation dans 5, 4, 3...

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@juliegiovacchini @Monolecte @1HommeAzerty @unamourdebeton tu fais comment en prépa agreg?

jonmsterling, to random
@jonmsterling@mathstodon.xyz avatar

Ultimately we have to ask ourselves if it was overall a good thing that computer science as a discipline ceased to be part of mathematics — rather than broadening the horizons of mathematics and bridging the gap between mathematics and social science. I am not speaking purely rhetorically, as there are legitimate arguments to be made on both sides.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@jonmsterling
Sure, but mathematicians have had their role in this play, and not the good one.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@jonmsterling in France, the development of computer science has been despised (as well as probability theory, combinatorics, etc) by the community .

athenavocat, to random French
@athenavocat@oc.todon.fr avatar

Il est très tôt pour partir en vacances, mais va-t-on se plaindre ?

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@athenavocat ?

https://youtu.be/rYdk70VSfv8?si=3CAhyD2Wv2YfUBj7

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@athenavocat
Plus ou moins, oui, mais pas pourquoi si tôt ? Vous nous avez presque réveillés, @HydrePrever et moi

ciredutempsEsme, to random French
@ciredutempsEsme@mamot.fr avatar

La retraite par capitalisation est un ponzi. Ça ne marche pas.
Sans génération suivante pour produire ce dont vous avez besoin ou s'il advient une grosse inflation, votre argent vaut zéro.

antoinechambertloir,
@antoinechambertloir@mathstodon.xyz avatar

@ciredutempsEsme
Avant les années 30, la retraite était par capitalisation, la crise de 29 a montré les limites du système et les 15 années suivantes ont servi à imaginer le système mis en place en 41 puis en 46...

antoinechambertloir, to jazz French
@antoinechambertloir@mathstodon.xyz avatar

Ready for tonight's show at the Jazz Gallery!

Dave Liebman, Tyshawn Sorey, Adam Rudolph.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • tacticalgear
  • cubers
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • osvaldo12
  • ngwrru68w68
  • GTA5RPClips
  • provamag3
  • InstantRegret
  • everett
  • Durango
  • cisconetworking
  • khanakhh
  • ethstaker
  • tester
  • anitta
  • Leos
  • normalnudes
  • modclub
  • megavids
  • lostlight
  • All magazines
    •