Rajashree Agrawal
@rajashree
Verification is the 80/20 of making the software singularity go well. Come, join us on the mission @theoremlabs
参加 February 2021
361 フォロー中 1.3K ファン
Making sure I state it clearly:
We can literally patch and prove bug-freeness of the entire software stack running in production. With AI that exists right now for ~$100m.
This means no more software-level hacks. I know it sounds too good to be true, but it isn't. AMA.
もっと見る
