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

Yay! Made my way into Imp.v of Software Foundations, where we get to play with a toy imperative programming language.
The first larger exercise was to write an optimizer/simplifier for boolean/arithmetic expressions and to prove its soundness. I managed to neatly separate the actual optimization steps from structural recursion and used (as instructed) a lot of try/repeat tacticals to make the repetitive proofs about as short as their natural-language equivalents.
This was very satisfying. :3

#coq #rocqprover #softwarefoundations

Proving binge continues. My regex matching function that has never been called is correct!

This finishes chapter "IndProp" (Inductive Propositions) of #softwarefoundations and that means I am now fully caught up in terms of chapters with where I left it all those years ago - major milestone!

IndProp is also by far the heftiest chapter in Volume 1, so... not far now.

#coq #rocqprover

This game (still) rocks.

I binge-completed the first four chapters some time in 2014, did the next four in 2016, and then sadly let the project of finishing "Software Foundations" sit idle for almost ten years. :(

Well, any time is infinitely better than never, so here I go with the significantly expanded 2025 edition!

https://softwarefoundations.cis.upenn.edu/

Image warning: Screenshot spoils the solution to one exercise.

#coq #rocq

Tỉnh Lâm Đồng chính thức thiết lập hợp tác truyền thông với 29 cơ quan báo chí nhằm đẩy mạnh tuyên truyền về các chủ trương, chính sách lớn của Đảng, Nhà nước và địa phương; tập trung vào kết quả phát triển kinh tế - xã hội, quốc phòng - an ninh. Sự kiện đánh dấu bước phát triển trong công tác truyền thông, góp phần lan tỏa hình ảnh và thu hút đầu tư, du lịch cho tỉnh.

#LamDong #MediaCooperation #BaoChi #TruyenThong #PhatTrienKinhTe #AnNinhQuocPhong #VietnamNews #TinTucLamDong #KinhTeXaHoi #CoQ