@fl@mathstodon.xyz

· 5mo ago

Replying to

@AmenZwa@mathstodon.xyz @Jose_A_Alonso@mathstodon.xyz I've never understood why Lean is so in favor with mathematicians. Is there something in this proof checker that doesn't exist in the others ? Or do mathematicians follow the fashion? Isabelle has suffered from the poor quality of its documentation, especially its tutorial, in my opinion.

1

0

fl @fl@mathstodon.xyz

· 5mo ago

@AmenZwa@mathstodon.xyz A debate about Lean. Paulson is the creator of Isabelle. Many historical views inside.

@Jose_A_Alonso@mathstodon.xyz

mathstodon.xyz

amen zwa, esq. (@AmenZwa@mathstodon.xyz) - Mathstodon

1

3

0

fl @fl@mathstodon.xyz

· 5mo ago

Replying to

@AmenZwa It's a good opportunity to use Gemini, Copilot or any other AI to run your favorite vintage computer with a prompt like "What must be my first command when I enter ibm4361 at connect.sdf.org ?"

1

0

fl @fl@mathstodon.xyz

· 5mo ago

It's on this social media that I've found this awesome link isn't it?

Fwd: @AmenZwa@mathstodon.xyz

https://www.tomshardware.com/video-games/retro-gaming/you-can-log-into-28-vintage-computer-systems-in-your-browser-for-free-thanks-to-the-interim-computer-museum-and-sdf-org-experience-legendary-oses-architectures-programming-languages-and-games

tomshardware.com

1

3

2

0

fl @fl@mathstodon.xyz

· 21mo ago

Replying to

@tao "This time, the paper was rejected for only being an epsilon improvement over the previous literature!" LOL

8

0

fl @fl@mathstodon.xyz

· 13mo ago

Replying to

@mjd It was what happended with New Jersey SML So they prefer to rewrite it. https://www.smlnj.org/

smlnj.org

Standard ML of New Jersey

The Standard ML of New Jersey compiler and programming system

2

0

fl @fl@mathstodon.xyz

· 5mo ago

Les informaticiens de l'Etat français au travail:

https://bsky.app/profile/edwyplenel.bsky.social/post/3mkowypxeys2c

Bluesky Social

Edwy Plenel (@edwyplenel.bsky.social)

Le ministère de l’intérieur compte expérimenter l’usage de l’IA pour l’immigration. Un outil est en cours de développement et trois préfectures ont été sélectionnées pour une phase d’expérimentation : Seine-Saint-Denis, Bouches-du-Rhône et Ille-et-Vilaine. https://www.mediapart.fr/journal/france/300426/le-ministere-de-l-interieur-compte-experimenter-l-usage-de-l-ia-pour-l-immigration

0

fl @fl@mathstodon.xyz

· 5mo ago

Comme les vidéos de la commission d'enquête sur la neutralité, le fonctionnement et le financement de l'audiovisuel public restent disponibles puisque la publication du rapport a été votée, je rappelle que la séance du jeudi
26 mars 2026 à 14h15 sur les méthodes d'évaluation de la neutralité de l'audiovisuel par des instituts ou des think tanks, en particulier en utilisant l'IA, est d'un grand intérêt.

Je crois qu'elle peut intéresser tout particulièrement un public scientifique comme celui de ce réseau social puisqu'il s'agit de près ou de loin de méthodes d'observation ou de sondage d'un phénomène social.

Tout sur les biais d'interprétation.

https://www.assemblee-nationale.fr/dyn/videos/CRVANR5L17S2026IDV18498202?timeCode=949

assemblee-nationale.fr

Neutralité et financement de l’audiovisuel public : Audition de think tanks et associations ; Table ronde sur l’information scientifique | Vidéos

0

fl @fl@mathstodon.xyz

· 5mo ago

LOL LOL LOL LOL LOL LOL LOL LOL

Je vous conseille vivement d'écouter cette séance de la commission d'enquête sur la neutralité, le fonctionnement et le financement de l'audiovisuel public. La députée qui s'exprime à 1:30:24 parle de l'utilisation des IA pour juger du pluralisme des émissions de télévision, et ajoute qu'il va falloir se poser rapidement le problème du pluralisme des IA. On n'en sort plus....

Le président Patrier-Leitus me plaît beaucoup. Il est remarquable. Et pourtant il a fort à faire. Je suis certain qu'il a fait Sciences Po.

https://www.assemblee-nationale.fr/dyn/videos/CRVANR5L17S2026IDV18498202?timeCode=949

assemblee-nationale.fr

Neutralité et financement de l’audiovisuel public : Audition de think tanks et associations ; Table ronde sur l’information scientifique | Vidéos

0

fl @fl@mathstodon.xyz

· 5mo ago

LOL LOL LOL LOL LOL LOL LOL LOL

L'institut Thomas More utilise l'IA pour juger de l'orientation à droite ou à gauche des émissions de télévision.

Acrimed a demandé à Grok (yes Grok !!!) si la méthodologie de Thomas More avait des biais. Griok a répondu que oui, qu'ils étaient significatifs et qu'ils orientaient systématiquement les réponses de l'IA vers ce qui était attendu par Thomas More..

Ca devient du gros n'importe quoi :-)

A 1:10:48

https://www.assemblee-nationale.fr/dyn/videos/CRVANR5L17S2026IDV18498202?timeCode=949

assemblee-nationale.fr

Neutralité et financement de l’audiovisuel public : Audition de think tanks et associations ; Table ronde sur l’information scientifique | Vidéos

0

fl @fl@mathstodon.xyz

· 5mo ago

Replying to

@andrejbauer What do you mean? that you had a Perl script that referenced mathematician photographs and then you wrote a Python script and you wanted that Claude added the references to the photographs to the new script with possible code updates?

0

2

0

fl @fl@mathstodon.xyz

· 5mo ago

Replying to

@andrejbauer Thank you very much. I understand better.

0

fl @fl@mathstodon.xyz

· 5mo ago

Replying to

@dif I'm curious to know if the French civil servants will be able to use what is still a difficult system.

0

1

0

fl @fl@mathstodon.xyz

· 5mo ago

Replying to

@Scmbradley@mathstodon.xyz It's just like voting for the alt-right wing. You do it but don't say it. Reminds me of a post by Bret Easton Ellis about dinner table talk in Hollywood. Is Donald Trump a nice man or not? Everybody thought he was a nice man but the landlady didn't want that Easton Ellis said who was at this dinner.

0