top new show ask jobs

▲ 1 points

On the Unreasonable Effectiveness of PBT for Validating Formal Specifications

proofsandintuitions.net

by matt_d·2mo ago·0 comments·view on hn ↗

// no comments yet

built with astro · data from hacker newshn.reader