Search
1000 results for “zulip”
-
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
-
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/
-
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/
-
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
-
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
-
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
-
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
-
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
-
Vielleicht ein kleines Update zum Diskussionsstand #1stProof:
OpenAI hat Lösungsvorschläge eingereicht, vor der Deadline. Diese waren aber nicht nur durch die KI erstellt, sondern Experten die OpenAI kontaktiert hatte waren auch beteiligt und haben der KI geholfen.
Mohammed Abouzaid schrieb dazu im Zulip: "I think the consensus that that 6, 9 and 10 are essentially correct".
Daniel Litt: "One pseudonymous expert has vouched for the solution to 5 on Twitter"
[Was ist dieses Twitter 🥸?]
🧵
-
Sakurajima now has a centralized ticket system to make it easier for users to get help with using our services. This replaces our support email.
While it’s not required to create a forum account to file a ticket, it’s recommended that you register for an account so you can view tickets that you created in the past.
This is also where you can request an invite to our chat servers (Zulip is only available for now, but Spacebar will be available in a few days)
-
Tôi đã viết AsciiDoc lâu, nhưng lúc đầu khá khó khăn vì không phân biệt công cụ và mục đích cốt lõi của ngôn ngữ. Để hỗ trợ người mới, mình đã soạn **AsciiDoc Manifesto** – tài liệu tổng hợp các giá trị nền tảng của AsciiDoc. Các bạn có thể dùng nó để giới thiệu AsciiDoc và tham gia thảo luận trên Zulip (kênh AsciiDoc WG). #AsciiDoc #Manifesto #Documentation #CôngCụ #NgônNgữ #TàiLiệu
-
Unstable Stream Update: 6/01/26
Cosmic DE 1.0.1
Firefox & Thunderbird 146.0.1
Fish 4.3.2
Kitty 0.45.0
Waydroid 1.6.1
Mesa 25.3.3Plus other package updates, fixes and new package inclusion.
https://github.com/orgs/AerynOS/discussions/126
If you're interested in our work and want to engage with the team, come join us on our Zulip server
aerynos.zulipchat.com
To support the project financially, you can donate via Ko-fi
-
Major updates
COSMIC Beta 9
bash 5.3.8
docker 29.0
libinput 1.30.0
libxkbcommon 1.13.0
linux-desktop 6.17.10
linux-firmware 20251125
llvm 21.1.7
wireshark 4.6.1
zlib-ng 2.3.1Other updates
Other updates include, but are not limited to:
easyeffects
github-cli
gstreamer
libevdev
libproxy
lvm2
openvpn
sqlite
vscodiumFixes
xdg-utils fixed to work with Plasma 6
WebkitGTK saw a CVE security fixNew packages
akonadiconsole
buildah
gamemode
skopeo
openjdk-17
openjdk-21
prism-launcher (Minecraft!)Full git changelog
As usual, there are many other minor updates not mentioned as the list would get too long. You can see the full changelog here:
How to Contribute
As ever, feel free to report any issues below and join the AerynOS Zulip server (https://aerynos.zulipchat.com/) community.
How to donate
If you appreciate the work we are doing and are in a position to do so, we would appreciate any donations sent our way via our Ko-Fi donations page:
Thank you!
Thank you to all our supporters and contributors. You are making a difference! ❤️
-
AerynOS Repository Update: 13th November 2025
This week's sync is the first sync to our new Netcup root server, and you may or may not notice increased download speeds as a result. In terms of packaging work, it's been a reasonably normal week. Internally, the team has been busy with some background boring admin stuff related to bringing down our cost base and improving internal coordination.
Highlights:
- Cosmic Beta6
- KDE Gear 25.08.3
- Discord v0.0.114
- EasyEffects v8.0.0
- Firefox 145.0
- Fish shell 4.2.1
- Kernel 6.17.7
- Mesa v25.2.7
- Uutils-coreutils 0.4.0
- Zed v210.04New Apps:
- btop
- networkmanager-openvpn
- zulip-desktopFixes:
- font-noto-cjk: Fix and add sans-serif and serif versions
- nautilus: fix broken thumbnail generation
- waydroid: Add missing dnsmasq rundep
Other updates include, but are not limited to, containerd, curl, freerdp, golang, mullvad, nano, qbittorrent, runc, and the docker stack.Git changelog:
Support the project:
In our last blog post, we highlighted a renewed effort around donations. If you are able to support the project financially, it would be greatly appreciated if you could head over to our Ko-Fi page (https://ko-fi.com/aerynos) and chip in. Every little bit helps.
Thank you to everyone who has already signed up or chipped in!
As ever, if you want to get in touch or if you want to contribute via your skills, feel free to join us on Matrix (https://matrix.to/#/#aerynos:matrix.org) or comment on the GitHub Discussions post (https://github.com/orgs/AerynOS/discussions/108).
#Linux #FOSS #AerynOS #Distro #OpenSource #OSS #OS #DistroDevelopment
-
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] -
📢 Only 3 days left to submit your proposal for SciPy India’s first virtual meetup! The CFP closes 22nd July 2025 EoD IST – and this is a hard deadline. There will be no extensions!
👉 Submit your proposal: https://github.com/scipy-india/proposal-reviewing/issues/new?template=talk-proposal.yaml
We’re especially looking for folks using or creating FOSS in STEAM fields and academic research.
✅ RSVP: https://fossunited.org/c/scipy-india/meetup/july-2025/rsvp
💬 Join our open-science community: https://scipyindia.zulipchat.com/join/4mesdxfbbpl4titgtdzx4iwv/#SciPyIndia #FOSS #ScientificComputing @scientific_python @fossunited
-
📢 Only 3 days left to submit your proposal for SciPy India’s first virtual meetup! The CFP closes 22nd July 2025 EoD IST – and this is a hard deadline. There will be no extensions!
👉 Submit your proposal: https://github.com/scipy-india/proposal-reviewing/issues/new?template=talk-proposal.yaml
We’re especially looking for folks using or creating FOSS in STEAM fields and academic research.
✅ RSVP: https://fossunited.org/c/scipy-india/meetup/july-2025/rsvp
💬 Join our open-science community: https://scipyindia.zulipchat.com/join/4mesdxfbbpl4titgtdzx4iwv/#SciPyIndia #FOSS #ScientificComputing @scientific_python @fossunited
-
💻🧬 Join the Bioconductor project at BioHackathon Europe 2025!
We're excited to be part of BioHackathon Europe 2025 (Berlin, Nov 3–7) with a project focused on improving metadata and interoperability in bioinformatics.
In-person registration closes Tuesday, July 15 - virtual participation stays open!
🔗 Project details: https://github.com/elixir-europe/biohackathon-projects-2025/blob/main/13.md
🔗 All projects: https://biohackathon-europe.org/projects/Join the discussion in the #edam-collaboration channel on Bioconductor Zulip.
-
💻🧬 Join the Bioconductor project at BioHackathon Europe 2025!
We're excited to be part of BioHackathon Europe 2025 (Berlin, Nov 3–7) with a project focused on improving metadata and interoperability in bioinformatics.
In-person registration closes Tuesday, July 15 - virtual participation stays open!
🔗 Project details: https://github.com/elixir-europe/biohackathon-projects-2025/blob/main/13.md
🔗 All projects: https://biohackathon-europe.org/projects/Join the discussion in the #edam-collaboration channel on Bioconductor Zulip.
-
Y a-t-il des gens ici qui ont des compétences en #AdminSys et un peu de temps pour contribuer au projet des #Ergonautes ? On est en train de finaliser l’installation de notre instance #ApacheAnswer et un peu de peer-review nous aiderait beaucoup !
Si vous êtes dispo, je vous envoie une invitation Zulip en DM. Merci !
-
Skrevet af @benjamin
Et af mine mål ved at være med i #Folkeføderation er at mit eget lokalsamfund får en instans i fødiverset. Jeg har skrevet med formanden i en lokal forening og præsenteret ham for Folkeføderation, men han mener ikke at der er behov for et nyt socialt netværk i byen. Han er tilfældigvis også administrator for byens facebook gruppe, som er meget aktiv og fungerer godt for byen. Det er nu ikke fordi han ikke forstår projektet. Han har selv forsøgt at skifte til Bluesky, men - ligesom alle os her på fødiverset - synes han det er svært at hive folk med sig.
For mig indikerer det her at vi har brug for mere end bare gode argumenter (for dem har vi) hvis #fødiverset skal bredere ud. Vi har brug for flyers, forståelige guides, korte introduktionsvideoer og masser af kattebilleder.
Okay lige den sidste har vi nok styr på. Men hop ind på https://folkefedi.zulipchat.com vær med i diskussionen alligevel!
-
Skrevet af @katharsisdrill
-
Arbejdet skrider fremad - @benjamin er ved at have en lille hjemmeside klar. @malte gjorde opmærksom på at der noget der hedder en landingside... det måtte vi slå op.Men sagen er jo at #Folkeføderation egentlig kun afviger fra de andre der har tænkt samme tanke ved at ambitionerne om at nå den danske mainstream er store og forkromede.
Et er at prædike for koret her på #fødiverset, noget andet er at komme ud over rampen. Vi planlægger derfor film, kampagne-mømer og alt mulig andet samtidig med at vi forsøger at holde sammen på snakken om alt det tekniske og foreningsmæssige.
Lav en konto på https://folkefedi.zulipchat.com/ for at følge med i diskussionerne. Jo flere der ser med jo bedre... og man er velkommen til at blande sig.
-
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 ..
-
We are going to step up and recommend our favorite #OpenSourceCMS BackdropCMS.
;-)
A few reasons why:
1) Our philosophy and structure:
https://backdropcms.org/philosophy2) Almost 1000 released modules that add functionality and address specific use cases.
https://backdropcms.org/modules3) Supportive community, includes active chat support via Zulip, forum site, and live weekly office hours (user to user support for free).
https://backdropcms.org/support4) PHP