Feed aggregator

A new DARPA project called expMath "aims to jumpstart math innovation with the help of AI," writes The Register. America's "Defense Advanced Research Projects Agency" believes mathematics isn't advancing fast enough, according to their article... So to accelerate — or "exponentiate" — the rate of mathematical research, DARPA this week held a Proposers Day event to engage with the technical community in the hope that attendees will prepare proposals to submit once the actual Broad Agency Announcement solicitation goes out... [T]he problem is that AI just isn't very smart. It can do high school-level math but not high-level math. [One slide from DARPA program manager Patrick Shafto noted that OpenAI o1 "continues to abjectly fail at basic math despite claims of reasoning capabilities."] Nonetheless, expMath's goal is to make AI models capable of: - auto decomposition — automatically decompose natural language statements into reusable natural language lemmas (a proven statement used to prove other statements); and auto(in)formalization — translate the natural language lemma into a formal proof and then translate the proof back to natural language. "How must faster with technology advance with AI agents solving new mathematical proofs?" asks former DARPA research scientist Robin Rowe (also long-time Slashdot reader robinsrowe): DARPA says that "The goal of Exponentiating Mathematics is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions." Rowe is cited in the article as the founder/CEO of an AI research institute named "Fountain Adobe". (He tells The Register that "It's an indication of DARPA's concern about how tough this may be that it's a three-year program. That's not normal for DARPA.") Rowe is optimistic. "I think we're going to kill it, honestly. I think it's not going to take three years. But I think it might take three years to do it with LLMs. So then the question becomes, how radical is everybody willing to be?" "We will robustly engage with the math and AI communities toward fundamentally reshaping the practice of mathematics by mathematicians," explains the project's home page. They've already uploaded an hour-long video of their Proposers Day event. "It's very unclear that current AI systems can succeed at this task..." program manager Shafto says in a short video introducing the project. But... "There's a lot of enthusiasm in the math community for the possibility of changes in the way mathematics is practiced. It opens up fundamentally new things for mathematicians. But of course, they're not AI researchers. One of the motivations for this program is to bring together two different communities — the people who are working on AI for mathematics, and the people who are doing mathematics — so that we're solving the same problem. At its core, it's a very hard and rather technical problem. And this is DARPA's bread-and-butter, is to sort of try to change the world. And I think this has the potential to do that.

Read more of this story at Slashdot.

Remember First Light Fusion? Founded in 2011, it was a pioneering British startup that in 2022 "successfully combined atomic nuclei, which U.K. regulators called a milestone in the decades-long push for fusion energy. It's now "pulled the plug on plans to build its first reactor," reports the Telegraph, abandoning its push for a prototype power plant based on its "projectile fusion" technology due to a lack of funding. The technology involves a 5p-sized projectile being fired at a fuel cell at extreme speeds using electromagnets to generate a powerful reaction and simulate collisions at extremely high speeds, such as those in space. Instead of building its own plant, First Light plans to supply other nuclear power companies with one of its inventions, called an "amplifier", which houses a nuclear fuel capsule and boosts the power of fusion reactions. The group has burned through tens of millions of pounds trying to bring its technology to fruition... The decision to ditch its original plan will allow First Light Fusion to be more "capital light", the nuclear group said in March, while licensing its inventions would generate more revenues. The company said it had recently secured the first tranche of a new funding round. Mark Thomas, First Light Fusion's chief executive, said: "We have been very pleased with the response to our strategy pivot, moving to an enabler of inertial fusion while rapidly accelerating revenues... First Light Fusion's other investors include Chinese technology giant Tencent.

Read more of this story at Slashdot.

YouTuber PewDiePie Switches to Linux  WebProNews

The DistroWatch news feed is brought to you by TUXEDO COMPUTERS. This week in DistroWatch Weekly:
Review: Ubuntu MATE 25.04
News: CachyOS ships OCCT stress testing tool, Debian enters soft freeze and elects Project Leader, Fedora discusses removing X11 session from GNOME, Murena planning business services, NetBSD running on a Wii
Questions and answers: What is missing from the Linux ecosystem?
Released....

The DistroWatch news feed is brought to you by TUXEDO COMPUTERS. The OpenBSD team have released OpenBSD 7.7. The project, which places a high priority on secure code and correct documentation, has improved performance in out of memory situations, improved hybernate support, and interoduced new userland features: "Various new userland features: Numerous changes to make the imsg API stricter....

9to5Linux Weekly Roundup: April 27th, 2025  9to5Linux

A Simple Way to Install Talos Linux on Any Machine, with Any Provider  Linux.com

Its goal was to "support workers to reclaim the power of future-making". A 2022 pilot project saw over 25 Amazon workers meeting online "to discuss how science fiction shed light on their working conditions and futures." 13 of them then continued meeting regularly in 2023 with the "Worker as Futurist" project (funded by Canada's Social Sciences and Humanities Research Council, according to an article by the project's leaders in the socialist magazine Jacobin). "Our team of scholars, teachers, writers, and activists has been able to pay Amazon workers (warehouse workers, drivers, copy editors, MTurk workers, and more) to participate in a series of skill-building writing workshops and information sessions...." And when it was over, "the participants were supported to draft the stories they wanted to tell about The World After Amazon...." Six months ago they held the big launch event for the book's print edition, while also promising that "you can read the workers' stories online, or download the book as a PDF or an ebook, all for free." The Amazon-worker stories have tempting titles like "The Museum of Prime", "The Dark Side of Convenience", and even "The Iron Uprising." ("In a dystopian future of corporate power, humans and robots come together in resistance and in love.") And the project also created a 13-episode podcast offering "interviews with experts on Amazon, activists and organizers, science fiction writers and others dedicated to reclaiming the future from corporate control." As they wrote in Jacbon: This isn't finding individual commercial or literary success, but dignity, imagination, and common struggle... Our "Worker as Futurist" project returns the power of the speculative to workers, in the name of discovering something new about capitalism and the struggle for something different... We must envision the futures we want in order to mobilize and fight for them together, rather than cede that future to those who would turn the stars into their own private sandbox... The rank-and-file worker — the target of daily exploitation, forced to build their boss's utopia — may have encrypted within them the key to destroying his world and building a new one.

Read more of this story at Slashdot.

Linux 6.15-rc4 Released With Performance Regression Fix, Corrected Bcachefs Case Folding  Phoronix

An anonymous reader shared this report from Reuters: The secretive Russian satellite in space that U.S. officials believe is connected to a nuclear anti-satellite weapon program has appeared to be spinning uncontrollably, suggesting it may no longer be functioning in what could be a setback for Moscow's space weapon efforts, according to U.S. analysts... [The Cosmos 2553 satellite launched in 2022] has had various bouts of what appears to be errant spinning over the past year, according to Doppler radar data from space-tracking firm LeoLabs and optical data from Slingshot Aerospace shared with Reuters. Believed to be a radar satellite for Russian intelligence as well as a radiation testing platform, the satellite last year became the center of U.S. allegations that Russia for years has been developing a nuclear weapon capable of destroying entire satellite networks, such as SpaceX's vast Starlink internet system that Ukrainian troops have been using. U.S. officials assess Cosmos 2553's purpose, though not itself a weapon, is to aid Russia's development of a nuclear anti-satellite weapon. Russia has denied it is developing such a weapon and says Cosmos 2553 is for research purposes.... "This observation strongly suggests the satellite is no longer operational," the Center for Strategic and International Studies, a Washington-based think tank, said of LeoLabs' analysis in its annual Space Threat Assessment published on Friday.

Read more of this story at Slashdot.

What can you build with a 3D printer? Starbucks just printed itself a new store — a drive-through location in the southern tip of Texas. Fast Company says it's a store that "looks more like the future of construction than your average café." Built with layers of concrete piped out by a giant robotic printer, the 1,400-square-foot structure is part of the company's ongoing effort to modernize operations and trim costs... Peri-3D, a German company, used a giant 3D printer to pump out layers of concrete mixture to create the structure. According to the Texas Department of Licensing and Regulation, the cost for building the small scale coffee shop was about $1.2 million... Of course, the new method is a first for the brand. And builders say, the more they use the technology, the more efficient they are at it. In Georgetown, Texas, an entire community of 100 homes was recently built using 3D-printing. The company who built the community, Lennar, says they're seeing costs drop with each build. Stuart Miller, chairman and co-CEO of Lennar, told CNBC earlier this year that the construction company says their costs and cycle time go down "by half" by adopting 3D-printing. "This is significant improvement in evolving a housing market that has the ability to change over time and being more adaptable and more functional in providing affordable and attainable housing for a broader swath of the market," said Miller... 3D-printing is also much faster, meaning that projects can be completed in a fraction of the time, potentially drastically cutting labor costs. According to the World Economic Forum, 3D-printing can cost just 30% of what building structures the old-fashioned way costs. The article offers more examples of 3D-printed buildings. ("in Japan, a 3D-printed train station was just erected. And Peri-3D, itself, has completed at least 15 construction projects, including residential buildings in Europe and Germany.") 3D-printing has even been incorporated into some restaurants for customizing food, the article notes, "but building restaurants with the technology is a brand-new development." Although not everyone seems convinced. Instagram comments on a picture of Starbucks' new 3D-printed drive-through characterized its aesthetic as "dirty", "fugly", "violently hideous", and "like hot garbage".

Read more of this story at Slashdot.

Update for Rent Day 5/1. For Rent Day on 5/1, Bilt Rewards is offering the following additional perks. If you are a renter, this program offers steady stream of free monthly points and a variety of promotional perks. They also recently announced a change to their rent payment system that adds a pre-approval step in the app (probably to counter fraud, but they tease that points for mortgage payments are coming…).

On May 1st only, Bilt is offering a transfer bonus to Southwest Rapid Rewards, which is also a new transfer partner for them. Blue gets a 25% bonus (1,000 Bilt points = 1,250 Avios). Silver gets a 50% bonus (1,000 Bilt points = 1,500 Avios). Gold gets a 75% bonus (1,000 Bilt points = 1,750 Avios). Platinum gets a 100% bonus (1,000 Bilt points = 2,000 Avios).

Rent Day always means their 2X double points promo where you can get 6X on dining, 4X on travel, and 2X on other purchases (except rent). There is a cap of 1,000 bonus points.

You can still earn lots of Bilt points just for paying monthly rent to any landlord with no transaction fees, which is their most important feature. I don’t know the status of all the other smaller bonuses listed below for new customers.

Just joined recently? Look for these free Bilt Points opportunities (any day). Bilt lets you earn bonus points for a variety of different small activities, which can add up to 1,000+ easy points. I don’t know if these are officially listed anywhere, but I got them.

• After I first got approved for the Bilt card, they offered me 5X Bilt points on all purchases (except rent) for a limited period of time (reader Eileen reports 5 days). This is a good opportunity to earn 5X points for everyday larger purchases like insurance, tax payment, charitable giving, or utility bills. Max 50,000 points.
• 100 points for linking each transfer partner. Link Hyatt? 100 points. Link Air Canada Aeroplan? 100 points. Link them all! 10+ partners = 1,000+ points.
• 500 points for Amazon Shop with Points. Link your Amazon account and you can buy stuff with Bilt points at the usual mediocre 0.7 cents per points value. Linking gets you 250 points, and using the program (spend at least 1 Bilt point) and get another 250 Bilt points.
• 100 points for each credit card linked to Bilt Dining (up to 300 points). Bilt Dining lets you earn 5X points per dollar when you pay at an eligible restaurant using a linked credit card. Link three different credit cards, get 300 Bilt points.

Important reminder: You must use your card to make 5 purchases (of any amount) each statement period to earn points.

Full review:

The updated Bilt Mastercard is a unique credit card that earns rewards on rent payments to any landlord. Bilt is a rent payment platform and they will send your landlord a check or ACH bank transfer so that your landlord will not have to do anything. The credit card itself is issued by Wells Fargo. Bilt has bonus categories and a variety of points redemption options like many other rewards credit cards. Here are the highlights:

• Up to 1X points spent on rent payments without the transaction fee, up to 100,000 points each calendar year.
• 3X points on dining.
• 2X points on travel including hotels, rental cars, and cruises when booked directly with airlines, hotels, and car rental agencies.
• 1X points on other purchases.
• Earn points when you make 5 transactions that post each statement period.
• When renting at a Bilt Alliance property, you can choose to have your rent payments automatically reported by Bilt to the three major credit bureaus each month; Experian(TM), TransUnion(TM), and Equifax(TM).
• No annual fee.
• World Elite Mastercard perks like cell phone insurance and purchase protection.

That means your rent can be up to $100,000 per year ($8,333 per month) and you would still be able to take full advantage of the 1X points per dollar spent on rent payments. They do require you to make at least 5 transactions per month (rent can be one), otherwise too many people might just put their rent on the card and not use the card otherwise.

Bilt has partnered with the owners of over 2,000,000 apartment units to create the Bilt Rewards Alliance. The easiest way is find out if you live in a qualifying property is to simply type in your address into the Bilt app.

Bilt also offers Double Points on “Rent Day”, aka the 1st of every month. This means that on the 1st day of every month, you can get 6X on dining, 4X on travel, and 2X on other purchases(except rent). They also offer other promos on this day.

Bilt Rewards Points redemption options

Travel partners. Bilt Rewards points transfer on a 1:1 basis to the following hotel and airline partners. You can also get 100 bonus points for every loyalty program you link to Bilt.

• Alaska Airlines Mileage Plan (NEW)
• Air Canada Aeroplan
• United Airlines
• Hawaiian Airlines
• FlyingBlue (Air France/KLM)
• Miles & Smiles (Turkish Airlines)
• Emirates Skywards
• Cathay Pacific Asia Miles
• British Airways Executive Club
• Virgin Atlantic Flying Club
• Aer Lingus Aer Club
• Turkish Miles & Smiles
• Iberia Plus
• TAP Air Portugal
• World of Hyatt
• IHG One
• Accor ALL

Hyatt hotel points, Alaska, United, and Hawaiian miles are likely the most useful points for the average US traveler. I am conservative when valuing points and miles due to their redemption hassles and steady threat of devaluation, so I would place the value here a 1 cent a point even though I definitely plan to exceed that. You may wish to use a different value.

Home Downpayment? Bilt says that your points can be redeemed at 1.5 cents per point when used towards a home downpayment. This seems like it might be rather complicated to actually redeem, so I would keep it mind but wouldn’t count on it. If you racked up 100,000 points over time, it would be nice to have $1,500 via this method.

Shop with Points at Amazon. You can link your Bilt Rewards points to Amazon and pay for your purchases at rate of 0.70 cents per point.

Rent. Bilt will let you convert points towards your next rent payment at 0.55 cents per point. This is not a good redemption rate when compared to the miles/Hyatt option. It’s too bad there is no easy, decent cash-out option.

Statement credit. Bilt will also let you convert points towards a statement credit on your credit card statement at 0.55 cents per point.

Other options include fitness classes or physical items like “limited-edition” home decor or art in the “Bilt Collection” catalog. Personally, I like being able to add to my Hyatt and Canada Aeroplan stash.

Possibly help your credit score? When renting at a Bilt Alliance property, your on-time payment activity can be automatically reported to the three major credit bureaus. In addition, with the optional “BiltProtect” feature, your rent payments will be immediately withdrawn from a linked bank account so your credit limit is not decreased (and ideally your rent won’t contribute to your credit card debt).

How do I pay my landlord or property manager? They don’t take credit cards due to the transaction fees. Bilt will provide you with a bank ACH routing number and account number that you can use to perform an ACH transfer, or they will simply send a paper check on your behalf. In March 2025, Bilt added a pre-authorization step that you have to do first in the Bilt app. After that they will provide you new routing and account numbers. You don’t actually pay with the credit card, nor do you or your landlord have to pay any credit card transaction fees.

1. Pre-authorize your payment in the Bilt app (before you pay rent)
Each month, pre-authorize your rent payment from the Bilt app, up to five (5) days before paying rent.
Select your rent amount and payment method.
Use your Bilt Mastercard® for your usual rewards and waived fees, or
Use any other credit/debit card to earn both Bilt Points AND your card’s rewards.
First time only: You’ll receive your BillPay by Bilt routing and account numbers. Add these to your property’s payment portal, replacing your old Rent Rewards account details.
Optional: After setting up BillPay, you can enable auto-authorization under ‘Rent Payment Options’ by selecting the day of the month and payment amount you want automatically authorized each month.

Free cell phone protection. Pay your monthly cell phone bill with your Bilt Mastercard and get up to $800 of protection (subject to $25 deductible) against covered damage or theft. For complete coverage details, visit wellsfargo.com/biltbenefits. To file a claim, call 1-800-316-8051 or visit mycardbenefits.assurant.com.

Bottom line. The Bilt Mastercard offers a unique rewards structure targeted specifically at all renters with any landlord. At $2,000 a month in rent, the 1X rewards would add up to 24,000 points per year in rewards = 24,000 Alaska/United/Hawaiian miles or 24,000 Hyatt points with no additional transaction fees and no credit card annual fee. You may even do better if you wait for a “Rent Day” promo on the first of the month. Something to consider if you already have to pay rent anyway.

7 Linux distros you should avoid until you've mastered the command line  ZDNET

Microsoft Copilot "isn't doing as well as the company would like," reports XDA-Developers.com (citing a report from startup/VC industry site Newcomer). The Redmond giant has invested billions of dollars and a lot of manpower into making it happen, but as a recent report claims, people just don't care. In fact, if the report is to be believed, Microsoft's rise in the AI scene has already come to a screeching halt: At Microsoft's annual executive huddle last month, the company's chief financial officer, Amy Hood, put up a slide that charted the number of users for its Copilot consumer AI tool over the past year. It was essentially a flat line, showing around 20 million weekly users. On the same slide was another line showing ChatGPT's growth over the same period, arching ever upward toward 400 million weekly users. OpenAI's iconic chatbot was soaring, while Microsoft's best hope for a mass-adoption AI tool was idling. It was a sobering chart for Microsoft's consumer AI team... That's right; Microsoft Copilot's weekly user base is only 5% of the number of people who use ChatGPT, and it's not increasing. It's also worth noting that there are approximately 1.5 billion Windows users worldwide, which means just over 1% of them are using Copilot, a tool that's now a Windows default app.... It's not a huge surprise that Copilot is faltering. Despite Microsoft's CEO claiming that Copilot will become "the next Start button", the company has had to backtrack on the Copilot key and allow people to customise it to do something else, including giving back its original feature of the Menu key. They also note earlier reports that Intel's AI PC chips aren't selling well.

Read more of this story at Slashdot.

5 ways to use the Linux terminal on your Android phone - including my favorite  ZDNET

Linux Has A Blind Spot That Exposes Users To A Nasty Security Flaw  HotHardware

"Google's DeepMind UK team reportedly seeks to unionize," reports TechCrunch: Around 300 London-based members of Google's AI-focused DeepMind team are seeking to unionize with the Communication Workers Union, according to a Financial Times report that cites three people involved with the unionization effort. These DeepMind employees are reportedly unhappy about Google's decision to remove a pledge not to use AI for weapons or surveillance from its website. They're also concerned about the company's work with the Israeli military, including a $1.2 billion cloud computing contract that has prompted protests elsewhere at Google. At least five DeepMind employees quit, according to the report (out of a 2,000 total U.K. staff members). "A small group of around 200 employees of Google and its parent company Alphabet previously announced that they were unionizing," the article adds, "though as a union representing just a tiny slice of the total Google workforce, it lacked the ability to collectively bargain."

Read more of this story at Slashdot.

"Not so long ago, working in tech meant job security, extravagant perks and a bring-your-whole-self-to-the-office ethos rare in other industries," writes the Wall Street Journal. But now tech work "looks like a regular job," with workers "contending with the constant fear of layoffs, longer hours and an ever-growing list of responsibilities for the same pay." Now employees find themselves doing the work of multiple laid-off colleagues. Some have lost jobs only to be rehired into positions that aren't eligible for raises or stock grants. Changing jobs used to be a surefire way to secure a raise; these days, asking for more money can lead to a job offer being withdrawn. The shift in tech has been building slowly. For years, demand for workers outstripped supply, a dynamic that peaked during the Covid-19 pandemic. Big tech companies like Meta and Salesforce admitted they brought on too many employees. The ensuing downturn included mass layoffs that started in 2022... [S]ome longtime tech employees say they no longer recognize the companies they work for. Management has become more focused on delivering the results Wall Street expects. Revenue remains strong for tech giants, but they're pouring resources into costly AI infrastructure, putting pressure on cash flow. With the industry all grown up, a heads-down, keep-quiet mentality has taken root, workers say... Tech workers are still well-paid compared with other sectors, but currently there's a split in the industry. Those working in AI — and especially those with Ph.D.s — are seeing their compensation packages soar. But those without AI experience are finding they're better off staying where they are, because companies aren't paying what they were a few years ago. Other excepts from the Wall Street Journal's article: "I'm hearing of people having 30 direct reports," says David Markley, who spent seven years at Amazon and is now an executive coach for workers at large tech companies. "It's not because the companies don't have the money. In a lot of ways, it's because of AI and the narratives out there about how collapsing the organization is better...." In some cases, companies post record revenue while still trimming head count. Google co-founder Sergey Brin told a group of employees in February that 60 hours a week was the sweet spot of productivity, in comments reported earlier by the New York Times. One recruiter at Meta who had been laid off by the company was rehired into her old role last year, but with a catch: She's now classified as a "short-term employee." Her contract is eligible for renewal, but she doesn't get merit pay increases, promotions or stock. The recruiter says she's responsible for a volume of work that used to be spread among several people. The company refers to being loaded with such additional responsibilities as "agility." More than 50,000 tech workers from over 100 companies have been laid off in 2025, according to Layoffs.fyi, a website that tracks job cuts and crowdsources lists of laid off workers... Even before those 50,000 layoffs in 2025, Silicon Valley's Mercury News was citing some interesting statistics from economic research/consulting firm Beacon Economics. In 2020, 2021 and 2022, the San Francisco Bay Area added 74,700 tech jobs But then in 2023 and 2024 the industry had slashed even more tech jobs -- 80,200 -- for a net loss (over five years) of 5,500. So is there really a cutback in perks and a fear of layoffs that's casting a pall over the industry? share your own thoughts and experiences in the comments. Do you agree with the picture that's being painted by the Wall Street Journal? They told their readers that tech workers are now "just like the rest of us: miserable at work."

Read more of this story at Slashdot.

5 Reasons to Replace SteamOS With Bazzite (& 3 Reasons Not To)  How-To Geek

Commodore OS Vision 3.0 Linux-based OS arrives to spruce up retro builds  Tom's Hardware