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

  • View post

    Reaction from a colleague in Marseille to the recent OpenAI dump of math papers: https://aeporreca.org/blog/why-we-should-reject-ai-in-academia/ &gt; If AI-powered “research”, let alone “teaching”, becomes the norm, we’ll lose at least a generation of human experts. I’ve personally witnessed whole classes of students pressured (by peers and, above all, by the behaviour of their teachers and the university bureaucrats) into using LLMs to write code. These students are not learning. They will nev...

  • View post

    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

  • View post

    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.

  • View post

    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

  • View post

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

  • View post

    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...

  • View post

    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