5 comments

  • cbm-vic-20 9 minutes ago
    Should have been titled "Is Parallel Programming What Can You Hard, And, If So, Do About It?"
  • criddell 15 minutes ago
    This review seems to equate parallelism and concurrency as the same thing and they are not.

    As I understand it, the parallelism is about task execution and concurrency is about task structure. Or, as Rob Pike said:

    "Concurrency is about dealing with lots of things at once. Parallelism is about doing lots of things at once."

    He said that in his *Concurrency is not Parallelism" talk.

  • thomasahle 18 minutes ago
    Parallel programming is a great application for LLM correctness proofs in Lean.

    You can't unit test your way out, but if you care about the code's correctness, today there's a way.

    • tintor 12 minutes ago
      Mix of different types of tests helps.

      Best examples are SQLite and Jepsen test suites for dbms engines.

      https://jepsen.io/

  • kazinator 54 minutes ago
    Nope! Parallel programming is all yahoo, wee, look at that go!

    Then comes the parallel debugging.

    Pretty soon it's 15 years later, different person, yahoo-wee bro having long moved on.