News Posts matching #Linux

Return to Keyword Browsing

Andes Announces General Availability of the New AndesCore RISC-V Multicore Vector Processor AX45MPV

Andes Technology, a leading supplier of high efficiency, low-power 32/64-bit RISC-V processor cores and Founding Premier member of RISC-V International, today proudly announces general availability of the high-performance AndesCore AX45MPV multicore vector processor IP. The AX45MPV is the third generation of the award winning AndesCore vector processor series. Equipped with powerful RISC-V vector processing and parallel execution capability, it targets the applications with large volumes of data such as ADAS, AI inference and training, AR/VR, multimedia, robotics, and signal processing.

Andes and Meta started collaboration on datacenter AI with RISC-V vector core from early 2019. Andes later unveiled the AndesCore NX27V, marking a significant milestone as the industry's first commercial RISC-V vector processor core with the capability of generating up to 4 512-bit vector (VLEN) results per cycle, at the end of 2019. It immediately attracted the attention of worldwide SoC design teams working on AI accelerators, and has landed over a dozen datacenter AI projects. Since then, the RISC-V vector processor cores have become the choice for ML and AI chip vendors.

Ampere Computing Creates Gaming on Linux Guide, Runs Steam Proton on Server-class Arm CPUs

Ampere Computing, known for its Altra (Max) and upcoming AmpereOne families of AArch64 server processors tailored for data centers, has released a guide for enthusiasts on running Steam for Linux on these ARM64 processors. This includes using Steam Play (Proton) to play Windows games on these Linux-powered servers. Over the summer, Ampere Computing introduced a GitHub repository detailing the process of running Steam for Linux on their AArch64 platforms, including Steam Play/Proton. While the guide is primarily designed for Ampere Altra/Altra Max and AmpereOne hardware, it can be adapted for other 64-bit Arm platforms. However, a powerful processor is essential to appreciate the gaming experience truly. Additionally, for the 3D OpenGL/Vulkan graphics to function optimally, an Ampere workstation system is more suitable than a headless server.

The guide recommends the Ampere Altra Developer platform paired with an NVIDIA RTX A6000 series graphics card, which supports AArch64 proprietary drivers. The guide uses Box86 and Box64 to run Steam x86 binaries and other x86/x86-64 games for emulation. While there are other options like FEX-Emu and Hangover to enhance the Linux binary experience on AArch64, Box86/Box64 is the preferred choice for gaming on Ampere workstations, as indicated by its mention in Ampere Computing's Once the AArch64 Linux graphics drivers are accelerated and Box86/Box64 emulation is set up, users can install Steam for Linux. By activating Proton within Steam, it becomes feasible to play Windows-exclusive x86/x86-64 games on Ampere AArch64 workstations or server processors. However, the guide doesn't provide insights into the performance of such a configuration.

AMD Ryzen Threadripper PRO 7995WX Emerges: 96 Cores, DDR5 Memory, and Over 5.0 GHz Boost Frequency

AMD appears set to enhance the core count for its renowned Threadripper series. After a prolonged wait, the high-end desktop (HEDT) platform boasting a significant CPU count returns with the Ryzen Threadripper PRO 7995WX, which features an impressive 96 cores and 192 threads. This marks the series' first core count upgrade since the Threadripper 3000 series. The 7995WX CPU was spotted in the HP Z6 G5 Workstation system, potentially one of the inaugural prebuilt systems from AMD's OEM partners. The Threadripper PRO series seems poised to dominate AMD's HEDT offerings, with no indications of non-PRO consumer models emerging for now.

The latest Geekbench listing unveiled the 7995WX CPU's 96-core configuration. Although the base frequency appears misrepresented, benchmark data hints at the 96-core CPU potentially reaching a boost clock of 5.14 GHz, a detail further confirmed by Geekbench's output. Another notable enhancement in the Threadripper series is introducing the DDR5 memory standard. While the benchmarking tool doesn't explicitly mention this, it does highlight a memory configuration of 503.27 GB (512 GB) in use. The CPU managed to score 2095 points for single-core score and 81408 points for multi-core score on Geekbench v5.5 for Linux (Ubuntu 22.04 LTS), making it one of the fastest CPUs in the database.

KIOXIA Announces the First Samples of Hardware that Supports the Linux Foundation's Software-Enabled Flash Community Project

KIOXIA America, Inc. today announced the availability of the first hardware samples that support the Linux Foundation's vendor-neutral Software-Enabled Flash Community Project, which is making flash software-defined. The company is expecting to deliver customer samples in August 2023. Built for the demanding needs of hyperscale environments, Software-Enabled Flash technology helps hyperscale cloud providers and storage developers maximize the value of flash memory. The hardware from KIOXIA is the first step to putting this working technology in the hands of developers.

The first running units will be showcased in live demonstrations in the KIOXIA booth (#307) next week at Flash Memory Summit 2023 (FMS 2023). This new class of drive consists of purpose-built, media-centric flash hardware focused on hyperscale requirements that work with an open source API and libraries to provide the needed functionality. By unlocking the power of flash, this technology breaks free from legacy hard disk drive (HDD) protocols and creates a platform specific to flash media in a hyperscale environment.

Unreal Engine 5.3 Preview Out Now

Yesterday, Epic Games released a preview version of Unreal Engine 5.3—users can now try out the latest batch of improvements, as well as some new features. Epic's blurb Lumen boasts that their software engineers have refined "the workflows and capabilities of core features"—namely Nanite, and Path Tracing. Optimizations have resulted in "more control over performance" and overall better-looking visuals. Epic's own Fortnite, Layers of Fear (Bloober Team) and Remnant 2 (Gunfire Games) are the only currently released games running on Unreal Engine 5. Epic first showcased this technology back in 2020, with plenty of game development studios signing up to use it—but they have been slow in adapting to the feature-rich engine. In Remnant 2's case, Gunfire chose to not implement Lumen at launch.

Newly introduced experimental features include an upgraded particle rendering system—users are granted access to tool that can "create volumetrics such as smoke and fire directly inside Unreal." Epic's notes also mention that a Skeletal Editor has been added, for in-engine character weight and skinning work. Preview version 5.3 grants full support for Orthographic Rendering—useful in the fields of "architecture plus manufacturing visualizations, and stylistic games projects." Users will also see improvements in the Panel Cloth Editor and ML Cloth simulation system.

Intel Arc Linux Gaming Performance Boosted by Vastly Improved Vulkan Drivers

Intel's Alchemist engineering team has been working on improving its open-source Vulkan drivers for Linux—recent coverage from Phoronix shows that Team Blue's hard work is paying off, especially in the area of gaming performance. The site's founder, Michael Larabel, approves of the latest Mesa work produced by Intel engineers, and has commended them on their efforts to better the Arc Graphics family. His mid-month testings—on a Linux 6.4-based system running an Intel Arc A770 GPU—demonstrated a "~10% speed-up for the Intel Arc Graphics on Linux." He has benchmarked this system again over the past weekend, following the release of a new set of optimizations for Mesa 23.3-devel: "The latest performance boost for Intel graphics on Linux is by supporting the I915_FORMAT_MOD_4_TILED_DG2_RC_CCS modifier. Indeed it's panning out nicely for furthering the Intel Arc Graphics Vulkan performance."

He apologized for the limited selection of games, due to: "the Intel Linux graphics driver still not having sparse support in place, but at least that will hopefully be here in the coming months when the Intel Xe kernel driver is upstreamed. Another recent promising development for the Intel open-source graphics driver support is fake sparse support to at least help some games and that code will hopefully be merged soon." First up was Counter-Strike: Global Offensive—thanks to the optimized Vulkan drivers it: "enjoyed another nice boost to the performance as a result of this latest code. For CS Linux gamers, it's great seeing the 21% boost just over the past month."

Leading Cloud Service, Semiconductor, and System Providers Unite to Form Ultra Ethernet Consortium

Announced today, Ultra Ethernet Consortium (UEC) is bringing together leading companies for industry-wide cooperation to build a complete Ethernet-based communication stack architecture for high-performance networking. Artificial Intelligence (AI) and High-Performance Computing (HPC) workloads are rapidly evolving and require best-in-class functionality, performance, interoperability and total cost of ownership, without sacrificing developer and end-user friendliness. The Ultra Ethernet solution stack will capitalize on Ethernet's ubiquity and flexibility for handling a wide variety of workloads while being scalable and cost-effective.

Ultra Ethernet Consortium is founded by companies with long-standing history and experience in high-performance solutions. Each member is contributing significantly to the broader ecosystem of high-performance in an egalitarian manner. The founding members include AMD, Arista, Broadcom, Cisco, Eviden (an Atos Business), HPE, Intel, Meta and Microsoft, who collectively have decades of networking, AI, cloud and high-performance computing-at-scale deployments.

Lenovo Expands Latest ThinkPad Mobile Workstations to Include AMD Ryzen PRO 7040 Series Mobile Processors

Today, Lenovo unveiled the newest additions to its ThinkPad mobile workstation portfolio. Powered by the latest AMD Ryzen PRO 7040 Series Mobile processors with optional NVIDIA RTX professional graphics, the new ThinkPad P16v, P16s Gen 2 and P14s Gen 4 complement the models announced in May 2023, offering customers a broad choice in mobile workstation PC solutions. ThinkPad P Series devices deliver breakthrough performance, premium design, and durability for demanding workflows across a variety of price points and include support for Windows 11 and several flavors of Linux. Bringing advanced and power-efficient processors with AMD PRO technologies and Ryzen AI on select models opens up an enhanced world of AI-driven features for advanced collaboration on ThinkPad mobile workstations.

"Our latest workstations are designed to help our customers make a difference and drive a positive long-lasting impact in their fields, whether it's research and design, engineering and finance, media and entertainment, healthcare and education, or anything else. We are committed to delivering human-centric innovations that empower our customers to unleash their potential with ThinkPad mobile workstations," said Rob Herman, VP and GM, Worldwide Workstation and Client AI Business at Lenovo.

Oracle Advocates Keeping Linux Open and Free, Calls Out IBM

Oracle has been part of the Linux community for 25 years. Our goal has remained the same over all those years: help make Linux the best server operating system for everyone, freely available to all, with high-quality, low-cost support provided to those who need it. Our Linux engineering team makes significant contributions to the kernel, file systems, and tools. We push all that work back to mainline so that every Linux distribution can include it. We are proud those contributions are part of the reason Linux is now so very capable, benefiting not just Oracle customers, but all users.

In 2006, we launched what is now called Oracle Linux, a RHEL compatible distribution and support offering that is used widely, and powers Oracle's engineered systems and our cloud infrastructure. We chose to be RHEL compatible because we did not want to fragment the Linux community. Our effort to remain compatible has been enormously successful. In all the years since launch, we have had almost no compatibility bugs filed. Customers and ISVs can switch to Oracle Linux from RHEL without modifying their applications, and we certify Oracle software products on RHEL even though they are built and tested on Oracle Linux only, never on RHEL.

Linux Breaks 3% PC Desktop Market Share After 30 Years

The PC market is dominated by the Windows operating system. There are alternatives, but most commercial applications run Windows OS, and the usage for the average user makes sense. However, Linux users often dream of the "year of Linux on desktop," where Linux starts dominating the PC market and mass adoption starts. In reality, this isn't the case as most people use the default or install the Windows OS. Today, we learn that Linux broke the 3% market share number after 30 years of presence. Being the highest market share it ever recorded, the OSes based on the Linux kernel now represent 3.07% of the entire market.

The survey data conducted by StatCounter shows that Windows holds 68.23%, OS X for macOS holds 21.32, ChromeOS has a 4.13% share, while unknown OSes hold 3.24%. This includes BSD-based alternatives and others. It is worth noting that Linux adoption could be a part of Steam Deck, which runs on a SteamOS 3.0 distribution based on Arch Linux. It also includes a Proton compatibility layer, which helps Windows games run on Linux, so users have an easier time running their favorite applications.

AMD Starts Software Enablement of Zen 5 Processors

According to the Linux Kernel Mailing List, AMD started to enable next-generation processors by submitting patches to the Linux kernel. Codenamed Family 1Ah or Family 26 in decimal notation, the set of patches corresponds to the upcoming AMD Zen 5 core, which is the backbone of the upcoming Ryzen 8000 series processors. The patches have a few interesting notes, namely few of them being: added support for the amd64_edac (Error Detection and Correction) module and temperature monitoring; added PCI IDs for these models covering 00h-1Fh and 20h; added required support in k10temp driver.

The AMD EDAC driver also points out that the Zen 5 server CPUs will max out with 12-channel memory. Codenames 0-31 correspond to next-generation EPYC, while 40 to 79 are desktop and laptop SKUS. Interestingly, these patches are just the start, as adding PCI IDs and temperature drivers are basic enablement. With the 2024 launch date nearing, we expect to see more Linux kernel enablement efforts, especially with more complicated parts of the kernel.

Valve Releases Major Steam Desktop Client Update

Hello! We're excited to announce that we've just shipped a new version of the Steam Client to everyone. This update includes all the new Steam Desktop features that have been tested and fine-tuned in the beta branch. Before we get into the details, we want to thank our beta testers really quick - we couldn't have shipped without all of your invaluable feedback and bug reports!

New framework, new foundation
The most impactful changes in this update aren't immediately visible; much of the work went into changing how we share code across the Steam Desktop Client, Big Picture mode, and Steam Deck. These changes also means quicker implementation and iteration of new features. For example, many of the features in this update (like Notes in the overlay) are simultaneously shipping on Steam Deck because of the shared codebase.

OnLogic Helix 511 Fanless Industrial Computer Connects Modern and Legacy Systems

To help bridge the growing gap between modern systems and the legacy technology still in use around the world, global industrial computing specialists, OnLogic (www.onlogic.com), have released the Helix 511 Edge Computer. Designed for use in manufacturing, automation, energy management, and other edge and IoT applications, the Helix 511 easily interfaces with on-site systems thanks to a broad selection of modern and legacy connectivity options.

"We frequently have conversations with customers who are struggling to update their technology infrastructure simply because they can't connect existing systems to newer, more powerful and more capable devices," says OnLogic Product Manager, Hunter Golden. "The embedded computing space has traditionally lagged behind when it comes to adopting new technologies. We want to shift that paradigm while still allowing innovators to access and exchange data with their existing equipment. In many cases, you don't need to rip and replace everything, you just need a Helix 511."

Debian 12 Bookworm Released

After 1 year, 9 months, and 28 days of development, the Debian project is proud to present its new stable version 12 (code name bookworm). bookworm will be supported for the next 5 years thanks to the combined work of the Debian Security team and the Debian Long Term Support team.

Following the 2022 General Resolution about non-free firmware, we have introduced a new archive area making it possible to separate non-free firmware from the other non-free packages:
  • non-free-firmware
  • Most non-free firmware packages have been moved from non-free to non-free-firmware. This separation makes it possible to build a variety of official installation images.
Debian 12 bookworm ships with several desktop environments, such as:
  • Gnome 43,
  • KDE Plasma 5.27,
  • LXDE 11,
  • LXQt 1.2.0,
  • MATE 1.26,
  • Xfce 4.18

Steam On Linux Restores Hardware Acceleration by Default for NVIDIA GPUs

A previous attempt to enable NVIDIA GPU video hardware acceleration by default within Steam running on Linux platforms was thwarted by numerous bugs and faults - adopters of the mid-May Steam Client Beta update reported their experiences of various crashes encountered in Valve's user interface. The embattled software engineering team has since investigated this matter and released a new update (yesterday).

The June 6th Steam Client Beta patch notes list a number of general improvements along with Linux-specific adjustments: "a crash when Steam windows were closed with hardware (HW) acceleration enabled on NVIDIA GPUs" and the re-enabling of "HW acceleration by default for NVIDIA GPUs." Early reports indicate that Linux gamers are having a smoother time after installing yesterday's update.

YouTuber Modifies ASUS ROG Ally, Can Operate Like a Steam Deck

Popular gaming hardware content creator, ETA PRIME, yesterday teased that his ASUS ROG Ally preview unit was seemingly running Valve's Steam Deck operating system - the short YouTube video provided a glimpse of basic UI functionality as well as in-game performance (Forza Horizon 5). He promised that a full video was incoming, thus providing a full explanation of his modification process and a more in-depth exploration of more games running on the formerly Windows 11-based example. ETA PRIME has delivered on his earlier pledge - the first look/early impressions video was released only a few hours ago (at the time of writing). He reveals that his test platform ROG Ally is not running on Valve's Steam OS.

He has resorted to installing a gaming-focused Linux distro called Chimera OS - he notes that the similar HoloISO platform was not booting up on his handheld unit. On-board audio is reported to be non-functional - the Ally is connected to an external USB-C hub that outputs sound via the in-built 3.5 mm jack. Wi-Fi performance is reported to be inconsistent, ETA PRIME says that he has to reset the system in order to re-establish online connectivity. He was largely impressed with the Ally's gaming performance in a Linux-based environment, but prefers the Steam Deck's power efficiency. He will look into lowering the Ally's TDP, but there is no sure-fire way of making optimizations within the Chimera OS test build.

Intel 14th Gen Meteor Lake-S Desktop CPUs Mentioned in Linux Patch Notes

The Linux 6.3 Kernel has been patched and a couple of developer notes indicate that support for Intel's upcoming Meteor Lake-S Desktop CPU lineup has been added. The subject matter of this memo is "Add support for Meteor Lake-S SPI serial flash," and the driver list of supported devices has been updated with Meteor Lake-S PCI IDs. Intel is ramping up for the launch of its 14th generation processors, scheduled for a possible second half of 2023 release window, and is ready to roll out some new product naming spiel at the same time.

A "P" type 14th generation range is also discussed in the patch notes: "Intel Meteor Lake-S has the same SPI serial flash controller as Meteor Lake-P. Add Meteor Lake-S PCI ID to the driver list of supported devices." Meteor Lake-P likely refers to mobile variants, with a lot of previously leaked information providing an in-depth look at Intel's "Tile" chip design. Rumors of the desktop variants getting canned have persisted (in 2022 and early 2023) due to a lack of insider info, but last month it emerged that the Meteor Lake-S family was alive and well to some degree - Intel has restricted the product range with offerings of budget "i3" and mid-range "i5" SKUs only. Who knows what sort of branding/naming scheme they have in mind to distinguish between desktop and portable processors.

AMD's Radeon RX 7800 XT Spotted in Geekbench Vulkan Test

AMD's upcoming Radeon RX 7800 XT has made an appearance online, having been tested in Geekbench. The entire system appears to be some kind of internal test system at AMD, as it's listed as "Advanced Micro Devices X670_E7" on Geekbench. The system consists of an AMD Ryzen 9 7950X CPU paired with what should be 64 GB of RAM and oddly enough running Debian Linux. It's also entirely possible that this is a fake submission, which makes somewhat sense considering the weak performance. The Radeon RX 7800 XT was tested using the Vulkan test in Geekbench and you can find the numbers below.

Overall, the card scored 113,819 points in the Vulkan test, which is close to what an AMD Radeon RX 6700 XT scores on an older Ryzen 7 5700X system with 32 GB of RAM, so not too much should be read into the performance figures here. However, this gives us the first indication that AMD is readying its RX 7800 XT GPUs—assuming it's a real submission—which may or may not be announced at Computex later this month. However, there have been rumours that the RX 7800 XT has been pushed back, with the lower-end cards launching first, but we don't have long until we find out at least.

AMD ROCm 5.5 Now Available on GitHub

As expected with AMD's activity on GitHub, ROCm 5.5 has now been officially released. It brings several big changes, including better RDNA 3 support. While officially focused on AMD's professional/workstation graphics cards, the ROCm 5.5 should also bring better support for Radeon RX 7000 series graphics cards on Linux.

Surprisingly, the release notes do not officially mention RDNA 3 improvements in its release notes, but those have been already tested and confirmed. The GPU support list is pretty short including AMD GFX9, RDNA, and CDNA GPUs, ranging from Radeon VII, Pro VII, W6800, V620, and Instinct lineup. The release notes do mention new HIP enhancements, enhanced stack size limit, raising it from 16k to 128k, new APIs, OpenMP enhancements, and more. You can check out the full release notes, downloads, and more details over at GitHub.

Kubuntu Focus Announces the Focus Ir14 Laptop

Today the Kubuntu Focus team announces their latest Linux laptop: The Focus Ir14 developed in partnership with Carbon Systems of Santa Rosa, CA. This laptop is an affordable, enterprise-ready system designed to exude quality everywhere the customer looks and touches. This is the fourth Focus model featuring Kubuntu LTS and the KDE Plasma interface.

This 3-pound laptop has a 14-inch, 450-nit, narrow-bezel 1920×1200 display with 100% sRGB color reproduction. It also features a centered precision touchpad, all-alloy construction, 6 hours of battery life, and can charge from a USB-C display cable. Systems are built to order and can be customized with up to 64 GB of 3200 MHz dual-channel RAM, 4 TB of storage in a dual-disk setup, and optional no-cost full-disk encryption. Prices start at $895.

Debian Universal OS 12.0 "Bookworm" Set For June Launch

A press release (dated April 27) states: "We plan to release Debian 12.0 "Bookworm" on June 10. If you want to celebrate it, please consider attending a Debian release party, or hosting your own! See wiki.debian.org/ReleasePartyBookworm for more information. The release process typically takes the whole day and the release isn't done until the early hours of Sunday UTC."

Full Freeze Date
With the release date set, it's time to announce the Full Freeze date: Wednesday May 24. This means that from that moment on, every package requires a manual unblock by the release team if it needs to migrate to bookworm. Please note that, as with all freezes, the newrules apply for all packages that haven't migrated to testing yet (not only for uploads after the freeze). For all uploads, please review the Freeze Policy once again to make sure you know what is appropriate at this phase of the release.

Steam Deck Adapted Into Automated Gun Turret System

The Steam Deck is a hit with enthusiasts who require a gaming fix on the move, and Valve has observed its handheld getting revamped heavily by the modification community - but a new adaptation takes the pint-sized PC onto the real battlefield. The GamingOnLinux site yesterday picked up on emerging details from the Ukraine frontline - TDF Media group has shared photos and videos of an automated gun turret system dubbed "Saber" that can be operated remotely. The Steam Deck has somehow become the preferred control method - its on-screen UI, trackpads, analog sticks and button layout factor into the gun turret's operation. A reader has informed me that Valve's hardware is not officially available for sale in the region, so the military must be sourcing units from a grey/dark market source.

Sergey Mohov, lead gameplay designer at Remedy Entertainment, reposted some of TDF Media's photos on his Twitter account earlier this week, and added that "this automatic turret is the best use of Steam Deck I've seen so far." The Territorial Defense Force organization has described the turret (translated) thusly: "Saber is a Ukrainian automated remote-controlled gun turret designed for stationary installation on static objects or moving vehicles. The Saber system's co-ordination is done via a remote control, camera and monitor - which allows combat from up to 500 m from the rig, while preserving the operator's life. This combat platform can be installed in a stationary (capacity) at checkpoints, border and other zones - it is even able to defeat low-flying enemy drones. The platform is flexible enough to accommodate any light anti-infantry or anti-tank weapon weapon - a good example being a Kalashnikov machine gun."

LattePanda Launches the Sigma SBC Server

LattePanda launched the powerful and hackable single board server, the LattePanda Sigma. With its super computing power, this device opens up endless possibilities for tech enthusiasts, developers, small businesses & enterprises. With its innovative design and unique features, the LattePanda Sigma is poised to redefine the world of single board servers and drive innovation to new heights.

The LattePanda Sigma is powered by the 13th-generation Intel Core i5-1340P Rapter Lake (12-Core, 16-Thread) processor and features Intel Iris Xe Graphics, providing optimal graphics performance. Its optimized power consumption minimizes power usage by almost 50%, making it an eco-friendly choice. With 16 GB of high-speed Dual-Channel LPDDR5-6400 MHz RAM, the LattePanda Sigma can handle even the most demanding tasks with ease, making it perfect for graphic design, gaming, and video editing.

Opera Unveils Opera One, an Entirely Redesigned Browser

Opera is unveiling Opera One today. Opera One is the early access version of a completely redesigned browser that is planned to replace the flagship Opera browser for Windows, MacOS, and Linux later this year. Based on Modular Design, Opera One transforms the way you interact with your browser, delivering a liquid navigation experience which is more intuitive to the user. With today's release, Opera One also becomes the first major Chromium-based browser with a multithreaded compositor that brings the UI to life like never before. Opera One also introduces Tab Islands, a new, more intuitive way of interacting with and managing multiple tabs. This news from the company comes just weeks after announcing its first generative AI features, including AI Prompts, as well as access to ChatGPT and ChatSonic in the sidebar.

Introducing the first implementation of Modular Design
Opera has a history of reinventing itself to address the changing needs of its users as well as the evolving nature of the web. With Opera One, the browser has been redesigned according to Modular Design. The new design philosophy, which is being presented today for the first time, will allow Opera to over time build a more powerful and feature-rich browser that is ready for a generative AI-based future. The Opera browser is thus beginning its metamorphosis into a browser that will dynamically adapt to the user's needs by bringing only the key features to the foreground: the relevant modules within Opera One will adjust automatically based on context, providing the user with a more liquid and effortless browsing experience.

Linux Foundation Launches New TLA+ Organization

SAN FRANCISCO, April 21, 2023 -- The Linux Foundation, the nonprofit organization enabling mass innovation through open source, today announced the launch of the TLA+ Foundation to promote the adoption and development of the TLA+ programming language and its community of TLA+ practitioners. Inaugural members include Amazon Web Services (AWS), Oracle and Microsoft. TLA+ is a high-level language for modeling programs and systems, especially concurrent and distributed ones. TLA+ has been successfully used by companies to verify complex software systems, reducing errors and improving reliability. The language helps detect design flaws early in the development process, saving time and resources.

TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. The language is based on the idea that the best way to describe things precisely is with simple mathematics. The language was invented decades ago by the pioneering computer scientist Leslie Lamport, now a distinguished scientist with Microsoft Research. After years of Lamport's stewardship and Microsoft's support, TLA+ has found a new home at the Linux Foundation.
Return to Keyword Browsing
Apr 3rd, 2025 03:15 EDT change timezone

New Forum Posts

Popular Reviews

Controversial News Posts