🇫🇷 Trois passereaux se nourrissent sur une boule laissée à leur disposition. 🇮🇹 Tre passeri si nutrono di una palla lasciata a loro disposizione

🇫🇷 Les oiseaux
🇮🇹 Gli uccelli

dicoit.fr/magli/laNatu...

#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

A sketch of a two headed hyena-taur creature walking through a desert, looking back at a church like structure in the distance

1h stream sketch for @sixinchfinch.bsky.social ! Yet another mutant ending their pilgrimage to the Six Day Stilt ~

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

Cave of Qud Logo in a stylized font.

⛲🌄🏜️🐾
🔴LIVE🔴
🏜️🏞️🫗🦑

Playing Caves Of Qud for the 1st time today!

I know very little about Qud, so
Advice and Light Back-seating ok today!

🥛 LIVE AND DRINK! 🚰

▶️ www.twitch.tv/pankraru ◀️
#Vtuber #CavesOfQud #CoQ #RPG
#Roguelike #AdventureMode

Caves of Qud

🚰⛲💦🦑
🔵TUESDAY🔵
🚰⛲💦🦑

🕓4pm CST / 5pm EST🕔

Playing Caves of Qud for the First time!
Going in mostly blind, knowing only a bit about the game.

Live and Drink!

Game-play Tips for a new player Welcome!

▶️ www.twitch.tv/pankraru ◀️
#CavesOfQud #CoQ #RPG #Roguelike

Vous abordez le thème de la ferme? Voyez ces marionnettes en forme de coq et poule. #marionnette #pantin #coq #poule animassiettes.com/pr...

A French first responder ambulance.
A bit armored and offroad, just in case things goes post-apo soon.

15 is the French phone number for emergency medical assistance.

#ambulance #samu #van #vehicledesign #visdev #visualdevelopment #republiquefrancaise #coq #rooster

MultiSearch Tag Explorer MultiSearch Tag Explorer - Explore tags and search results by aéPiot

#PÄRNU #RANNASTAADION
aepiot.ro/advanced-sea...
#VALGA #KESKSTAADION
multi-search-tag-explorer.allgraph.ro/advanced-sea...
A LE #COQ #ARENA
allgraph.ro/advanced-sea...
aepiot.com

Tintenzeichnung eines Deko-Hahns in Schwarz- Weiß, aquarelliert, daneben ist eine türkisfarbene Schüssel mit roten Zwiebeln zu sehen

Hahn

#küchenkritzelei #kleineKunstklasse #artshare #art #ink #watercolor #Hahn #rooster #coq

#nu #dos #coq #art #surrealisme #artwork #photo #photoxyde #marcdubord

50 years of proof assistants Comments

50 years of proof assistants
lawrencecpaulson.github.io//2025/12/05/History_of_P...

#ProofAssistant #Isabelle #Coq #Rocq #LCF #HOL

I keep Caves of Qud open at all times. It's the perfect 20-second break when I need to look away from the IDE—the best cure for IDE fatigue.

www.youtube.com/watch?v=4nG-...

#gamedev #cavesofqud #coq

How many still holding $Coq now. Market boom certain days ahead
#coq #cryptobull

a map of a region of post-apocalyptic earth. Qud is in the levant. the Moghra'Yi is the dried Mediterranean. the Sunderlies are the Alps, Pyrynees, and the Carpathian mountains. the Pale Marshes are in Iberia. the Ibul ice sheet encompasses everything northeast of the sunderlies. the Pale Sea is the atlantic ocean. its coast is significantly reduced due to lower sea levels and glaciation. Yawningmoon is in the Azores, which have become a peninsula. south of it is the Fuming God Sea, made by the Yawningmoon peninsula and a peninsula around the former Canary islands.

my interpretation of the region beyond qud
#coq #cavesofqud

Steam Workshop::Witch Hunters (and others) of Qud by Aric

The Caves of Qud mod I helped out with is up on the Steam Workshop! Check it out c:
steamcommunity.com/sharedfiles/...

#cavesofqud #coq

#scribaland Anatole,le Vrai Roi de la Basse-Cour

gemini.google.com/share/7866f3...
Le #poulailler de la Ferme Joyeuse avait un roi incontesté
Son nom était #anatole, le #coq, et il le savait
Chaque matin,il montait sur le toit et criait sa royauté...
#scribaland1 #truie #roidelabassecour #bassecour

The Doors of Trithius

Playing and analyzing different #rogulikes, including classics like #ADOM, #Angband, #dcss, #cdda, #coq a little in order to learn for #Baroom, and I found truly a gem that caught my attention: The Doors of Trithius! You can find it and support the #dev here doorsoftrithius.com

caves of qud やりたいけど
英語わからなくて挫折
#coq

Top hits were the 3 canonical pyrimidine synthesis enzymes + #CoQ genes 🧬

But two genes stood out: COQ7, conspicuous by its absence 👀, and NUDT5, the next strongest hit after the pyrimidine enzymes.

3/17

An ornate pixel frame with sprites of 5 different characters. Text reads "Qud Tiles Series 4", characters from left to right: "Xeno 1", "Xeno 2", "Empy', "Us", "Hunter"

More Qud sprites! I made these to help out in a mod jam this halloween c: I'll share the mod when it's up on the steam workshop!

#cavesofqud #fanart #coq #pixelart #alien #illithid #xenomorph

#scribaland L'alarme très bruyante de Reginald

gemini.google.com/share/86b1e0...
Histoire amusante qui raconte,avec humour,les #concerts matinaux du #coq Reginald et la détresse des #parents citadins épuisés...
#lalarmetresbruyantedereginald #art #reginald #scribaland1 #alarmetresbruyante #ecrivain

La France qui se lève tôt! Ça cancane, ça piaille! #balade #matin #village #oie #poule #coq

#Normandie #Normandy #Eure #Conches #ConchesEnOuche #Musée #Museum #MuséeDuVerreFrançoisDecorchemont #Vitrail #StainedGlass #Animal #Poule #Coq #Chick #Nikon #Nikonfr #NikonZf #am3-prompt-202542

Verified Fault‑Tolerant Voter for Avionics Control Systems

A Coq‑verified, N‑modular voting module for avionics guarantees correct output if at least one sensor stays healthy. Preprint posted 26 September 2025. getnews.me/verified-fault-tolerant-... #avionics #formalverification #coq

大阪発！家庭で使える最新医療機器『Famineru』が育児をサポート 大阪の株式会社COQが開発した家庭用医療機器『Famineru』は、鼻水吸引を自宅で可能にする画期的な商品です。クリニックに行く手間を減らし、育児をサポートします。

大阪発！家庭で使える最新医療機器『Famineru』が育児をサポート #鼻水吸引器 #COQ #家庭用医療器具

大阪の株式会社COQが開発した家庭用医療機器『Famineru』は、鼻水吸引を自宅で可能にする画期的な商品です。クリニックに行く手間を減らし、育児をサポートします。

Comparing Coq and Idris2: Which Theorem Prover Fits Your Needs?

A recent study compared Coq and Idris2 by verifying insertion sort; both succeeded, with Coq offering a broad library ecosystem (e.g., Mathematical Components) and Idris2 giving tighter integration. getnews.me/comparing-coq-and-idris2... #coq #idris2

GallinaC Brings Verified Imperative Programming into the Coq Proof Assistant

GallinaC embeds a Turing-complete imperative language into Coq, with a generic while loop and a verified list-reversal proof. Submitted Sep 16 2025, it appears in EPTCS 427. getnews.me/gallinac-brings-verified... #gallinac #coq

Researchers Determine Fifth Busy Beaver Value Using Formal Proof

Researchers verified the fifth Busy Beaver number, S(5), as 47,176,870 steps after checking 181,385,789 five‑state Turing machines—the first new value in over 40 years. getnews.me/researchers-determine-fi... #busybeaver #computability #coq