The Lean Zulip @monad.mom is also here to help - ThreadSky | a Reddit-style client for Bluesky

About ThreadSky

adolfont.github.io • 89 days ago

The Lean Zulip

@monad.mom is also here to help

Comments

Log in with your Bluesky account to leave a comment

mattrusselluk.bsky.social•89 days ago

I did look at the Lean Zulip, it does feel a bit intimidating though!

monad.mom•89 days ago

I can try to help :) The Lean discord server is a cool place to ask questions.

mattrusselluk.bsky.social•89 days ago

Thanks! Where does the Discord server live?

monad.mom•89 days ago

https://discord.gg/wJFudnWx

adolfont.github.io•89 days ago

I didn't know there was a Lean Discord server!

monad.mom•89 days ago

It's not an official one, some members of the community created it.

This server includes a funny 😱 NSFW channel (The symbol of the channel is "non-potable water 🚱"

Posting Rules

Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service

Fullsize image

×

Reply

© 2024 ThreadSky. All rights reserved. Built for the Bluesky community. Privacy • Terms