Graydon Hoare

Yes please! Currently doing somewhat contorted test-embedded-in-a-binary-of-a-subcrate business to accomplish this. (Also this tool is extremely fantastic and sorely needed by the ecosystem, bravo for building it! You may not...

Ok. I may dig into it a bit, time depending. Thanks!

Unfortunately no, we've wound up using autocheck mostly as a generator for random data in manually-guided tests, less as a full driver of those tests. Might return to this eventually!...

Attempting to make a positive contribution (browsing thesaurus looking for new names is a favourite pass-time anyways) I might suggest: - supervision-related: - custodian - steward - caretaker - porter...

> splits/branches/sprouts suggest the point where things go different ways but not so much that they eventually merge. ... it doesn't translate well to the idea of concurrency (multiple things...

As it happens we're only interested in types that are represented as single u64 values -- not enough wasm producers or consumers support multivalues to bother with that. All this...

Oh, nothing _too_ fancy. I think it's more of a "list and filter" problem than deep info-vis. I'm pretty fond of the per-thread "narrative view" and its various event and...

I don't know that the horizontal splotches-and-bars tracks (or a vertical version thereof) is the killer feature, really. It's a nice sort of attention-directing indicator, I don't know that it's...

Unfortunately I'm having a similar experience with ionide currently: when doing remote development, it works for a little while (sometimes) before it just stops responding / vanishes from the vscode...

I switched to 5.7.1 a few days ago and have not re-experienced any problems, so I would support the "something broke since then" hypothesis.