‹ BackHN Continuity

Thread

Book review: Is parallel programming hard, and, if so, what can you do about it?

149 points · 66 comments · ahelwer

  1. thomasahle · · focus · HN ↗
    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.

    1. tintor · · focus · HN ↗
      Mix of different types of tests helps.

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

      <a href="https:&#x2F;&#x2F;jepsen.io&#x2F;" rel="nofollow">https:&#x2F;&#x2F;jepsen.io&#x2F;

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.