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.
더 보기
