15 Jan 2026
Slashdot
'White-Collar Workers Shouldn't Dismiss a Blue-Collar Career Change'
White-collar workers stuck in a cycle of layoffs and stagnant wages might want to look past the traditional tech, finance and media job postings to an unexpected source of opportunity: the blue-collar sector, which faces a labor shortage and is seeing rapid transformation through private-equity investment. These jobs are generally less vulnerable to AI, and the earning trajectory can be steep, the WSJ writes. At Crash Champions, a car-repair chain that has grown from 13 locations in 2019 to about 650 shops across 38 states, service advisers start at roughly $60,000 after a six-month apprenticeship and can double that within 18 months, according to CEO Matt Ebert. Directors overseeing multiple locations earn more than $200,000. Power Home Remodeling, a PE-backed construction company, says tech sales professionals earning $85,000 to $100,000 could make lateral moves after a 10-week training program. The share of workers in their early 20s employed in blue-collar roles rose from 16.3% in 2019 to 18.4% in 2024, according to ADP -- five times the increase among 35- to 39-year-olds.
Read more of this story at Slashdot.
15 Jan 2026 2:05pm GMT
AI Models Are Starting To Crack High-Level Math Problems
An anonymous reader quotes a report from TechCrunch: Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI's new model when he made an unexpected discovery. After pasting the problem into ChatGPT and letting it think for 15 minutes, he came back to a full solution. He evaluated the proof and formalized it with a tool called Harmonic -- but it all checked out. "I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they struggle," Somani said. The surprise was that, using the latest model, the frontier started to push forward a bit. ChatGPT's chain of thought is even more impressive, rattling off mathematical axioms like Legendre's formula, Bertrand's postulate, and the Star of David theorum. Eventually, the model found a Math Overflow post from 2013, where Harvard mathematician Noam Elkies had given an elegant solution to a similar problem. But ChatGPT's final proof differed from Elkies' work in important ways, and gave a more complete solution to a version of the problem posed by legendary mathematician Paul Erdos, whose vast collection of unsolved problems has become a proving ground for AI. For anyone skeptical of machine intelligence, it's a surprising result -- and it's not the only one. AI tools have become ubiquitous in mathematics, from formalization-oriented LLMs like Harmonic's Aristotle to literature review tools like OpenAI's deep research. But since the release of GPT 5.2 -- which Somani describes as "anecdotally more skilled at mathematical reasoning than previous iterations" -- the sheer volume of solved problems has become difficult to ignore, raising new questions about large language models' ability to push the frontiers of human knowledge. Somani examined the online archive of more than 1,000 Erdos conjectures. Since Christmas, 15 Erdos problems have shifted from "open" to "solved," with 11 solutions explicitly crediting AI involvement. On GitHub, mathematician Terence Tao identifies eight Erdos problems where AI made meaningful autonomous progress and six more where it advanced work by finding and extending prior research, noting on Mastodon that AI's scalability makes it well suited to tackling the long tail of obscure, often straightforward Erdos problems. Progress is also being accelerated by a push toward formalization, supported by tools like the open-source "proof assistant" Lean and newer AI systems such as Harmonic's Aristotle.
Read more of this story at Slashdot.
15 Jan 2026 1:00pm GMT
Ars Technica
The difficulty of driving an EV in the “most beautiful race in the world”
Jet lag and charging added plenty of complications to this regularity road rally.
15 Jan 2026 12:00pm GMT
Slashdot
Warhammer Maker Games Workshop Bans Its Staff From Using AI In Its Content or Designs
Games Workshop, the owner and operator of a number of hugely popular tabletop war games, including Warhammer 40,000 and Age of Sigmar, has banned the use of generative AI in its content and design processes. IGN reports: Delivering the UK company's impressive financial results, CEO Kevin Rountree addressed the issue of AI and how Games Workshop is handling it. He said GW staff are barred from using it to actually produce anything, but admitted a "few" senior managers are experimenting with it. Rountree said AI was "a very broad topic and to be honest I'm not an expert on it," then went on to lay down the company line: "We do have a few senior managers that are [experts on AI]: none are that excited about it yet. We have agreed an internal policy to guide us all, which is currently very cautious e.g. we do not allow AI generated content or AI to be used in our design processes or its unauthorized use outside of GW including in any of our competitions. We also have to monitor and protect ourselves from a data compliance, security and governance perspective, the AI or machine learning engines seem to be automatically included on our phones or laptops whether we like it or not. We are allowing those few senior managers to continue to be inquisitive about the technology. We have also agreed we will be maintaining a strong commitment to protect our intellectual property and respect our human creators. In the period reported, we continued to invest in our Warhammer Studio -- hiring more creatives in multiple disciplines from concepting and art to writing and sculpting. Talented and passionate individuals that make Warhammer the rich, evocative IP that our hobbyists and we all love."
Read more of this story at Slashdot.
15 Jan 2026 10:00am GMT
Ars Technica
Exclusive: Volvo tells us why having Gemini in your next car is a good thing
In-car personal assistants are about to get useful, it looks like.
15 Jan 2026 8:00am GMT
A British redcoat’s lost memoir resurfaces
Shadrack Byfield lost his left arm in the War of 1812; his life sheds light on post-war re-integration.
15 Jan 2026 12:01am GMT
14 Jan 2026
OSnews
Just the Browser: scripts to remove all the crap from your browser
Are you a normal person and thus sick of all the nonsensical, non-browser stuff browser makers keep adding to your browser, but for whatever reason you don't want to or cannot switch to one of the forks of your browser of choice? Just the Browser helps you remove AI features, telemetry data reporting, sponsored content, product integrations, and other annoyances from desktop web browsers. The goal is to give you "just the browser" and nothing else, using hidden settings in web browsers intended for companies and other organizations. This project includes configuration files for popular web browsers, documentation for installing and modifying them, and easy installation scripts. Everything is open-source on GitHub. ↫ Just The Browser's website It comes in the form of scripts for Windows, Linux, or macOS, and can be used for Google Chrome, Microsoft Edge, and Mozilla Firefox. It's all open source so you can check the scripts for yourself, but there are also manual guides for each browser if you're not too keen on running an unknown script. The changes won't be erased by updates, unless the specific settings and configuration flags used are actually removed or altered by the browser makers. That's all there's to it - a very straightforward tool.
14 Jan 2026 12:42am GMT
Haiku’s 6th beta is getting closer, but you really don’t need to wait if you want to try Haiku
Despite December being the holiday month, Haiku's developers got a lot of things done. A welcome addition for those of us who regularly install Haiku on EFI systems is a tool in the installer that will copy the EFI loader to the EFI system partition, so fewer manual steps are needed on EFI systems. Support for touchpads from Elantech has also been improved, and the FreeBSD driver compatibility layer and all of its Ethernet and WiFi drivers have been updated to match the recent FreeBSD 15 release. Of course, there's also the usual long list of smaller fixes, improvements, and changes. As for a new release milestone, beta 6 seems to be on the way. Not quite. There has been some discussion on the mailing list as the ticket list gets smaller, but there's still at least some more regressions that need to be fixed. But it looks like we'll be starting the release process in the next month or two, most likely… ↫ Haiku's December 2025 activity report To be fair, though, Haiku's nightly releases are more than able to serve their duties, and waiting for a specific release if you're interested in trying out Haiku is really not needed. Just grab the latest nightly, follow the installation instructions, and you're good to go. The operating system supports updating itself, so you'll most likely won't need to reinstall nightlies all the time.
14 Jan 2026 12:30am GMT
13 Jan 2026
OSnews
Can you turn Windows 95’s Windows 3.10-based pre-install environment into a full desktop without using Microsoft products?
It's no secret that the Windows 95 installer uses a heavily stripped-down Windows 3.10 runtime, but what can you actually do with it? How far can you take this runtime? Can it run Photoshop? It is a long-standing tradition for Microsoft to use a runtime copy of Windows as a part of Windows Setup. But the copy is so stripped-down, it cannot run anything but the setup program (winsetup.bin). OR IS IT? A mini-challenge for myself: create a semi-working desktop only based on runtime Windows 3.10 shipped with Windows 95 installer but not using any other Microsoft products. ↫ Nina Kalinina A crucial limitation here is that Kalinina is not allowing herself to use any additional Microsoft products, so the easy route of just copying missing DLLs and other files from a Windows 95 disk or whatever is not available to her; she has to source any needed files from other sources. This may seem impossible, but during those days, tons of Windows (and even DOS) applications would ship with various Microsoft DLLs included, so there are definitely places to get Windows DLLs that aren't coming directly from Microsoft. As an example, since there's no shell of any kind included in the stripped-down Windows 3.10 runtime, Kalinina tried Calmira and WinBar, which won't work without a few DLLs. Where to get them if you can't get them straight from Microsoft? Well, it turns out programs compiled with later version of MSVC would include several of these needed DLLs, and AutoCad R12 was one of them. WinBar would now start and work, and while Calmira would install, it didn't work because it needs the Windows Multimedia Subsystem, which don't seem to be included in anything non-Microsoft. It turns out you can take this approach remarkably far. Things like Calculator and Notepad will work, but Pain or Paintbrush will not. Larger, more complex applications work too - Photoshop 2.5.1 works, as does Netscape, but without any networking stack, it's a little bit moot. Even Calmira XP eventually runs, as some needed DLLs are found inside "Mom For Windows 2.0", at which point the installation starts to look and feel a lot like a regular Windows 3.x installation, minus things like settings panels and a bunch of default applications. Is this useful? Probably not, but who cares - it's an awesome trick, and that alone makes it a worthwhile effort.
13 Jan 2026 9:00pm GMT
11 Jan 2026
Planet Arch Linux
Verify Arch Linux artifacts using VOA/OpenPGP
In the recent blog post on the work funded by Sovereign Tech Fund (STF), we provided an overview of the "File Hierarchy for the Verification of OS Artifacts" (VOA) and the voa project as its reference implementation. VOA is a generic framework for verifying any kind of distribution artifacts (i.e. files) using arbitrary signature verification technologies. The voa CLI ⌨️ The voa project offers the voa(1) command line interface (CLI) which makes use of the voa(5) configuration file format for technology backends. It is recommended to read the respective man pages to get …
11 Jan 2026 12:00am GMT
10 Jan 2026
Planet Arch Linux
A year of work on the ALPM project
In 2024 the Sovereign Tech Fund (STF) started funding work on the ALPM project, which provides a Rust-based framework for Arch Linux Package Management. Refer to the project's FAQ and mission statement to learn more about the relation to the tooling currently in use on Arch Linux. The funding has now concluded, but over the time of 15 months allowed us to create various tools and integrations that we will highlight in the following sections. We have worked on six milestones with focus on various aspects of the package management ecosystem, ranging from formalizing, parsing and writing of …
10 Jan 2026 12:00am GMT
09 Jan 2026
Planet Arch Linux
Drawing ASCII-art using pwd and a DNS
Did you know you can have newlines in pathnames? The design is very human and this absolutely doesn't have any unforeseen consequences! Also a friendly reminder that you can store anything on a nameserver if you try hard enough.
Originally posted by me on donotsta.re (2025-12-23)
09 Jan 2026 12:00am GMT