jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
I don't think that's quite right. There are two possible precise statements for such claims:

1) There exists some n such that all integers >= n satisfy the desired property.

2) For n = [a specific constant], all integers >= n satisfy the desired property.

I'm not familiar with Artin's conjecture, but from your description, it satisfies (1) but not (2). The reason is that if there are at most 2 such primes, we can take n to be the larger of the two primes plus one. Since all primes are finite, this choice of n is also finite.

I think the key question is whether the paper described in this article proves (1) or (2). From the discussion, it sounds like it proves (2), which is the stronger result.
Does KYC apply to all transactions or only to purchase of currency?

Because I can get bank notes from an ATM and pay anyone in cash without having an intermediary verify my identity when money changes hands.
How much did MobileCoin pay for inclusion in Signal?
Archive link: https://archive.is/ReWUU
Kubernetes is engineered to solve the five hundred different problems that different people have in a way that works for them. If you don't do that then everyone will complain about their feature or some edge case being missing and not use the system (see comments on mesos in this thread). That's not over engineering, that's the required amount of engineering for this sort of system.
I would be worried about missing the mainstream user if my numbers were like that but I didn't take time to look at his site.
> At least the help page has a contact e-mail address, but we have received no response as of yet.

You could assume a $50 bil. company would have something like a customer service ...
Agreed that it doesn't speak for the whole world, but it's interesting no?
I wrote a really simple extension that injects jQuery into the current webpage. Not very practical as the same features can be found in a bookmarklet, but fun to make nonetheless.

http://conroy.posterous.com/jqueried-a-safari-5-extension
> Actually, I think the idea is that males have higher variance on a variety of attributes, due to higher expected utility, in an evolutionary sense, from trying high-risk, high-reward strategies (standard disclaimer: do not anthropomorphize evolution, do not equate evolutionary goals with conscious goals).

I think if anything it can be attributed to lower evolutionary obligation of males rather than to higher expected utility. Breeding for males is fairly easy so you can have a kid even if your IQ is 60. Child of woman of such low IQ would have much higher probability of dying.

Also males having single X chromosome have higher variability in traits influenced by genes on X chromosome as the defect of some gene of X chromosome won't be alleviated by correct gene at the other X (because there is no other X in males).

Personally I don't care if all Einsteins and Newtons will be male but since more and more scientific discovery rely on joint venture of tens or hundreds of scientists I really think that you should not pass up on opportunity to encourage half of the population to go into science just because there might be some relevant skewing in right tail of distribution.
Reminds me a little of craigslist.
I haven't tried this Safari 5 feature yet, but it sounds very similar to a feature that is also already on the iPad version of Safari and other iPad apps that make use of the web view API.

On the iPad, if you double tap on the text area, the view will zoom in just enough so that the horizontal span is as wide as the main text region. But a big difference on the iPad is that the original presentation is not modified, just zoomed in.
I have to say I quite like YouTubes latest incarnation with all the hover elements because I have no interest in using anything other than the play button (I only use it for listening to live versions of music) and so a cleaner "first impression" UI suits my persona very well.
I understand that it can be a horrible experience for a persona which is specified to be 'low-tech knoweldge high-functionality use' though.
This article could have extolled shared lunches without othering the people who sometimes eat alone as sad and less than human.
everyone must have seen this coming though
Yeah, I almost lost focus during this test thinking about the bear.
> Wireless tethering via SmartPhone is a new feature for people so the demand is pretty low right now

it's also something the iPhone has had since iPhoneOS 3.0 a year ago, via bluetooth...
I for one do not except every .com to have a public web server running. And I rather not bind TLDs to services.
The killer feature is that you know when the message was opened. With SMS/text-messaging you have no idea if it was received by anyone - since it might have been sent to a landline #.
Who said it was unsporting?
I came across a set of videos in YouTube on Category Theory (can't remember if I found it on HN itself).

Here's the link: http://www.youtube.com/user/TheCatsters
It's a satirical comment. It recreates the style of the article and mixes in some suitable rhetoric to highlight how ... well ... utopian your scheme is.
Usually I put one handler per .py, to the point, what that particular module should do and nothing else. I leave the routing stuff to the app.yaml file.

For a dir structure, I have admin, css, js, prog and view. Not hard to know what goes in every folder. Right now I have like fifty progs and fifty views, each for every specific task.

For every program there is usually one line to get the data from models and one line to render it using a template. Nothing else.

I really don't get what a framework would do to help me, I already have everything I need at my fingertips.
Specifically, how about an AMA?
the site appears to be down
Investors in private companies need to be accredited per SEC regulations (correct?) [1]. Do investors in these derivatives also need to be accredited?

Clearly, "because private-company financials are opaque" investing in the derivatives is speculative. The securitization of Facebook shares is not inherently "evil", but the issues arise if/when these derivatives are misunderstood and overly available for public consumption.

[1] http://www.sec.gov/answers/accred.htm
I just tried this, but didn't even get to use it.

I entered the URL for a site I'm building, wanting to see if IE9 was going to screw me up (I'm still on WinXP), and I was sent to a queue.

My only real complaint about the queue is that you give absolutely no indication of how long the expected wait time will be. This would be reasonable, except for the countdown clock, which simply read 00:00 the whole time I was waiting.

When I got out of the queue, the countdown clock set itself to 01:30 (quick question: why the leading zero on the minute portion if it's only going to be a single digit value? Is it aesthetics? I actually liked it but I was just wondering...). Unfortunately, for the first 10-15 seconds or so, I was just faced with a blank screen, save for the border around what I assume should be my browserling. After waiting for these 10-15 seconds, I was told that my time was up. The countdown was still running down while this message was shown.

Going back to the queue, I'm assuming that the 1:30 I saw counting down on the other page is a standard time limit for a free user, so why can't you give me a reasonable estimate based on something like (users-in-queue * 90seconds) / number-of-available-machines-or-vms-or-whatever?
Rollbar | https://rollbar.com | San Francisco, Barcelona, Budapest ONSITE or REMOTE | Engineering, Product, Customer Success

About Rollbar:

* We're a ~70-person team (SF, Barcelona, Budapest, and remote) with a mission to help developers build software quickly and painlessly

* We help tens of thousands of developers find and fix errors faster.

* Our backend handles billions of errors with low latency and high reliability

* Our front-end allows developers to discover and drill down across millions of errors in real-time

* Our open source libraries are used by some of the best engineering teams in the world, including Twilio, Duolingo, Salesforce, and Twitch

We're currently hiring for:

- Engineers - Backend, SRE

- Engineering Manager (Budapest)

- Senior Product Manager

- Talent Acquisition Manager

- Technical Account Manager

Please apply via: https://rollbar.com/jobs
Another example is https://www.youtube.com/watch?v=a3BB8SsIEtA , though even in that case the launch ship wasn't too damaged.
It is possible that you are under a false impression here. Factors for this might be the availability of news reports about crashes (e.g. you just didn't get to know about all those crashes in, say, Africa in the 90s) or an increase of air traffic while the flight:crash ratio might be stable I haven't looked up all those numbers but it is a good thing to keep these factors in mind.

A similar issue is the perceived increase of crime, while the actual numbers tell a different story: an astonishing decrease of crime rate since the 90s.
I've never been fully convinced of anthropomorphic climate change. There's just too much politics involved for me to be convinced of such relatively recent studies.

That said, I'll convert all of my energy sources to PV cells tomorrow if someone gives me a way to do it without mortgaging the next ten years of my life.
Is there evidence of this?

In Europe all I have seen is wages going down over the last 10 - 15 years. Admittedly I only started taking notice during the dot com boom, but I get the impression they were better before that.

The other thing I notice is that I personally manage a database that would have taken three of four people ten years ago. We have loads more frameworks and libraries that make the task manageable. I use Django, whereas ten years ago, the stuff done by Django would likely be done with in house libraries, so needed more people. Also I think many of the problems are "solved", we have ideas about how to do things that were not as clear when the internet was staring out.
Hmmm, antidepressants? Lem always seemed cheerier, sometimes even more optimistic, than the stuff I've read from Watts recently.

One reason lots of HN folks like Watts may be that he has posted so much of his work online, for free.
touch /--
rm -rf *

(admittedly, this would be a malicious attempt rather than a careless bug)
I'm not sure I have any good advice for you, but I'd at least like to say that I can relate. I think we all have to deal with feelings of jealousy or inadequacy from time to time. I would imagine it tends to be worse among people in the tech world since the industry is so competitive and the bar is so high.

I think there's also somewhat of a culture in tech of treating "smart" people like they're somehow innately different than "non-smart" people or that it's hard for a "non-smart" person to become a "smart" person. You could also substitute the word "smart" for "successful" in the previous sentence. Some people might disagree with this assessment, but I'm fairly confident that it's a wide-spread phenomenon.

I think a culture like that would tend to exaggerate feelings of jealousy and such. If one person is made to feel like they can't possibly achieve the same things as another, or if they suspect they're being denied opportunities on account of another person's opinion of them, that would breed resentment and jealousy. I'm not sure if that dynamic is at play in your life, but it's worth stating all the same.

Anyhow, I wish you luck in dealing with those feelings. I know how crippling they can be.
I've been using github pages as a blogging tool since it makes linking between various posts easier but if you're primarily writing about code this may be even better since the code is easily accessible.
That looks like it solves my number one annoyance: maintaining a bunch of concurrent patches on a dev branch, including personal patches I don't intend to merge.
Flexbox is much easier to grok than the old ways of floats and clearfix. Hot tip: Use different background colors when you play around so you can see each of the elements.
Many humans. Rich life (individual freedoms and high material quality of life). Low environmental impact. Pick two.

EDIT: this apparently is one of my most disliked comments. To clarify, my point is that we can’t have both unlimited population growth and a high quality of life without accepting environmental impacts. If a high population of people have to crowd into dense micro apartments and give up cars and face constant bans on things they like, then their environmental footprint may reduce but their quality of life will go down. On the other hand if population controls were instituted, then a high quality of life could be possible with a sustainable level of environmental impact.
Not having to fill out the same information every time I visit a new healthcare provider. They should just have some sort of centralized profile I can give them access to for my information.
Of course there is an argument that individuals might feel more free to have children knowing that there are entitlement programs to fallback on to help with medical, educational and day care in case they are unable to provide for their offspring. Some entitlements provide direct income for each child that they bear which seems like it could be incentive to have more children too.
This will help understand the limits (or methods) on quantum teleportation in some sense.
A.T.&T.'s products per se have never been of the highest quality. All you have to do is go look at their telephones. They're somewhat of an embarrassment

Huh. That's weird. AT&T phones were built like brick shithouses, for the most part. I wonder what model(s) he had in mind when he said that?
The correct way to address this is not to rely on fail2ban or start moving ports around (although these will remove noise from your logs, they shouldn't be solely relied upon) but to use public key authentication. It's not hard to set up and once you disable password authentication support on OpenSSH then the scans can try all they like, but they're not getting anywhere.

http://wiki.centos.org/HowTos/Network/SecuringSSH
Could it be that the issue here is not whether they used a test to filter applicants, but the tone in which they describe their satisfaction with the result?
The answer is that most large companies aren't run like centrally-planned economies. Executives may imagine themselves as generals at the head of an obedient army, but they are in reality deeply dependent on the actions of middle managers and employees. In fact, real generals are just as reliant on independent decisions of their officers and troops. Successful executives (and generals) are the ones who learn to balance top-down and bottom-up decision-making. The largest companies are perpetually engaged in a game of consolidation and reorganization into more independent entities.
The Soviet Union was quite literally built on slave labor (http://gulaghistory.org/nps/onlineexhibit/stalin/work.php). Arguably, the Gulag system of slavery was even more brutal than that of the American South. And like the South, they ultimately fell behind technologically and industrially to a free society.

What is forgotten today is that there were men who contemporaneously made the connection between communism and slavery while advocating for it, including George Fitzhugh:

http://en.m.wikipedia.org/wiki/George_Fitzhugh

Sociology for the South, or, the Failure of Free Society (1855) was George Fitzhugh's most powerful attack on the philosophical foundations of free society. In it, he took on not only Adam Smith, the foundational thinker of capitalism, but also John Locke, Thomas Jefferson, and the entire liberal tradition. He argued that free labor and free markets enriched the strong while crushing the weak. What society needed, he wrote, was slavery, not just for blacks, but for whites as well. "Slavery," he wrote, "is a form, and the very best form, of socialism."
You can access private data in C++ too quite trivially, especially since there's no compile-time encapsulation...

Guido van Rossum on the lack of private members: "We're all consenting adults here."

(And a discussion: http://mail.python.org/pipermail/tutor/2003-October/025932.h... )
I think developers coming to Python from other languages (like I am from a heavy Java background) find the auto-creation of "shadow variables" pretty interesting. To someone used to Java, being able to access a private member via its shadow variable is a lot like black magic.

Discovering this for the first time in Python seemed pretty cool to me. I really hope this feeling of magic in working with Python never leaves me. I want to remain amazed.
And, for good measure, could you compare RiakSearch to horizontally scaling Lucene?

And ElasticSearch, if you are familiar with it?
Thinking in terms of 'size' is old thinking.

Plus it is not clear whether the growth of China is sustainable. It is an authoritarian dictatorship, huge increasing environmental problems, and much of the growth of the last decade is more like an experiment whose results are still not known.

The US has enough problems that it would not need to worry about China. What the US definitely needs to fix is the trade inbalance with China and its outsourcing of manufacturing to China.
I see "health scare meme" as a potentially dangerous meme in and of itself.

YES, the media can exaggerate the result of a single study and people will overreact to it (see: "margarine is healthier than butter," then more recently the reverse). In this particular study, the results may not be conclusive enough to act on; that aside, there ARE other health studies that have been successfully repeated (for example, the negative effects of hydrogenated oils/trans fats) that are also frequently dismissed by a media-weary public as yet another "health scare meme".

The "trans fats are bad" idea is finally going mainstream, but IMO it took years longer than it should have because of the media's tendency to jump at the first study showing a surprising result, and thus inuring the public to "bad health news," which a majority of people then proceed to ignore (and a minority jump onto the latest bandwagon).

In the case of standing vs. sitting, I saw this study months ago, and at the same time I started feeling uncomfortable sitting for long periods, and the combination caused me to build a standing desk. I'm now standing most days, and for me it's a great improvement -- YMMV, and not saying it proves anything but possibly that my circulation wasn't so great.

Regardless, I'm on this particular bandwagon, and it improves my QoL, so I'm staying, regardless of the scorn people may have for health fads. ;)
He also (allegedly) leaked the Iraq and Afghanistan war documents, including the Collateral Murder video. So, assuming he is a Wikileaks source, he had access to a wide range of DoD files in addition to State Department files.

The thing is, Manning didn't go into detail about any Gitmo files when chatting with Adrian Lamo, and, according to the Nation's Wikileaks pointsman Greg Mitchell, there were rumors that Wikileaks had secret Gitmo files before the alleged leaking from Manning took place. http://www.thenation.com/blog/160135/wikileaks-blog-guant%C3...

Remember, too, that Wikileaks released Gitmo's "Camp Delta Standard Operating Procedures" way back in 2007.

This leak could have come from anybody at any time. My feeling is that this was probably someone other than Manning, though I obviously don't have any real evidence to support that.
It won't be from us. It will be an email from a loved one, asking simply if you saw the email they send you a few days ago. Be gentle.
I was referring to the concept, not whether it is centralized or decentralized. Most blockchain applications don't need one to function.
Thanks! Seems like I've misunderstood the concept a bit. My apologies.
trading is gambling. the only difference is the risk and insider info.
The reason is pretty simple - probability of events are an important input to calculation of expected values. If the probabilities are off, expected value calculations will differ. Also, Expected Value works under the “law of large numbers” assumptions. That in turn brings into picture the “sequence of return” risk. Two drastically different sequences can lead to the same Expected Value but can have serious short term implications.

“The market can remain irrational longer than you can remain solvent.”
Reminds me of that: https://xkcd.com/1172/
PostgreSQL: "your date 2020-02-31 isn't a date, fix that"

MySQL: "2020-02-31? Whatever man, I'll just enter something..."
> A not so obvious result that follows from making successive negative expected value bets, is that in the long run you are guaranteed to lose all your money (or ruin). Intuitively this makes sense as with each bet, you are losing money on average.

Expected value doesn't tell you much about the outcome of successive bets. Someone else can probably explain this better since it comes up on HN a lot (something about ergodicity and the difference between ensemble average and time average).

Quick example is if play a game of double or nothing on coin flips. This is a "fair game" because you pay x and get back 2x * 0.5 + 0 * 0.5 = x. But if you play more than one game you will very quickly get a "nothing" and can't continue.
Won't it get caught in my paracord bracelet though?
Your idea is worth investigation. A contingency would not help with a suit. It would have helped in avoiding the purchase altogether, but that's another matter.
See the resources organized under XML and Scheme, by Oleg Kiselyov:

http://okmij.org/ftp/Scheme/xml.html

There is a Racket "package" (not quite a port) of SXML and SXSLT:

http://pkg-build.racket-lang.org/doc/sxml/
You have to have one pilot able to take over solo if the other becomes incapacitated (heart attack, food poisoning, whatever). But that means that one pilot can take over by incapacitating the other. There's no way around it (other than, perhaps, three people in the cockpit).
I'm glad to see Cryptonomicon on the list. Looking back, that book has probably had the single greatest influence on my life so far. I've always liked computers, but don't think I'd be nearly involved with them as I am now had I not read it.

I've also heard great things about Measurement but haven't read it myself. Another great math book that I have read is Vector Calculus, Linear Algebra, and Differential Forms, though trying to get through that at 14 would probably be a bit disheartening.

Edited to add: Also, looking back I remember how stressed I was as a teenager because it seemed like there was so much to learn and I had on idea where to begin. I wish someone had told me it was okay to not know certain things. As I've gotten older I've become much more comfortable with learning things as I need them rather than assuming I need to learn everything ahead of time. This has made my life much less stressful and much more enjoyable.
It seems to make a little sense: If you're not worried about the worst case scenarios you can take on more risk.

ie: if you know your kids wont starve (food stamps), you wont end up in permanent debt (bankruptcy laws), you wont be killed by your creditors (social order) etc etc. then you can do things (start a business) that would otherwise risk those consequences.
Also I think it would be hard to surprise a crew member in the confines of a cockpit... Most likely would result in at least some type of physical struggle
This is a good move by Lyft. Uber has cornered the market for taking someone from point A to point B. Lyft needs to give customers the perception that there's more to the industry than being a low cost taxi. Not sure if it will pay off...not sure if Lyft has much of a choice...but seems logical for them to go down this path.
IIRC, it was Naggum that said the issue with XML is the useless distinction between elements and attributes, leading to countless discussion, bikeshedding etc etc instead of actually solving problems.