rntz

34 ms·

271.
None, One, Many – What's the Difference, Anyhow? [pdf](drops.dagstuhl.de)
6 points by rntz 11y ago|0 comments
272.
by rntz 11y ago
I don't understand this bit: > Now each of these arrays we organize as a max heap. Moreover, we arrange data such that the maximums of these heaps are in INCREASING order. That means the smallest element of the entire (initial) arra
273.
by rntz 11y ago
No. Just as (e^n) grows faster (in the limit) than any polynomial of n, such as n^2 or n^100; likewise, log(n) grows slower than any polynomial of n, such as sqrt(n) = n^(1/2), or even n^(1/100). They are both practically pret
274.
by rntz 11y ago
Linear logic itself doesn't express goals or constraints, just what can be accomplished with a given set of resources. In the example you gave: if $5 then pizza if $2 then beer $6! therefore, (pizza and $1) OR (beer
275.
by rntz 11y ago
Electric car engines are efficient at converting electricity into motion. However, this neglects the efficiency of power plants at converting fuel into electricity, and the efficiency of transmission of electricity. Taking this into account
276.
by rntz 11y ago
Downvoting should be reserved for posts that do not contribute to the discussion, not used to express disagreement. The purpose of votes isn't to win a battle of beliefs, but to promote insightful discussion. Honestly I think HN would
277.
by rntz 11y ago
I see no reason they couldn't coexist. Parinfer to guess paren insertion; paredit to cover the operations parinfer can't infer. I'm more concerned that Parinfer appears to be modal, based on whether you manage indentation or
278.
by rntz 11y ago
1ml = 1cm^3 of water weighs almost exactly 1 gram. A liter of water (1000ml = 1000 cm^3) weighs almost exactly a kilogram. http://www.wolframalpha.com/input/?i=weight%20of%201cm^3%20o...
279.
by rntz 11y ago
SIL isn't open-source to my knowledge, so no. Maybe once/if Apple open-sources Swift, though? (They claim they will do that later this year.)
280.
by rntz 11y ago
Hint for the coin puzzle (rot13): As mentioned in the article, gur fbyhgvba trarenyvmrf gb nal cbjre bs guerr, gubhtu gur ahzore bs jrvtuvatf jvyy bs pbhefr inel. Solution (rot13): Fcyvg gur pbvaf vagb guerr tebhcf bs guerr. Chg gjb tebhcf
281.
by rntz 11y ago
Sure. I'm not opposed to ending death, and certainly not to work on extending healthy lifespan. I just don't think it qualifies as humanity's greatest problem.
282.
by rntz 11y ago
> an inability to attain mathematical fluency excludes the next generation from any implied augmented intelligence benefits. Well, only in some ways. I don't have to understand how a refrigerator works in order to use it. Improvemen
283.
by rntz 11y ago
No. Death is really not that bad; to be dead is no more evil than not to exist, because to be dead is to not exist. Dying itself is evil in that it causes grief to others still living; but while grief is painful, I do not think anyone wou
284.
by rntz 11y ago
So wait - if Facebook, Google, etc. just made sure that every time an EU user submitted personal data, it was routed to US servers rather than EU ones, they would not be in violation of EU privacy law? What if they then send that data to th
285.
by rntz 11y ago
BSPSPSPSPSP - This program/configuration appears to execute a random walk. Hard to be sure.
286.
by rntz 11y ago
The original article already relies on finding multiple matches, in order to ignore the matches that don't contain the group that we're interested in. Python's regex library, for example, can return multiple matches. It has
287.
by rntz 11y ago
Core problem: > Unfortunately, it otherwise has proven all but impossible to write a law that absolutely differentiates information from advocacy.
288.
by rntz 11y ago
I believe it matches in three ways: - the whole string, grouped as "(aa)(abbb)", - the whole string, grouped as "(aaa)(bbb)"; - the substring "aabbb", grouped as "(aa)(bbb)".
289.
by rntz 11y ago
This "trick" is simply exploiting a bug in regex implementations. The regex "Tarzan"|(Tarzan) should match the string "Tarzan" in two ways: first, matching the entire string; and second, mat
290.
Treatment of Migrants Evokes Memories of Europe's Darkest Hour(mobile.nytimes.com)
2 points by rntz 11y ago|1 comments
291.
by rntz 11y ago
full article link: http://www.sciencemag.org/content/349/6251/918.full
292.
by rntz 11y ago
Never attribute to malice what can be adequately explained by incompetence. Mozilla almost certainly isn't getting any money out of the Pocket integration deal. Mozilla has far more money than Pocket does.
293.
by rntz 11y ago
Since CRDTs are just join-semilattices with a zero element, and the category of join-semilattices with zero is a model for linear logic[1], I suspect that there may be an even cleaner way to write eventually consistent programs, using a lin
294.
Haptic Turk: A Motion Platform Based on People (2014) [pdf](xman.tw)
5 points by rntz 11y ago|0 comments
295.
by rntz 11y ago
> it's really really good for all the poor people from impoverished, war-stricken countries? What part of this argument do you disagree with, and why?
296.
by rntz 11y ago
Not unless you're experiencing friction.
297.
by rntz 11y ago
> This leads to bewildered frustration with programming and a general distrust of all programs. I think this is perhaps a more honest attitude to the state of programming today than those of us who have managed to master it are willing t
298.
by rntz 12y ago
> The discussion in The Republic maintains that would-be citizens of the ideal republic should be exposed to music that cultivates their good qualities, and prohibited from listening to the bad. Much modern music creates agitation and ag
299.
by rntz 12y ago
I mostly know about the linear logic side of session types; I'm not super familiar with the older line of research starting with Honda. I'll have to read up on it! I'm not sure what the equivalent in my world of "session
300.
by rntz 12y ago
I'm not sure what you mean when you say that race conditions can be the same kind of error as logic errors. I would define a race condition as "an error due to nondeterministic concurrency". If you ban nondeterminism, for exa

More ›