#coq — Public Fediverse posts

Readings shared: 3 – 9 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/10-readings_shared_08-10-26 #AI #AI4Math #Coq #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math

PutnamBench Leaderboard (Benchmarking formal mathematical reasoning on the Putnam Mathematical Competition). https://trishullab.github.io/PutnamBench/leaderboard #AI4Math #LeanProver #IsabelleHOL #Coq

[Caves of Qud] TIL: beguiling a siphoned creature dooms said creature to slow death

https://piefed.blahaj.zone/c/dungeoncrawlers/p/858998/caves-of-qud-til-beguiling-a-siphoned-creature-dooms-said-creature-to-slow-death

[Caves of Qud] Would Grit gate recoil transport me right to the Barathrumites?

https://piefed.blahaj.zone/c/dungeoncrawlers/p/858899/caves-of-qud-would-grit-gate-recoil-transport-me-right-to-the-barathrumites

Retournant vivre au jardin et au champ(Tao Yuan-ming)

https://arbrealettres.wordpress.com/2026/06/05/retournant-vivre-au-jardin-et-au-champtao-yuan-ming/

Will I ever finish Golgotha :sadlinux:

#coq #theLudariumium

best dlc choice i ever made ... started a new caves of qud run with my newest bestiest friend ... frog! my tongue fell out due to glotrot after visiting golgotha and regrowing a new one was beyond question because i sold the book with the cures at a random trade caravan so ... yeah, new character it is. #cavesofqud #qud #coq #roguelike #dlc

🚀 Behold the renaming of #Coq to #Rocq, as if the world needed another rocq-solid theorem prover to prove how uselessly rocq-hard #math can be. 🤔 But wait, there's more! Now with extra Polymorphic, Cumulative Calculus of Inductive Constructions, because everyone clearly needs that in their morning coffee. ☕📚
https://rocq-prover.org/about #TheoremProver #Humor #PolymorphicCalculus #HackerNews #ngated

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

C'est moi qui vous réveille avec le chant du #coq ce matin ! 🙂

Je ne pense pas rien stooler en publiant ce post ce matin. C'était la commande que j'ai reçu pour un collectionneur de coqs ! Il l'a en principe reçu hier en cadeau de son épouse! J'espère qu'il l'aime! Parfois j'ai de leur nouvelles.

100% rebut

Bonne journée à toutes et tous!

#art #sculpture #scrapmetalart #metal_artetalArt #recycling #rooster #acier #steel

Coq: The World's Best Macro Assembler? [pdf] [2013]

https://nickbenton.name/coqasm.pdf

#HackerNews #Coq #Macro #Assembler #HackerNews #PDF #2013 #Programming

@grogpod I loved both of your episodes on caves of qud. Was kind of nervous about your reactions to it but it turned out great... Btw was Will not there because he didn't like it and you were afraid of your reputation score going down? Lol

#CoQ #cavesofqud

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

Coq / rooster
#coq #rooster #art #peinture #painting