Karl Palmskog (Oct 01 2022 at 15:59): Karl Palmskog (Oct 01 2022 at 15:59):So, with all the AI art generator tools available lately, it's appealing to target the theme of hydra-battles. I'm doing some quick experiments here: https://gist.github.com/palmskog/1b80278fa5fcc2d914a0c0542e8d99d6 (example)
Pierre Castéran (Oct 01 2022 at 16:20):How do you program the generator ?
I like very much hydra1.png. Is it possible to have more heads on the picture?
Karl Palmskog (Oct 01 2022 at 16:44):it's unfortunately quite difficult to just add another head, I'm using Stable Diffusion: https://en.wikipedia.org/wiki/Stable_Diffusion
Karl Palmskog (Oct 01 2022 at 16:45):I used pretty much the following prompt:
Hercules as a rooster fighting a hydra with many heads
So the AI didn't even understand exactly the prompt
Karl Palmskog (Oct 01 2022 at 16:51):Hercules as a rooster fighting a hydra with many heads with an ordinal spiral in the background, Detailed and Intricate, Artstation
Seed: 7862665, Sampler: plms, Inference Steps: 100, Guidance Scale: 38.5, Fix Faces: GFPGANv1.3
Then the image shown above had seed: 7862666
Karl Palmskog (Oct 01 2022 at 21:26):maybe something in this direction?
Karl Palmskog (Oct 01 2022 at 21:36):or this?
Karl Palmskog (Oct 01 2022 at 21:50):I think I might use this one for some other Coq project of mine.
Pierre Castéran (Oct 02 2022 at 05:15):I like both of them! (With a preference towards the blue one). It could replace the scan of page1 of the book, which could then be moved to the chapter on Gamma0.
I like the idea of suggesting the huge number of heads by a kind of periodicity and incomplete heads. It makes a strong graphical composition.
And, by the way, « incompleteness » is one of our keywords :grinning:
Also, I remember discussions with Yves and Gérard. It’s Ok to connect the concepts « Coq » and « Art ».
Last updated: Jun 11 2023 at 00:30 UTC