x

pera on X: "@khoiiiind My understanding of Curry Howard is that it's a bridge between computer code (typed code) and mathematical logic. Logic can be viewed as execution of ...

@khoiiiind My understanding of Curry Howard is that it's a bridge between computer code (typed code) and mathematical logic. Logic can be viewed as execution of code, where logical implication is ...
Yahoo! Sports

Stephen Curry Attends Jimmy Butler’s Team Function

Butler says his torn ACL let down Curry and the people who brought him to Golden State, and his return may decide how the Curry era ends. Roundtable Sports Warriors Get Major Stephen Curry Injury ...
heavy.com

Stephen Curry Attends Jimmy Butler’s Team Function

Stephen Curry was in San Diego this week with the Golden State Warriors for a team function organized by Jimmy Butler, bringing much of the roster together just days before training camp begins. This ...
Yahoo Malaysia

Stephen Curry Attends Jimmy Butler’s Team Function

Add Yahoo as a preferred source to see more of our stories on Google. SAN FRANCISCO, CALIFORNIA - AUGUST 17: Stephen Curry of the Golden State Warriors looks on from the crowd during the Golden State ...
x

Lance Spencer on X: "@Oliver_S_Curry @RYChappell Individuals are allowed to have utility functions"

Aspiring natural general intelligence Researching AI policy/security/risk Former .mil, .gov The (objectively correct) views expressed herein are mine alone ...