News for hackers. Stuff that matters.
Re:Systems Correctness Practices at AWS: Leveraging Formal a... by matu3ba on Tuesday April 01, 2025 @04:15PM (#43550877)
Thanks for the interesting insight. 1. What would you recommend to model multi-thread or multi-process problems on the same system? Is there a good read to give recommendations? 2. Is there a good overview on trade-offs between CSP, Actor model and other methods for this? 3. Are you aware of any process group models?

There are no comments on this comment yet.