▲ 311 r/40kLore

What does the Imperium do with broken Astartes?

I'm sure that even a Space Marine can be too wounded to recover entirely, or has seen one thing too many to be able to continue the fight.

What does the Imperium do with them? I doubt that there are hospitals for PTSD or handicapped Astartes, no?

reddit.com
u/ImYoric — 1 day ago
▲ 31 r/AskMec

Des conseils pour un bon cunni ?

Pour l'essentiel, ça se passe très bien au lit entre ma compagne et moi, mais mes cunnis ne sont apparemment pas exceptionnels. Malheureusement, pour un cunni, elle n'arrive pas à m'expliquer ce qu'elle préférerait (pour d'autres pratiques, aucun problème). Défi relevé 💪

Vous avez des conseils pour la faire grimper aux rideaux avec ma langue (et ma bouche, et mon nez, etc.) ?

(je pose la question en parallèle sur AskMeuf)

reddit.com
u/ImYoric — 2 days ago
▲ 36 r/AskMeuf

Qu'est-ce que c'est, un bon cunni ?

Bonjour à toutes, je viens à vous avec une question un peu embarrassante, en espérant que ça ne viole pas les règles du sub 😅.

J'ai très envie de faire plaisir à ma compagne, y compris au lit. Pour l'essentiel, ça se passe très bien, mais elle m'a fait remarquer que mes cunnilingus n'étaient pas extraordinaires. Qu'à cela ne tienne, je ne demande qu'à m'améliorer ! Malheureusement, elle ne se sent pas capable de me dire en quoi ou pourquoi.

Du coup, mesdames, je viens humblement vous demander si certaines parmi vous se sentaient de m'expliquer à quoi ça ressemble, pour vous, un cunni réussi.

(je vais probablement poser à peu près la même question sur AskMec)

reddit.com
u/ImYoric — 2 days ago

What are you guys learning these days?

Note: I realize that I'm pretty close to violating rule 5, please accept my apologies if I'm on the wrong side of the line.

Until recently, I felt that I was learning at work all the time, despite having close to 40 years of programming (20+ professionally) behind the belt. Even when I didn't learn on the work, I had plenty of opportunities to grow with experimental projects in more-or-less obscure languages, frameworks and methodologies.

With the AI-native wave, I feel that our opportunities to learn are quickly vanishing. We're inundated by code tsunamis that we're encouraged to rubberstamp without proper review, despite lip service to human-in-the-loop. My teammates complain that despite working on a Rust project, they still don't have a clue how to spot or write proper Rust. As for agents themselves, despite being inundated by LinkedIn claims that it's a science, it really feels like we've learnt everything we could (from skill writing to plug-ins to loops) in the first 3 weeks of serious test-driving.

Do you guys feel that you still have opportunities to learn?

And if so, what do you feel is worth learning these days?

reddit.com
u/ImYoric — 11 days ago

Who's using (any kind of) formal verification as part of their toolchain?

Caveat Not strictly a PL topic, but I hope it's PL-adjacent enough for this sub.

My company went AI-native a few months ago, with the predictable results. My team, especially, is working on compiler-adjacent tech, and the agent has proven an endless source of surprises...

We have reached the point where many devs and some managers seem to realize that "spec-driven development" (the LLM style, not the Focus style) is something of wishful thinking, so there may be an opening for us to get a project started in using (some kind of) formal verification as part of our LLM-driven toolchain.

So I wonder if there's anything out there in the wild that we could already use, or at least contribute to, in the hope of getting it to a stage where we could use it.

I've seen Leanstral & DeepSeekProve that offer Lean proofs, which might be possible bricks, leaving the big question of "how do you go from human-readable specs to Lean signatures?" I've seen some work on Model Checking, which I still need to read.

But is anybody actually using any of this? Are there any success stories out there in the wild?

u/ImYoric — 14 days ago
▲ 7 r/improv

Body language exercises?

We're a ~8 person crew working mostly on longform. Today is my turn to lead our next training session.

I'm planning to make it about body language (including, but not limited to mimicry). I have a few exercises in mind, but I'd be happy to hear from other exercises you've tried and that might fit in!

Note: I've come up with names, there may be standard names for these exercises.

  1. Foreign Legion. Extended warm-up. All the actors minus session lead on stage. Everybody is undergoing some tough physical training (e.g. parachute, a long walk through the desert, it's starting to rain, etc.) Initially, the session lead narrates the steps of the training. At some point, the session lead steps out and lets the actors start adding new steps non-verbally.
    • Objective Being physically expressive / listening to other actors.
  2. Touch and speak. Short improv, two+ actors. The actors can only speak when they're in physical contact.
    • Objective Continuing the story without speaking. Being aware of over-speaking.
  3. Everybody says I love you. Short improv, two+ actors. Each of the actors gets assigned a non-verbal message (e.g. "I love you", "I'm afraid of you", etc.) During the improv, they're forbidden from speaking the message (or anything close to that message) out loud, but their acting must convey the non-verbal message.
    • Objective Disconnecting verbal communication from non-verbal communication.
  4. The auction room. Short improv, three+ actors. For some in-story reason (e.g. they're too far from each other, they don't want to be overheard, etc.), two of the actors cannot communicate verbally with each other (they can still communicate verbally with other actors), but they still need to communicate to make the story advance.
    • Objective Mostly, having fun with non-verbal communication and mimicry.
  5. The non-verbal chain. Variant on the two above. A cannot verbalize towards B, B cannot verbalize towards C, C cannot verbalize towards A.
    • Objective As above.
  6. Longform Feeding back in our current longform format, but with constraints of being non-verbal at times (I'll need to come up with more precise constraints).

Any suggestions or other ideas?

reddit.com
u/ImYoric — 18 days ago
▲ 0 r/Lyon

L'Originarium présente : Seconds Couteaux (improvisation théâtrale)

Retrouvez nous en spectacle avec « SECONDS COUTEAUX » le 01/07/2026 à Improvidence Lyon Café Théâtre

Être ou ne pas être le héros de l’histoire ?

A quoi rêve la conductrice d’un train stoppé par Wondermoufle ?
Que cultive le chauffeur de l’homme politique Shérif Glamhug ?
Le manucure de la chanteuse Mystic Shaevre est-il à jour du paiement de ses impôts ?

Découvrez le temps d’un spectacle toutes ces vies inconnues qui gagneraient à le rester…

BILLETTERIE : https://improvidence.fr/spectacles/602043-seconds-couteaux/

u/ImYoric — 21 days ago
▲ 5 r/Lyon

L'Originarium recrute des improvisateurs amateurs

L’Originarium ouvre ses recrutements pour la saison 2026-2027

Tu as au moins deux ans d’impro, de théâtre ou d’un autre art vivant, tu voudrais t’impliquer dans des projets et la vie de l’association, viens nous rencontrer !

Nous sommes une troupe d’improvisation théâtrale autogérée, portée par l’envie de créer ensemble des histoires uniques, sensibles, drôles et inattendues.

À partir des idées, des univers et de la créativité de chacun·e, nous construisons des formats longs qui prennent le temps d’exister.

Nous proposons des séances ouvertes pour improviser ensemble, échanger sur le fonctionnement de la troupe et voir si ça matche entre nous.

📅 Dates des séances d’essai le 04, 11 et 18 juin 2026

📩 Inscription / informations : loriginarium@gmail.com

https://preview.redd.it/yboxlqau0g2h1.png?width=1920&format=png&auto=webp&s=c4dfab67ef9ced3a7733aab06127d64569154173

reddit.com
u/ImYoric — 2 months ago

"Diagnostic TDAH invalidé avec certitude"

Bon, je sors de mon premier rendez-vous psychiatrique.

10 minutes de test puis invalidation de tous les tests faits chez le neuropsy.

Il faut que je digère...

Edit À la demande générale, quelques détails.

Pour contexte, j'ai été diagnostiqué TSA + TDAH par mon neuropsy (recommandé par le Centre de Ressources Autisme), et HPI lorsque j'étais enfant / confirmé par le même neuropsy.

La séance a duré environ 30 minutes :

  • 3 minutes à me demander si je bois, je me drogue, etc. ;
  • 5 minutes passées à m'expliquer qu'il avait un test fiable à 90% recommandé par la Haute Autorité de Santé, et que les tests faits par un neuropsy ne comptent pas parce que les neuropsys ne pratiquent pas le diagnostic différentiel ;
  • 10 minutes à me faire passer le test WURS (25 questions sur comment j'étais à 6 ans, c'est-à-dire il y a une quarantaine d'années) ;
  • 2 minutes à m'expliquer que je ne suis clairement pas TDAH ;
  • quelques minutes à m'expliquer que oui, si j'étais TDAH, j'aurais forcément eu des mauvaises notes en classes, même si je suis TSA + HPI, et que j'aurais répondu à toutes les questions sur la manière dont j'étais à 6 ans immédiatement, parce que j'aurais été traumatisé (cette partie de la discussion était un peu chaude parce que nous parlions de choses différentes) ;
  • quelques minutes à m'expliquer qu'une anxiété généralisée peut très bien expliquer mes symptômes ;
  • quelques minutes à m'expliquer que ce genre de choses peut arriver aux enfants de parents abusifs, soit physiquement, soit parce qu'ils poussaient trop fort leur enfant (je ne sais pas pourquoi il est revenu plusieurs fois sur ces points) ;
  • quelques minutes de plus à expliquer que les neuropsys ne savent pas ce qu'ils font, et qu'il a traité plus de 1000 TDAH durant sa carrière

Donc ce n'est pas nécessairement absurde, mais c'est un peu surprenant.

reddit.com
u/ImYoric — 2 months ago

Une question sur les révolutions industrielles

J'essaye de comprendre l'avènement de l'IA en le reliant aux révolutions industrielles du XIXème siècle (j'ignore volontairement les révolutions industrielles 3.0 et 4.0).

Selon mes lectures, les révolutions industrielles du XIXème siècle ont été accompagnées d'une longue période de chômage de masse (environ une génération) avant que le marché de l'emploi ne rebondisse. Si le parallèle est juste (ce qui reste à voir), nous sommes partis pour quelque chose de similaire.

Mais une question me turlupine : lors des révolutions industrielles du XIXème siècle, à quel moment de la révolution, le chômage (a fortiori, le chômage de masse) a-t-il commencé ? Je m'interroge parce que, avec l'avènement de l'IA, nous voyons des vagues de licenciements alors que dans la plupart des domaines, le manque de fiabilité de l'IA est tel que les gains de productivité restent dans la plupart des cas théoriques.

Du coup, pour reformuler ma question : lors des révolutions industrielles, les employeurs de l'époque ont-ils licencié en comptant sur de futurs gains de productivité, ou les usines, plus rentables, ont-elles progressivement poussé les ateliers à la banqueroute ?

reddit.com
u/ImYoric — 2 months ago

TDAH et routine sportive ?

Il y a quelques années, j'ai eu mon hyperfixation sportive. Je me faisais une centaine de km de vélo par semaine, j'allais courir une ou deux fois, des pilates tous les jours, une barre pour les tractions, etc. C'était chouette. Non seulement j'ai perdu presque 20kg en un an, mais en plus, j'étais en forme.

Ça a tenu un petit moment, puis j'ai déménagé, j'ai perdu toutes mes habitudes et je suis passé à d'autres hyperfixations. Pour le sport, par contre, 0 motivation.

J'aimerais bien retrouver si ce n'est une hyperfixation, au moins une routine sportive, mais j'ai beau me mettre tous les rappels du monde, je n'y arrive pas.

Quelqu'un y est arrivé ?

Note: TSA + TDAH, pas de traitement.

reddit.com
u/ImYoric — 2 months ago