Newbie: Become a Skateboarder Enters Steam Early Access
games 1 sources · Jul 1

Newbie: Become a Skateboarder Enters Steam Early Access

The game's focus on full physics simulation and ragdoll reactions, rather than canned animations, sets it apart from most skateboarding titles and aims to create unique moments per playthrough.

Game Spark
Mistral AI Releases Leanstral 1.5 for Lean 4 Proof Assistance
other 1 sources · Jul 1

Mistral AI Releases Leanstral 1.5 for Lean 4 Proof Assistance

Leanstral 1.5 aims to reduce the labor of converting human-readable math and specifications into Lean 4 notation, potentially broadening formal proof use beyond expert mathematicians to practical software verification.

GIGAZINE
Quasimorph Sets July 31 Official Release Date
games 2 sources · Jul 1

Quasimorph Sets July 31 Official Release Date

After an early access period that is now ending, Quasimorph's 1.0 release locks in the full narrative and systems for a game built around permanent loss on death.

Game Spark
OpenAI Engineers Find Way to Cut Inference Costs by More Than Half
other 1 sources · Jul 1

OpenAI Engineers Find Way to Cut Inference Costs by More Than Half

If the cost reduction can be generalized across all users, OpenAI could lower prices, expand free access, or absorb more agent workloads without purchasing additional chips, protecting profit margins in an industry racing to build data centers.

GIGAZINE
Kyoto Xanadu -Ouka Genbu- Pre-Releases Insert Song, Drops New Trailer
games 5 sources · Jul 1

Kyoto Xanadu -Ouka Genbu- Pre-Releases Insert Song, Drops New Trailer

The early release of a story-critical insert song two weeks before launch signals Falcom's strategy to build pre-release engagement through the game's fictional virtual singer, treating LinoN as a real artist with a distribution rollout.

4Gamer.net, Denfaminicogamer, ASCII.jp, and 1 more