michalsustr

8 ms·

91.
by michalsustr 1y ago
I published first version: https://github.com/michalsustr/rust-automata Happy to get feedback.
92.
by michalsustr 1y ago
Looks really neat, might use that in my work!
93.
by michalsustr 1y ago
Well this is timely :) I’m in the middle of writing a library, based on rust-fsm crate, that adds nice support for Mealy automata, with extensions like - transition handlers - guards - clocks - composition of automata into a system. The ide
94.
by michalsustr 1y ago
Correct. Erlang also uses green threads?
95.
by michalsustr 1y ago
Yes indeed, unless you use ropes or other specialised structures
96.
by michalsustr 1y ago
I’m not familiar with Haskell concurrency. The combination of green threads and large memory allocations due to immutable data structures sounds like it would be hard to implement a web server handling 10k+ concurrent requests on commodity
97.
by michalsustr 2y ago
I recently attended a STAC conference where they claimed the GPUs themselves are not deterministic. The hand-wavy speculation is they need to temperature control the cores and the flop ops may be reordered during that process. (By temperatu
98.
by michalsustr 2y ago
The blurring in the sheets and the topo loss reminded me of https://arxiv.org/abs/2408.05446
99.
by michalsustr 2y ago
This is why we use squash like here https://docs.gitlab.com/ee/user/project/merge_requests/squas...
100.
by michalsustr 2y ago
My hunch is that this effectively creates a differentiable minimax “search” “tree” that can be backpropagated through. Not a tree — a dag really — and not search, but learning. :)
101.
by michalsustr 3y ago
> the fastest, heavily-optimised Java solution runs in just under a second on my machine I don’t understand how this is possible. The file in question has 13GB, while the fastest commonly available SSDs are 12400 MB/s. Am I missing
102.
by michalsustr 3y ago
Thank you!
103.
by michalsustr 3y ago
Can you please give a link to the soviet paper? Thank you very much :)
104.
by michalsustr 4y ago
Energy and mass are equivalent and their relation is E=mc^2
105.
by michalsustr 4y ago
Why would one prefer to add sudoedit X to sudoers rather than updating file access privileges of X directly? Just curious about arguments for this use case.
106.
by michalsustr 4y ago
Great question! I would say the main reason why this work is significant is that StarCraft agent was bootstrapped from human replays, and Dota agent did not have game-theoretic guarantees on minimizing exploitability (i.e. how far the strat
107.
by michalsustr 5y ago
Interesting! We have very recently wrote a paper on the various tree representations [1]. Maybe it is the same distinction you found on your own? I judge this based on the screenshots on your website. Public state trees are amenable to nice
108.
by michalsustr 5y ago
Congrats on putting this together, it's not easy! I'm curious, what papers have you used for your implementation? I know there are a couple of reimplementations of DeepStack out there. Disclaimer: I'm doing phd in this area,