skysight-inc/HackerNews huggingface dataset:
At least in California, we don't use it because brick buildings crumble in earthquakes. http://www.latimes.com/local/lanow/la-me-ln-quake-safety-tho... In new construction, you can use it as a facade, but not for anything structural (to oversimplify a bit.)

Elsewhere in the US, brick would probably be a good choice, but it's more expensive than slapping together another bargain-basement wood-frame house. On the other hand, for some reason, Europe has a lot of brick buildings and even still puts in brick streets sometimes.
Not only that, by abstracting cross platform commands for things like git you give up the knowledge which allows you to go to other platforms and work there. Unless this mac thing would be ported to linux, windows, etc.
Show HN: Docker-make build,tag,and push related docker images with one command
I think "this javascript mess" is largely bourne out of an attempt to mitigate content blocking. asm.js is pretty fast and I am not sure how much improvement wasm will provide, but if given access to more of the low-level environment I am concerned advertisers will implement maliscious code and pop-ups in wasm that is non-trivially blocked.
Cutting off the nose to spite the face comes to mind.
For your first sentence, it really depends. If you start with the naturals, you can close it under addition using a Grothendieck-style construction: take pairs (n,m) of naturals, and say (n',m') is equivalent to it if n+m'=n'+m. There is a copy of the naturals embedded in these integers through n identified as (n,0).

Similarly, we can take pairs of these integers to close under division to get the rationals. Let's denote such pairs n/m (m nonzero), so n'/m' is equivalent when nm'=n'm. The integers are represented as a pair by n/1.

Next we can close the rationals under the property that Cauchy sequences converge: take the set of all Cauchy sequences of rationals, and say two such sequences are equivalent if the term-wise difference between the two converges to the rational 0/1. This gives us the reals, with a rational q being identified with the sequence (q,q,q,...)

Finally, we can close the reals under being able to have polynomials have roots. It turns out adding the root of x^2+1 is all you need. The complex numbers then are the set of all polynomials with real coefficients, where two polynomials are equivalent if their difference is divisible by x^2+1. The reals can be identified as a complex number by thinking of r as a constant polynomial.

All I'm saying is that, while we commonly think of Z as a subset of Q as a subset of R as a subset of C, this is only after a sequence of closures of different kinds, each time creating a completely new set which the first number system is not actually a subset of (though the first number system can be identified as some subset in the new system).

With this in mind, it's completely reasonable to define exponentiation of something to the integer or to the rational as being a completely different operation from exponentiation to the real or to the complex. In fact, in Rudin, exponentiation to the real is defined as a limit of exponentiation to the rationals, which is defined as a positive root of real to the integer.
Is that bad? If it costs the insurance company more to stop the fire then to replace my house, the rational action to take is to let the house burn.
He's advocating for fiscal union, but in paractice this requires a "United States of Europe". The proud nations of Europe don't appear to be ready for this level of union yet.

It's an open question whether the current crisis is a long term step away, or will lead to the relatively radical reformation required to achieve closer union.
I guess I didn't make myself clear enough.

The guidelines are all very subjective. Pornographic is a gray area, but "bully, intimidate, or harass". Who decides that? The victim?

And the guideline "Don't be a dick" is the exact opposite of what my point is. Unpleasant people, pendants, trolls, irritants, those are the people the free speech are designed to protect.

If you're generally pleasant and say nothing controversial, you don't need any legal protection. A firm belief that people who espouse unpleasant and unpopular opinions are what a democracy needs is what we need to protect, cause those are the people who effect change or inject new ideas into society.
Nowhere else is it necessary to distinguish between these two operators, nor do they give different results for the same arguments.

It feels wrong to introduce a distinction.
1. Did I not say there might be some living strawmen out there?

3. Did I say we shouldn't parse real languages? No, I said the problem was that it's not straightforward to combine two languages into a new one. The problem's not at the level of parsers.

4. Did I not say it wasn't evenly distributed?
So The Sun: Largest circulation of any paper in the UK... how is it not The Mainstream Media?
Yes, that is exactly what's mentioned here, on the same site that I linked:

http://trevorjim.com/python-is-not-context-free/

(Are you the author? :) )

Why does this matter? Because AFAICT the current best practice for implementing languages is to 1) prototype the language with a tool, then 2) throw that out and write the parser by hand.

If you skip step 1, then it will be unclear what language you've defined (and it's not always obvious how to break up the procedures). If you skip step 2 and auto-generate your code instead, you typically don't have enough expressive power, and you have to hack around it (communication with globals, etc.)

Tools and theory are focused excessively on CFGs (i.e. in this thread parsing with derivatives). Whereas real language always have non-context-free parts. Granted, Python is probably one of the most friendly and well-designed, and writing the lexer by hand and generating the parser works well there. I don't think that, in the case of Python, writing the parser by hand would have been a good idea.
Just another thing to blame white males for I guess? Put it on our tab with everything else that ails the world.

/white guy
Ask HN: Why Free software community haven't mobile app publishing organization?
Hi folks,

As free software developers around the world we can publish/distribute our free/open source projects as many forms, like language package (pythons's pip, perls' cpan, node's npm and such) or as source code form (with github, sourceforce, even self hosted) or as binary. even some volunteers doing packaging our project's for us to more easly distribute (deb, rpm, exe and many other packaging systems)

But, we dont have any option to publish our mobile free/open softwares except our self to make payment for mobile app platforms (like ios, android, etc.) (specially for ios, we can distribute our software's as apk our selfs but there is a marketing and trust issue for this option)

So, why we dont create an open/free software publishing organization? they can obtain to developer keys for all mobile platforms and they can build our softwares from source code and published to mobile markets.

i believe mobile development platform companies can give access to their machines (one or two) to build softwares developed with their tech.

and free/open platforms, organizations (like open source community) can make some little donation to this organizastion for expensives (money or machines or code review stuff).

And ofcourse all source code has to be reviewed for some bad code like collecting user information to remote servers and/or advertising sdk's before the build and/or publish.

so what you think? do we need such this organization? if we have, can we make it?
I founded and ran a VoIP 9-1-1 company for a few years. 911 is run and financed at the very local level. There's around 9000 PSAPs (public safety answering points) in the US, most of them have a large amount of leeway in doing their own thing. (Some states have better state-level coordination.)

It's a not-excellently-paid job that is extremely stressful. It's extremely traumatic to hear someone dying, begging you for their life, and not being able to help (if, say, the location info fails and they don't know where they are). Add in low funding, and there can be long waits.

Location info sometimes fails, so it's ALWAYS a good idea to confirm location. In Canada an operator failed to do so, dispatched medical aid to the wrong location, and a kid died.

As to poor response in your experiments, I don't think that accurately represents the situation for everyone. It heavily depends on where you are and how busy they are. Certainly many people get very fast response times. 911 saves a huge amount of lives every year.

I've been in other countries that really don't have 9-1-1. First thing you notice is that every house is a mini-fortress. In Guatemala, I have a 24/7 rotation of guards, at least 4 all time. Because if an attack isn't prevented, there's going to be no helpful response. 911 is an amazing service and the lack of it is acutely noticed.
That would mean that the rest of the people (i.e. not the fire fighting company) aren't rational. I'm not sure we can put the responsibility on a company to behave so as to save everyone else from their irrationality.
">50% of a population voted Leave"

Well... >50% of those who turned out to vote (among those allowed to), not the population. Democratic, but not very representative. The people that stayed home surely will think twice next time.
Open Source at SanDisk
Fun fact about the score to Aliens. There's an iconic song towards the end called Bishop's Countdown.

https://youtu.be/TX1rxPBTyEY?t=1m

It has been recycled over and over again, particularly in trailers. It's like the Wilhelm Scream... once you start looking you'll start noticing it (and its homages) constantly.

https://youtu.be/dZ0dH5qv1mA?t=1m23s

https://youtu.be/-bBay_1dKK8?t=59s

https://youtu.be/jdl6eAIx2K4?t=1m35s

https://youtu.be/67oe0_s9EIw?t=45s

https://youtu.be/1608jthc2VM?t=1m20s
> it's nice to see the little guy throw a punch or two.

Its the only punch thrown in at least two generations, maybe three. That's a large part of the shock. When the bullied strike back against the bully, the bully is utterly staggered not at the force of the blow but that they dared to fight for themselves at all.

The crying I've seen was appropriate for a successful conclusion of operation sealion, not independence from an unelected foreign dictatorship and some international mega corporations.
The question is why those views of more than 50% of the population do not have airing in MSM or on social media. There's an argument that consolidated ownership of MSM is the culprit, but the latent issue might be that in the aftermath of the 20th century one can not take the high ground with the idea of national interest or sovereignty, particularly in Europe. We have a sense that we should be moving beyond that.
> there IS no left wing media in the US as far as I can tell.

That's because left wing media does not, in fact, exist. The only types of media that actually exist are right wing media and media that's not left enough. That's a fuzzy distinction to be sure, but it makes the bias clear enough at least.
I'm pretty sure (\sz.sz) and (\z.z) are the same function: (\sz.(\z.z)sz)=(\sz.sz).

It would make sense that 0^0 for church numerals is 1, since this is exponentiation to the natural (defined as recursive multiplication, with the base case x^0=1).
> There’s no malloc/free

Calling into libc isn't a problem, see http://doc.rust-lang.org/libc/x86_64-unknown-linux-gnu/libc/... (and in the future, http://doc.rust-lang.org/alloc/heap/index.html will be stabilized).

> placement new is still unstable

That's a fair criticism, the onus is on us to get these features finalized and polished. :) Placement new is certainly going to be a high priority once MIR and specialization are wrapped up.

> Is it good the compiler prevents me
> from doing that at all

But it's not preventing you from doing anything, it's just telling you that it can't automatically prove that a use of references is safe. This is precisely what raw pointers are intended for: Rust isn't about entirely eliminating potential unsafety, it's about encapsulating it behind an "I know better than the compiler" interface that can be feasibly hand-audited.

> workarounds, that will cost me time to
> implement, will be ugly, and/or will
> sacrifice runtime performance

I still don't quite understand this criticism. If you were so inclined, you could forgo references altogether and code Rust as though it were C, with nothing but raw pointers, and it shouldn't take any more time to write than C, be no more ugly (syntactic differences aside), and have no difference in runtime performance.
I upvoted you, but I'm terribly sad about the outcome of the vote. The OP pointed out that one of the constituencies, that of farmers with a lot of ties to EU farm subsidies, voted LEAVE because "handouts don't inspire gratitude" or some-such. What can we do, then, if we don't understand what can be done to "bring a population along" while we figure out where they fit into the economic picture? I'm sad to the point of wanting to tear my teeth out. My mother was born in Darmstadt 6 weeks before Hitler invaded Poland. The notion of a post WWII Pax-Europeana has always seemed provisional to me at best.
The miners have the authority. Nothing forces them to accept a transaction.
Part of the problem is "vote leave" became "vote leave because racist" so most of the vote leavers have kept quiet.

There is a whole bunch of reasons to vote leave and the debates for the last 6 months have been very informative. These, you missed. But radio 4 had debates most days from smart people on both sides. Older people listen to the radio and watch debates on the TV.

I was often surprised that the 'vote remain' people often couldn't answer simple questions. The biggest being with uncontrolled immigration (no possible way of capping a maximum) how do you plan for schools, hospitals, teachers, nurses. So you hear from teachers, day after day on the radio with these arguments and it becomes easy to vote out.

Then you have the popular radio 1 and other 'younger generation' tv shows, twitter, facebook, reddit etc that are posing the debate in a different light. Farage is an idiot (true.) Immigration is good, the EU is great and has done so much for us, we can fix the broken bits. Then it's much better to vote in.

A lot of people who voted remain did so because they were terrified that if the Tories had more power they would strip workers of their rights, decimate the NHS, privatise schools, etc etc (a lot of these things have nothing to do with the EU - sigh) so they voted in because they fear our own government!

Other people voted out because they hate our government - a sort of protest vote.

It's been a crazy time.
Of course you can, and don't be ridiculous.

You can absolutely run a company that allows users to communicate in interesting ways, and say you support freedom but also refuse to show content you don't want to.

Beheadings. Child Pornography. Instructions for making chemical weapons. Snuff films. Animal abuse. Recruiting extremists to kill innocent people from your country.

I'm really tired of idealists who refuse to accept pragmatism. If you would really run a video site that willingly hosts those things, then I have no respect for you. At all.
Are there really a significant number of regretful Leave voters? This trope seems to have been uncritically adopted by Remain supporters.
> I'm not saying the study is a bad thing, but if basic income were implemented in an entire community, it would have a different effect than just a small slice of a community. In particular, wouldn't it just raise the price of housing and rent? There's only so much land and housing to go around, and if you're competing with everyone else to buy a house or rent an apartment, if everyone else can afford to pay that much more, then the prices would go up.

What you are saying basically is that inflation will cancel out all effects of the minimum income.

You are forgetting that the minimum income does not have the same relative impact on all incomes because people earn different amounts of money.

If the minimum income is 1000 Euro a month, and if everybody earned 10000 Euro a month, then yes, we would see a 10% income increase for everybody and a subsequent 10% inflation.

But some people earn only 2000 Euro a month, and others earn 20000. That means that for some, it is a 50% raise in income, and for others it is 5%. The inflation will lie somewhere in between - more than 5% but less than 50%.

In effect, the minimum income decreases the income gap. It lowers the income of the rich via inflation and it increases the effective income of the poor by raising their nominal income above the inflation rate.
Plus there's this: It is now being reported that many Leave voters are aghast at what they’ve done, as if they never really intended for their actions to yield results.
There's more than enough blame to go around. Part of the issue is that private firms come in and pitch an option to cities and towns by which they can get out of their budget scrape by privatizing schools/fire/jails/traffic enforcement in return for granting a monopoly to a company and allowing them to charge new fees. This looks like an attractive option, rather than raising taxes, but I can't think of a time when I've heard of it working out.
A few years back I was building a web server from scratch for my own quirky needs (using, of all things, C and Scheme). It required understanding the HTTP protocol, and I agree the RFCs are not all that hard to read and learning the details in order to apply them.

However what I eventually found out is that the HTTP "rules" were not faithfully followed by many implementations. For example, extra care taken to make sure HTTP headers were correctly parsed just caused headaches. The trouble was that headers received from many origins were "malformed" despite specs saying what a header "MUST" contain or what characters are not allowed.

I know servers are supposed to be "tolerant" of non-compliant clients (and vice-versa), and realistically there's little choice but to go along with "loose" compliance. I've often wondered to what extent that reality contributes to less than optimum security that's so often been an issue.
But does the public version cost less than the private one. I would be shocked if it did.
Verizon and Sprint Have Problems with Concatenated SMS
There are many possible explanations. I'm sure it will be the talking point of many studies in the following months/years. Some things I can think of:

- They've grown up in a united Europe, and may have a different view of their world than the older generation.

- The younger generation is more likely to be bilingual, while the older generation speaks only English. That means they have more experience with other cultures, and fear them less.

- They have less ties to Britain, and perhaps more likely to consider a career on the mainland.

- The younger generation really is less racist.

- The younger generation is less affected by illusions of grandeur about their empire and relative importance in the world.
https://en.wikipedia.org/wiki/Bump_function
I agree. There is no empathy towards people who have their jobs out-sourced and need to compete with low-cost immigrant labor. The elite left-wing opinion likes to virtue-signal about income inequality, but there's an easy solution --cut immigration rates. If you reduce the supply of labor, the working class will see its wages increases. This is Economics 101, and the unwillingness of the elites to reduce immigration rates is what drives both Trump and Brexit.

Frankly, I'm voting for Trump because the working class desperately needs a pay raise or I'm afraid we'll eventually have a revolution. Moreover, I think the income inequality is what's driving our general economic malaise. We need to improve the job prospects of the working class for everybody's good. I'm using a throwaway because arguing against immigration is automatically considered rascist and verboten among the elite.
This divide beaten the haves and have nots, between the young and the old, and a sense that the old will determine the fates of the young through polls, conjures up images of Japan's concerted voting demographics where the elderly dominate and dictate elections and the young feel increasingly disenfranchised.
Bear in mind the level of immigration to the UK has risen very rapidly over the past 10-15 years and it has not been evenly distributed across the country. There are places where people have seen the racial makeup of their neighbourhoods changed greatly, where once they could reasonably walk down a street and expect to hear conversations in their own language now it won't be unusual for them to not understand half or more of the conversations going on around them. A lot of people find that quite alienating especially considering it's happened so quickly.

When people talk about immigration that's really what they mean, I do genuinely believe that the UK is not a particularly racist place that the huge majority of people even those who cite immigration as an issue believe in "live and let live", but I think they feel that tolerance has been abused by a system that says free movement of people is meant to benefit them but so far as they can see it does not.
i think the difference is that this is an open source command line utility for mac, so the naming convention is essentially mac command line utility. I think you are correct that it could cause issues, but nowhere near the same thing as Commodo wherein they intentionally are trying to undermine a competitors offering by intimidation and coercion.

Not sure what a better name would be, but it may need to be changed. I should add though, I had no illusions this wasn't an official apple offering.
> For the function x^y, where y is an integer, 0^0 is obviously 1.

Why is the integer case obvious? I feel like the absolute simplest example juxtaposing 1^0=1 with 0^1=0 is enough to make figuring 0^0 obviously ambiguous. :)
Could it be because older content is not cache prioritized as much as new content? I would imagine anything after 1 day gets accessed much less than new content.
Yes, he does react poorly elsewhere to comments he should have ignored. For example in response to reviews calling him pedantic, it's almost like someone wrote him hate mail or called his child a name. I think it's in poor taste to take to Amazon to fight bad reviews that are mostly just someone's opinion.
You might consider something like the IBM 650, where each instruction includes the address of the next instruction to execute.
"free like a puppy" http://www.zdnet.com/article/open-source-is-free-like-a-pupp...
Note that you are generalizing based on what you observed on your particular social network.

I find nothing satisfying in this by the way. The UK just burned billions without a valid reason for it. It's really parallel to Trump's campaign. He promises he'll make America great again, but has never bothered discussing HOW he proposes to achieve that. Similarly, the Brexit folk are in limbo at the moment, backtracking from some of the promises they made to the people - which of course they can't sustain. Guess what, UK was not in the Schengen to begin with, so they always were in control of their border. Oh wait, those immigrants we have are from former colonies, can't really blame that on Europe, can we? The money it costs to be part of the EU, guess what, is not a much as we stated before - and we'll need to pay a fee if we want to trade with the EU. The UK will never get a better trade with the EU - that would be delusional. I could ramble on...
I have never came across any extremist video on facebook, youtube or even twitter. Maybe if I was actually searching for it I could find it? What sort of terms would one use?
I don't have any suggestions, but will be happy to send them if I think of anything.

The sooner you change, the better. Otherwise that is wasted brand equity for you. If you're going to work hard to build a great tool, the recognition for that should flow to a name of your own.