Retournant vivre au jardin et au champ(Tao Yuan-ming)

     Retournant vivre au jardin et au champ jeune, déjà mon tempérament ne s'adaptait guère au monde ma nature originelle aimait les montagnes par mégarde j'ai été pris dans les filets du monde de poussière, treize années durant je me suis absenté mais l'oiseau dans la cage a la nostalgie de son ancienne forêt, et le poisson dans le bassin songe à la gorge profonde d'autrefois maintenant je défriche la terre au sud entretenant ma rudesse, je suis retourné au jardin […]

https://arbrealettres.wordpress.com/2026/06/05/retournant-vivre-au-jardin-et-au-champtao-yuan-ming/

Will I ever finish Golgotha 

#coq #theLudariumium

best dlc choice i ever made ... started a new caves of qud run with my newest bestiest friend ... frog! my tongue fell out due to glotrot after visiting golgotha and regrowing a new one was beyond question because i sold the book with the cures at a random trade caravan so ... yeah, new character it is. #cavesofqud #qud #coq #roguelike #dlc

🐓 Et si un coq se mettait à rire comme un humain ?

L’Ayam Ketawa est une race de poulet originaire d’Indonésie, célèbre pour le chant très étrange de ses coqs, au point d’évoquer parfois… un éclat de rire. Oui, la basse-cour avait encore une cartouche d’insolite en réserve.

➡️ https://2tout2rien.fr/le-ayam-ketawa-le-poulet-qui-rit-comme-un-humain/

#Animaux #Poulet #Coq #Indonésie #Nature #2tout2rien

🚀 Behold the renaming of #Coq to #Rocq, as if the world needed another rocq-solid theorem prover to prove how uselessly rocq-hard #math can be. 🤔 But wait, there's more! Now with extra Polymorphic, Cumulative Calculus of Inductive Constructions, because everyone clearly needs that in their morning coffee. ☕📚
https://rocq-prover.org/about #TheoremProver #Humor #PolymorphicCalculus #HackerNews #ngated
About The Rocq Prover

Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.

Rocq
About The Rocq Prover

Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.

Rocq

Pâte, pain,
Boule, coq,
Bien.

Coq en pâte.

#poules #coq #chicken #poulesOfMastodon