Thomas Morin

@thomasmorin
25 Followers
284 Following
142 Posts
What Functional Programmers Get Wrong About Systems - Ian Duncan

Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.

Ian Duncan
I had to. Sorry / you're welcome.

Une pétition a été lancée sur le site de l'Assemblée nationale demandant que le gouvernement arrête d'utiliser X pour ses communications officielles.

Ca a assez duré c'te connerie, donc on signe, et on fait passer :
https://petitions.assemblee-nationale.fr/initiatives/i-2610

Cesser d'utiliser X (anciennement Twitter) pour les communications officielles du gouvernement - Cesser d'utiliser X (anciennement Twitter) pour les communications officielles du gouvernement - Plateforme des pétitions de l’Assemblée nationale

Cessez d'utiliser cette plateforme comme l'un des principaux porte-parole des communications officielles en France. Il existe des alternatives bien mieux modérées et régulées, et il est même possible de gérer sa propre plateforme. Si vous allez ailleurs, les journalistes et les citoyens qui veulent consommer l'information du gouvernement français iront aussi ailleurs. Le propriétaire de cette plateforme est ouvertement opposé aux valeurs de la Constitution française. Il publie régulièrement des théories du complot, sape délibérément les processus démocratiques dans son propre pays et à l'étranger, et adopte régulièrement une rhétorique raciste, misogyne et homophobe. Il est embarrassant que nos ministères officiels et des personnalités importantes, y compris le cabinet du président, continuent d'ajouter régulièrement du contenu à cette plateforme. Non seulement ils soutiennent tacitement le propriétaire, mais ils lui remplissent les poches.

One thing I wish folks knew better about "Linux" that the annoying evangelists never seem to care to mention.

One of the most important differences from other platforms if *how you get your software*.

You don't download it from the author/publisher who might be (these days, is) bundling malware.

You don't get it from a walled garden with commercial incentives to let publishers hurt you.

You don't have to fumble around Google trying to find if the site offering it is reputable.

You get it from a party, usually made up of dedicated volunteers, who believe in the platform and who are vetting all the software they build and package for you. Usually the same one you got your base system from.

just in case nobody has done it before
I am fucking D E A D at that last line 🤣

J'ai demandé à Anne Alombert quels conseils elle donnerait à ma ministre concernant l'IA et l'éducation

Sa réponse, de mémoire
- déplacer la question de l'utilisation à la compréhension
- développer l'esprit critique
- renforcer les fondamentaux
- apprendre l'histoire des techniques à l'école
- ne pas utiliser trop tôt
- vigilance sur les risques de "prolétarisation" (perte de savoir)
- privilégier les technologies alternatives

Et dernier élément
- financer la création de contenus humains

RFC 3339 vs ISO 8601

Comparison between RFC 3339 and ISO 8601 date formats

RFC 5513: IANA Considerations for Three Letter Acronyms

What I hate so much about this timeline is that when you question the use of generative AI, the burden is always on you to prove that the AI won’t do the thing they think it will do. It’s never on them to prove it will be beneficial. They always start from the standpoint that AI works.