Viewing profile — jasisz

[dead]

Tooling tax is a real argument. But “just use macros + linting” usually gives you policy-flavored Rust, not a genuinely different language model. That works if enforcement is the g…

Author here. Aver is an experimental statically typed language for AI-written, human-reviewed code. What’s different is that intent (`?`), explicit effects (`!`), design decisions …

I’ve been building Aver around a simple question: If AI is going to write more of the first draft, what should the source look like for the human reviewer? Aver is an experimental …

From the "An analysis of UCT in multi-player games", Nathan Sturtevant, 2008: "Multi-player UCT is nearly identical to regular UCT. At the highest level of the algorithm, the tree …

In your example script yes, but basic UCT does not do that - simply because UCT was not meant only for multi-player games in the beginning. And this is some assumption we make abou…

This is exactly the problem I've written about - AFAIK basic UCT algorithm does not model your opponent in the selection phase (only in simulation when some heavier than random log…

But this requires storing and back propagating this info for the other players - something I really haven't seen in any examples (nor in this article). We cannot also assume that g…

This algorithm (in it's regular form used often in games and examples) has one interesting "downside" I was exploring some time ago - selection is performed using the UCB formula. …