mshang
Re:This is what is wrong with contemporary mathematics
on Saturday December 22, 2012 @01:37AM (#4955981)
> 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.
Re:Use Jekyll To Keep Your Blog From Folding Under Traffic
on Thursday October 04, 2012 @07:39PM (#4614984)
Then why bother using Heroku at all? GitHub Pages supports Jekyll.
Re:Show HN: I built a stock market game based on the top 50,000 websites
on Tuesday October 02, 2012 @10:00PM (#4605439)
Sounds a bit like Fat Dog Exchange. Does anyone know what happened to that site?
Re:GitHub Launch Page
on Tuesday September 18, 2012 @03:48PM (#4540118)
You could use yubnub or bunny1 to do this.
Re:Amazon S3 Price Reduction
on Tuesday February 07, 2012 @11:35AM (#3562439)
I think it was meant that the marginal cost function isn't continuous.