shasta

82 ms·

781.
by shasta 16y ago
"Can a program ever be proven correct? No. There may be some very trivial toy programs that under very special conditions can be proven "correct" -- that is, we can mathematically prove that they will never give an incorrect result.5 In th
782.
by shasta 16y ago
I'm beginning to think this guy has a random random maze generator algorithm article generator.
783.
by shasta 16y ago
That's ridiculous. The Unix security model doesn't even address untrusted applications, unless you think auto-downloading and running Unix executables would work out well. The situation with web security is terrible and there aren't any "
784.
by shasta 16y ago
You're right. It's not just a still image that needs to be corrected - it's the whole volume of light that needs to be distorted (the eye is not a pinhole camera). But I still think it's doable - isn't that what corrective lenses do?
785.
by shasta 16y ago
So I did!
786.
by shasta 16y ago
> Have a camera facing the eye that can tell what the person is focusing on. Sorry I was a bit terse, but that's what I meant by "detected focus." > You then build software that blurs the image outside of their focal plane. That's n
787.
by shasta 16y ago
Doesn't this assume you don't know the focal plane? If you know what the viewer is focusing on, you can compensate. This means that without any holographic projection techniques, you could fully solve this problem by presenting each viewe
788.
by shasta 16y ago
> clearly indicates the man is out of his mind I'm not a psychologist, but I think you may be on to something here. Thanks, you've talked me out of donating.
789.
by shasta 16y ago
Another possible title: "How I used to know Mark Zuckerberg"
790.
by shasta 16y ago
> (Notice that he did not say that he wanted to give her her adulthood which she missed because he killed her). Maybe he wants to kill her again.
791.
by shasta 16y ago
"How much do the decisions of parents matter? [...] the home environment pales in comparison to the power of genes and peer groups." Parents often get to decide who's in the peer group, though. Especially in the early years and especially
792.
by shasta 16y ago
> (I know it happens to me). How?
793.
by shasta 16y ago
I'm afraid most companies have no idea how much their legal departments, with all of the bullshit they pile on everyday business transactions, cost them.
794.
by shasta 16y ago
For prior art, see every other thread on patents on HN or reddit where someone suggest this
795.
by shasta 16y ago
Right, I think the article misses one of the purposes of advertising. Coke doesn't target ads at people googling "soft drink". Facebook seems like as good a place as any for the kinds of subliminal advertising that Coke does.
796.
by shasta 16y ago
"The other direction requires more thought: how do you coax such a simple language into providing the features we expect of a modern programming language, such as numbers, Booleans, conditionals, lists and recursion? " No, the other directi
797.
by shasta 16y ago
Anyone know how the buzzers work? It's my impression that they are disabled until a moment after the question has been read completely, and then the first to buzz in gets a chance to answer. I wonder if they took steps to ensure that the
798.
by shasta 16y ago
I played LSL as a kid and assumed that "lubber" was another name for "condom." I got the joke a decade later while sitting in traffic (if you haven't played the game, the clerk was Indian).
799.
by shasta 16y ago
What a coincidence that Nancy was the step-mother of the ticketing agent!
800.
by shasta 16y ago
Was that music part of the demo video, or do I get that every time I use the VMO website?
801.
by shasta 16y ago
According to Wikipedia, there were 2.354 billion pennies minted in 2009. At a cost of $0.0162/penny, that's $38MM of taxpayer money spent making pennies. Whether the mint gets part of its funding in the form of money it mints is irrelevan
802.
by shasta 16y ago
Statements like "..., it's cost slightly more to produce a penny than the one cent it is worth, leading to a loss of of about $20 million dollars, total, in 2009." are wrong minded. If every penny cost exactly one cent to make, we wouldn't
803.
by shasta 16y ago
My guess is that it's because it was designed from the point of view of someone looking at patches to be added, rather than from the point of view of someone who writes a bunch of code. Imagine you're looking at a patch and asking what it
804.
by shasta 16y ago
> Don't ask how many ping pong balls would fit in a school bus unless your business is directly related to filling buses with ping pong balls. In job postings? Do you have the following in mind? Send applications to X@ballbussers
805.
by shasta 16y ago
A better visualization would IMO just show the adjusted market value and superimpose some exponential growth curves over that (1% in green, -1% in red, etc.). This confusingly takes 1D data and makes it 2D.
806.
by shasta 16y ago
These strong types will always be somewhat cumbersome, because they are the proof that your program is correct in certain respects, and non-trivial proofs are not free. When you hear someone use the phrase "correct by construction," you sh
807.
by shasta 16y ago
There are good points on both sides of this argument.
808.
by shasta 16y ago
Ideally, packet class identification would be at the network or transport layer. I don't like the idea of an ISP doing payload inspection ("spying"), either. But your argument about all bits being the same is naive. Do you think it's fai
809.
by shasta 16y ago
> First, it's impossible in the long run You assume that the carriers won't track usage of different bandwidth classes and bill / cap them differently. Offering different reliability/latency/throughput guarantees for different classes
810.
by shasta 16y ago
It's still not a Venn diagram. A Venn diagram labels regions, not points in the regions. The diagram could be made correct by placing little dots in the intersection regions to show that these are points in the intersection, whereas the o

More ›