Lien Déboguer … les maths. Posté par Thomas Douillard le 25 octobre 2023 à 16:59. Étiquettes : mathématiques leanprover formalisation démonstration preuves terence_tao 4 25oct.2023 https://mathstodon.xyz/@tao/111287749336059662
Lien Misinformation research is buckling under GOP legal attacks (paywall, voir commentaire) Posté par Thomas Douillard le 23 septembre 2023 à 21:28. Étiquettes : liberté_d'expression censure obscurantisme 4 23sept.2023 https://www.washingtonpost.com/technology/2023/09/23/online-misinformation-jim-jordan/
Lien Tout comprendre au DSA : la loi européenne qui encadre les géants du web Posté par Thomas Douillard le 24 août 2023 à 09:52. Étiquettes : législation union_européenne gafam digital_services_act 7 24août2023 https://www.numerama.com/tech/1480552-tout-comprendre-au-dsa-la-loi-europeenne-qui-encadre-les-geants-du-web.html
Lien Wikifunctions is up (read-only) Posté par Thomas Douillard le 27 juillet 2023 à 10:12. Étiquettes : annonce wikimedia wikifunctions 8 27juil.2023 https://meta.wikimedia.org/wiki/Abstract_Wikipedia/Updates/2023-07-26
Lien Martin Davis (1928–2023) Posté par Thomas Douillard le 15 juin 2023 à 16:35. Étiquettes : bronsonisation logique 6 15juin2023 https://thonyc.wordpress.com/2023/01/03/martin-davis-1928-2023/
Lien DSA: […] first set of Very Large Online Platforms and Search Engines (WIkipédia inside) Posté par Thomas Douillard le 27 avril 2023 à 13:31. Étiquettes : wikipedia régulation digital_services_act 1 27avr.2023 https://ec.europa.eu/commission/presscorner/detail/en/ip_23_2413
Lien 10 ans de Wikidata, le projet raconté par le (un des) créateurs Posté par Thomas Douillard le 29 octobre 2022 à 11:58. Étiquettes : wikidata anniversaire_wikidata 6 29oct.2022 https://nitter.net/vrandezo/status/1586266919807512577
Lien A full online version of Introduction to the Theory of Programming Languages (1991) —Bertrand Meyer Posté par Thomas Douillard le 30 septembre 2022 à 18:44. Étiquettes : théorie_des_langages_de_programmation 10 30sept.2022 https://bertrandmeyer.com/itpl/
Lien 25 ans de GNOME Posté par Thomas Douillard le 15 août 2022 à 17:23. Étiquettes : gnome anniversaire 20 15août2022 https://happybirthdaygnome.org/
Lien Wikimedia Foundation welcomes Selena Deckelmann as Chief Product and Technology Officer Posté par Thomas Douillard le 14 juin 2022 à 15:12. Étiquettes : mercato mozilla wikimedia 3 14juin2022 https://wikimediafoundation.org/news/2022/06/13/wikimedia-foundation-welcomes-selena-deckelmann/
Lien Data protection: Microsoft 365 banned in Baden-Württemberg’s schools! Posté par Thomas Douillard le 18 mai 2022 à 21:20. Étiquettes : rgpd allemagne microsoft365 éducation libreoffice 15 18mai2022 https://nextcloud.com/blog/data-protection-microsoft-365-banned-in-baden-wurttembergs-schools-suitable-alternatives-exist/
Lien David Rosenthal : Can We Mitigate Cryptocurrencies’ Externalities Posté par Thomas Douillard le 12 février 2022 à 15:36. Étiquettes : bitcoin cryptomonnaie environnement 7 12fév.2022 https://blog.dshr.org/2022/02/ee380-talk.html
Lien Wordle/Sutom , Wikidata et SPARQL Posté par Thomas Douillard le 21 janvier 2022 à 13:32. Étiquettes : mots sparql wikidata jeu wordle 1 21jan.2022 https://nitter.net/vrandezo/status/1482042579700969472#m
Lien Etienne Klein : « Les ingénieurs franchement on ne les entend pas beaucoup » Posté par Thomas Douillard le 12 novembre 2020 à 10:20. Étiquettes : vidéo communication vulgarisation industrie_et_politique politique débat_public 11 12nov.2020 https://www.youtube.com/watch?v=l_WZDVAX6mQ
Lien concep.tz - outil d’exploration de sujets basé sur Wikipédia, Wikidata, Open Library GBIF et autres! Posté par Thomas Douillard le 07 octobre 2020 à 15:38. Étiquettes : wikipedia linkeddata open_data wikidata 7 7oct.2020 https://conze.pt/