#coq — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #coq, aggregated by home.social.
-
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
-
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
-
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
-
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
-
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 -
🚀 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 -
🚀 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 -
🚀 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 -
🚀 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
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
-
-
-
-
@jastrow @helenecollon @Khrys Oui à priori (photo bof). Les corneilles d'ici, d'Amérique, sont souvent confondues avec les grands corbeaux. C'est leur cri, la forme de leur bec mais surtout en vol qu'on les distingue le mieux car l'apparence de la queue fait la différence et enlève les doute (moi c'est comme ça que je suis certaine). J'ai retenu que la corneILLe à un éventaILLE 😉 PVI: https://mffp.gouv.qc.ca/jeunesse/grand-corbeau-corneille-amerique/ #amatrice #ornithologie #COQ https://www.coq.qc.ca/fr/accueil
-
@jastrow @helenecollon @Khrys Oui à priori (photo bof). Les corneilles d'ici, d'Amérique, sont souvent confondues avec les grands corbeaux. C'est leur cri, la forme de leur bec mais surtout en vol qu'on les distingue le mieux car l'apparence de la queue fait la différence et enlève les doute (moi c'est comme ça que je suis certaine). J'ai retenu que la corneILLe à un éventaILLE 😉 PVI: https://mffp.gouv.qc.ca/jeunesse/grand-corbeau-corneille-amerique/ #amatrice #ornithologie #COQ https://www.coq.qc.ca/fr/accueil
-
@jastrow @helenecollon @Khrys Oui à priori (photo bof). Les corneilles d'ici, d'Amérique, sont souvent confondues avec les grands corbeaux. C'est leur cri, la forme de leur bec mais surtout en vol qu'on les distingue le mieux car l'apparence de la queue fait la différence et enlève les doute (moi c'est comme ça que je suis certaine). J'ai retenu que la corneILLe à un éventaILLE 😉 PVI: https://mffp.gouv.qc.ca/jeunesse/grand-corbeau-corneille-amerique/ #amatrice #ornithologie #COQ https://www.coq.qc.ca/fr/accueil
-
@jastrow @helenecollon @Khrys Oui à priori (photo bof). Les corneilles d'ici, d'Amérique, sont souvent confondues avec les grands corbeaux. C'est leur cri, la forme de leur bec mais surtout en vol qu'on les distingue le mieux car l'apparence de la queue fait la différence et enlève les doute (moi c'est comme ça que je suis certaine). J'ai retenu que la corneILLe à un éventaILLE 😉 PVI: https://mffp.gouv.qc.ca/jeunesse/grand-corbeau-corneille-amerique/ #amatrice #ornithologie #COQ https://www.coq.qc.ca/fr/accueil
-
@jastrow @helenecollon @Khrys Oui à priori (photo bof). Les corneilles d'ici, d'Amérique, sont souvent confondues avec les grands corbeaux. C'est leur cri, la forme de leur bec mais surtout en vol qu'on les distingue le mieux car l'apparence de la queue fait la différence et enlève les doute (moi c'est comme ça que je suis certaine). J'ai retenu que la corneILLe à un éventaILLE 😉 PVI: https://mffp.gouv.qc.ca/jeunesse/grand-corbeau-corneille-amerique/ #amatrice #ornithologie #COQ https://www.coq.qc.ca/fr/accueil
-
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
-
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
-
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
-
1h stream sketch for Finch! Yet another mutant ending their pilgrimage to the Six Day Stilt ~
-
1h stream sketch for Finch! Yet another mutant ending their pilgrimage to the Six Day Stilt ~
-
1h stream sketch for Finch! Yet another mutant ending their pilgrimage to the Six Day Stilt ~
-
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
-
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
-
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
-
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
-
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
-
Coq: The World's Best Macro Assembler? [pdf] [2013]
https://nickbenton.name/coqasm.pdf
#HackerNews #Coq #Macro #Assembler #HackerNews #PDF #2013 #Programming
-
Coq: The World's Best Macro Assembler? [pdf] [2013]
https://nickbenton.name/coqasm.pdf
#HackerNews #Coq #Macro #Assembler #HackerNews #PDF #2013 #Programming
-
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
-
@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
-
@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
-
@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
-
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
-
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
-
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
-
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
-
Earlier in the year I played thru Caves of Qud and got incredibly enamoured with the game and its artstyle, so I tried my hand into making some character sprites for it! Featuring friends, OCs, and some fanart c:
-
Earlier in the year I played thru Caves of Qud and got incredibly enamoured with the game and its artstyle, so I tried my hand into making some character sprites for it! Featuring friends, OCs, and some fanart c:
-
Earlier in the year I played thru Caves of Qud and got incredibly enamoured with the game and its artstyle, so I tried my hand into making some character sprites for it! Featuring friends, OCs, and some fanart c: