Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
sdp
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
14 ms
·
91.
▲
by
sdp
18y ago
Baseline rhythm? http://www.answers.com/typographical http://en.wikipedia.org/wiki/Typo
92.
▲
by
sdp
18y ago
Ah, good to know. I was going to send Dr. Read some typographical errors I had found, but a wiki makes that rather moot.
93.
▲
by
sdp
18y ago
My favorite NP-Complete Cheat: using A* heuristic search to find a solution in the graph of possible Rubik's cube configurations.
94.
▲
by
sdp
18y ago
Your first point seems entirely unrelated to the hypothetical situation. With regards to identifying the traffic, that may be a valid concern and I cannot claim the knowledge to argue with you about it. However, assuming the ISP were to dis
95.
▲
by
sdp
18y ago
I borrowed this from my school library, it goes through language constructs in detail using Scheme. I would recommend it to anyone interested in programming languages.
96.
▲
by
sdp
18y ago
I meant correct, not complete. I refer to the article on wikipedia which states: "A converse direction is to use a program to extract a proof, given its correctness. This is only feasible if the programming language the program is written f
97.
▲
by
sdp
18y ago
My point is that network owners can clearly deviate from the end-to-end principle for profit, and my example of this is a cable company which restricts the bandwidth for services in competition with its own. If you would prefer, we can trea
98.
▲
by
sdp
18y ago
Programs are equivalent to proofs given their correctness, rather. Additionally, according to the wikipedia article, extracting a proof from a program requires a very richly typed programming language.
99.
▲
by
sdp
18y ago
"...even in the absence of robust broadband competition, network owners are likely to find deviations from the end-to-end principle unprofitable." As a counter example to this, a very popular cable company where I live offers VoIP phone ser
100.
▲
by
sdp
18y ago
The equivalence seems to hold only when the program is complete. Thus, while all proofs can be expressed as programs, not all programs can be expressed as proofs.
101.
▲
by
sdp
18y ago
[citation needed] on guerilla warfare in the Revolutionary War
102.
▲
by
sdp
18y ago
This does a good job of exemplifying the Sex & Cash Theory ( http://news.ycombinator.com/item?id=333278 ). One sexy writing job, and another that pays the bills in a pinch.
103.
▲
by
sdp
18y ago
This would seem to be a point against those who say Apple is evil.
104.
▲
by
sdp
18y ago
"They won't listen to us, but they'll listen to R.E.A.S.O.N.!"
105.
▲
by
sdp
18y ago
Is there a problem which can be solved in Lambda Calculus that cannot be solved in a Turing Machine?
106.
▲
by
sdp
18y ago
Presumably, there is high demand for supplies in the middle of a warzone.
107.
▲
by
sdp
18y ago
I read the terms of the contest and noticed that myself: The Contest is void in Quebec and where prohibited by law. ( http://code.google.com/codejam/contest/static/terms.html Section 2 - Eligibility)
108.
▲
by
sdp
18y ago
G. J. Sussman, Jolly Good Fellow ( http://delivery.acm.org/10.1145/810000/804464/p208-sussman.p... )
109.
▲
by
sdp
18y ago
Presumably, fiaz is referring to SICP the class (6.001 -> http://sicp.csail.mit.edu/Fall-2007/ ) rather than the book. The posted course site is not up to date, because as far as I know 6.001 is no longer being taught at MIT. ( http:/
110.
▲
by
sdp
18y ago
let nth = Nothing in whatStringPlease js shouldn't that be: let nth = Nothing in whatStringPlease nth Otherwise, it's a fascinating read.
111.
▲
by
sdp
18y ago
I've worked with Java and C++ for several years, but I need to learn C for a project I'm doing this summer. Having heard many good things about K&R2, I picked it up and I'm astounded at the clarity of the piece. By today's standards, i