1Lab Discussions

[plt-amy]

Welcome 👋

We're setting up GitHub Discussions as a place to share more structured thoughts and questions about the 1Lab — Both questions about the content ("reader questions"), and questions about the engineering ("contributor questions"). The idea is that you:

• Ask questions you’re wondering about.
• Share ideas for possible improvements or future formalisations.
• Engage with other community members.

For less structured discussion, we have a Discord server, which everyone is welcome to join: https://discord.gg/NvXkUVYcxV

Remember: Be excellent to each other, and there are no stupid questions!