search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

discord vs zulip #143

Closed aep closed 3 years ago

aep commented 3 years ago

so i guess irc is for old people.

93 #142

of the corporate centralized platforms i personally prefer discord, because its the least ugly, but two people have asked for zulip, so i made both.

https://zetz.zulipchat.com/join/5c4eoaqmwjdxmcrlvaxx7itw/

https://discord.gg/EsMxjWtcf5

let me know in comments what you prefer, and i'll eventually close the less popular

damon-kwok commented 3 years ago

Zulip

aep commented 3 years ago

closing this, as discord has clearly won the popularity vote