Search
1000 results for “zulip”
-
Today marks a major transition for the Zulip open-source project and the Kandra Labs company behind it: Tim Abbott is stepping back from full-time Zulip leadership, and donating the company to a newly created, independent, nonprofit Zulip Foundation. The new structure provides stability, a renewed commitment to our values, and opportunities for charitable fundraising. Learn more: https://blog.zulip.com/2026/05/15/announcing-zulip-foundation/ #OpenSource
-
Unstable Stream Update: 25th March 2026
A big update with GNOME 50, KDE Plasma 6.6.3 & KDE Frameworks 6.22, LLVM 22, ffmpeg 8.1, linux 6.18.19, mesa 26.0.3 and loads more!
Forum post: https://github.com/orgs/AerynOS/discussions/144
Join our Zulip community: https://aerynos.zulipchat.com
To sponsor the project, find out more on our website: https://aerynos.com/sponsor/
#AerynOS #Linux #FOSS #Donate #Sponsorship #SupportOpenSource
-
Unstable Stream Update: 25th March 2026
A big update with GNOME 50, KDE Plasma 6.6.3 & KDE Frameworks 6.22, LLVM 22, ffmpeg 8.1, linux 6.18.19, mesa 26.0.3 and loads more!
Forum post: https://github.com/orgs/AerynOS/discussions/144
Join our Zulip community: https://aerynos.zulipchat.com
To sponsor the project, find out more on our website: https://aerynos.com/sponsor/
#AerynOS #Linux #FOSS #Donate #Sponsorship #SupportOpenSource
-
Unstable Stream Update: 25th March 2026
A big update with GNOME 50, KDE Plasma 6.6.3 & KDE Frameworks 6.22, LLVM 22, ffmpeg 8.1, linux 6.18.19, mesa 26.0.3 and loads more!
Forum post: https://github.com/orgs/AerynOS/discussions/144
Join our Zulip community: https://aerynos.zulipchat.com
To sponsor the project, find out more on our website: https://aerynos.com/sponsor/
#AerynOS #Linux #FOSS #Donate #Sponsorship #SupportOpenSource
-
Unstable Stream Update: 25th March 2026
A big update with GNOME 50, KDE Plasma 6.6.3 & KDE Frameworks 6.22, LLVM 22, ffmpeg 8.1, linux 6.18.19, mesa 26.0.3 and loads more!
Forum post: https://github.com/orgs/AerynOS/discussions/144
Join our Zulip community: https://aerynos.zulipchat.com
To sponsor the project, find out more on our website: https://aerynos.com/sponsor/
#AerynOS #Linux #FOSS #Donate #Sponsorship #SupportOpenSource
-
@hostsharing nein.
#Matrix funktioniert IMHO nicht als gutes #DropIn.
Wenn schon #Zulip oder gleich #IRC mit nem #Archivierungssystem samt durchsuchbarem Index.
-
@hostsharing nein.
#Matrix funktioniert IMHO nicht als gutes #DropIn.
Wenn schon #Zulip oder gleich #IRC mit nem #Archivierungssystem samt durchsuchbarem Index.
-
@hostsharing nein.
#Matrix funktioniert IMHO nicht als gutes #DropIn.
Wenn schon #Zulip oder gleich #IRC mit nem #Archivierungssystem samt durchsuchbarem Index.
-
Slightly mixed feelings about this. Sounds good in general (at least potentially), but seeing where the founders are leaving *for* leaves a distaste, and makes me ponder what direction has the project been thrust onto. On the other hand, I heard of at least one of the people leading it now, so maybe it will be all right 🤷
-
@bart Wahh. Well, that might be... good? The foundation part, I mean. Other than that, it remains to be seen whether the foundation sloppifies it all, or does "no slop" policy instead.
With the initial board, it's not that promising, but let's see. -
CW: apparently no one on fedi knows how to read
both my rss and fedi feeds are now completely full of people piling on that DRAMATICALLY OUT-OF-CONTEXT quote[^1] from the rust llm policy and yet almost no one is actually wearing the mantle of responsibility and compromise that comes with this sort of discussion.
i for one am absolutely impressed by the courage of the people that are least *trying* to do something about it, like jyn for rust-lang/rust, or emilazy for nixpkgs, despite all the vitriol and straight up harassment that is happening here. so many people are so used to just being "concerned" or "outraged" all the time and never actually do anything about it except build walls, enforce higher and higher purity standards, destroy their own beloved communities because compromise is hard and annoying and feels like defeat more often than not. i don't really agree with some points of the respective policies, but it's insane to see so many people act as if they're blank pages with just written "i want to see the world burn and every contributor has to personally kill a child from now on." can we NOT fracture into all-or-nothing parties that hate each other because of petty grievances over wording or possibilities.
it feels like most of the people complaining about either the rust or nixpkgs RFCs have just no idea how to actually govern and get a large community to *do* stuff. you have to have broad agreement, you have to have debates over specific things and prevent discourse that will never go anywhere or just infiltrated everything, you have to have compromises. no one wants a nazi bar here, but you also can't just cut out everyone that isn't exactly you, or you don't have a community anymore: that's either a cult, or a sad lonely birthday party.
[^1] for reference, right before the "please don't devolve into an ethics class again" quote that everyone and their dog has probably read by now, you can clearly see the very reasonable justification for that:
> This PR is preceded by an enormous amount of discussion on Zulip. Almost every conceivable angle has been discussed to death. [...]
A -
أصدرت Zulip تحديثاً جديداً، الإصدار 12.0، يعزز الأمان بتشفير شامل للإشعارات الفورية. كما تحسنت تجربة النشر عبر Docker و Kubernetes، مع تحديثات لواجهة المستخدم تشمل عرض المحادثات الأخيرة والفلاتر. تم تحسين مشاركة الملفات، وإضافة خيارات للرموز التعبيرية، ودمج خدمات GIF جديدة، وتطوير ميزات البحث والإدارة.
-
@freesoftwarecaucus #Zulip is also a great option for FLOS communities to #ditchDiscord ( #ditchcord ? )
#communityManagement -
@freesoftwarecaucus #Zulip is also a great option for FLOS communities to #ditchDiscord ( #ditchcord ? )
#communityManagement -
@freesoftwarecaucus #Zulip is also a great option for FLOS communities to #ditchDiscord ( #ditchcord ? )
#communityManagement -
@freesoftwarecaucus #Zulip is also a great option for FLOS communities to #ditchDiscord ( #ditchcord ? )
#communityManagement -
Is Lemmy "competitive" with Discourse/Zulip in features? I would love to participate in various forums (Haiku OS, for sure; others too, like Pony which is on Zulip), but am loath to create log-ins on each. Is the Discourse way of not going for federation important for discussion forums?
#Lemmy #HaikuOS #Discourse #PonyLang #Zulip
CC @pulkomandy @mmu_man @begasus -
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
How to Install and Run #Zulip on #Debian #VPS This article provides a detailed step-by-step guide outlining how to install and run Zulip on Debian VPS. What is Zulip? Zulip is an open-source team chat platform designed to ... Continued 👉 #selfhosting #letsencrypt #opensource #selfhosted
-
How to Install and Run #Zulip on #Debian #VPS This article provides a detailed step-by-step guide outlining how to install and run Zulip on Debian VPS. What is Zulip? Zulip is an open-source team chat platform designed to ... Continued 👉 #selfhosting #letsencrypt #opensource #selfhosted
-
@nelaquetan потому что ты ещё не вступил в команду #TBD по #ICFPC!
Invitation link: https://zulip.memorici.de/join/bbfilgpw7h37ual43ijtq9yj/
-
Announcing the Zulip Foundation
https://blog.zulip.com/2026/05/15/announcing-zulip-foundation/
-
🚨 Breaking News: A tech CEO leaves in T-minus 3...2...1! 🤯 The Zulip project gets tossed overboard to the "Zulip Foundation," because nothing screams stability like "nonprofit" and "charitable fundraising." 🎉 Expect long-term success... or at least a really long blog post about it. 📜
https://blog.zulip.com/2026/05/15/announcing-zulip-foundation/ #BreakingNews #TechCEO #ZulipFoundation #Nonprofit #CharitableFundraising #HackerNews #ngated -
Zulip is absolutely underrated as a chat platform for teams. Its automatic threading makes it so much easier to catch up on previous conversations than with Slack, Teams or Discord. In my opinion, Zulip is ideal for distributed teams who prefer to work and communicate asynchronously -- like my team, for example.
And it's 100% #OpenSource!
Check it out at https://zulip.com/!
#Teamwork #Chat #Collaboration #AsynchronousCommunication #RemoteWork #RemoteCulture
-
Zulip is absolutely underrated as a chat platform for teams. Its automatic threading makes it so much easier to catch up on previous conversations than with Slack, Teams or Discord. In my opinion, Zulip is ideal for distributed teams who prefer to work and communicate asynchronously -- like my team, for example.
And it's 100% #OpenSource!
Check it out at https://zulip.com/!
#Teamwork #Chat #Collaboration #AsynchronousCommunication #RemoteWork #RemoteCulture
-
An update on Krabby: There's a Zulip chat now! I wrote a little status update on the blog: https://bal-e.org/speed/krabby/hi-zulip-also-licenses/. Take a look!
