Stream: Hydras & Co. universe

Topic: Releases of repo


view this post on Zulip Karl Palmskog (Dec 21 2022 at 18:39):

@Pierre Castéran I think we should do at least annual releases of Hydras & Co. and put both the code and generated PDF on Zenodo. They have a pretty nice presentation page which does a preview of the PDF (example)

view this post on Zulip Karl Palmskog (Dec 21 2022 at 18:42):

MCB has also started to do this

view this post on Zulip Karl Palmskog (Dec 21 2022 at 18:45):

I think the "book+library regenerated all the time" will probably win out in the end, but it may be a bit in the future, and checkpoints could at least give a wider audience

view this post on Zulip Notification Bot (Dec 21 2022 at 18:48):

3 messages were moved here from #Hydras & Co. universe > Package issue by Karl Palmskog.

view this post on Zulip Pierre Castéran (Dec 21 2022 at 19:09):

I think the redaction of the part dealing with the Gödel stuff will take a long time (it's now a terrible draft).
If we release some version of the book, we may generate a pdf without this part.

view this post on Zulip Karl Palmskog (Dec 21 2022 at 19:30):

sounds reasonable, we can do some "release management" before we tag


Last updated: Jun 10 2023 at 23:01 UTC