Whatcha all playing!

Gonna be honest, it’s just more shadow of the erdtree for me. Been playing the shit out of it.

Bonus question: any game you got during the steam summer sale you want to shout out?

  • soulsource@discuss.tchncs.de
    link
    fedilink
    arrow-up
    2
    ·
    5 months ago

    Technically I’m still playing “Vagrus - The Riven Realms”, but I didn’t play much lately, since I rediscovered my love for the Lean4 programming language and am now playing around with a formally validated heap again.