papln

15 ms·

121.
by papln 7y ago
Essentally, you are saying that a calculated result is a theorem, and the calculator shouold provide a proof. As always, course the standard of a commnicated proof depends on what axioms and theorems the verifier knows.
122.
by papln 7y ago
Despite convention, it is reasonable to consider sqrt(3) to have ambiguous sign since inverse(square) is a multi-valued function (as is arctan). So you can have arctan(-sqrt(3)) = arctan(sqrt(3)) = pi/3 (allowing for arbitrary selectio
123.
by papln 7y ago
Despite English alphabet being Roman/Latin, our numbers are Arabic numerals.
124.
by papln 7y ago
Is this an especially-strong problem with autism, or with disability in general, or people in general? Children get more social services than adults, for sure.
125.
by papln 7y ago
Nursing is a high-pay job for its education and risk bracket. It's low pay compared to doctor, but there are other confounders like education required do get an MD license.
126.
by papln 7y ago
It's not obvious that a women who qualified for either YC or one of those other accelerators would tend to prefer one of those others. Women-only acelerators may have some benefits to balance against some drawbacks, similarly to how w
127.
by papln 7y ago
It's a fun game: Brainstorm hypothetical horrible abuses of private daat, and then find a news article that confirm the abuse has already happened. http://theconversation.com/should-grindr-users-worry-about-w... https
128.
by papln 7y ago
Notarization essentially puts a $30-$100 price tag on the operation, which meets with a lot of resistance.
129.
by papln 7y ago
"California" doesn't do this. Certain urban regions in California do this. There are low-cost areas of California.
130.
by papln 7y ago
People who don't want to live in big city can leave, instead of erecting barriers to growth.
131.
by papln 7y ago
Headline is repeating Apple PR. This is a $2B pay-through to landlords, plus a claimed $300M contribution of land.
132.
by papln 7y ago
They should also include health insurance, which they don't in the US, and costs about $10K/yr (with high variance for family size and benefits package), or another 2-4 % on rayiner's example (again, high variance due to # of
133.
by papln 7y ago
"Yes, the student loan bubble and the first housing bubble and the two stock market bubbles of the past 30 years weren't enough, let's intentionally create another housing bubble."
134.
by papln 7y ago
The OP Joe Armstrong was certainly advocating for it NOT available in the standard library or some larger package. http://erlang.org/pipermail/erlang-questions/2011-May/058768...
135.
by papln 7y ago
Joe Armstrong agrued vociferously for mny years for breaking up all packages into one universal database of importable functions. http://erlang.org/pipermail/erlang-questions/2011-May/058768... > - con
136.
by papln 7y ago
Quite the opposite. Modern security models (which are to an extent necessary on the hostile Internet) are reserving modular sharing to the elite professional developer class, and preventing users and aftermarket developers from remixing the
137.
by papln 7y ago
That was Fred Brooks in The Mythical Man-Month
138.
by papln 7y ago
Unfortunately choice of example. Pizza Hut does sell tacos. https://en.wikipedia.org/wiki/Yum!_Brands https://www.google.com/search?q=joint+pizza+hut+taco+bell&tb... As does Jack-in-the-Box https:
139.
by papln 7y ago
Is it important to match the IP address to the domain name? I assume that all the hosted sites are mirrors of each other.
140.
by papln 7y ago
Related, via https://www.lesswrong.com/posts/3T6p93Mut7G8qdkAs/evaluabili... > According to Hsee—in a paper entitled “Less is Better”—if you buy someone a $45 scarf, you are more likely to be seen as generous t
141.
by papln 7y ago
AA batteries are just as (non-)recycleable.
142.
by papln 7y ago
What system can encode data but not binary data?
143.
by papln 7y ago
99.9% of the information in your computing life is not human readable; it's encoded in radio waves and electrical pulses that your senses can't interpret.
144.
by papln 7y ago
It shows how important having a big name behind a project is. Linux gave Git its momentum.
145.
by papln 7y ago
https://www.seinfeldscripts.com/TheSummerofGeorge.htm George: [Laughs] Relationship intern...hey, what if two of us teamed up? ... George: I've tried. We don't have it. But maybe the two of us, working together at
146.
by papln 7y ago
"Painting with a broad brush" is not an idiom, since it's meaning is deducible from its content, not only its contex. It's a metaphor (literally false as written, but calls to mind an analogy with truth -- both the comme
147.
by papln 7y ago
omg how is http://answers.google.com/ still up and running with a 2-generations obsolete UI framework.
148.
by papln 7y ago
There's a difference betewen integrating one auth and disintegrating all others. Should my fitbit be bricked if I make a wrongthink comment on YouTube?
149.
by papln 7y ago
Under your theory, Steve Jobs still runs Apple.
150.
by papln 7y ago
The article doesn't say "only now". It says "He has already put into motion the conversion of the Dropbox server code from Python 2 to Python 3. " "already" refers to "sometime in the past 6 years&quo

More ›