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

Hello le faits-divers,

Je donne 3 coqs, nés en Juillet.
2 avec une robe Coucou, et 1 croisé Cendré.

Ils ont toujours vécus en liberté et sont débrouillards (ils survivent en lisière de forêt !)

Ils ont une grande passion pour retirer un à un les pétales de pensées.

Tels de grands ados, ils adorent les parties de jambes en l'air quitte à organiser des tournantes, principale raison de notre séparation.

A venir voir / chercher au Sud de Toulouse, dans le Lauragais.

#don #coq #poulet #adoption #lauragais #toulouse #chickenrun

💯​ 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

How are people finding the Caves of #Qud switch release? I only got to play it like an hour so far and I feel like performance is quite bad (?)

Like entering a zone can take long to load, but even trying to take two steps quickly in a row seems to sometimes be an issue. And this is in the early zones where I guess there is a lot of shadow computations but not much else going on otherwise. Bit concerned what will happen if you make 10 copies of yourself and each throws a flame grenade

#CoQ #NintendoSwitch #CavesOfQud #Roguelike

1h stream sketch for Finch! Yet another mutant ending their pilgrimage to the Six Day Stilt ~

#sketch #commission #furryart #fanart #cavesofqud #coq