Zulip Chat Archive

Stream: general

Topic: Should there be a channel for games on the Lean Game Server


Eric Taucher (Jan 31 2025 at 18:27):

As the title notes

Should there be a channel for games on the Lean Game Server?

The reasons for suggesting

  1. New user have to hunt and peck for existing help. Often new users might be to timid to ask a question related to a game and might make more progress if they could find an existing topic faster.
  2. The creation of games is starting pick up steam, better to have track laid down then watch the engine derail.
  3. Also consider a subchannel for those developing the game(s) instead of using it.

Thanks for your consideration.


Last updated: May 02 2025 at 03:31 UTC