Question: How does seeding work for NLE?

[dmadeka]

I was looking to dig into the code for how NLE freezes the seed for a game in Nethack:

My current way of hacking the Nethack seed code (say for controlling whether a game occurs on Friday the 13th etc) is here: dmadeka#1

But I was wondering how NLE approached this - or where I could get started to understand!

Thanks!

[heiner]

https://github.com/search?q=repo%3Afacebookresearch%2Fnle%20seed&type=code should give you all the info you need.