Irek M

Results 38 comments of Irek M

I have similar issue: terrible memory leak, stopping Python completely after few minutes of pretraining with PPO2 (normal training has no problems). I have no idea in which location in...

It happens when there are >1 users in the system. Devcontainers runs everything as UID 1000, I run as UID 1001, workaround is sudo chown...

I have the same, `data.json` comes from desktop app `2023.12.0`

> Hi @iirekm > Yes, setting up a `trains-server` on k8s is complex due to the multiple databases, requirements and the external ports that needs to be configured. > I...

It also happens from time to time with `hp.uniformint(label, from, to)`, which is perfectly normal if `from` == `to` under some circumstances. `hp.uniformint` should check for such corner conditions. The...

> A solution for KSP can be found here: [ZacSweers#296 (comment)](https://github.com/ZacSweers/kotlin-compile-testing/issues/296#issuecomment-2451011186) unfortunately not, that ZacSweeters library is buggy as hell, e.g. doesn't even run processors in KMP 2.2!

Hello, is this project dead???

What's funnier behavior of `require` and `assert` inside `property...` (both fail) is different that behavior in a method called by property (only `assert` fails). What a terrible idea, and another...

How to write invariant "in any state, user can exit the protocol and withdraw all funds"? It's possible with Certora, possible with `forge test`, and seems impossible with Medusa because...