400 Followers
612 Following
8K Posts

I am: French, excuse my English / Father^3 / calm and silent IRL / FP enthousiast
i believe: FLOSS are our digital common goods, their maintainers our sacrified wealth [update: we've lot to learn at making that flourish and sustain] / if it doesn't work, you need more Ostrom in it / systems are complicated
I do: things before they are cool (linux and floss since 2001 / Coq in 2004 / Scala since 2006 / @rudderio CTO nowadays...)

My dm are open, perhaps I can help

Achievement, I guess? Asking people at conferences if they are ok for working for the 1930 IBM and getting tagged "rectitude"

bloghttps://blog.fanf.eu
githubhttps://github.com/fanf/

Bon, je continue doucement les cours de Léa Ypi au College de France, avec aujourd'hui "La liberté comme agence morale".

C'est vraiment excellent.

La dualité de la Liberté, interne et externe, indissociable, qui vue sous le prisme des 3 maximes des Lumières ("penser par soi-même", "penser du point de vue de tous les autres", "penser de manière cohérente") décline un framework hiérarchisé en deux axes, moral et institutionnel, et 3 niveaux qui se complètent: Liberté de l'individus/intersubjectivité/communauté d'une part, et Droit de l'individu/des états/international d'autre part 🤯🤯🤯

Liberté - Égalité - Autodétermination

La liberté comme agence morale | Collège de France

Quoting https://bsky.app/profile/matejcerny.bsky.social/post/3mmca4xmkov2u :

This is a heavy story about a brilliant Scala developer who put his life into his work. 💔
After many health and personal problems, he open-sourced his project for everyone.
Let's help him find a new job or support his work! 🙏
#scala

https://gist.github.com/japgolly/538875580ec648ca7517ce04d63dc009

Matej Cerny (@matejcerny.bsky.social)

This is a heavy story about a brilliant Scala developer who put his life into his work. 💔 After many health and personal problems, he open-sourced his project for everyone. Let's help him find a new job or support his work! 🙏 #scala https://gist.github.com/japgolly/538875580ec648ca7517ce04d63dc009

Bluesky Social
still not quite over the fact that i watched 15 year olds get sued for millions of dollars for downloading twelve songs and now we all have to accept AI slop because every tech company in the known universe decided that IP laws don't exist now that they're inconvenient for them

RE: https://mastodon.social/@Viss/116586373901412420

The phrase “VNC to a gas station” sends me straight into Picard-head-in-hands mode. And then they add the word “unauth….”

brain: hey let's go run around the house and plant a garden and climb all the trees.

body: have ... have you not been reading my maintenance reports?

here's to the crazy ones. the misfits. the rebels.

Évaluation des expérimentations du port de la tenue commune à l’École | Ministère de l'Education nationale

"Les données recueillies par FORS-Recherche Sociale viennent nuancer les effets positifs perçus par les chefs d’établissement qui sont rapportés dans l’enquête de la DEPP. Elles mettent en évidence le faible niveau d’adhésion des élèves et des tensions supplémentaires potentielles liées au non-respect du port de la tenue unique."

https://www.education.gouv.fr/depp/evaluation-des-experimentations-du-port-de-la-tenue-commune-l-ecole-504773

Évaluation des expérimentations du port de la tenue commune à l’École

En 2024 et 2025, une centaine d’écoles et d’établissements scolaires volontaires expérimentent, en lien étroit avec leur collectivité territoriale de rattachement, le port d’une tenue vestimentaire commune par les élèves.

Ministère de l'Education nationale

"Dans plusieurs établissements, la distribution et la gestion des stocks ont transformé les agents en magasiniers improvisés, chargés de manipuler, trier, vérifier et redistribuer des centaines de vêtements. Cet investissement, rarement anticipé, a pu être vécu comme une charge de travail supplémentaire et comme un facteur de dévalorisation professionnelle, suscitant parfois des tensions entre équipes pédagogiques, directions et collectivités."

😬

Bref.

"La tenue commune cristallise donc moins une évolution du rapport des élèves à l’école qu’un effort collectif de réassurance et de symbolisation du cadre éducatif, de l’autorité et du sentiment d’appartenance voulu par les adultes. Elle agit à ce titre comme un miroir des attentes des adultes, de leurs valeurs et de leur vision de l’école, plutôt que comme un outil directement opérant sur les dynamiques d’apprentissage ou de socialisation."

Étonnant 🙄

1Password (@[email protected])

Attached: 1 image "The pattern that works is using agents to produce deterministic artifacts, then forcing execution through those constraints." Tido Carriero, VP of Engineering at Cursor. At 1Password, we applied agentic tooling to B5, our multi-million-line Go monolith, to help plan and execute a production refactor. Here's what we learned: https://1password.com/blog/what-we-learned-using-ai-agents-to-refactor-a-monolith

1password.social