OpenAI’s Astra Solved Decades-Old Math Problems For $2,000
An anonymous reader quotes a report from Forbes: The cost of producing new results on ten longstanding mathematical problems just fell to $2,000, according to OpenAI, which says its Astra model generated machine-checkable proofs for questions that had resisted human progress for decades. OpenAI published the work on August 1 and used it to give its next majo … ⌘ Read more
TFC2: The Fertile Crescent 2 - Collapse of The Bronze Age RTS arrives August 18
TFC2: The Fertile Crescent 2 - Collapse of The Bronze Age is a very promising looking classic real-time strategy game that’s set now to arrive on August 18th.
Read the full article on [GamingOnLinux](https://www.gamingonlinux.com/2026/08/tfc2-the-fertile-crescent-2-collapse-of-the- … ⌘ Read more
Adventure game Thimbleweed Park 2 announced
While details on it are quite light as we’ve only got the first announcement of it coming, Thimbleweed Park 2 is real and coming sometime in 2028.
Read the full article on GamingOnLinux. ⌘ Read more
Linux 7.2-rc6 Released: “This RC Is Huge”
Like clockwork, the Linux 7.2-rc6 kernel is now available for testing in working toward the stable Linux 7.2 kernel in hopefully two week’s time… ⌘ Read more
I’m still on a deckbuilding kick, so I was thrilled that we managed to get 3 games of Magic in last night.
In game 1, my Marvel Villains deck couldn’t stand up to Doctor Who’s Missy and her army of Cybermen (and Daleks). Since someone else was playing a dark lord Sauron deck, I guess that means she’s even more “villainous” that anything Marvel or Tolkien could offer.
For game 2, I ran my Guardians of the Multiverse deck (formerly known as The B-Vengers or Marvel Heroes 2: Electric Bugaloo). It was working well, and I had quite an army going, but I was still one turn from a win when an opponent’s tribal elf deck went off, killing everyone with 19 19/19 forest-walking elves. ¯_(ツ)_/¯
Then in game 3, I ran my Avengers deck, and finally got the win thanks to a Heroes’ Podium, a pair of Hawkeyes, and a flying, shield-wielding Captain America. Assemble, indeed.
Last night will likely be my final Marvel-only game night for a while. I still need to test the decks out some more, but they’re basically complete (I don’t currently plan on adding any more cards to them). Plus, while I’m on this kick, I’d like to finally finish my Sauron deck, and I’ve got some cards on order for both a Dune-themed deck and a couple of decks inspired by the old-school Beatdown Box.
Ubuntu Touch Making Progress Toward Ubuntu 26.04, Vulkan & App Updates
Following last week’s release of Ubuntu Touch 24.04-2.0 for this community-maintained, mobile flavor of Ubuntu Linux, more details are now available on their upcoming development efforts and eventual transition to an Ubuntu 26.04 base… ⌘ Read more
Linux 7.2-rc6 Fixes Some AMD Zen 5 CPUs Being Mistakenly Identified As Zen 6
Today’s batch of x86 fixes for the kernel ahead of the Linux 7.2-rc6 release later in the day addresses some AMD Zen 5 processors mistakenly being classified as Zen 6… ⌘ Read more
↳
In-reply-to
»
I finally built a prototype of a marking gauge with a cutter wheel out of some scraps.
⤋ Read More
@david@daiwei.me Thanks, mate! I just finished my two full version marking gauges. And I’m rather pleased with them, I think they turned out great if I say so myself.
https://lyse.isobeef.org/tmp/streichmass-mit-messerrad/
The beech fences (80 and 100mm long) were part of a former table frame that I cut down. I plugged the dowel holes with, well, dowels. The horrific looking one was the stuck original one, though. Luckily, it’s a hell lot worse on camera than in person. If you take a close look, you’ll also be able to see the large but slight chamfers one one side each that I just left alone.
I really like beech wood. It looks beautiful, is rather heavy (at least in comparison to spruce which I typically use) and thus rock solid, is also a blast to plane and the list goes on. I sanded it with 180 grit and it’s smooth as a baby’s bottom.
The 25mm beech round stocks that house the brass knurled nuts are now roughly 4cm long. That’s one thing I wanted to change right after my first experience. If they were rounded or chamfered more, it would probably be even nicer for the fingers when using the marking gauge. They’re sunken in roughly 3mm in the fences. A forstner bit made quick work. This simplified alignment during glue-up a lot. Will definitely do that again if I happen to build more. I could fully concentrate on the grain orientation and it didn’t shift around.
Just like in the prototype, I used 8mm aluminium solid round bar again for one of the marking gauges. It’s also about 15cm in length. I figure that’s enough. The bought marking gauge has a twenty-something and some change steel rod. So far, all my markings didn’t even exceed probably 50mm.
I found the 8mm brass pipe laying around on the workshop. Didn’t know anymore I had it for ages. Unfortunately, the wall thickness is below a millimeter, so my 6mm wooden dowels are sliding in there. Thus, I put 8mm dowels in my drill chuck and reduced the diameter with a rasp. I went a tiny bit too far, the press fit is on the loose side. When drilling with a 2mm drill (I did that on purpose to hopefully cause the dowel to expand a bit more in the pipe, typically the tap hole for M3 is 2.5mm) and tapping M3, the downsized and glued in dowel slipped down the pipe. Should have used construction adhesive or something along those lines. Anyway, I might replace it with a solid one. I consider this a half-successful experiment. I fear that an unfavorable grain direction might pull out the cutting wheel during use. Let’s see.
The finish of all three is boiled linseed oil. It looks nice, but oh by, this smell. I really dislike it. My hands stink even after washing them several times. I still got several liters left, so I have the dubious joy to use it on many, many other projects to come.
Oh, one last thing. Didn’t manage to drill the tiny holes for my M3x16 bolts perfectly in center like for the prototype. They’re a tiny bit off. Also, on the longer fenced marking gauge, the hole for the knurled nut is a little to the side and at an angle. No idea how I messed this up. Luckily, it’s just a look thing but doesn’t impair use.
Linux 7.2-rc6 Working Around Several Buggy Western Digital SATA Drives
Merged ahead of tomorrow’s Linux 7.2-rc6 kernel test release are several ATA fixes that include a number of device-specific workarounds for some Western Digital SATA drives that have been failing to work on recent versions of the Linux kernel… ⌘ Read more
Picolibc 1.8.12 Brings Latest Improvements To This Embedded-Focused C Library
If the recent release of the GNU C Library glibc 2.44 is too big for your embedded use-cases, Keith Packard continues hacking on Picolibc as his embedded-focused C library. Released overnight was Picolibc 1.8.12 with a variety of improvements for this embedded libc… ⌘ Read more
Drifting SpaceX Rocket Heading For Accidental Collision With the Moon
“Space.com and The Guardian are reporting that the Falcon 9 upper stage leftover from the launch of the Firefly Blue Ghost-1 lander on Jan. 15, 2025 is due to impact the Moon on Aug. 5, 2026,” writes longtime Slashdot reader fahrbot-bot. From a report: Onboard the same flight was the Hakuto-R Mission 2, called Resilience, a robotic l … ⌘ Read more
New Google Earth AI Tool Could Fuel Misinformation, Experts Say
Google has integrated its Nano Banana 2 image generator into Google Earth, allowing users to place AI-generated events and objects onto real satellite imagery. The company says its AI-generated images contain invisible watermarks detectable through Gemini or Lens, but the BBC found those safeguards and some third-party detection tools can be fooled … ⌘ Read more
Sound Fixes For Linux 7.2-rc6: “Far Larger Than Wished”
Linux sound subsystem maintainer Takashi Iwai of SUSE previously warned of many sound driver fixes due to AI/LLMs and a “new normal” of patch activity as a result. While we are approaching the end of the Linux 7.2 merge window with the stable release coming up in August, the sound patches continue trending higher and this week were “far larger than wished” ahead of Linux 7.2-rc6 due out on Sunday… ⌘ Read more
AMD Posts Linux Patches For HDMI 2.1 Auto Low-Latency Mode “ALLM” & VRR
Following AMD posting AMDGPU patches for HDMI 2.1 FRL support after the HDMI 2.1 open-source support was long blocked by the HDMI Forum, as part of working toward a complete HDMI 2.1 implementation in this AMD Linux driver it was followed by HDMI 2.1 Display Stream Compression (DSC) support. Now the latest on the AMDGPU HDMI 2.1 enabling path is enabling Auto Low-Latency Mode (ALLM) as well as HDMI Variable Rate Refresh!.. ⌘ Read more
There’s Finally A New Game Powered By The Unigine 2 Engine
It’s been about a decade since seeing any new games released on the visually-impressive, Linux-friendly Unigine Engine. Unigine Corp has mostly been focusing on Unigine Engine usage for simulations and other professional applications, but coming as a surprise today is a new game being developed on their latest Unigine 2 engine technology… ⌘ Read more
Google’s Gemini Can Now Stomp Around as a Humanoid Robot
Google DeepMind’s Gemini Robotics 2 combines vision, language, and action models to control multiple types of robots, including humanoids performing tasks such as organizing shelves, tying bags, and replacing lightbulbs. “It’s another milestone in our path towards really getting towards what we call like physical AGI, which means we get a robot to do anything tha … ⌘ Read more
Valve Sponsors Work Bringing Open-Source RADV Driver To Windows
Valve is funding Collabora’s experimental effort to port the open-source RADV Vulkan driver from Linux to Windows. The team has already demonstrated Counter-Strike 2 running with RADV, but a stable interface or compatibility shim will be needed to handle undocumented driver changes. Phoronix reports: Louis-Francis Ratte-Boulianne put out a blog pos … ⌘ Read more
NextEra, Brookfield to Build $100 Billion Kentucky Data Campus
NextEra and Brookfield plan to invest more than $100 billion to transform a former uranium-enrichment site in Kentucky into a data center campus with a generating plant. “The privately funded effort will include construction of 2 gigawatts of natural gas-fired power at or near the site in Paducah in western Kentucky, and as much as 2.6 gigawatts of … ⌘ Read more
Dreamsend: Wintersong is a 2.5D cyberpunk fantasy strategy RPG worth keeping an eye on
Recently announced by developer Anthony Nguyen, Dreamsend: Wintersong is an indie 2.5D cyberpunk fantasy strategy RPG that looks real interesting.
Read the full article on [GamingOnLinux](https://www.gamingonlinux.com/2026/07/dreamsend-wintersong-is-a-2-5d-cyberpunk- … ⌘ Read more
Review Roundup: Framework Laptop 13 Pro
The review embargo has lifted for the new Framework Laptop 13 Pro, and the consensus across the board is that it is a massive leap forward in terms of build quality and battery life. The main issue reviewers complained about is the sky-high price, with the higher-end model jumping dramatically from $2,100 up to $2,900 due to the memory shortage crisis. (Some note that the price “nearly double … ⌘ Read more
↳
In-reply-to
»
@lyse Ja und auch so: „Raus mit den Entwickler:innen! Das Marketing macht seine Software jetzt mit KI selber!!1!“ Kannste dir alles nich ausdenken. (Jaja, ist natürlich im Moment billiger. Aber diese Kurzsichtigkeit …)
⤋ Read More
Aber Auslöffeln werden es trotzdem wieder ganze andere Leute müssen. Wie immer. Das ist das bittere an der Sache. Trifft immer die Falschen.
Prinzessin Müllabfuhr. Den Namen mache ich mir jetzt zueigen. Mich dagegen wehren kann ich eh nicht. 😐
Kollege meinte mal halb sarkastisch, irgendwann werden Firmen dann wieder Menschen einstellen, weil die billiger sind.
Wir gehen teilweise von Cloud-IaaS-Hostern wieder zurück zu Hardware, weil das billiger, flexibler, schneller ist … Derzeit zumindest. Die Cloud-Hostern kommen mit dem Nachkaufen von RAM nicht hinterher, sodass ständig „die Cloud voll“ ist. (Und, ja, natürlich wird sich darüber heftigst aufgeregt, aber dass das genau am eigenen Verhalten, nämlich der religiösen Liebe zur AI, liegt, merken sie nicht.)
Es ist auch jedes Augenmaß weg. Die „fette“ Kiste mit 64 CPUs, 256 GB RAM und 2 TB Platte wird nach allen Regeln der Kunst vollgekleistert. Irgendein Furz-Workload braucht 24 GB RAM, aber das ist jetzt normal und wird akzeptiert. So ist das jetzt halt.
Fwupd 2.1.7 Released With Many Bug Fixes
Fwupd 2.1.7 is out today as the newest update to this open-source firmware updating utility that pairs with the Linux Vendor Firmware Service (LVFS) for offering a nice firmware upgrade story on Linux systems… ⌘ Read more
S.T.A.L.K.E.R. 2: Cost of Hope DLC releases in August along with a big free upgrade
S.T.A.L.K.E.R. 2: Cost of Hope is the first major expansion for the open-world shooter, with a release date now set for August 20th.
Read the full article on GamingOnLinux. ⌘ Read more
Skate 3 Recomp 2.0 brings native rendering to the PC port of the Xbox classic Skate 3
Skate 3 Recomp 2.0 brings the classic Xbox 360 version of Skate 3 to modern platforms, and now with a modern renderer using Vulkan (or Direct3D on Windows).
Read the full article on [GamingOnLinux](https://www.gamingonlinux.com/2026/07/skate-3-recomp-2-0-brings-native … ⌘ Read more
The awesome crime noir FPS ‘Fallen Aces’ has episode 2 out now
From publisher New Blood Interactive, the wonderful retro crime noir FPS ‘Fallen Aces’ has episode 2 out now.
Read the full article on GamingOnLinux. ⌘ Read more
2.1 Million People View Leaked ‘Odyssey’ Bootleg on X
Variety reports:
“The Odyssey” leaks have begun, as a high-quality bootleg of the film reached millions of people on X thanks to a viral tweet on July 25. At 2:25 p.m. PT, a post on X reading “Someone uploaded ‘The Odyssey’ full movie on X. Can you believe it?” amplified a message from a now-suspended account. The message included a high-quality version of the … ⌘ Read more
‘Inside the Dystopian World of Germany’s Free Speech Crackdown’
Thousands of Germans have been threatened with fines or prison sentences for social media posts, reports The Telegraph, calling the country’s political speech laws “unusually stringent for an EU member state.”
One German had his home raided for calling a minister a “Schwachkopf [dummy]” while another was fined €2,000 (£1,700) for calling Friedrich Me … ⌘ Read more
Linux 7.2-rc5 Released: “Once More We Have Quite A Massive -rc5”
In working toward releasing the stable Linux 7.2 kernel in less than one month’s time, out today is Linux 7.2-rc5 to ship this week’s latest bug/regression fixes and help facilitate more testing of this in-development kernel version… ⌘ Read more
GNU Binutils 2.47 Released With More RISC-V Extensions, New Options
Along with this weekend’s release of GNU C Library 2.44, the GNU Binutils 2.47 release is also now available for this important set of binary utilities common to Linux systems and other platforms with the GNU toolchain… ⌘ Read more
Linux 7.2-rc5 Fixing Longstanding Bug In IPv4 Networking Over Firewire
Firewire still isn’t dead yet on Linux. Current plans call for maintaining IEEE-1394 Firewire on Linux at least through 2029 and with today’s Linux 7.2-rc5 kernel release is a fix for those wanting to leverage IPv4 networking over Firewire… ⌘ Read more
Ubuntu Touch 24.04-2.0 Released With Support For Notches & Rounded Corners
Following last month’s beta release, Ubuntu Touch 24.04-2.0 is now available as the latest feature release for this Ubuntu 24.04 LTS derived mobile operating system for select smartphones and tablets… ⌘ Read more
China is Creating a Herd of 100 Elite Yak Clones
CNN reports on yaks “designed and cloned” in secretive, high-altitude labs in Tibet — 2.4 miles (4,000 meters) above sea level. They’re a critical part of the local economy, and researchers “hope to create an ‘elite’ herd of super-yaks, healthier and more fertile than their predecessors.”
Both domestic yaks and their wild cousins have been facing threats for years, with som … ⌘ Read more
GNU C Library 2.44 Released With /etc/tunables.conf, More Optimizations
GNU developers today released GNU C Library “glibc” 2.44 as the newest feature release for this critical library to modern Linux systems and other platforms… ⌘ Read more
GE-Proton 11-3 brings better OptiScaler integration, AMD FSR4 improvements and lots of game fixes
GE-Proton 11-3 (and 11-2 just before) is a huge release for the popular compatibility layer for SteamOS / Linux.
Read the full article on [GamingOnLinux](https://www.gamingonlinux.com/2026/07/ge-proton-11-3-brings-better-optiscaler-integration-amd-fsr4-impro … ⌘ Read more
↳
In-reply-to
»
Tell me which one of those “plus” icons on this screenshot you can click and which one is just decoration.
⤋ Read More
@lyse@lyse.isobeef.org Bingo!
Oh, yeah, newsboat is good. For this particular use case, I explicitly needed a graphical feed reader, though. 😅 I ended up using Thunderbird, which has its own interesting way of configuring/adding feeds:
https://movq.de/v/a3557e3dc9/vid-1784952576.mp4
Why are feeds categorized as “Mail”? What’s going on with that “Add” button on the left of the dialog? Why does the dialog indicate that there’s a folder called “list-files Recent Commits” which doesn’t really exist in the end? (Why does it take about 1-2 seconds to load 25 feed items?) And so on.
Fedora 45 Looks To Begin Phasing Out In-Kernel Crypto Userspace API
Going along with the upstream Linux 7.2 kernel deprecation of AF_ALG and Linux 7.3 to further restrict this interface for letting user-space programs interact directly with the Linux kernel crypto API, Fedora 45 is looking to follow and help support this transition… ⌘ Read more
Valve puts up a Proton 11.0-2 Release Candidate for testing
Valve have put up a Release Candidate to test the upcoming Proton 11.0-2 update, to fix up more issues found with Windows games on SteamOS / Linux.
Read the full article on GamingOnLinux. ⌘ Read more
Aliens: Fireteam Elite 2 set to arrive August 25
Some explosive co-op action is coming our way, with Aliens: Fireteam Elite 2 getting an August 25th release date announced today.
Read the full article on GamingOnLinux. ⌘ Read more
dav1d 1.5.4 Brings AV1 Decoding To OS/2
While the VideoLAN developers are busy these days working on dav2d for AV2 video decoding, they haven’t let up work on dav1d and recently released dav1d 1.5.4 for continuing to enhance this leading open-source, CPU-based AV1 decoder… ⌘ Read more
KONAMI detail more platform specifications for METAL GEAR SOLID: MASTER COLLECTION Vol.2
METAL GEAR SOLID: MASTER COLLECTION Vol.2 from KONAMI arrives on August 27th, and they’ve now given a bit more detail on what you’ll need for it.
Read the full article on [GamingOnLinux](https://www.gamingonlinux.com/2026/07/konami-detail-more-platform-specifica … ⌘ Read more
↳
In-reply-to
»
Advertise in ChatGPT | Hacker News Seriously?! 😳 wut da actual fuq?! 😱
⤋ Read More
@GabesArcade@gabesarcade.com this sort of tells me two things 1) that enterprises aren’t really engaging with OpenAI and establishing lucrative enough contractual agreements and 2) users aren’t willing to pay for ChatGPT or if they are aren’t willing to pay much more than $20 a month
AMD EPYC Turin With PCIe 5.0 Storage Shows Off Nice Gains On Linux 7.2
Earlier this week was an exciting look at Intel Xe3 graphics performance gains on Linux 7.2 with Intel Core Ultra Series 3 “Panther Lake” hardware. On the other side of the table, with AMD hardware on this forthcoming kernel an area to be excited about are some I/O improvements at least for 5th Gen EPYC with speedy PCIe Gen5 NVMe SSD storage. ⌘ Read more
The “New Normal” Of Audio Quirks Submitted For Linux 7.2-rc5
Linux sound subsystem maintainer Takashi Iwai of SUSE sent out this week’s batch of sound fixes that he describes as “A collection of fixes that have been accumulated recently. The amount is still “new normal”, but all small fixes. Mostly hardware-specific quirks, but including a few core fixes, too.” The “new normal” has been a common phrase recently to reflect the increased tempo of patches as well as security/bug disclosures all due to the increased … ⌘ Read more
Raspberry Pi Touch Display 2 10-Inch Model Launches
Following the launch of the 7-inch Raspberry Pi Touch Display 2 and the 5-inch display variant, Raspberry Pi announced today the addition of a 10-inch model… ⌘ Read more
Cryptsetup 2.8.7 Released To Deal With Fallout Of Linux’s Rushed AF_ALG Deprecation
Linux’s cryptsetup for configuring and managing encrypted storage devices is ready with a new version as the developers work to deal with the recent deprecation of the Linux AF_ALG interface… ⌘ Read more
I finally built a prototype of a marking gauge with a cutter wheel out of some scraps.
https://lyse.isobeef.org/tmp/streichmassprototyp-mit-messerrad/
It had been a long time in coming, I bought some replacement cutting wheels three years ago for exactly that purpose. I also found out that I need more M3 countersink bolts for future marking gauges that I want to make (maybe two or three more). Luckily, I had exactly one. I thought I got way more than that, but M3 is very, very scarce in my collection. My M3 bolt was barely long enough to attach the cutting wheel to the bar. But it’s okay for the prototype.
I was pleasantly surprised that I managed to drill the 2.5mm diameter hole almost perfectly in center in the 8mm diameter aluminium round bar. Center finder, drill press and vise with a vertical prism for the win!
I knew upfront that the M5 steel bolt to lock the bar in place definitely needs to be replaced with a brass or aluminium one (maybe with a knurled head). Otherwise, it cuts into the aluminium bar and leaves ugly marks. These burrs might even scratch the workpiece. But, of course, I don’t have any brass on hand either. Alternatively, I swap out the aluminium bar for a steel or even stainless steel one. Stainless might be tricky to precisely drill and tap, though.
I already learned a few things by making this prototype. The final wooden fence can be even a bit bigger. This round thing behind is also too short, I’d like it to be a tad longer and thicker. The final one will be made from hardwood, not spruce. Other than that, it’s great and already more practical than my store-bought marking gauge with its round fence. This only causes the tool to roll around on the workbench. Or even roll off. Stupid design.
Faugus Launcher 2.0 rolls out with a new UI and many other enhancements
The idea of Faugus Launcher is to provide a reasonably simple game manager for Linux, as an alternative to Lutris and Heroic.
Read the full article on GamingOnLinux. ⌘ Read more
D7VK 2.0 released with more performance fixes for retro Direct3D games on Linux
Love your classic retro games? D7VK 2.0 is out now to bring more performance improvements for running retro Direct3D games on Linux.
Read the full article on [GamingOnLinux](https://www.gamingonlinux.com/2026/07/d7vk-2-0-released-with-more-performance-fixes-for-retro-direct3d-ga … ⌘ Read more
DXVK 3.0.2 brings bug fixes for Dying Light: The Beast, Halo and more on Linux / SteamOS
Direct 3D 8, 9, 10 and 11 to Vulkan layer DXVK has a new bug fix release out, sorting some issues in specific games to make gaming on Linux / SteamOS better.
Read the full article on [GamingOnLinux](https://www.gamingonlinux.com/2026/07/dxvk-3-0-2-brings-bug-fixes-for-dying-light-the … ⌘ Read more
Valve say the Team Fortress 2 MvM update is still coming and they’re still working on it
After the usual silence we’ve come to expect from Valve on everything, they gave a short blog post on the upcoming MvM update for Team Fortress 2.
Read the full article on [GamingOnLinux](https://www.gamingonlinux.com/2026/07/valve-say-the-team-fortress-2-mvm-up … ⌘ Read more