Stream: Hydras & Co. universe

Topic: AI art for hydra-battles


view this post on Zulip 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)

view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Karl Palmskog (Oct 01 2022 at 21:26):

maybe something in this direction?

view this post on Zulip Karl Palmskog (Oct 01 2022 at 21:36):

or this?

view this post on Zulip Karl Palmskog (Oct 01 2022 at 21:50):

I think I might use this one for some other Coq project of mine.

view this post on Zulip 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: Mar 28 2024 at 17:01 UTC