Re:Formal methods only solve half my problems
by SEJeff on Saturday June 04, 2022 @09:39AM
(#31620192)
Ah well you would know much better than me! I heard someone mention James as the architect of aws and recall him mentioning designing dynamodb. Did he do that, or am I universally wrong sans his love for formal methods?
Thanks for the clarification though. This is truly why I enjoy HN so much. The ability to get corrected by the experts is an honor :)
Thanks for the clarification though. This is truly why I enjoy HN so much. The ability to get corrected by the experts is an honor :)