mshang

3 ms·

1. 1.▲
   by mshang 14y ago

   > Curry-Howard executable version of the claim I don't see how the code provided has any relation to the Curry-Howard correspondence, which is a statement relating types and proofs.
2. 2.▲
   Why don't public companies report their finances more often? (Quora)(quora.com)

   1 points by mshang 14y ago|0 comments
3. 3.▲
   by mshang 14y ago

   Then why bother using Heroku at all? GitHub Pages supports Jekyll.
4. 4.▲
   by mshang 14y ago

   Sounds a bit like Fat Dog Exchange. Does anyone know what happened to that site?
5. 5.▲
   by mshang 14y ago

   You could use yubnub or bunny1 to do this.
6. 6.▲
   by mshang 15y ago

   I think it was meant that the marginal cost function isn't continuous.