04:45
Alphabet Accelerates Its AI Investment
Goldman Sachs technology analyst Eric Sheridan joins Bloomberg Tech to break down Alphabet's latest quarterly results, which sent the...
Sort by: Newest Items
There are 12 items in this page
01:41:34
The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS
Formal verification — the mathematical discipline of proving software correctness — has historically lived at the intersection of aca...