New Article, Annual LFP Charity Discount

My first blog post for Antithesis is now up! It's called Why Antithesis and is a 2000 word overview on the relative merits of Deterministic Simulation Testing as compared to Formal Methods (tldr there's an essential tradeoff between input coverage and code fidelity). Check it out! Also: last year I did a charity drive for the Greater Chicago Food Depository. It was successful enough that I want to run it again! From now until the end of the month, you…

Quelle: Originalartikel öffnen