ploke retweeted
🗣️ "La littérature doit rester un espace dans lequel une âme communique avec une autre âme."
@DavidDjaiz réagit au scandale qui secoue la rentrée littéraire autour de l'IA et de l'auteur Thélyson Orélien, et appelle les maisons d'édition à définir des règles claires plutôt qu'un rejet en bloc, face au flou actuel des maisons d'édition.
ploke retweeted
There is something bizarre in the resources and energy humanity is pouring into developing--without hesitation--what is akin to another species. As if, we had deep down this instinct, like a larva ecstatic to make its cocoon.
ploke retweeted
Someone asked what I'd do if I were 17. I'd learn how to build LLMs from scratch, and then train ones as powerful as I could with whatever hardware I could get access to.
ploke retweeted
An update on Lean (auto)-formalization.
Speaking about my own research workflow, in 2026, we have gone from:
March: Lean formalization is not possible (for my papers).
May: Lean formalization is possible... but way too costly in time and tokens to be practical most of the time.
July: Lean formalization is now practical. I can probably formalize most of my papers now before they hit arxiv.
August: Lean formalization is now essential-- it increases efficiency of my workflow dramatically.
That is, the papers are getting written *informally* and finished much faster because of the Lean formalization.
