General statistics
List of Youtube channels
Youtube commenter search
Distinguished comments
About
Peter Lund
Patrick Boyle
comments
Comments by "Peter Lund" (@peterfireflylund) on "FTX Bankruptcy Explained!" video.
The Curry-Howard isomorphism does hold but your conclusion doesn’t follow from that premise.
1