🐓 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

Coq theorem prover is now called Rocq

https://rocq-prover.org/about

#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants

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

Coq en pâte.

#poules #coq #chicken #poulesOfMastodon

🇫🇷 Les oiseaux
🇮🇹 Gli uccelli

https://dicoit.fr/magli/laNaturaGliUccelli.html

#italien #italiano #apprendrelitalien #impararelitaliano #dictionnaire #dizionario #oiseau #uccello #canard #anatra #aigle #aquila #cygne #cigno #mouette #goeland #gabbiano #coq #poule #gallo #merle #merlo #jars #oie #oca #hirondelle #rondine

💯​ YES. I did it! 100%-ed Software Foundations, Volume 1: Logical Foundations. Every chapter, every single exercise solved.  Some parts were a bit of a slog, as is to be expected, but all in all: Yep, had fun up to the very end. ​

This means, of course, that I should start on Volume 2 (Programming Foundations) soon. I will busy myself with something else this week and possibly next month, but the plan is to get into it by April. Not another 9 year hiatus!

#coq #rocqprover #softwarefoundations