news
Games: Regata OS 25, Steam Games, and More
-
Adolfo Ochagavía ☛ Tic-tac-toe meets Lean 4
This week I reached a milestone in my most useless side project so far. I finished writing a tic-tac-toe game in Lean 4, along with proofs to guarantee that the game behaves correctly! It “only” took me 20 hours, 1000 lines of code and endless suffering… Totally worth it, as you might expect.
-
Unicorn Media ☛ Regata OS 25: Gaming, Work, and More in One Polished Distro
Brazil’s Regata OS 25 balances gaming and daily tasks in a polished package. Take a closer look at what this distro brings to the table.
-
Boiling Steam ☛ New Steam Games with Native GNU/Linux Clients - 2025-08-27 Edition
Between 2025-08-20 and 2025-08-27 there were 30 New Steam games released with Native GNU/Linux clients. For reference, during the same time, there were 442 games released for backdoored Windows on Steam, so the GNU/Linux versions represent about 6.8 % of total released titles. Not a lot of GNU/Linux clients, hey? In any case, there’s nothing really outstanding in the past week.
-
OMG Ubuntu ☛ SuperTuxKart Evolution Promises ‘Fresh Experience’
Team disagreements saw progress on SuperTuxKart hit the buffers, but with new leadership and a revived vision, the iconic FOSS racer is getting back on track.
-
Hackaday ☛ Why Super Mario 64 Wastes So Much Memory
The Nintendo 64 was an amazing video game console, and alongside consoles like the Sony PlayStation, helped herald in the era of 3D games. That said, it was new hardware, with new development tools, and thus creating those early N64 games was a daunting task.In an in-depth review of Super Mario 64’s code, [Kaze Emanuar] goes over the curious and wasteful memory usage, mostly due to unused memory map sections, unoptimized math look-up tables and greedy asset loading.