Ubuntu führt Entwicklungs-Snapshots ein
https://linuxnews.de/ubuntu-fuehrt-entwicklungs-snapshots-ein/ #canonical #ubuntu #linux
Ubuntu führt Entwicklungs-Snapshots ein
https://linuxnews.de/ubuntu-fuehrt-entwicklungs-snapshots-ein/ #canonical #ubuntu #linux
Ubuntu is shaking up its release process with new monthly snapshots. These development builds take a new approach to testing and building, but won't replace stable releases.
https://www.omgubuntu.co.uk/2025/05/ubuntu-monthly-development-snapshots-announced
Canonical Makes Advanced Intel GPU Support Available on Ubuntu 24.04
Ubuntu 24.04 LTS users can make use of the Intel Graphics Preview to unlock support for newer Intel GPU features, like faster ray tracing and ML.
#News #Canonical #Intel #Ppas #Ubuntu24_04Lts
https://www.omgubuntu.co.uk/2025/05/ubuntu-24-04-intel-battlemage-gpu-support
Ubuntu now delivers fresh Linux kernel /w each release (among the likes of Fedora Linux)
"This approach has proven effective in delivering the latest features and hardware support to our users. As a result [we remain] committed to continuing this policy for Ubuntu 25.10 — even if the upstream kernel is still in Release Candidate (RC) status at the time of release" -Kleber Souza, Ubuntu
Many gamers will appreciate the approach.
https://discourse.ubuntu.com/t/announcing-6-17-kernel-for-ubuntu-25-10-questing-quokka/61484
@rl_dane I've read in some of your other posts how ideally you would like to stay away from #IBM and #Canonical linked distros (and I'm with you on that one). Wondered if you've ever looked at #openSUSE ?
I've been using the rolling version #Tumbleweed for years now, and if you wanted an immutable #Gnome version, there is #Aeon.
Nutanix präsentiert sich als Alternative für frustrierte VMware-Kunden
Wenn Broadcom mit seiner Lizenzpolitik VMware-Kunden vergrätzt, freut sich die Konkurrenz, wie auf der Hausmesse von Nutanix zu merken war.
Ubuntu maker Canonical now donates $10K monthly via thanks.dev to support smaller open source projects powering its work, giving back to the developer community.
https://linuxiac.com/ubuntu-maker-canonical-donates-to-support-open-source-developers/
Canonical Will Donate $120k to Open Source Projects This Year
Canonical commits to donating $120k to the open source developers building the projects and tools that help power the Ubuntu ecosystem.
#News #Canonical #Github
https://www.omgubuntu.co.uk/2025/05/canonical-commits-funds-open-source-devs
I recently set myself the exercise of using modern automated tools - in particular, a combination of the #GithubCopilot large language model and the dependent type matching tactic #canonical - to try to semi-automatically formalize in #Lean a one-page proof provided by a collaborator of the #EquationalTheoriesProject (Bruno Le Floch). With these tools, I was able to more or less blindly do the formalization in 33 minutes, withou any real high level conception of how the proof proceeded. It was a very different style to how I usually formalize results, but was workable for this type of technical, non-conceptual argument where the main issue is to get the details correct rather than the "big picture".
I recorded my attempt at https://www.youtube.com/watch?v=cyyR7j2ChCI . See also additional discussion at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Alternative.20proofs.20of.20E1689.E2.8A.A2E2 . The final proof (which is far from optimized, but got the job done) can be found at https://github.com/teorth/estimate_tools/blob/master/EstimateTools/test/equational.lean
Sadly agreed. #LinuxPhones are purely a hobbyist zone right now.
Desktop Linux is 95% there, though.
I'm seriously considering switching my work machine from #Debian to #AuroraLinux, which is immutable #Fedora-based with #KDE #Plasma. I'm still quite happy with Debian, but I want to try something that I can recommend to my coworker who's currently stuck on Windows 10.
The only bummer is that the only distros I can whole-heartedly recommend to beginners are either Fedora or #Ubuntu-based. I cannot wholeheartedly endorse either Fedora as an org (too closely tied to #IBM) or Ubuntu (#Canonical, where is thy soul?).
I dearly love Debian, but a 2-year release cycle is just untenable today. Software changes far too quickly. I had some (minor) things break this year because even the compilers were too old. XD
Continua la serie sul reperimento dei pacchetti software nelle distribuzioni GNU/Linux.
Oggi ci focalizzeremo sui principali sistemi di pacchettizzazione universali.
Ubuntu 25.10 soll GNU Core Utils in Rust ausliefern
https://linuxnews.de/ubuntu-25-10-soll-gnu-core-utils-in-rust-ausliefern/ #canonical #ubuntu #rust #gnu
Ubuntu 25.04 "Plucky Puffin" released with GNOME 48, Linux Kernel 6.14, enhanced installer and boot experience, new ARM64 desktop ISO
https://canonical.com/blog/canonical-releases-ubuntu-25-04-plucky-puffin
I'm a #Linux power user, and the latest #Ubuntu #update put a smile on my face. #Canonical is preparing the #release of Ubuntu 25.04 (Plucky Puffin) with a new #kernel, the latest #desktop #environment, and an improved installer.
https://www.zdnet.com/article/im-a-linux-power-user-and-the-latest-ubuntu-update-put-a-smile-on-my-face/
@lga31 @mlo
J'ai essayé pendant un temps #MandrakeLinux puis #Mandriva, mais jamais #Mageia
Je ne nierai pas ma préférence tout de même pour #Ubuntu (pas seulement parce que ça a été ma première distro à 100% et sans dual-boot) ou dérivée.
Certes, elle n'est ni Française ni Européenne, mais d'une part elle a un cycle de vie que je trouve à la fois clair (2 maj majeures/an en avril et octobre) et pertinente (LTS tous les 2 ans) ; et d'autre part #Canonical propose un support professionnel à celui qui le souhaite.
Jetzt online: "Ubuntu 25.04 im Test: das sind die Neuerungen"