Eli Dupree

As another note, all the commands I've been testing with are ones that finish normally if you don't interrupt them (generally not running longer than 80ms naturally), so none of...

Well, I was imagining a diff on the tree structure of terms, but a diff on the token level is clearly better than a diff on the character level. It's...

There might be a way, but my first thought (`Set Diffs "removed".` followed by `(Query ((sid 12) (pp ((pp_format PpStr)))) EGoals)`) didn't do it.

It's one of the methods that can be explicitly invoked in a `Deseralize` impl (just not often used, for [the reasons in the note in its documentation](https://docs.serde.rs/serde/de/trait.Deserializer.html#tymethod.deserialize_any)). You'll probably want...

I hope this can be fixed at some point. I want to use this crate, because `Atom` is exactly the synchronization primitive that I've wanted for several of my projects,...

A good suggestion, but that's actually the first thing I tried! Because `autograd::ndarray` _is_ ndarray 0.14, it can't be passed to `nshare`'s functions, because they only take an ndarray 0.15...

Thanks for the reply! I recognize that writing comprehensive documentation is hard work. But I figured I should leave an issue, because ultimately, documentation is a critical part of any...

No: That is always guaranteed by the fact that the operation is atomic at all, not by the ordering.

Your claim fits the code you provided, but that isn't the code that's used by `take`. `take` performs a single atomic swap, not an atomic load followed by a separate...

> Atomic swap changes nothing for this question, because from the hardware point of view it consists of a load and a store. Viewing load and store as a single...