Lasm

A developer has released Lasm, an open-source tool that lets programmers write web applications in the Lean theorem prover so they can be formally verified and then deployed to Node.js, serverless platforms, or edge runtimes. The project, shared on Hacker News, is drawing attention for combining mathematical proof of correctness with mainstream web deployment targets.

aerynOS 2026.11 has been released, shipping with GNOME 51.1, KDE Plasma 6.8.2, COSMIC 1.11, and Budgie 10.10.4 desktop environments. The free and open-source Linux distribution offers users a choice of four modern desktops in a single release. The update is being circulated among Linux and open-source enthusiasts, with coverage highlighting the unusually broad range of desktop options included.

The week's open-source releases have been rounded up, led by Kali Linux 2026.3, Firefox 159, KDE Plasma 6.8.2 and Thunderbird 159. Other updates include Scribus 1.6.7, Mesa 26.2.6, PipeWire 1.6.11, LibreOffice 26.8.2, Tor Browser 16.0, Armbian Imager 2.5, Shelly 3.1.10 and Linux Lite 8.2, giving users a busy week of patches and new versions across the Linux ecosystem.

A research paper titled 'Plasma flow and equilibrium in the magnetic nozzle' has been published by Cambridge University Press & Assessment. Magnetic nozzles are devices that use magnetic fields to direct and accelerate plasma, a concept relevant to advanced spacecraft propulsion. The work addresses how plasma behaves and reaches equilibrium within such a nozzle, contributing to ongoing research in plasma physics and propulsion technology.

The sludge metal veterans Crowbar are being played on Real Rebel Radio, with the track Plasmic and Pure featured on the station's now-playing feed. The Louisiana band, known as pioneers of down-tuned heavy music, are getting airplay on the independent station's popup player.

Researchers have published an analysis of 515 human proteomes defining the core protein composition of plasma extracellular vesicles, along with their associated corona and coisolated protein networks. The work, released in Nature, offers a reference framework for the field, aiming to standardise how vesicle preparations are characterised and interpreted in biomarker and disease research.

The Plasma Kristall (PK-4) experiment aboard the International Space Station has reportedly been shut down. PK-4, a plasma physics facility that studied complex plasmas and dust particles in microgravity, was described as the longest-running experiment on the station. Details on the reason for the shutdown and its official confirmation remain limited, though space enthusiasts have been marking the end of a fixture of ISS science operations.

A new article published in the journal Frontiers in Space Technologies covers plasma space thrusters, propulsion systems that use ionized gas to generate thrust. The piece is being shared among space and science enthusiasts, alongside mentions of NASA, SpaceX and general astronomy topics, sparking casual discussion about the technology's potential role in future spaceflight.

The Dallas Mavericks defeated the Oklahoma City Thunder 120-96 in an NBA matchup, winning by 24 points. Final score updates of the game circulated widely among basketball fans, with Greek sports outlets also reporting the result. The blowout margin is drawing attention as a one-sided contest between the Western Conference rivals.

Researchers are reporting that proteins circulating in blood plasma can provide clues about a person's biological age and their risk of mortality. The findings suggest protein profiles in blood may differ from chronological age and could help identify faster or slower aging. Interest centers on whether such protein markers could eventually support early detection of age-related decline.

Physicists have reformulated how laser beams travel through plasma by treating the propagation as a dynamical system, offering a new mathematical framework for a problem that has traditionally been analysed through other methods. The recasting could sharpen understanding of laser-plasma interactions relevant to advanced accelerator and fusion research. Details beyond the headline are limited.

Plasma Protocol, a new indie game, has been released on Steam priced at $4.99. The launch is being shared among gaming communities, with players being pointed to the game's Steam store page. Little is known so far about reception, sales, or the studio behind the title, as it has only just become available.

Astronomers report they have solved a long-standing puzzle about the Sun's spinning plasma jets, dense streams of charged particles that erupt from the solar surface and rotate as they travel outward. The findings help explain how energy and material are transported through the Sun's atmosphere, with implications for understanding space weather that can affect satellites and power grids on Earth.

The KDE community has released Plasma 6.8.2, the latest maintenance update to its Linux desktop environment, bringing a range of bug fixes across the interface and core components. The release contains no major new features and is aimed at improving stability for existing users. Linux enthusiasts are discussing the update as part of the regular Plasma release cycle, with users encouraged to upgrade through their distribution's repositories.