‹ 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. vitalnodo · · focus · HN ↗
      As I found out recently, there's a lighter option: model checkers like Spin. You describe your synchronization logic in a small modeling language (Promela), and Spin tries every possible interleaving of that model.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.