Amrith Kumar
@hypecycles.com
Sr Principal Engg @awscloud.bsky.social @amazon.dynamodb.me; Verizon Fellow, (co)founder and CTO Tesora, PTL OpenStack Trove, IBM Netezza. I work at Amazon Web Services, but opinions are mine
I agree, but I hope and pray that at least a significant amount of it is the formal reasoning and proof of correctness realm, and less humans and brute force.
March 9, 2025 at 3:00 PM
I agree, but I hope and pray that at least a significant amount of it is the formal reasoning and proof of correctness realm, and less humans and brute force.