That was me. The engine is deterministic so I wrote a beam solver for it. My score should've been 208 (pretty sure it could play forever; I capped the solver at a max time limit) but I messed up one of my moves (I was…
It sounds like you're on unstable? Things are significantly more stable if you stick to the release branches (25.05, 25.11 etc)
It sounds like you're talking about home-manager, which is a third-party Nix module, not Nix itself. I've been using Nix happily for several years now for work and personal without needing to use home-manager at all…
https://dirtywave.com/
I loved the concept of "automatic bi-directional tagging" so much that I created a sorta-clone of Roam here: https://github.com/neutralinsomniac/exocortex It's still WIP, but I use it every day for my personal notes.
Have you tried leaving any giant rooms you may be in? Like Riot/Matrix HQ? I use my personal homeserver for my friends/some IRC channels and my load is nonexistent. May not be the answer you're looking for, but those…
> But until any of these new age apps/platforms support federation and decentralized communication, there's not much use for the masses to look for servers run by specific people. Have you not heard of…
https://riot.im is doing this. e2e is in beta still, but they have key list management/verification in place already.
Did you update the addresses of commit_creds() and prepare_kernel_cred() to match your running kernel before you compiled/ran it?
That was me. The engine is deterministic so I wrote a beam solver for it. My score should've been 208 (pretty sure it could play forever; I capped the solver at a max time limit) but I messed up one of my moves (I was…
It sounds like you're on unstable? Things are significantly more stable if you stick to the release branches (25.05, 25.11 etc)
It sounds like you're talking about home-manager, which is a third-party Nix module, not Nix itself. I've been using Nix happily for several years now for work and personal without needing to use home-manager at all…
https://dirtywave.com/
I loved the concept of "automatic bi-directional tagging" so much that I created a sorta-clone of Roam here: https://github.com/neutralinsomniac/exocortex It's still WIP, but I use it every day for my personal notes.
Have you tried leaving any giant rooms you may be in? Like Riot/Matrix HQ? I use my personal homeserver for my friends/some IRC channels and my load is nonexistent. May not be the answer you're looking for, but those…
> But until any of these new age apps/platforms support federation and decentralized communication, there's not much use for the masses to look for servers run by specific people. Have you not heard of…
https://riot.im is doing this. e2e is in beta still, but they have key list management/verification in place already.
Did you update the addresses of commit_creds() and prepare_kernel_cred() to match your running kernel before you compiled/ran it?