Kyle Kingsbury

Yes, sorry, maelstrom.net is the namespace responsible for the virtual network Maelstrom provides. And yes, because there's no built-in support, you'd have to add it yourself.On Feb 19, 2022 04:29,...

That's a good question, and it's not something I have a great answer for--there are lots of easy ways we could build node specialization, but I'm not sure which way...

I've thought a little more about this--I think that for model-checking purposes, it might be nice to be able to require maelstrom *itself* as a library, and hook in your...

Just if you're wondering "why both?"--they use the same kinds of histories, but have different computational complexities! The `set-full` checker is a lot more expensive, but gives you precise bounds...

Oh jeez, if I ever knew about ATNs I've definitely forgotten--its been 8 years since I worked on this. Wish I could help!On Nov 28, 2022 23:57, Aeonik Chaos ***@***.***>...

I'd like to second this. On woof.group we had extensive new-user documentation and policy guidance on `/about/more`. In 4.0 `/about/more` for logged in users appears to redirect to `/about`, which...

Ahhhhh it loads in dynamically that little pane on the far right, and I guess some sort of JS thing broke the first few times I tried it so it...

> In this sense, getValueAtPercentile() is not an estimator. It is a precise reporter of the value as described by the definition, and as experienced within the population of recorded...

This is with httpkit 2.7.0, OpenJDK 21.0.1 2023-10-17, Linux Mint 21.2 "Victoria". I'm seeing odd behavior in a Jepsen test: sometimes an HTTP request throws "connection refused", but the request's...

No, there's no conditionals here. It's effectively just: ``` TX 1: - read A - read B - SaveChanges() TX 2: - read A - Modify the in-memory representation of...