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.
顯示更多
