Benoît Valiron · @b3nb3n
116 followers · 279 posts · Server social.sciences.re#introduction [fr] Je suis enseignant-chercheur en informatique sur #Saclay au sein du @lmf. Je travaille à l'interface entre les méthodes #formelles et l'informatique #quantique. J'utilise des systèmes de #types, de la théorie des #catégories, de la #réécriture, de la #réalisabilité et des #langages (#textuels et #graphiques).
J'habite en famille à Paris. Je #velotaf quand je n'ai pas mal au genou. Le #RERB est (partiellement) mon ami.
Je pouêt en anglais et en français.
#introduction #Saclay #formelles #quantique #types #catégories #réécriture #réalisabilité #langages #textuels #graphiques #velotaf #rerb
gaby_wald · @gaby_wald
70 followers · 16249 posts · Server framapiaf.org#theconversation #éducation "Croire au mérite aide-t-il (ou non) les élèves à réussir ?" #instruction #école #mérite #méritocratie #catégories #environnement #érussites #échecs #responsabilités #freins #limites #légitimité #diplômes ... https://theconversation.com/croire-au-merite-aide-t-il-ou-non-les-eleves-a-reussir-167590
#theconversation #éducation #instruction #école #mérite #méritocratie #catégories #environnement #érussites #échecs #responsabilités #freins #limites #légitimité #diplômes
gaby_wald · @gaby_wald
74 followers · 16277 posts · Server framapiaf.org#theconversation #éducation "Croire au mérite aide-t-il (ou non) les élèves à réussir ?" #instruction #école #mérite #méritocratie #catégories #environnement #érussites #échecs #responsabilités #freins #limites #légitimité #diplômes ... https://theconversation.com/croire-au-merite-aide-t-il-ou-non-les-eleves-a-reussir-167590
#diplômes #légitimité #limites #freins #responsabilités #échecs #érussites #environnement #catégories #méritocratie #mérite #école #instruction #éducation #theconversation
POUJOL-ROST Mathias ✅ · @poujolrost
273 followers · 10760 posts · Server mstdn.jpApparemment, deux nouvelles #catégories de #prix sur #GOG :
MOINS DE 25€ : https://www.gog.com/games?system=lin_mint,lin_ubuntu&page=1&price=u25
et À PARTIR DE 25€ : https://www.gog.com/games?system=lin_mint,lin_ubuntu&page=1&price=a25
#catégories #prix #gog #linux #gogcom #macos #windows #indie #videogames