Rajashree Agrawal
@rajashree
Verification is the 80/20 of making the software singularity go well. Come, join us on the mission @theoremlabs
361 Following 1.3K Followers
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.
Show more
