Finn Hackett

We have supported something like this for some time - see current `systems/` folder.

Thank you for the response. That is interesting. I'll have a read about HMF, especially since it seems adjacent to things I should know more about. Considering this issue as...

Available for review: https://github.com/DistCompiler/distcompiler.github.io As per out of band discussion, most of our material has migrated to the site. Minor points of UX discussion remain.

Thank you for your interest in the PGo project. [Coursier](https://get-coursier.io/) can be used to package PGo into a self-contained executable file (with a .jar inside). From the root of the...

There are now build instructions in the README, as well as an experimental Maven package (also mentioned in README).

I figured I could at least draft a failing test case for this (thanks for the ping btw), but I actually found something more confusing as a result. Just to...

... I just figured out what was going on. For some reason, I was talking to an endpoint that didn't support HTTP/1.1 chunking (apparently it happens, news to me). It's...

Thanks for your quick response. To clarify, we're not modelling any weak memory effects here. If we're seeing those effects, it's surprising and interesting to me, because I fully expect...

Ah I see - yes it's the timestamps. As long as the timestamp measuring code I pasted above is robust and non reorderable, then the operations are boxed in by...

> I'm assuming that if you model operations like this the same way you never see out of order values? > > uint64_t operation() { > static std::atomic a(0); >...