fl
fl@mathstodon.xyz
Posts
-
View post
@AmenZwa A debate about Lean. Paulson is the creator of Isabelle. Many historical views inside. https://mathstodon.xyz/@Jose_A_Alonso/116461246243925593
-
View post
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...
-
View post
Les informaticiens de l'Etat français au travail: https://bsky.app/profile/edwyplenel.bsky.social/post/3mkowypxeys2c
-
View post
It's on this social media that I've found this awesome link isn't it? Fwd: @AmenZwa 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