Lobsters: a computing-focused discussion community. Our channel bot is mockturtle, don't post logs without permission, https://lobste.rs/chat for more info.