This week the Rust Foundation jointly announced "the Safety-Critical Rust Consortium" with industry partners including Arm, AdaCore, Lynx Software Technologies, and Toyota's mobility tech subsidiary Woven. Its goal is supporting "responsible use" of Rust "in safety-critical software — systems whose failure can impact human life or cause severe environmental or property harm." "This is exciting," said Rust creator Graydon Hoare in a statement. "I am truly pleased to see the Rust Foundation and anyone in the safety-critical space coming together on this topic." From the announcement: "Safety is our foremost priority in vehicle software development. Traditionally, achieving the highest levels of safety has been a complex and lengthy endeavor, requiring the use of specialized tools and processes beyond the programming language," said JF Bastien, Distinguished Engineer at Woven by Toyota. "We are therefore pleased to collaborate with leading experts in the safety industry to integrate new tools such as Rust into our safety-critical systems...." Industries that are particularly concerned with functional safety include transportation (such as automotive, aviation, space), energy, life sciences, and more. Because of their potential impacts, these industries are often regulated, have liability considerations, and are guided by standards... These industries have decades of experience delivering products, learning from iterating based on real-world feedback, and improving processes. An ecosystem of tools and tool vendors have evolved, and best practices have been learned to create a safety culture around tooling. Rust offers particular advantages in terms of developer ergonomics, productivity and software quality; however, it lacks a deep and established well of safety-processes and collective industry knowledge of safety-critical systems. Without closing this gap, a developer must primarily rely on best practices and normative precautions, which can limit innovation. Rust developers who stray from the well-trod path can find themselves facing an inquiry were an accident to occur. In these circumstances, anything that seems unusual will be investigated for fault. This risk creates a disincentive to widespread Rust adoption, leaving developers unable to reap all its advantages while potentially facing financial, reputational and moral costs. The gap in safety-critical resources within the Rust programming language ecosystem is also an exciting opportunity. By rapidly incorporating lessons learned from years of careful development and past mistakes in the wider open source ecosystem, Rust can become a valuable component of a safety toolkit adaptable to various safety-critical industries and severity levels. "Work under the consortium will begin with the creation of a public charter and goals," according to the announcement, with a scope possibly including "the development of guidelines, linters, libraries, static analysis tools, formal methods and language subsets to meet industrial and legal requirements. The group may further shepherd Rust Foundation-funded implementation work, including grants to existing academic teams or FOSS projects... The group will further attempt to coordinate with and expand on existing safety-critical projects and standards including SAE JA1020. The group will maintain communication with the larger Rust Project, and "The Consortium's deliverables will be developed and licensed in a manner compatible with other Rust Project endeavors."

Read more of this story at Slashdot.

French photovoltaics group Hespul tested solar panels installed in 1992, reports PV Magazine: The testing showed that the modules still produce on average 79.5% of their initial power after 31 years of operation. In a previous testing carried out 11 years ago, the panels were found to produce 91.7% of their initial power. "This result exceeds the performance promised by the manufacturers who said the panels would have maintained 80% of their output after 25 years," said Hespul. The drop in performance is on average 20.5%, or 0.66% per year over 31 years, and 1.11% per year over the last 11 years... Another more recent study carried out by the US Department of Energy's National Renewable Energy Laboratory (NREL) on 1,700 American sites totaling 7.2 GW of power, showed a median degradation of around -0.75%/year. Moveover, another research study focused on 4,300 residential installations in operation in Europe and used different data processing methodologies. Depending on the methods, a median loss of -0.36% to -0.67%/year was obtained. Thanks to long-time Slashdot reader storkus for sharing the news.

Read more of this story at Slashdot.

Après avoir montré un produit « p'tet ben que oui, p'tet ben que non » au niveau d’une future commercialisation, MSI avait au Computex une future carte PCIe prévue pour la rentrée prochaine : le M.2 XPANDER-AERO SLIDER. Son principe ? Caser 2 SSD PCIe 5.0 en 22 110 dans une carte PCIe histoire d’éte...

Slashdot reader BrianFagioli shares his report from BetaNews: The PC community is abuzz with Qualcomm's recent announcement of its Snapdragon X Elite SoC, a powerhouse chipset that promises to revolutionize the performance and energy efficiency of laptops and tablets. While Windows 11 Copilot+ PCs are set to feature this advanced processor, Linux enthusiasts have reasons to celebrate as well. You see, TUXEDO Computers is bringing this cutting-edge technology to the Linux world with its upcoming ARM notebook, positioning it as a strong competitor to Windows 11 Copilot+ devices. In a recent update, TUXEDO Computers revealed its ambitious project of developing an ARM notebook powered by the Snapdragon X Elite SoC from Qualcomm. This announcement has generated significant excitement, as it presents a viable alternative to traditional x86 notebooks, offering comparable performance with lower energy consumption, directly challenging the dominance of Windows 11 Copilot+... Benchmarks suggest that the Snapdragon X Elite can not only rival but potentially surpass Apple's M2 SoCs, boasting higher energy efficiency. TUXEDO's preliminary tests confirm these impressive claims, setting the stage for a fierce competition with Windows 11 Copilot+ PCs. "We recently presented a prototype of the ARM notebook we are working on at the Computex computer trade fair in Taiwan," according to TUXEDO's announcement. "On the software side, a port of TUXEDO OS with KDE Plasma to the ARM platform is our goal for this project running internally under the working title Drako... "It is quite conceivable that an ARM notebook from TUXEDO will be under your Christmas tree in 2024... If you have subscribed to our newsletter, you will be the first to know."

Read more of this story at Slashdot.

Beaucoup de choses ont été dites (et montrées) lors du Computex 2024, et des boulettes parfois aussi. Chez SK hynix celle-ci a pris la forme d’une affirmation de l’un de ses représentants, qui expliquait que son entreprise prévoyait finalement de commencer la production en volume de la GDDR7 pendant...

An anonymous reader shared this report from Futurism: An AI chatbot named VIC, or Virtually Integrated Citizen, is trying to make it onto the ballot in this year's mayoral election for Wyoming's capital city of Cheyenne. But as reported by Wired, Wyoming's secretary of state is battling against VIC's legitimacy as a candidate — and now, an investigation is underway. According to Wired, VIC, which was built on OpenAI's GPT-4 and trained on thousands of documents gleaned from Cheyenne council meetings, was created by Cheyenne resident and library worker Victor Miller. Should VIC win, Miller told Wired that he'll serve as the bot's "meat puppet," operating the AI but allowing it to make decisions for the capital city.... "My campaign promise," Miller told Wired, "is he's going to do 100 percent of the voting on these big, thick documents that I'm not going to read and that I don't think people in there right now are reading...." Unfortunately for the AI and its — his? — meat puppet, however, they've already made some political enemies, most notably Wyoming Secretary of State Chuck Gray. As Gray, who has challenged the legality of the bot, told Wired in a statement, all mayoral candidates need to meet the requirements of a "qualified elector." This "necessitates being a real person," Gray argues... Per Wired, it's also run amuck with OpenAI, which says the AI violates the company's "policies against political campaigning." (Miller told Wired that he'll move VIC to Meta's open-source Llama 3 model if need be, which seems a bit like VIC will turn into a different candidate entirely.) The Wyoming Tribune Eagle offers more details: [H]is dad helped him design the best system for VIC. Using his $20-a-month ChatGPT subscription, Miller had an 8,000-character limit to feed VIC supporting documents that would make it an effective mayoral candidate... While on the phone with Miller, the Wyoming Tribune Eagle also interviewed VIC itself. When asked whether AI technology is better suited for elected office than humans, VIC said a hybrid solution is the best approach. "As an AI, I bring unique strengths to the role, such as impartial decision-making, data-driven policies and the ability to analyze information rapidly and accurately," VIC said. "However, it's important to recognize the value of human experience and empathy and leadership. So ideally, an AI and human partnership would be the most beneficial for Cheyenne...." The artificial intelligence said this unique approach could pave a new pathway for the integration of human leadership and advanced technology in politics.

Read more of this story at Slashdot.

Friday the Python Software Foundation published several blog posts about this year's "Python Language Summit" May 15th (before PyCon US), which featured talks and discussions by core developers, triagers, and Python implementation maintainers. There were several lightning talks. One talk came from the maintainer of the PyO3 project, offering Rust bindings for the Python C API (which requires mapping Rust concepts to Python — leaving a question as to how to map Rust's error-handling panic! macro). There was a talk on formalizing the PEP prototype process, and a talk on whether the Python team should have a more official presence in the Apple App Store (and maybe the Google Play Store). One talk suggested changing the formatting of error messages for assert statements, and one covered a "highly experimental" project to support structured data sharing between Python subinterpreters. One talk covered Python's "unsupported build" warning and how it should behave on platforms beyond Python's officially supported list. Python Foundation blog posts also covered some of the longer talks, including one on the idea of using type annotations as a mechanism for transformers. One talk covered the new interactive REPL interpreter coming to Python 3.13. And one talk focused on Python's security model after the xz-utils backdoor: Pablo Galindo Salgado, Steering Council member and the release manager for Python 3.10 and 3.11, brought this topic to the Language Summit to discuss what could be done to improve Python's security model... Pablo noted the similarities shared between CPython and xz-utils, referencing the previous Language Summit's talk on core developer burnout, the number of modules in the standard library that have one or zero maintainers, the high ratio of maintainers to source code, and the use of autotools for configuration. Autotools was used by [xz's] Jia Tan as part of the backdoor, specifically to obscure the changes to tainted release artifacts. Pablo confirmed along with many nods of agreement that indeed, CPython could be vulnerable to a contributor or core developer getting secretly malicious changes merged into the project. For multiple reasons like being able to fix bugs and single-maintainer modules, CPython doesn't require reviewers on the pull requests of core developers. This can lead to "unilateral action", meaning that a change is introduced into CPython without the review of someone besides the author. Other situations like release managers backporting fixes to other branches without review are common. Much discussion ensued about the possibility of altering workflows (including pull request reviews), identity verification, and the importance of post-incident action plans. Guido van Rossum suggested a "higher bar" for granting write access, but in the end "Overall it was clear there is more discussion and work to be done in this rapidly changing area." In another talk, Hugo van Kemenade, the newly announced Release Manager for Python 3.14 and 3.15, "started the Language Summit with a proposal to change Python's versioning scheme. The perception of Python using semantic versioning is a source of confusion for users who don't expect backwards incompatible changes when upgrading to new versions of Python. In reality almost all new feature releases of Python include backwards incompatible changes such as the removal of "dead batteries" where PEP 594 marked 19 modules for removal in Python 3.13. Calendar Versioning (CalVer) encompasses a wide array of different versioning schemes that have one property in common: using the release date as part of a release's version... Hugo offered multiple proposed versioning schemes, including: - Using the release year as minor version (3.YY.micro, "3.26.0") - Using the release year as major version (YY.0.micro, "26.0.0") - Using the release year and month as major and minor version (YY.MM.micro, "26.10.0") [...] Overall the proposal to use the current year as the minor version was well-received, Hugo mentioned that he'd be drafting up a PEP for this change.

Read more of this story at Slashdot.

Avant l'avènement des aventuriers polygonaux Lara Croft et Nathan Drake, il y avait Indiana Jones. Interprété par Harrison Ford, et magistralement doublé par Richard Darbois, le héros malgré lui archéologue a toujours eu deux objectifs : sauver les reliques pour les exposer, et combattre les nazis q...

A Linux power management change merged on Friday aims to help ensure AMD Ryzen systems with NVMe solid-state drive storage will work properly when resuming from suspend...

Gnapeupeule

C’est con quand même cette histoire d’Apple intelligence, ça aurait quand même été bien de bachoter un peu au lieu de compter sur ses camarades, se la jouer l’Apple du devoir en quelque sorte !

Enfin bon, c’est comme ça, il sera toujours temps de briller lors du rattrapage.

Si vous n’en avez pas assez, je ne peux que vous recommander de la lecture de lecteur : avec
ovancantfort, c’est très fort !

Bon weekend à tous !

Cette chronique est financée grâce au soutien de nos abonnés. Vous pouvez retrouver comme toutes les précédentes publications de Flock dans nos colonnes.

Le Computex pour MSI, ça a été l’occasion de montrer les futurs modules CAMM2, le nouveau format de RAM dont tout le monde cause pour les générations prochaines, ainsi que le CuDIMM dont la firme est précurseur, pour des performances supplémentaire. Mais pas seulement ! Dans le gigantesque stand de...

Il y a désormais quelques jours, nous dévoilions la liste des gagnants des European Hardware Awards 2024. Avec quelques surprises dans certaines catégories, certaines marques commençant à s'installer tandis que d'autres font leur apparition. Aujourd'hui, on se concentre sur la France avec les Cowcotland Awards 2024, soit la liste des produits que nous avons décidé de mettre en avant sur divers critères comme les performances, la simplicité d'utilisation, le positionnement tarifaire selon le type de produit, etc. Et comme vous pourrez le constater, il y a quelques différences avec les résultats européens. Chaque pays a ses préférences, et il en va de même pour nous. On commence avec la première partie, la suite demain ! […]

Lire la suite

GNOME's longtime document viewer, Evince, was recently forked as GNOME Papers and saw its first release a few weeks back. This new GNOME document viewer has been ported from GTK3 to GTK4 and also brings an improved user interface and other refinements...

Apple compiler engineers have contributed Apple M4 CPU support to the upstream LLVM/Clang compiler via the new -mcpu=apple-m4 target. Interestingly the Apple M4 is exposed as an ARMv8.7 derived design...

Il y a plusieurs semaines, Intel et les constructeurs de cartes mères ont passé un mauvais repas de famille. Ce que nous savons depuis longtemps, c'est que les constructeurs de cartes mères ne respectent pas les consignes Intel quant aux capacités d'overclocking, ceci afin de mettre en avant les per...

Le processeur AMD Ryzen 9 7950X3D est donc au prix le bas cette semaine et ce dernier s'affiche sous les 600 euros chez 1FODISCOUNT. Vous pourrez vous procurer ce monstre pas AMD au prix de 594,90 euros et avec la livraison offerte.Le Ryzen 9 7950X3D possède 16 Cœurs et 32 threads répartis sur 2 CCD. Il dispose de 128 Mo de cache L3 et 16 Mo de cache L2 (1Mo par cœur). Sa vitesse de base est de 4.2 GHz et peut monter jusqu'à 5.7 GHz en boost. Son TDP est de 120 Watts. […]

Lire la suite

Ce week-end, on traite les GPU et les CPU le même jour. On commence chez Intel ou nous avons pas mal de hausses. Bon pas sur le 13400F qui perd 15 euros cette semaine. Par contre, le 13600K prend 6 euros, le 13700K prend 18 euros, le 13900K fait + 62 euros..., le 14600K perd 5 euros, le 14700K fait + 5 euros et enfin le 14900K augmente de 36 euros... Heureusement, la tendance n'est pas la même chez AMD. […]

Lire la suite

Cette semaine, encore une fois c'est assez calme. Par exemple, chez AMD, nous avons une seule et unique variation, sur la RX 7800 XT qui baisse de seulement 5 euros. C'est tout chez les rouges... Chez les bleus, comme toujours, les prix ne bougent pas. C'est donc chez les verts que nous avons le plus de mouvements, mais vous allez le voir, ce n'est pas non plus la folie furieuse. En même temps, le titre voulait tout dire... […]

Lire la suite

Pour les vidéos de la semaine, nous vous avons proposé de découvrir le laptop gamer ASUS ROG ZEPHYRUS G14 qui propose puissance et compacité. Ensuite, nous vous avons présenté le nouveau ventirad CPU be quiet! Dark Rock 5, un mono tour haut de gamme. Enfin, nous avons encore parlé de laptop, avec le ASUS Zenbook 14 OLED UX3405M. […]

Lire la suite