#coq — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #coq, aggregated by home.social.
-
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/
-
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/
-
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/
-
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/
-
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/
-
-
-
-
-
Tomorrow is already the deadline for the third edition of #WITS, the Workshop on the Implementation of Type Systems, colocated with #POPL 2024 in London. The page limit is one page, but just a single-paragraph abstract with an interesting idea for a talk is also very welcome! In particular contributors to #Haskell #OCaml #Rust #Scala #Coq #Lean #Agda #Idris #Cedille #Arend #CoolTT and even #TypeScript are warmly invited to give a talk about their experiences with implementing type systems.
Call for papers: popl24.sigplan.org/home/wits-2024#Call-for-Participation
Submission link: wits24.hotcrp.com/ -
Tomorrow is already the deadline for the third edition of #WITS, the Workshop on the Implementation of Type Systems, colocated with #POPL 2024 in London. The page limit is one page, but just a single-paragraph abstract with an interesting idea for a talk is also very welcome! In particular contributors to #Haskell #OCaml #Rust #Scala #Coq #Lean #Agda #Idris #Cedille #Arend #CoolTT and even #TypeScript are warmly invited to give a talk about their experiences with implementing type systems.
Call for papers: popl24.sigplan.org/home/wits-2024#Call-for-Participation
Submission link: wits24.hotcrp.com/ -
#Jour19 ça approche ! (Les photos du #jour14 ont été publié le jour 17… pour ceux qui suivent 😉)
Si tout fonctionne normalement les naissances ont lieu au #Jour21 mais ça peut varier de quelques jours selon la date de ramassage de l’ #Oeuf.
Dernier mirage, il ne reste plus que 13 œufs potentiel, à partir de maintenant on arrête de les retourner tous les jours et on commence à retenir notre souffle 😇😍
#Poules #Coq -
#Jour19 ça approche ! (Les photos du #jour14 ont été publié le jour 17… pour ceux qui suivent 😉)
Si tout fonctionne normalement les naissances ont lieu au #Jour21 mais ça peut varier de quelques jours selon la date de ramassage de l’ #Oeuf.
Dernier mirage, il ne reste plus que 13 œufs potentiel, à partir de maintenant on arrête de les retourner tous les jours et on commence à retenir notre souffle 😇😍
#Poules #Coq -
#Jour19 ça approche ! (Les photos du #jour14 ont été publié le jour 17… pour ceux qui suivent 😉)
Si tout fonctionne normalement les naissances ont lieu au #Jour21 mais ça peut varier de quelques jours selon la date de ramassage de l’ #Oeuf.
Dernier mirage, il ne reste plus que 13 œufs potentiel, à partir de maintenant on arrête de les retourner tous les jours et on commence à retenir notre souffle 😇😍
#Poules #Coq -
#Jour19 ça approche ! (Les photos du #jour14 ont été publié le jour 17… pour ceux qui suivent 😉)
Si tout fonctionne normalement les naissances ont lieu au #Jour21 mais ça peut varier de quelques jours selon la date de ramassage de l’ #Oeuf.
Dernier mirage, il ne reste plus que 13 œufs potentiel, à partir de maintenant on arrête de les retourner tous les jours et on commence à retenir notre souffle 😇😍
#Poules #Coq
