Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ihatehackernews
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
ihatehackernews
12y ago
:) Well, I may have overstated it a bit with "no one." You and I would like it. But Coq, as cool as it is, is definitely not as accessible as say, python. I doubt there would be sufficient interest in a website with problems li
2.
▲
by
ihatehackernews
12y ago
I like the idea (in fact, I used to be pretty serious about solving problems on project Euler and other such sites) but I think it is misnamed. Erdos was all about proofs not computations. If you made the questions require proofs of gen