Zulip Chat Archive

Stream: CSLib

Topic: Project board


Shreyas Srinivas (Oct 02 2025 at 23:58):

Question to maintainers (and this topic might be as good as any to initiate this discussion):

It seems we get a lot of questions about where people can contribute to CSLib and there is already quite a bit of work to be done in automata theory. Would it not be a good idea to use the project dashboard approach from the equational theories project to post reasonably proximate tasks that newcomers can pick up?

Notification Bot (Oct 03 2025 at 10:58):

A message was moved here from #CSLib > Automata by Fabrizio Montesi.

Fabrizio Montesi (Oct 03 2025 at 11:04):

Thanks for the pointer! I'm looking into what possibilities there are for maintaining a public overview/roadmap, but haven't really settled on anything yet, so discussing this is very valuable. In fact, I'm also trying to figure out requirements. (I've seen a similar discussion on #FLT once, I think.)

For now what I'm looking at the most is sane ways to maintain GitHub projects (issues can then link to larger pages in the repository or external websites, describing roadmaps).


Last updated: Dec 20 2025 at 21:32 UTC