Julien Girard-Satabin (them)
rhapsodos@scholar.social
<p>Academic on Trustworthy AI, with a hunch for formal methods. Interpretable AI, formal verification of artificial intelligence systems, and so on.<br />Developper of the CAISAR platform <a href="https://www.caisar-platform.com/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">caisar-platform.com/</span><span class="invisible"></span></a></p><p>Also, I cook when I'm not doing any OCaml. I look for computing for emancipation, not control.</p><p>My opinions are mine alone, no endorsement from my employer.</p><p>All my posts are under CC BY-NC-SA: non commercial use and attribution. Don't feed my thoughts to an AI, thanks.</p>
Posts
-
Post #2745982
RE: https://mastodon.online/@parismarx/116263270344590378 bernie tf are you doing here, big tech AI are NOT people. you should not even pretend to have a meaningful interaction with those machines
-
Post #2745981
oooouh c&#39;est UndoneCS aujourd&#39;hui, j&#39;ai pas réussi à y aller cette année mais je suis très curieux des présentations (j&#39;ai juste trois papiers à soumettre :&#39;) )
-
Post #2745980
Je suis jury du concours NSI (Numérique et Science Informatique). Ça me fait très plaisir de voir ces lycéen·nes faire des trucs! Même si c&#39;est pas parfait, que c&#39;est pas le code le plus propre du monde, c&#39;est super rafraîchissant