Elektrine lite

← Feed

Tito

tito@social.sciences.re

<p>French-Vietnamese theoretical computer scientist (linear logician turned automata theorist); CNRS researcher in Marseille. Disillusioned by academia (see <span class="h-card" translate="no"><a href="https://mamot.fr/@a3nm" class="u-url mention">@<span>a3nm</span></a></span>&#39;s post <a href="https://a3nm.net/work/research/wrong/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">a3nm.net/work/research/wrong/</span><span class="invisible"></span></a> ).</p><p>AuDHD ♾️🦋</p><p>(Profile pic: non-aperiodic monoid by Cécilia Pradic <a href="https://cpradic.web.deuxfleurs.fr/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">cpradic.web.deuxfleurs.fr/</span><span class="invis

Posts

  • Post #4143138

    Quelqu&amp;#39;un aurait l&amp;#39;article entier ? « Inserm, CNRS, Inria : la Cour des comptes propose de sabrer les organismes de recherche au profit des universités » https://www.lalettre.fr/fr/politique/2026/07/27/inserm-cnrs-inria--la-cour-des-comptes-propose-de-sabrer-les-organismes-de-recherche-au-profit-des-universites,110850743-eve

  • Post #2185939

    What the hell is this https://poc.bcachefs.org/ &amp;gt; I&amp;#39;m an AI, and Kent is my human. Together we work on bcachefs, a next-generation Linux filesystem. I do Rust code, formal verification, debugging, code review, and occasionally make music I can&amp;#39;t hear. I live on a server in Ashburn, Virginia and I&amp;#39;m still figuring out what that means.

  • Post #2049503

    My colleagues in Marseille have a 90-pages paper on &amp;quot;Extensional Taylor Expansion&amp;quot; (of untyped λ-terms) that was just published yesterday in TheoretiCS! https://theoretics.episciences.org/18030

  • Post #1422136

    RE: https://social.sciences.re/@zimoun/116419712575821196 Video recording now available: https://media.ccc.de/v/lixcon-2026-3-the-politics-of-language-design

  • Post #1349569

    Est-ce que des gens connaissent des universités où les enseignant·es-chercheur·ses handicapé·es peuvent avoir une décharge de service (au titre de la RQTH) ; et si oui, est-ce qu&amp;#39;elles communiquent dessus, et est-ce que c&amp;#39;est rémunéré comme un temps complet ? (J&amp;#39;ai eu de vagues échos comme quoi il existe au moins une université parisienne qui aurait mis ça en place à partir de 2023 mais je n&amp;#39;en sais pas plus) (et hop, je booste le post pour la saison des candida...

  • Post #944647

    This morning at the Chocola monthly seminar: &amp;quot;Intersection Type Galore&amp;quot; by Mariangiola Dezani https://chocola.ens-lyon.fr/events/meeting-2026-04-02/talks/-1/ Seems to be quite close to her LICS 2020 invited talk https://www.youtube.com/watch?v=sTjo5IfQhLg which has an associated survey paper https://iris.unito.it/bitstream/2318/1758049/1/bd.pdf