Аnthropic развивает технику для формальной верификации существующего ПО при помощи AI
Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, протестированных в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью.
👉@sysadminoff
https://www.opennet.ru/opennews/art.shtml?num=66528
Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, протестированных в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью.
👉@sysadminoff
https://www.opennet.ru/opennews/art.shtml?num=66528
Google Sheets adds box-and-whisker charts with Excel compatibility
Google Sheets now creates box-and-whisker charts directly from numeric data, adding a quick way to visualize distributions without helper formulas. The cloud-based spreadsheet also preserves these charts when importing from or exporting to Excel.
Source
👉@sysadminoff
https://4sysops.com/archives/google-sheets-adds-box-and-whisker-charts-with-excel-compatibility/
Google Sheets now creates box-and-whisker charts directly from numeric data, adding a quick way to visualize distributions without helper formulas. The cloud-based spreadsheet also preserves these charts when importing from or exporting to Excel.
Source
👉@sysadminoff
https://4sysops.com/archives/google-sheets-adds-box-and-whisker-charts-with-excel-compatibility/
📰 OpenRGB 1.1 Released with CLI Fixes, Improved Device Hotplug Support
OpenRGB 1.1 fixes command-line and SDK server issues, improves device hotplug handling, and introduces a new hidapi-hotplug dependency on Linux.
🔗 Source: /
#linux
👉@sysadminoff
https://linuxiac.com/openrgb-1-1-released-with-cli-fixes-improved-device-hotplug-support
OpenRGB 1.1 fixes command-line and SDK server issues, improves device hotplug handling, and introduces a new hidapi-hotplug dependency on Linux.
🔗 Source: /
#linux
👉@sysadminoff
https://linuxiac.com/openrgb-1-1-released-with-cli-fixes-improved-device-hotplug-support
Linuxiac
OpenRGB 1.1 Released with CLI Fixes, Improved Device Hotplug Support
OpenRGB 1.1 fixes command-line and SDK server issues, improves device hotplug handling, and introduces a new hidapi-hotplug dependency on Linux.
📰 Node.js creator ditches Deno to work on open source Cloudflare Workers
You're building servers 'wrong,' says Ryan Dahl as Cloudflare gobbles his Deno startup.
🔗 Source: https://www.theregister.com/devops/2026/10/16/nodejs-creator-ditches-deno-to-work-on-open-source-cloudflare-workers/5303662
#opensource
👉@sysadminoff
https://theregister.com/devops/2026/10/16/nodejs-creator-ditches-deno-to-work-on-open-source-cloudflare-workers/5303662
You're building servers 'wrong,' says Ryan Dahl as Cloudflare gobbles his Deno startup.
🔗 Source: https://www.theregister.com/devops/2026/10/16/nodejs-creator-ditches-deno-to-work-on-open-source-cloudflare-workers/5303662
#opensource
👉@sysadminoff
https://theregister.com/devops/2026/10/16/nodejs-creator-ditches-deno-to-work-on-open-source-cloudflare-workers/5303662
theregister
Node.js creator ditches Deno to work on open source Cloudflare Workers
You're building servers 'wrong,' says Ryan Dahl as Cloudflare gobbles his Deno startup
📰 PeaZip 11.4 Open-Source Archive Manager Released with Various Improvements
PeaZip 11.4 open-source archive manager is now available for download with improvements to sanitization of input file names in multiple stages of the scripting engine.
🔗 Source: https://9to5linux.com/peazip-11-4-open-source-archive-manager-released-with-various-improvements
#opensource
👉@sysadminoff
PeaZip 11.4 open-source archive manager is now available for download with improvements to sanitization of input file names in multiple stages of the scripting engine.
🔗 Source: https://9to5linux.com/peazip-11-4-open-source-archive-manager-released-with-various-improvements
#opensource
👉@sysadminoff
📰 Steam Client Beta for October 16 brings another round of startup performance improvements
I do love a bit of competition between stores don't you? Valve's latest Steam Client Beta for October 16th brings more speed.Read the full article on GamingOnLinux.
🔗 Source: https://www.gamingonlinux.com/2026/10/steam-client-beta-for-october-16-brings-another-round-of-startup-performance-improvements/
#steam
👉@sysadminoff
https://gamingonlinux.com/2026/10/steam-client-beta-for-october-16-brings-another-round-of-startup-performance-improvements
I do love a bit of competition between stores don't you? Valve's latest Steam Client Beta for October 16th brings more speed.Read the full article on GamingOnLinux.
🔗 Source: https://www.gamingonlinux.com/2026/10/steam-client-beta-for-october-16-brings-another-round-of-startup-performance-improvements/
#steam
👉@sysadminoff
https://gamingonlinux.com/2026/10/steam-client-beta-for-october-16-brings-another-round-of-startup-performance-improvements
GamingOnLinux
Steam Client Beta for October 16 brings another round of startup performance improvements
I do love a bit of competition between stores don't you? Valve's latest Steam Client Beta for October 16th brings more speed.
📰 Ubuntu Touch OTA 2.1 Rolls Out with Support for Volla Tablet, Various Updates
Ubuntu Touch OTA 2.1 rolls out with support for Volla Tablet, updated Morph Browser, flashlight support for Volla Phone Plinius, a security fix, and other changes.
🔗 Source: https://9to5linux.com/ubuntu-touch-ota-2-1-rolls-out-with-support-for-volla-tablet-various-updates
#ubuntu
👉@sysadminoff
Ubuntu Touch OTA 2.1 rolls out with support for Volla Tablet, updated Morph Browser, flashlight support for Volla Phone Plinius, a security fix, and other changes.
🔗 Source: https://9to5linux.com/ubuntu-touch-ota-2-1-rolls-out-with-support-for-volla-tablet-various-updates
#ubuntu
👉@sysadminoff
📰 Valve fix Zero Company crashing on Steam Machine with the latest major game update
Zero Company recently had a major upgrade, with it crashing on Steam Machine and probably other SteamOS / Linux systems - which Valve have solved.Read the full article on GamingOnLinux.
🔗 Source: https://www.gamingonlinux.com/2026/10/valve-fix-zero-company-crashing-on-steam-machine-with-the-latest-major-game-update/
#linux #steam
👉@sysadminoff
https://gamingonlinux.com/2026/10/valve-fix-zero-company-crashing-on-steam-machine-with-the-latest-major-game-update
Zero Company recently had a major upgrade, with it crashing on Steam Machine and probably other SteamOS / Linux systems - which Valve have solved.Read the full article on GamingOnLinux.
🔗 Source: https://www.gamingonlinux.com/2026/10/valve-fix-zero-company-crashing-on-steam-machine-with-the-latest-major-game-update/
#linux #steam
👉@sysadminoff
https://gamingonlinux.com/2026/10/valve-fix-zero-company-crashing-on-steam-machine-with-the-latest-major-game-update
GamingOnLinux
Valve fix Zero Company crashing on Steam Machine with the latest major game update
Zero Company recently had a major upgrade, with it crashing on Steam Machine and probably other SteamOS / Linux systems - which Valve have solved.
📰 KDE Plasma 6.9 To Debut New Weather Widget & On-Screen Keyboard
With KDE Plasma 6.8 released earlier this week, KDE developers have begun working on more feature activity toward Plasma 6.9...
🔗 Source: https://www.phoronix.com/news/KDE-Plasma-6.9-Weather-Keyboard
#kde #plasma
👉@sysadminoff
https://phoronix.com/news/KDE-Plasma-6.9-Weather-Keyboard
With KDE Plasma 6.8 released earlier this week, KDE developers have begun working on more feature activity toward Plasma 6.9...
🔗 Source: https://www.phoronix.com/news/KDE-Plasma-6.9-Weather-Keyboard
#kde #plasma
👉@sysadminoff
https://phoronix.com/news/KDE-Plasma-6.9-Weather-Keyboard
Phoronix
KDE Plasma 6.9 To Debut New Weather Widget & On-Screen Keyboard
With KDE Plasma 6.8 released earlier this week, KDE developers have begun working on more feature activity toward Plasma 6.9.
📰 KDE Plasma 6.8 Marks 30 Years With a Major Shift to Wayland and a More Powerful Linux Desktop
by George WhittakerThe KDE Project has officially released KDE Plasma 6.8, introducing a substantial collection of desktop improvements while celebrating three decades of open-source software development. Released on October 14, 2026, exactly 30 years after Matthias Ettrich announced the original KDE project, this anniversary edition brings significant changes to display management, accessibility, graphics performance, remote desktop...
🔗 Source: https://www.linuxjournal.com/content/kde-plasma-68-marks-30-years-major-shift-wayland-and-more-powerful-linux-desktop
#kde #linux #opensource #plasma #wayland
👉@sysadminoff
https://linuxjournal.com/content/kde-plasma-68-marks-30-years-major-shift-wayland-and-more-powerful-linux-desktop
by George WhittakerThe KDE Project has officially released KDE Plasma 6.8, introducing a substantial collection of desktop improvements while celebrating three decades of open-source software development. Released on October 14, 2026, exactly 30 years after Matthias Ettrich announced the original KDE project, this anniversary edition brings significant changes to display management, accessibility, graphics performance, remote desktop...
🔗 Source: https://www.linuxjournal.com/content/kde-plasma-68-marks-30-years-major-shift-wayland-and-more-powerful-linux-desktop
#kde #linux #opensource #plasma #wayland
👉@sysadminoff
https://linuxjournal.com/content/kde-plasma-68-marks-30-years-major-shift-wayland-and-more-powerful-linux-desktop
Linux Journal
KDE Plasma 6.8 Marks 30 Years With a Major Shift to Wayland and a More Powerful Linux Desktop
The KDE Project has officially released KDE Plasma 6.8, introducing a substantial collection of desktop improvements while celebrating three decades of open-source software development. Released on October 14, 2026, exactly 30 years after Matthias Ettrich…
📰 Linux Lands Fix for Rare, Varying SMP Boot Hangs Affecting Kernels Since 2024
Among the flurry of last minute patch activity ahead of tomorrow's presumed Linux 7.3 stable kernel release is a fix for addressing some rare hangs at boot time. The reports varied but ultimately tracked down to a kernel change made two years ago...
🔗 Source: https://www.phoronix.com/news/Linux-7.3-KThreads-NBCON
#kernel #linux
👉@sysadminoff
https://phoronix.com/news/Linux-7.3-KThreads-NBCON
Among the flurry of last minute patch activity ahead of tomorrow's presumed Linux 7.3 stable kernel release is a fix for addressing some rare hangs at boot time. The reports varied but ultimately tracked down to a kernel change made two years ago...
🔗 Source: https://www.phoronix.com/news/Linux-7.3-KThreads-NBCON
#kernel #linux
👉@sysadminoff
https://phoronix.com/news/Linux-7.3-KThreads-NBCON
Phoronix
Linux Lands Fix for Rare, Varying SMP Boot Hangs Affecting Kernels Since 2024
Among the flurry of last minute patch activity ahead of tomorrow's presumed Linux 7.3 stable kernel release is a fix for addressing some rare hangs at boot time
Zoom’s AI context layer connects business data to meeting assistance
The point of Zoom’s Unified Context Layer is to give AI business context it can use to help an individual participant during a conversation—not just transcribe what was said. In principle, an assistant could use that context to surface a relevant answer or suggestion. Zoom says its planned Live Meeting AI Agent will provide proactive help, including finding answers and keeping meetings on track, but hasn’t specified whether its suggestions will be private to one participant or how they will appear.
Source
👉@sysadminoff
https://4sysops.com/archives/zooms-ai-context-layer-connects-business-data-to-meeting-assistance/
The point of Zoom’s Unified Context Layer is to give AI business context it can use to help an individual participant during a conversation—not just transcribe what was said. In principle, an assistant could use that context to surface a relevant answer or suggestion. Zoom says its planned Live Meeting AI Agent will provide proactive help, including finding answers and keeping meetings on track, but hasn’t specified whether its suggestions will be private to one participant or how they will appear.
Source
👉@sysadminoff
https://4sysops.com/archives/zooms-ai-context-layer-connects-business-data-to-meeting-assistance/
PHP2Shell attackers try to deploy Potassium Mirai botnet
Attempts to turn the PHP2Shell vulnerabilities into Potassium botnet infections have not produced a confirmed compromise, despite the millions of attacks Cloudflare reported within hours of disclosure. The attackers tried to use CVE-2026-109618 and CVE-2026-109619 to install a Mirai-derived Linux botnet, but researchers have not seen the malware downloaded or executed through those attempts. PHP has fixed the flaws in versions 8.5.12, 8.4.27, 8.3.36, and 8.2.35.
Source
👉@sysadminoff
https://4sysops.com/archives/php2shell-attackers-try-to-deploy-potassium-mirai-botnet/
Attempts to turn the PHP2Shell vulnerabilities into Potassium botnet infections have not produced a confirmed compromise, despite the millions of attacks Cloudflare reported within hours of disclosure. The attackers tried to use CVE-2026-109618 and CVE-2026-109619 to install a Mirai-derived Linux botnet, but researchers have not seen the malware downloaded or executed through those attempts. PHP has fixed the flaws in versions 8.5.12, 8.4.27, 8.3.36, and 8.2.35.
Source
👉@sysadminoff
https://4sysops.com/archives/php2shell-attackers-try-to-deploy-potassium-mirai-botnet/
📰 ZimaOS Is a Linux-Based NAS OS That Makes Self-Hosting Easier
Meet ZimaOS, a Linux-based NAS operating system that simplifies file storage, backups, Docker apps, and home server management.
🔗 Source: /
#linux #linuxbased
👉@sysadminoff
https://linuxiac.com/zimaos-is-a-linux-based-nas-os-that-makes-self-hosting-easier
Meet ZimaOS, a Linux-based NAS operating system that simplifies file storage, backups, Docker apps, and home server management.
🔗 Source: /
#linux #linuxbased
👉@sysadminoff
https://linuxiac.com/zimaos-is-a-linux-based-nas-os-that-makes-self-hosting-easier
Linuxiac
ZimaOS Is a Linux-Based NAS OS That Makes Self-Hosting Easier
Meet ZimaOS, a Linux-based NAS operating system that simplifies file storage, backups, Docker apps, and home server management.
📰 GNOME's New Local/Cloud AI Chat App Gains More Features
Coming about the past few months has been Moose as a GNOME-aligned AI chat application built around GTK4 and libadwaita. It began as a local AI chat app for the GNOME desktop and grew to support cloud AI services as well. This past week marked the latest feature release for Moose...
🔗 Source: https://www.phoronix.com/news/GNOME-Moose-0.6-AI
#gnome
👉@sysadminoff
https://phoronix.com/news/GNOME-Moose-0.6-AI
Coming about the past few months has been Moose as a GNOME-aligned AI chat application built around GTK4 and libadwaita. It began as a local AI chat app for the GNOME desktop and grew to support cloud AI services as well. This past week marked the latest feature release for Moose...
🔗 Source: https://www.phoronix.com/news/GNOME-Moose-0.6-AI
#gnome
👉@sysadminoff
https://phoronix.com/news/GNOME-Moose-0.6-AI
Phoronix
GNOME's New Local/Cloud AI Chat App Gains More Features
Coming about the past few months has been Moose as a GNOME-aligned AI chat application built around GTK4 and libadwaita
📰 Not Every Open Source OS Needs to Be Based on Linux, and These Six Aren’t
There are more operating systems than just Linux. Here's a list of a few that are under active development.
🔗 Source:
#linux #opensource
👉@sysadminoff
https://feed.itsfoss.com/link/24361/17499437/open-source-non-linux-os
There are more operating systems than just Linux. Here's a list of a few that are under active development.
🔗 Source:
#linux #opensource
👉@sysadminoff
https://feed.itsfoss.com/link/24361/17499437/open-source-non-linux-os
It's FOSS
Not Every Open Source OS Needs to Be Based on Linux, and These Six Aren’t
There are more operating systems than just Linux. Here's a list of a few that are under active development.
📰 MeshXFS: AI Adapts XFS Into A Clustered File-System
MeshXFS is a clustered open-source file-system in which "no human wrote any of its own code". Depending upon your views of AI, not necessarily something you want to hear for entrusting your data in an AI-created solution. Instead, Claude Opus was tasked with adapting the XFS file-system driver into a clustered file-system...
🔗 Source: https://www.phoronix.com/news/MeshXFS-XFS-Clustered
#opensource
👉@sysadminoff
https://phoronix.com/news/MeshXFS-XFS-Clustered
MeshXFS is a clustered open-source file-system in which "no human wrote any of its own code". Depending upon your views of AI, not necessarily something you want to hear for entrusting your data in an AI-created solution. Instead, Claude Opus was tasked with adapting the XFS file-system driver into a clustered file-system...
🔗 Source: https://www.phoronix.com/news/MeshXFS-XFS-Clustered
#opensource
👉@sysadminoff
https://phoronix.com/news/MeshXFS-XFS-Clustered
Phoronix
MeshXFS: AI Adapts XFS Into A Clustered File-System
MeshXFS is a clustered open-source file-system in which 'no human wrote any of its own code'
📰 GNOME 50.6 Desktop Environment Released with Fixes for Nautilus, GNOME Shell
GNOME 50.6 is now available as the sixth update to the latest GNOME 50 desktop environment series with various bug fixes, updated translations, and other changes.
🔗 Source: https://9to5linux.com/gnome-50-6-desktop-environment-released-with-fixes-for-nautilus-gnome-shell
#gnome
👉@sysadminoff
GNOME 50.6 is now available as the sixth update to the latest GNOME 50 desktop environment series with various bug fixes, updated translations, and other changes.
🔗 Source: https://9to5linux.com/gnome-50-6-desktop-environment-released-with-fixes-for-nautilus-gnome-shell
#gnome
👉@sysadminoff
📰 Fedora Linux 45 Delayed, New Release Date Set for October 27
Fedora developers have postponed Fedora Linux 45 until October 27 after no suitable final release candidate was available for evaluation.
🔗 Source: /
#fedora #linux
👉@sysadminoff
https://linuxiac.com/fedora-linux-45-delayed-new-release-date-set-for-october-27
Fedora developers have postponed Fedora Linux 45 until October 27 after no suitable final release candidate was available for evaluation.
🔗 Source: /
#fedora #linux
👉@sysadminoff
https://linuxiac.com/fedora-linux-45-delayed-new-release-date-set-for-october-27
Linuxiac
Fedora Linux 45 Delayed, New Release Date Set for October 27
Fedora developers have postponed Fedora Linux 45 until October 27 after no suitable final release candidate was available for evaluation.
📰 ReactOS Can Now Be Installed & Used With Its NTFS Driver
The ReactOS open-source operating system has seen its NTFS file-system driver mature to the point that it can be finally used for installing and using ReactOS with it. NTFS formatting support is also finally now possible with this driver too...
🔗 Source: https://www.phoronix.com/news/ReactOS-NTFS-Driver
#opensource
👉@sysadminoff
https://phoronix.com/news/ReactOS-NTFS-Driver
The ReactOS open-source operating system has seen its NTFS file-system driver mature to the point that it can be finally used for installing and using ReactOS with it. NTFS formatting support is also finally now possible with this driver too...
🔗 Source: https://www.phoronix.com/news/ReactOS-NTFS-Driver
#opensource
👉@sysadminoff
https://phoronix.com/news/ReactOS-NTFS-Driver
Phoronix
ReactOS Can Now Be Installed & Used With Its NTFS Driver
The ReactOS open-source operating system has seen its NTFS file-system driver mature to the point that it can be finally used for installing and using ReactOS with it
📰 This cool Raspberry Pi project turns Telegram photos and voice messages into framed pictures
Some of the more ingenious projects I've reported on were born from limitations. While tinkerers will gladly load up their gadgets with as many features as possible, things change when they want to make something for someone who may not be as big of a tech geek as they are. Such is the case of this lovely Raspberry Pi project that allowed a grandma to keep up with the family's Telegram group with minimal interaction.
🔗 Source: https://www.xda-developers.com/this-cool-raspberry-pi-project-turns-telegram-photos-and-voice-messages-into-framed-pictures/
#raspberry
👉@sysadminoff
https://xda-developers.com/this-cool-raspberry-pi-project-turns-telegram-photos-and-voice-messages-into-framed-pictures
Some of the more ingenious projects I've reported on were born from limitations. While tinkerers will gladly load up their gadgets with as many features as possible, things change when they want to make something for someone who may not be as big of a tech geek as they are. Such is the case of this lovely Raspberry Pi project that allowed a grandma to keep up with the family's Telegram group with minimal interaction.
🔗 Source: https://www.xda-developers.com/this-cool-raspberry-pi-project-turns-telegram-photos-and-voice-messages-into-framed-pictures/
#raspberry
👉@sysadminoff
https://xda-developers.com/this-cool-raspberry-pi-project-turns-telegram-photos-and-voice-messages-into-framed-pictures
XDA
This cool Raspberry Pi project turns Telegram photos and voice messages into framed pictures
Perfect for those who struggle with modern tech.