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