search

TonyGuil / bbchallenge

Busy Beaver Challenge code and resultss
0 stars 1 forks source link

Question: may I please reserve a DeciderType ID? #1

Closed UncombedCoconut closed 1 year ago

UncombedCoconut commented 1 year ago

Hi! I'm getting a powerful new decider ready for publication. I'm interested in continuing the DVF tradition -- after all, why not? So I've got my decider emitting this format (aside from accurate nEntries) and in internal testing I've used the ID of 5. I have no particular attachment to the number 5, but would you be OK with the DVF doc reserving some ID for finite-automata proofs? Thanks. :)

UncombedCoconut commented 1 year ago

I forgot that 5 was already used for Halting Segment (just not in the top-level readme) -- I'll at least increment past that.

TonyGuil commented 1 year ago

@UncombedCoconut: Perhaps you didn't get my email of 6th November. Anyway, here it is again:

Hi Justin,

I've already been using 5 for Halting Segments, and 6 for Bouncers (to be announced soon!). And I might want to split Bouncers up into several cases. So take 10 if you like; or you might want to reserve a range, say 10-19, as finite-automata proofs sounds like a wide topic.

Have fun!

UncombedCoconut commented 1 year ago

Yeah, sorry, I didn't receive that, but I'll update my side to 10 now. Thanks!

On Mon, Nov 14, 2022, 05:27 TonyGuil @.***> wrote:

@UncombedCoconut https://github.com/UncombedCoconut: Perhaps you didn't get my email of 6th November. Anyway, here it is again:

Hi Justin,

I've already been using 5 for Halting Segments, and 6 for Bouncers (to be announced soon!). And I might want to split Bouncers up into several cases. So take 10 if you like; or you might want to reserve a range, say 10-19, as finite-automata proofs sounds like a wide topic.

Have fun!

— Reply to this email directly, view it on GitHub https://github.com/TonyGuil/bbchallenge/issues/1#issuecomment-1313443028, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAJK3L7WAOGXXNB73ZDJMHDWIIH2JANCNFSM6AAAAAARYGKBOY . You are receiving this because you were mentioned.Message ID: @.***>