Kambing

8 ms·

1. 1.▲
   by Kambing 6mo ago

   Apologies, I was focused on the usual pairing in this space and not the more subtle one you're talking about. As others have pointed out, there isn't really semantic a difference between the two. Both approaches to function parame
2. 2.▲
   by Kambing 6mo ago

   They are isomorphic in the strong sense that their logical interpretations are identical. Applying Curry-Howard, a function type is an implication, so a curried function with type A -> B -> C is equivalent to an implication that says
3. 3.▲
   Bringing the best of AI to college students for free(blog.google)

   5 points by Kambing 1y ago|1 comments
4. 4.▲
   by Kambing 1y ago

   The highlights of Google's latest AI push for higher education: - "Starting today, students (ages 18+) in the U.S. as well as in Japan, Indonesia, Korea and Brazil can sign-up for a 12 month Google AI Pro plan for free." - &q
5. 5.▲
   by Kambing 1y ago

   > A test is not a proof Actually, a test _is_ a proof! Or more specifically, a traditional test case is a narrow, specific proposition. For example, the test `length([1, 2, 3]) = 3` is a proposition about the behavior of the `length` fun