Orthokeratology lenses reshape your cornea overnight. Been using them for years, heartily recommend.

Important context: Sweden and especially Finland have long had a defense model based around literally everyone contributing to defending against an occupation. The real change is they don't consider that enough of a deterrent anymore, hence joining NATO, after seeing Russia bloody itself against Ukraine for several years.

Key detail: they're not dropping it because they're giving up, the judge dismissed it without prejudice, which means that in 4 years they can pick the case back up. Under a Trump DoJ the case would likely have ended with prejudice, closing it permanently.

Stories like this are sometimes more complicated than they appear. The infamous examples of $500 hammers, for example, were anti sparking hammers for working around flammables or munitions, hence requiring special materials, certification, and low production runs.

For this case, we have liquid hand soap dispensed by a pump. Pumps require a sealed vessel. Unlike commercial planes, military planes are required to anticipate prolonged operation with an unpressurized cabin. At max altitude of a C17, atmospheric pressure is only 20% of sea level. Off the shelf dispensers are unlikely to be designed to withstand that pressure difference, let alone function normally. In a high demand environment like aerospace, even apparently minor failures like an exploding soap container needs to be taken seriously due to the possibility of unexpected cascading failures. Why not use bar soap, then? Unfortunately this too has complications, like not being able to be securely mounted, liquid soaps having superior hygiene and cross contamination characteristics, and necessity for military standardized soap, sometimes designed for heavy metal, eg lead, which is likely if the cargo were munitions.

This unusual set of requirements unlikely to be seen outside the military context, so whether designed by Boeing or off the shelf the unit would likely have low quantity manufacturing runs, significantly increasing per unit costs. Combine that with the necessary certifications and the per unit costs balloon even further.

While a soap dispenser having an 80x markup seems absurd, it might be more reasonable than it seems at first glance. To be clear, there absolutely is military contractor graft. I just don't expect even a $10,000 soap dispenser would be a substantial proportion if it even within the C17.

I haven't gone through all their work, but some of the delisted maintainers were working on driver support for Baikal, a Russia based electronics company. Their work includes semiconductors, ARM processors. Given the sanctions against Russia, especially for dual use stuff like domestic semiconductors, I would expect that Linus and other maintainers were told or concluded that by signing off and merging their code they'd be personally violating sanctions.

I recently removed in editor AI cause I noticed I was acquiring muscle memory for my brain, not thinking through the rest past the start of a snippet that would get an LLM to auto complete. I'm still using LLMs, particularly for languages and libraries I'm not familiar with, but using the artifacts editors in ChatGPT and Claude.

I really don't blame them, security and privacy minded folk are more likely to use niche configs. Feels like for Linux stuff companies may be better served making APIs and letting the community handle it. Rclone for example implements a bunch, and last I knew had an unstable Proton plugin.

The comments from that article are some of the most vitriolic I've ever seen on a technical issue. Goes to prove the maintainer's point though.

Some are good for a laugh though, like assertions that Rust in the kernel is a Microsoft sabotage op or LLVM is for grifters and thieves.

FOSS in general needs better means of financial support. While the software is free and libre, developer time is not, and ultimately they gotta eat and pay bills. I hope they get positive results and don't catch much unnecessary flak.

Given the ease of implantation of end to end encryption now, it's a reasonable assumption that anything not e2ee is being data mined. E2ee has extensive security benefits, for example even if your data is dumped the info is still useless. So, there has to be a compelling reason to not use it.

People haven't really changed. As always, power corrupts. When the rewards are great enough, it seems people are often enough willing to compromise their integrity.

My first programming experience, an online class, was in a Linux VM. Linux made programming easy and delightful, Windows always made it a huge pain. As time went on, more of what I did was easier on Linux, and now everything is.

Key detail in the actual memo is that they're not using just an LLM. "Wallach anticipates proposals that include novel combinations of software analysis, such as static and dynamic analysis, and large language models."

They also are clearly aware of scope limitations. They explicitly call out some software, like entire kernels or pointer arithmetic heavy code, as being out of scope. They also seem to not anticipate 100% automation.

So with context, they seem open to any solutions to "how can we convert legacy C to Rust." Obviously LLMs and machine learning are attractive avenues of investigation, current models are demonstrably able to write some valid Rust and transliterate some code. I use them, they work more often than not for simpler tasks.

TL;DR: they want to accelerate converting C to Rust. LLMs and machine learning are some techniques they're investigating as components.

I have LTS and zen kernels installed in addition to the default Arch one, that should prevent this yes?

What do you mean by "this stuff?" Machine learning models are a fundamental part of spam prevention, have been for years. The concept is just flipping it around for use by the individual, not the platform.

If by reliably you mean 99% certainty of one particular review, yeah I wouldn't believe it either. 95% confidence interval of what proportion of a given page's reviews are bots, now that's plausible. If a human can tell if a review was botted you can certainly train a model to do so as well.

Cool it with the universal AI hate. There are many kinds of AI, detecting fake reviews is a totally reasonable and useful case.

KDE Connect and Syncthing do the trick for most stuff. For all else, all hail the USB C M.2 NVME enclosure.

For people lacking context, Boeing split off and sold their division that became Spriti Aerosystems. The theory at the time was that Boeing's core competency wasn't building airplanes, it was managing relationships with other vendors. In particular, the actual plane manufacturing part of the company was undesirable due to perceived poor "Return on Net Assets." The theory they pitched to shareholders was they should sell off non obviously profitable divisions so they reduced asset liability while keeping the same or better profits.

That was their explanation, of course it was a terrible idea.

Title worried me for a moment that they were dropping Steam Input; happy to see they seem intent on the opposite.