Busy beaver function project annoucement

Stream: general

[Thomas Vigouroux]

Hi,

I've been working on formalizing busy beaver functions in Lean recently, and I think the project is now big enough to welcome contributors.

Is there a way to announce projects on here ?

[Thomas Vigouroux]

Project link is the following: https://sr.ht/~vigoux/busybeaver

[Patrick Massot]

You can use the announce channel for this. The tradition is to post one message with a link to a discussion thread, in order to avoid cluttering the announce channel.

[Patrick Massot]

The discussion thread can be this one, after renaming it to something less generic.

[Patrick Massot]

Of course if the project takes off and there is a lot of discussion about it then the next step is to ask for a dedicated channel, but this comes later.

[Thomas Vigouroux]

Alright then !
I'll prepare an "annoucement post" and have that in #announce

[Kim Morrison]

I have to say that trying to run a project over email seems, ..., idiosyncratic? Doesn't it give up nice things like automatic CI?

[Thomas Vigouroux]

Nope, sr.ht has integration with this workflow

[Thomas Vigouroux]

For example: https://lists.sr.ht/~vigoux/busybeaver-devel/patches/54974

[Thomas Vigouroux]

Kim Morrison said:

I have to say that trying to run a project over email seems, ..., idiosyncratic? Doesn't it give up nice things like automatic CI?

And on a more "general" level, this workflow is actually used by many big projects (like Linux), and seems to be working well.

Furthermore, it does not require creating an account anywhere: you only need an email account, and git on your machine, to send patches.

[Kim Morrison]

Interesting. But still, unusual!