Search
1000 results for “zulip”
-
I'm on a journey into hell and it keeps getting worse.
Follow me in the adventures of #DiscordAlternatives,
#Discord #DiscordSucks #Matrix #Stoat #Zulip #Discourse #OnlineChat
-
بالاخره بعد از مدتها یه #نرمافزار_آزاد درست و حسابی دیدم که با #جنگو نوشته شده: #زولیپ
برنامهای هست برای گپ و گفت که ظاهرا غیرمتمرکز نیست.
-
re my last rt: #matrixdotorg seems to be growing, but — skimming through the post — I haven't seen any updates regarding ux and onboarding improvements so I'll stick to IRC / Zulip combo for the time being.
-
"Mathlib has reached 2 million lines of code as of October 28. Thanks to everyone that contributed to Mathlib during the roughly 8 years of Mathlib's existence!"
https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/2.20million/near/553410451
-
"Mathlib has reached 2 million lines of code as of October 28. Thanks to everyone that contributed to Mathlib during the roughly 8 years of Mathlib's existence!"
https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/2.20million/near/553410451
-
"Mathlib has reached 2 million lines of code as of October 28. Thanks to everyone that contributed to Mathlib during the roughly 8 years of Mathlib's existence!"
https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/2.20million/near/553410451
-
"Mathlib has reached 2 million lines of code as of October 28. Thanks to everyone that contributed to Mathlib during the roughly 8 years of Mathlib's existence!"
https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/2.20million/near/553410451
-
#Discord is worse than #Mailingists, #IRC and #Forums combined because those - like #GitHub #Issues or any other public site & server - can at least be #crawled and #archived in a #searchable fashion.
Whereas Discord is peak #Enshittification and not only #AntiAccessibility but also the worst kind of communication solution, as there isn't even any option to export stuff from within it - something even #Slack & #MicrosoftTeams can do [#Zulip has been able to do that from the start]...
Discord is a bad and wrong excuse not to provide #public documentation and/or downloads.
#GithubPages is free & #DDoS-protected #Webhosting and for fast downloads on the cheap, #BitTorrent exists for almost two decades now...
-
@tgamblin @danibanez Indeed! We also have #libCEED and (partial) #PETSc bindings. @TimoBetcke is also working on Rust for scientific computing/linear algebra. And you might be interested in conversations at https://rust-scicomp.zulipchat.com/
-
@tgamblin @danibanez Indeed! We also have #libCEED and (partial) #PETSc bindings. @TimoBetcke is also working on Rust for scientific computing/linear algebra. And you might be interested in conversations at https://rust-scicomp.zulipchat.com/
-
@tgamblin @danibanez Indeed! We also have #libCEED and (partial) #PETSc bindings. @TimoBetcke is also working on Rust for scientific computing/linear algebra. And you might be interested in conversations at https://rust-scicomp.zulipchat.com/
-
@tgamblin @danibanez Indeed! We also have #libCEED and (partial) #PETSc bindings. @TimoBetcke is also working on Rust for scientific computing/linear algebra. And you might be interested in conversations at https://rust-scicomp.zulipchat.com/
-
@j0 I call that #StockholmSyndrome, since there are better options longer than the dumpsterfire that is #discord.
Need a #public chat?
#IRC does that.Need #voicechat?
#Mumble got you covered.Want to have an organization chat?
Check out #Zulip.Need #Videocalls in a Group?
#JitsiMeet does that excellent.Want private 1:1 chats? #XMPP - #OMEMO to the rescue!
Or do you need some private #VideoCalling / #VoiceCalling? Consider #WebCall!
There is no good reason to use #Discord!
-
@j0 I call that #StockholmSyndrome, since there are better options longer than the dumpsterfire that is #discord.
Need a #public chat?
#IRC does that.Need #voicechat?
#Mumble got you covered.Want to have an organization chat?
Check out #Zulip.Need #Videocalls in a Group?
#JitsiMeet does that excellent.Want private 1:1 chats? #XMPP - #OMEMO to the rescue!
Or do you need some private #VideoCalling / #VoiceCalling? Consider #WebCall!
There is no good reason to use #Discord!
-
@j0 I call that #StockholmSyndrome, since there are better options longer than the dumpsterfire that is #discord.
Need a #public chat?
#IRC does that.Need #voicechat?
#Mumble got you covered.Want to have an organization chat?
Check out #Zulip.Need #Videocalls in a Group?
#JitsiMeet does that excellent.Want private 1:1 chats? #XMPP - #OMEMO to the rescue!
Or do you need some private #VideoCalling / #VoiceCalling? Consider #WebCall!
There is no good reason to use #Discord!
-
OceanLotus suspected of distributing ZiChatBot malware via wheel packages in PyPI
Between July 2025 and present, threat actors suspected to be OceanLotus distributed malicious wheel packages through PyPI targeting both Windows and Linux platforms. Three fake libraries (uuid32-utils, colorinal, and termncolor) were created to imitate legitimate packages, implementing a sophisticated supply chain attack. The packages deployed droppers that delivered ZiChatBot, a previously unknown malware family using Zulip's REST APIs as command and control infrastructure instead of traditional C2 servers. The malware supports executing shellcode commands and establishes persistence through registry keys on Windows or crontab on Linux. Attribution to OceanLotus is based on 64% similarity with known droppers analyzed by KTAE system. The malicious packages were swiftly removed from PyPI following discovery.
Pulse ID: 69fb57e61f46ab512bd87fc1
Pulse Link: https://otx.alienvault.com/pulse/69fb57e61f46ab512bd87fc1
Pulse Author: AlienVault
Created: 2026-05-06 15:01:58Be advised, this data is unverified and should be considered preliminary. Always do further verification.
#CyberSecurity #InfoSec #Linux #Malware #OTX #OpenThreatExchange #PyPI #ShellCode #SupplyChain #Windows #bot #AlienVault
-
Hello world!
I'm a post doc category theorist at LIPN in Paris, France. In my research I am surrounded by toposes and monoid actions.
I'm unlikely to post often here, but I'f quite active over on the Category Theory Zulip channel. Also, I have a fantasy-horror podcast, A Bell Chimes, which you might like to check out if that's your thing.
#introduction #lipn #postdoc #podcast #math #computerscience -
My problem with all of this is that I want to like and recommend these projects as glowing beacons of open source software, but it's getting increasingly harder.
I want to like #mailcow, but can I really when https://github.com/mailcow/mailcow-dockerized/pull/4311 is how they react to PRs.
I want to like @zulip, but can I really trust them to continue to value self-hosting highly after the push notification situation?
I want to like #vyos, but they really made it hard to recommend them with shutting down self builds.
I ..
-
Lorenz Leutgeb: We got a new release of cypheraddr a few days ago, and I just rebased Patches > ec8bf7a2: #I2P Support. I encourage all the I2P enthusiasts to try it out ASAP, so that we can hopefully get some feedback before the next release from y'all.
-
Hei, 21. jūlijā Rēzeknes centrālajā bibliotēkā notiks #OpenStreetMap kartēšanas pasākums un piena galdu projekta aktivitātes!
Stāstiet Latgales draugiem un radiem, un brauciet paši :)
Sīkāka info būs arī citur tūlīt, pagaidām Regita ielikusi šeit:
https://osmlatvija.zulipchat.com/#narrow/stream/360540-pas.C4.81kumi/topic/R.C4.93zekne.2021.2Ej.C5.ABlij.C4.81 -
Unstable Stream Update: 10th April 2026
A bigger update than usual over the last few weeks:
- Python upgraded to 3.14
- Plasma 6.6.4 + KDE Frameworks 6.25.0
- Reworking our kernels (LTS now offered + a gaming kernel coming soon)https://github.com/orgs/AerynOS/discussions/148
To get involved, join our community at https://aerynos.zulipchat.com/
-
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 Updates: 26th Feb 2026
A sizeable update this week with updates across the board. Notable updates include:
- COSMIC DE 1.0.8
- GNOME 49.3/4 application updates
- KDE Frameworks 6.2.3
- KDE Plasma 6.6.1
- mangowc 0.12.2
- linux 6.8.13
- mesa 26.0.1There have been a lot of package updates and new packages added this cycle all helping flesh AerynOS out into something more usable for our current testers.
Long time friend of the project, Fabio has rejoined the fold and has hit the ground running with a number of fixes and code refactors to moss and boulder with more in the pipeline.
The full update is look long for a mastodon post so to find the full details, please check out our GitHub Discussion post:
https://github.com/orgs/AerynOS/discussions/138
If you're enjoying the updates, please check out our Zulip server:
https://aerynos.zulipchat.com/
Also, please consider donating to to the project:
Recurring: https://donate.stripe.com/9B628r5XS19l34y04RdAk02
One-off: https://donate.stripe.com/4gM9ATfys8BNdJc5pbdAk01
Lastly, we want to say thank you for all of our supporters and contributors! You are all making a difference!!!
#AerynOS #Linux #KDE #KDEPlasma #Cosmic #CosmicDE #Gnome #MangoWC #Mesa
-
Anyone have opinion on these...
➡️ #DeltaChat ❓ @delta / https://delta.chat/
➡️ #Session ❓ https://getsession.org/download
➡️ #xmpp ❓ @xmpp
➡️ #signal ❓ @signalapp
engages in #Shitcoin-#Scams (see #MobileCoin!) for no valid reason…?
➡️ #Matrix
➡️ #SimpleX,
➡️ #Zulip
➡️ #Mattermost
➡️ #Briar @briar ➡️ #Cwtch @cwtch
➡️ #IRC
➡️ #Quiet
➡️ #Jami
➡️ #Jitsi Meet ( ❤️⭐ my favourite) @jitsinews
➡️ Mumble
➡️ #MonoclesChat @monocles.social
➡️ #Linphone
➡️ #XMPP + #OMEMO)#Encryption #Cypherpunk #E2EE
#InternetCalls #Calls #Privacy[please boost also - Thanks
#FreeSchool] -
Anyone have opinion on these...
➡️ #DeltaChat ❓ @delta / https://delta.chat/
➡️ #Session ❓ https://getsession.org/download
➡️ #xmpp ❓ @xmpp
➡️ #signal ❓ @signalapp
engages in #Shitcoin-#Scams (see #MobileCoin!) for no valid reason…?
➡️ #Matrix
➡️ #SimpleX,
➡️ #Zulip
➡️ #Mattermost
➡️ #Briar @briar ➡️ #Cwtch @cwtch
➡️ #IRC
➡️ #Quiet
➡️ #Jami
➡️ #Jitsi Meet ( ❤️⭐ my favourite) @jitsinews
➡️ Mumble
➡️ #MonoclesChat @monocles.social
➡️ #Linphone
➡️ #XMPP + #OMEMO)#Encryption #Cypherpunk #E2EE
#InternetCalls #Calls #Privacy[please boost also - Thanks
#FreeSchool] -
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/
-
OceanLotus suspected of distributing ZiChatBot malware via wheel packages in PyPI
Between July 2025 and present, threat actors suspected to be OceanLotus distributed malicious wheel packages through PyPI targeting both Windows and Linux platforms. Three fake libraries (uuid32-utils, colorinal, and termncolor) were created to imitate legitimate packages, implementing a sophisticated supply chain attack. The packages deployed droppers that delivered ZiChatBot, a previously unknown malware family using Zulip's REST APIs as command and control infrastructure instead of traditional C2 servers. The malware supports executing shellcode commands and establishes persistence through registry keys on Windows or crontab on Linux. Attribution to OceanLotus is based on 64% similarity with known droppers analyzed by KTAE system. The malicious packages were swiftly removed from PyPI following discovery.
Pulse ID: 69fb57e61f46ab512bd87fc1
Pulse Link: https://otx.alienvault.com/pulse/69fb57e61f46ab512bd87fc1
Pulse Author: AlienVault
Created: 2026-05-06 15:01:58Be advised, this data is unverified and should be considered preliminary. Always do further verification.
#CyberSecurity #InfoSec #Linux #Malware #OTX #OpenThreatExchange #PyPI #ShellCode #SupplyChain #Windows #bot #AlienVault
-
OceanLotus suspected of distributing ZiChatBot malware via wheel packages in PyPI
Between July 2025 and present, threat actors suspected to be OceanLotus distributed malicious wheel packages through PyPI targeting both Windows and Linux platforms. Three fake libraries (uuid32-utils, colorinal, and termncolor) were created to imitate legitimate packages, implementing a sophisticated supply chain attack. The packages deployed droppers that delivered ZiChatBot, a previously unknown malware family using Zulip's REST APIs as command and control infrastructure instead of traditional C2 servers. The malware supports executing shellcode commands and establishes persistence through registry keys on Windows or crontab on Linux. Attribution to OceanLotus is based on 64% similarity with known droppers analyzed by KTAE system. The malicious packages were swiftly removed from PyPI following discovery.
Pulse ID: 69fb57e61f46ab512bd87fc1
Pulse Link: https://otx.alienvault.com/pulse/69fb57e61f46ab512bd87fc1
Pulse Author: AlienVault
Created: 2026-05-06 15:01:58Be advised, this data is unverified and should be considered preliminary. Always do further verification.
#CyberSecurity #InfoSec #Linux #Malware #OTX #OpenThreatExchange #PyPI #ShellCode #SupplyChain #Windows #bot #AlienVault
-
OceanLotus suspected of distributing ZiChatBot malware via wheel packages in PyPI
Between July 2025 and present, threat actors suspected to be OceanLotus distributed malicious wheel packages through PyPI targeting both Windows and Linux platforms. Three fake libraries (uuid32-utils, colorinal, and termncolor) were created to imitate legitimate packages, implementing a sophisticated supply chain attack. The packages deployed droppers that delivered ZiChatBot, a previously unknown malware family using Zulip's REST APIs as command and control infrastructure instead of traditional C2 servers. The malware supports executing shellcode commands and establishes persistence through registry keys on Windows or crontab on Linux. Attribution to OceanLotus is based on 64% similarity with known droppers analyzed by KTAE system. The malicious packages were swiftly removed from PyPI following discovery.
Pulse ID: 69fb57e61f46ab512bd87fc1
Pulse Link: https://otx.alienvault.com/pulse/69fb57e61f46ab512bd87fc1
Pulse Author: AlienVault
Created: 2026-05-06 15:01:58Be advised, this data is unverified and should be considered preliminary. Always do further verification.
#CyberSecurity #InfoSec #Linux #Malware #OTX #OpenThreatExchange #PyPI #ShellCode #SupplyChain #Windows #bot #AlienVault
-
OceanLotus suspected of distributing ZiChatBot malware via wheel packages in PyPI
Between July 2025 and present, threat actors suspected to be OceanLotus distributed malicious wheel packages through PyPI targeting both Windows and Linux platforms. Three fake libraries (uuid32-utils, colorinal, and termncolor) were created to imitate legitimate packages, implementing a sophisticated supply chain attack. The packages deployed droppers that delivered ZiChatBot, a previously unknown malware family using Zulip's REST APIs as command and control infrastructure instead of traditional C2 servers. The malware supports executing shellcode commands and establishes persistence through registry keys on Windows or crontab on Linux. Attribution to OceanLotus is based on 64% similarity with known droppers analyzed by KTAE system. The malicious packages were swiftly removed from PyPI following discovery.
Pulse ID: 69fb57e61f46ab512bd87fc1
Pulse Link: https://otx.alienvault.com/pulse/69fb57e61f46ab512bd87fc1
Pulse Author: AlienVault
Created: 2026-05-06 15:01:58Be advised, this data is unverified and should be considered preliminary. Always do further verification.
#CyberSecurity #InfoSec #Linux #Malware #OTX #OpenThreatExchange #PyPI #ShellCode #SupplyChain #Windows #bot #AlienVault