Spielend Beweisen lernen mit Lean4
In diesem Artikel geht es um die Programmiersprache Lean, die es erlaubt, mathematische Beweise zu führen, und ein Spiel, welches dabei helfen kann, Lean zu lernen.
Gaming
Spielen unter Linux: Steam und Proton, das Steam Deck, Wine, Treiber, native Linux-Spiele und Open-Source-Games.
PhoronixKernelMany Laptop & Gaming Handheld Support Improvements Coming For Linux 7.4
Many x86 platform driver improvements have been queuing ahead of the upcoming Linux 7.4 merge window to offer a variety of laptop and gaming handheld device improvements with this next kernel …
PhoronixEN
Frame of Suffering is like if Diablo was about mechs and I need it now
Frame of Suffering is an upcoming ARPG rogue-lite that combines Diablo with customizable mechs and I really do need it now.
Steam Client Beta - October 9th brings more Remote Play improvements
Valve have another release ready for testing, with the Steam Client Beta - October 9th update now available bringing Remote Play updates.
Proton 11.0-2e brings EA App fixes, and there's a much bigger Proton 11.0-3 Release Candidate
Valve released two Proton updates to bring more Windows game compatibility to SteamOS / Linux. A small Proton 11.0-2e and a Proton 11.0-3 Release Candidate.
Steam Frame CAD files released, plus an update on reservation waiting times
Valve have released an update that should give you just a little bit more clarity on when you can expect to get a Steam Frame, plus the CAD files are out now.
The Fanatical Build your own All Stars Bundle (Winter) has another nice selection of games
The Fanatical Build your own All Stars Bundle (Winter) has launched giving you the chance to save even more monies on various games together.
Highlights from the Triple-I Initiative Showcase - October 2026 Edition
Another Triple-I Initiative Showcase came and went yesterday, here's some of the really cool looking games featured in it.
Puzzling resource management RPG 'Paradox Tower' has a demo worth trying
Paradox Tower brings a clever mixture of puzzles and RPG mechanics about helping a witch find her way through a labyrinth tower.
The creator of DEVOUR is back with co-op survival horror LIVING HELL
I'm not sure my heart will be able to manage LIVING HELL but it sure does look interesting from the developer of the popular DEVOUR.
Get more top quality games for cheap in The Triple-i Initiative Showcase Bundle
The Triple-i Initiative Showcase Bundle has arrived and with it you can fill up your Steam Library with even more interesting games.
Check out the demo for Of Dice and Minions, a pixel-art dice-rolling auto-battler roguelite
Another demo that looks to be worthy of your time is Of Dice and Minions, a pixel-art dice-rolling auto-battler roguelite.
DXVK-Sarek 1.14.0 released for gaming on older GPUs
DXVK-Sarek version 1.14.0 has arrived, keeping Wine / Proton gaming alive for those of you with older GPUs that don't have modern Vulkan support.
The awesome Deadly Days: Roadtrip has set an October 29 release date
The brilliant bullet heaven inventory management zombie shooter Deadly Days: Roadtrip hits the big 1.0 on October 29th.
SteamOS 0.4 for Steam Frame is out now with better power efficiency and battery lifetime
Valve just released a major stable update for all Steam Frame owners, bringing some great sounding improvements.
OCTOPATH TRAVELER, OCTOPATH TRAVELER II, and NEO: The World Ends With You arrive on GOG
Three more Square Enix games have today landed on DRM-free store GOG.com, and they're part of the GOG Preservation Program too.
Cloudbreaker review - Bullet Heaven meets Inventory Management
If you're like me and you can't get enough of bullet heaven survivor-likes, it's time to take a good look at Cloudbreaker with its inventory management.
ARC Raiders massive Frozen Trail 2.0 update is out and free to play for a few days
ARC Raiders gets a fancy new map, new enemies, new tools, a revamp of the skill tree and absolutely loads more in the latest update to the extraction shooter.
Dig to find your missing crew in the underground indie horror GRINDWORM
GRINDWORM is a horror game built around isolation, dread, and the slow erosion of reality as you dig underground to find your missing crew.
Unity lean heavily into AI prompting games into existence with Unity Spark
Unity were already moving forwards with Unity AI that we covered back in May, and now that make game button becomes closer to reality with Unity Spark.
Play Roblox on Linux without Wine, using Sober
Roblox does not officially support Linux, but Linux users can run using Sober, an unofficial third-party 'port' that works without Wine (hence the name).
Self-Host Weekly (2 October 2026)
Where we're going, we don't need Windows.
selfh.stEN
Spieleerinnerungen #8
In dieser Episode von Deus ex machina rede ich mit Felix wieder über Spiele, die uns im Gedächtnis geblieben sind und uns nachhaltig beeinflusst haben. Konkret geht es diesmal um Fallout 1 und 2…
PaperGames: 46 Brettspiele für den E-Reader, ohne Konto, ohne Tracking, ohne Build
PaperGames ist eine kostenlose Sammlung von 46 klassischen Brett-, Strategie- und Knobelspielen, gebaut für die Browser von E-Ink-Readern.