What Do Linux Kernel Developers Think of Rust?

Keynotes at this year’s FOSDEM included free AI models and systemd, reports Heise.de — and also a progress report from Miguel Ojeda, supervisor of the Rust integration in the Linux kernel.

Only eight people remain in the core team around Rust for Linux… Miguel Ojeda therefore launched a survey among kernel developers, including those outside the Rust community, and presented some of the more important voices in his FOSDEM talk. The overall mood towards Rust remains favorable, especially as Linus Torvalds and Greg Kroah-Hartman are convinced of the necessity of Rust integration. This is less about rapid progress and more about finding new talent for kernel development in the future.
The reaction was mostly positive, judging by Ojeda’s slides:

– “2025 will be the year of Rust GPU drivers…” — Daniel Almedia

– “I think the introduction of Rust in the kernel is one of the most exciting development experiments we’ve seen in a long time.” — Andrea Righi

– “[T]he project faces unique challenges. Rust’s biggest weakness, as a language, is that relatively few people speak it. Indeed, Rust is not a language for beginners, and systems-level development complicates things even more. That said, the Linux kernel project has historically attracted developers who love challenging software — if there’s an open source group willing to put the extra effort for a better OS, it’s the kernel devs.” — Carlos Bilbao

– “I played a little with [Rust] in user space, and I just absolutely hate the cargo concept… I hate having to pull down other code that I do not trust. At least with shared libraries, I can trust a third party to have done the build and all that… [While Rust should continue to grow in the kernel], if a subset of C becomes as safe as Rust, it may make Rust obsolete…” Steven Rostedt

Rostedt wasn’t sure if Rust would attract more kernel contributors, but did venture this opinion. “I feel Rust is more of a language that younger developers want to learn, and C is their dad’s language.”

But still “contention exists within the kernel development community between those pro-Rust and -C camps,” argues The New Stack, citing the latest remarks from kernel maintainer Christoph Hellwig (who had earlier likened the mixing of Rust and C to cancer). Three days later Hellwig reiterated his position again on the Linux kernel mailing list:

“Every additional bit that another language creeps in drastically reduces the maintainability of the kernel as an integrated project. The only reason Linux managed to survive so long is by not having internal boundaries, and adding another language completely breaks this. You might not like my answer, but I will do everything I can do to stop this. This is NOT because I hate Rust. While not my favourite language it’s definitively one of the best new ones and I encourage people to use it for new projects where it fits. I do not want it anywhere near a huge C code base that I need to maintain.”

But the article also notes that Google “has been a staunch supporter of adding Rust to the kernel for Linux running in its Android phones.”
The use of Rust in the kernel is seen as a way to avoid memory vulnerabilities associated with C and C++ code and to add more stability to the Android OS. “Google’s wanting to replace C code with Rust represents a small piece of the kernel but it would have a huge impact since we are talking about billions of phones,” Ojeda told me after his talk.

In addition to Google, Rust adoption and enthusiasm for it is increasing as Rust gets more architectural support and as “maintainers become more comfortable with it,” Ojeda told me. “Maintainers have already told me that if they could, then they would start writing Rust now,” Ojeda said. “If they could drop C, they would do it….”

Amid the controversy, there has been a steady stream of vocal support for Ojeda. Much of his discussion also covered statements given by advocates for Rust in the kernel, ranging from lead developers of the kernel and including Linux creator Linus Torvalds himself to technology leads from Red Hat, Samsung, Google, Microsoft and others.

Read more of this story at Slashdot.

Skydiver Hooks Plane in Mid-Air, Gets Towed Up For Another Skydive

“Can you skydive continuously without landing…?” asks Red Bull. Imagine jumping out of a helicopter, “only to latch onto a speeding plane in mid-air and soar back up into the sky.”

Harnessing the plane’s momentum, [skydiver Max Manow] soared out of the canyon, embarking on what he calls his “endless skydive”, a manoeuvre that potentially could be done continuously without him ever needing to land…

After exiting a helicopter, he manoeuvred his wingsuit to close the gap with a nosediving Cessna 182, piloted by Luke Aikins. Precision was key: Manow attached himself to a hook on the aircraft as the plane descended, allowing him to ascend back to a safe altitude of 2,500 feet before releasing into another freefall… Manow spent five months training, including sessions in a Stockholm wind tunnel, to master the techniques needed for mid-air connection. Meanwhile, Aikins modified his aircraft to ensure the feat was safe and repeatable.
Skydiver Max Manow’s goal was to develop a manoeuvre that could potentially be repeated an infinite number of times without ever having to land. Manow’s mid-air manoeuvre opens the door to a new vision of skydiving, where athletes could remain airborne without ever needing to land. Reflecting on the experience, Manow said: “Who knows where this will take the future of the sport?”

“If that wasn’t enough adrenaline for you,” writes New Atlas, “a previous bonkers wingsuit stunt from 2017 is equally jaw dropping, in which a pair of skydivers BASE-jumped off a mountain summit, and entered a passing airplane.”

Read more of this story at Slashdot.

Did Google Fake Gemini AI’s Output For Its Super Bowl Ad?

Google’s Super Bowl ad about a Gouda cheese seller appears to be using fake AI output, writes the Verge:

The text portrayed as generated by AI has been available on the business’s website since at least August 2020, as shown on this archived webpage. Google didn’t launch Gemini until 2023, meaning Gemini couldn’t have generated the website description as depicted in the ad.

The site Futurism calls the situation “beyond bizarre,” asking why Google doesn’t seem to trust its own technology.
Either Google faked the ad entirely, or prompted its AI to generate the web page’s existing copy word-for-word, or the AI was prompted to come up with original copy and instead copied the old version. In the publishing industry, that’s referred to as “plagiarism.”

And ironically if Gemini did plagiarize that text, the text that it plagiarized is also inaccurate.

Read more of this story at Slashdot.

GCC 15 Compiler Showing Off Nice Performance Improvements On AMD Zen 5

With the GCC 15 compiler having progressed to its final stage of development prior to the GCC 15.1 stable release in the likely March~April time frame, I[he]#039[/he]ve begun testing the updated GNU Compiler Collection on some test systems. Overall GCC 15 is looking nice and on AMD Zen 5 “znver5” in particular seeing some solid gains over GCC 14. Here are some initial performance benchmarks of the GCC 15 compiler.

Powered by WPeMatico

The best streaming deals: Save on Disney+, Peacock, DirecTV and more

If you’ve been shocked by how much you spend on streaming services lately, you’re not alone. Companies like Netflix, Disney, Max and others have been consistently raising prices to the point where you may question if streaming is even worth it anymore. We at Engadget still think it is, but we also think you should be smart with your money — and that’s where streaming deals come in.

Yes, it is possible to get discounts on services like Peacock and Paramount+, even if those deals aren’t as common as a sale on AirPods. If you’re looking to save money and still stream all of the content you want, Engadget can help by laying out the best streaming deals you can get right now, how you can save with bundles and everything you should know before paying for yet another streaming service.

True streaming deals can be hard to come by. Most often, they’ll pop up during the Black Friday shopping period. On occasion, we’ll see them sparingly throughout the year and they usually take the form of a discounted monthly or annual rate for a limited period of time. Also, true streaming deals are typically on the ad-supported versions of a service, but once in a while you’ll find a unicorn of a deal on a tier that has ad-free viewing.

If you’re able to wait for a deal before subscribing to a streaming service, we recommend doing so. You’ll save money upfront and in the long run, and you also have the option to cancel your subscription before the price goes back up to the normal rate. Maybe you find you like the service so much that you’re fine paying full price for it — that’s the ideal situation. But if you’re not compelled to keep that app on rotation in your smart TV, most streaming services make it easy for you to cancel at any time. With that said, these are the best streaming deals you can snag right now.

DirecTV MySports beta for $50/month for three months ($20/month off): DirecTV’s recently announced MySports beta package is $50 per month for the first three months if you sign up before the end of February. That means you’ll save a total of $60 for that timeframe. In addition to sports channels like FS1, ESPN and NFL Network, the package includes more than 25 live and local TV channels and unlimited DVR recordings.

Fubo Essential for $60/month for the first month ($25 off): Fubo has introductory discounts on most of its packages, but Essential may be the best for most people. It offers access to 215 channels, unlimited cloud DVR and up to 10 simultaneous streams. Note that regional sports content is not included here; you’ll have to go up to Pro or Elite plans for that.

Sling Orange for $23/month for the first month (50 percent off): New customers can get Sling Orange or Sling Blue for half off the usual price for the first month, bringing the final prices to $23/month and $25.50/month, respectively. Orange is likely best for sports fans, with eight exclusive sports and family channels, while Blue includes 19 exclusive news and entertainment channels. You can get both Orange and Blue access also for half off for one month, or $33 total.

YouTube TV for $70/month for the first six months ($78 off): New subscribers can save a total of $78 when they sign up for YouTube TV’s base plan, which includes access to over 100 channels, unlimited DVR space and six household accounts with the ability to stream on three devices at once.

Spotify student discount – Premium + Hulu with ads for $6/month (72 percent off): Spotify’s student offer continues to be one of the best around, giving you access to the Premium tier of the music streamer and Hulu’s ad-supported plan for only $6 monthly. Purchased separately, you’d pay $22 per month for both of the services. Plus, the first month is free when you sign up.

Hulu student discount – subscribe for $2/month (75 percent off): Those with a valid student ID can get Hulu’s ad-supported tier for 75 percent off the typical rate. They’ll keep the same sale price for as long as they’re a student as well.

Max student discount – subscribe for $5/month (50 percent off): Max offers their ad-supported tier to students for half off the usual rate. You’ll just have to verify that you’re a student through Unidays, and make note that this offer is only good for up to 12 months of service.

There’s more consolidation happening now than ever before in the streaming space, and that means there are more streaming bundle options. These bundles offer you access to more content with one subscription price, but those prices are typically higher than paying for a single service by itself (obviously). It may be tempting to just get the bundle, but if only one of those services in the bundle speaks to you, you’ll spend less overall by just paying for the single service.

Speaking of a deep love for a single streaming service: if all of your favorite shows are on Peacock or the latest releases on Max consistently bring you joy, consider paying for one year upfront. Subscribing with an annual plan usually saves you money in the long term over paying on a monthly basis. Unfortunately, not all streaming services (looking at you, Netflix) have an annual subscription option. Here are some of the best streaming bundles you can get right now.

Disney+ and Hulu Duo Premium for $20/month: This bundle removes the ads from both Disney+ and Hulu (with the exception of select live and linear content) and allows you to download content for offline viewing. You’ll save 43 percent with this bundle, as opposed to paying for both ad-free tiers individually.

Disney+, Hulu, ESPN+ Trio Basic for $17/month: You get full access to Disney+, Hulu and ESPN+ content with this package, albeit with ads across the board. This bundle price is 47 percent off the total price of all three separate subscriptions.

Disney+, Hulu, ESPN+ Trio Premium for $27/month: Similarly to the Duo bundles, the Premium version of the Trio removes ads from most content in Disney+, Hulu and ESPN+, and you can download content for offline viewing. This price represents a 43-percent savings when compared to paying for all three ad-free tiers separately.

Disney+, Hulu, Max bundle with ads for $17/month: Max may not technically be under the Disney mega-umbrella, but you get full, ad-supported access to its content here along with Disney+ and Hulu. You’ll save 43 percent with this bundle, as opposed to paying for all three services individually.

Disney+, Hulu, Max bundle no ads for $30/month: The major difference between this bundle and the previous is the lack of ads across most content in all three services. Download support for offline watching is included, too. Compared to the $52/month you’d pay for these tiers separately, you’ll save 42 percent with this combination.

Hulu + Live TV with Disney+ and ESPN+ for $96/month: This streaming bundle amalgamation is a bit confusing but it does offer a lot: you get live TV streaming via Hulu’s service plus access to the following VOD services: Hulu, Disney+ and ESPN+. Out of those three, only ESPN+ will have ads.

Paramount+ with Showtime for $13/month or $120/year: This includes everything in Paramount+’s Essential plan, except the ads, and also provides access to Showtime content, live CBS streams and download features.

Follow @EngadgetDeals on Twitter and subscribe to the Engadget Deals newsletter for the latest tech deals and buying advice.

This article originally appeared on Engadget at https://www.engadget.com/deals/best-streaming-service-deals-133028980.html?src=rss

C++ on Steroids: Bjarne Stroustrup Presents Guideline-Enforcing ‘Profiles’ For Resource and Type Safety

“It is now 45+ years since C++ was first conceived,” writes 74-year-old C++ creator Bjarne Stroustrup in an article this week for Communications of the ACM. But he complains that many developers “use C++ as if it was still the previous millennium,” in an article titled 21st Century C++ that promises “the key concepts on which performant, type safe, and flexible C++ software can be built: resource management, life-time management, error-handling, modularity, and generic programming…

“At the end, I present ways to ensure that code is contemporary, rather than relying on outdated, unsafe, and hard-to-maintain techniques: guidelines and profiles.”

To help developers focus on effective use of contemporary C++ and avoid outdated “dark corners” of the language, sets of guidelines have been developed. Here I focus on the C++ Core guidelines that I consider the most ambitious… My principal aim is a type-safe and resource-safe use of ISO standard C++. That is:

– Every object is exclusively used according to its definition
– No resource is leaked
This encompasses what people refer to as memory safety and much more. It is not a new goal for C++. Obviously, it cannot be achieved for every use of C++, but by now we have years of experience showing that it can be done for modern code, though so far enforcement has been incomplete… When thinking about C++, it is important to remember that C++ is not just a language but part of an ecosystem consisting of implementations, libraries, tools, teaching, and more.
WG21 (and others) are working on “profiles” to enforce guidelines (though they’re “not yet available, except for experimental and partial versions”). But Stroustrup writes that the C++ Core Guidelines “use a strategy known as subset-of-superset.”

First: extend the language with a few library abstractions: use parts of the standard library and add a tiny library to make use of the guidelines convenient and efficient (the Guidelines Support Library, GSL).
Next: subset: ban the use of low-level, inefficient, and error-prone features.
What we get is “C++ on steroids”: Something simple, safe, flexible, and fast; rather than an impoverished subset or something relying on massive run-time checking. Nor do we create a language with novel and/or incompatible features. The result is 100% ISO standard C++. Messy, dangerous, low-level features can still be enabled and used when needed.
Stroustrup writes that the C++ Core Guidelines focus on rules “we hope that everyone eventually could benefit from.”

No uninitialized variables
No range or nullptr violations
No resource leaks
No dangling pointers
No type violations
No invalidation

Bjarne Stroustrup answered questions from Slashdot readers in 2014…

Read more of this story at Slashdot.

New Apple Silicon Co-Maintainer Steps Up For The Linux Kernel

This week was the dramatic decision by Asahi Linux lead developer Hector Martin to step down as upstream kernel maintainer for the Apple Silicon (ARM) code following friction with other kernel developers over Rust affairs within the kernel. He still intends to contribute code to Asahi Linux’s downstream kernel and Linus Torvalds has already merged the patch dropping him as an upstream maintainer. Now a new co-maintainer has volunteered to help oversee the Apple Silicon code for the mainline kernel…