New top story on Hacker News: BP: Formal Proofs, the Fine Print and Side Effects [pdf]

BP: Formal Proofs, the Fine Print and Side Effects [pdf]
8 by luu | 1 comments on Hacker News.


July 22, 2023 at 02:42AM luu 8 https://ift.tt/njdi5Lm BP: Formal Proofs, the Fine Print and Side Effects [pdf] 1 https://ift.tt/PAxEIBD