skysight-inc/HackerNews huggingface dataset:
The expressiveness of the tower of universes limits to that of Peano arithmetic, correct? Otherwise, there would exist a universe k that contain theorems that could not be computably proven in universe k+1.

On a separate matter, are there any principled meta-universal rules for incrementing the universe index? That is, if one suspects that one's current universe lacks proving power, is it possible to generate the axioms for a more powerful universe?
Ray Python Framework: New Python Framework Overview
Me! Always. Otherwise it'd always be running. Who would want that? I don't need to know my GPS location very often, so I see no reason to leave it enabled all the time - that might serve Google's interests but it definitely does not serve mine.
It's usually not easy to compare across industries, though. A software company with $1M revenue could easily end up with higher net profit than a restaurant with $3M revenue.
I must say I envy you the clarity of your certitude. It must be nice to live in a simple world. I wish I did.
> Are athletes unable to take medication such as Ritalin if they need it for a legitimate medical issue?

So you believe this top, elite athlete who excels at focusing has ADHD or narcolepsy?
Are you willing to go that far before admitting they may have cheated on that, and use psychostimulants, steroids and amphetamines for unethical competitive advantage?
Can I pay extra and have a custom image burned into the pizza instead? Would be great for parties.

Reminds me of a local pizza place that will make the pizza in a heart shape for $2 more. Of course, my wife and I just had to buy one. The chef and the waitress actually went out of their way to let us photo it before cutting and everything. Way more than $2 additional work, IMO. If we weren't both dieting, we'd still be eating there quite often.
I'm still sad about the lack of disk drives. A shame. Luckily I still have my 1996 Compaq Presario.
Yes, legally you can refuse, but then the cop will come up with some reason to detain you so you can't refuse. If you approach a police officer, you've already made a huge mistake and pretty much are fucked. Don't do it. That's the only thing you should care about. If you're already interacting with one, you fucked up really bad. Pray that you get out alive. I'm really NOT exaggerating. Being white helps tremendously, so be white if you can.
Show HN: Personal Finance Management in Node.js and Google Sheets
You're assuming that the need to be right overrides society and belonging - security. For most people it does not.
> That's a program for playing music, right?

I wish. That feature is practically abandoned. I use WinAmp to play music. I so wish I was kidding. The iTunes app is horrendous.
That's why I mostly separated them. I'm far more pessimistic about England's future than I am for Scotland's.
> The police repeatedly (apparently) asked for his ID and escalated the encounter. Based on those facts, I would not assume that I was not being detained and was free to go.

Even if one is detained, one is not legally obligated to produce ID (even if one has it in one's possession, which also is not required.)
Ask HN: Can I become a programmer with a Computer Programmer Analyst course?
I am attending Sheridan College (Ontario) for Computer Systems Technology – Systems Analyst and want to become a dev. How hard will it be for me to move in this direction if all the jobs ask for "BA/BS in Computer Science or related field".
Does someone have a link to where I can download a few copies of different ME regions for some CPUs.

I'd love to get a look at what it's doing.
Udacity launches self-driving car nanodegree
Well, as I said, it's only for interns, so usually for 3 months.
Stripe now with official Apple Pay on the web
https://www.postgresql.org/message-id/CANNMO++6tPiwBv2OKcy-H...
I guess most of it has to do with education. I genuinely had no idea that there people in Inda who look different than what I see around me till I was in my late teens. I guess its lot better now with the internet but diversity education won't hurt.
Came here to say this. I wasn't sure about the steadicam approach at first, but after watching one of the videos, it felt like I was there! Looking forward to seeing the upcoming ones.
How would this work? You could boost the query term for instance, like it possible to boost the column score in postgresql but that is all. Otherwise allowing user to provide their own ranking function (which is itself an art) would not be pratical performance wise. It should be noted that search engine interface, the search box is already a DSL for the underlying algorithm that support OR/AND and NOT.
Maybe they have a problem attracting those types of researchers for some reason.
Back in the late 90's and early 2000's, before it was possible or commonplace for ads to track whether they were being shown, plenty of web sites included text like: "Support this page by clicking on our ad banners!" Would you have argued back then that it was unethical to view a web page and not click on all of the ads displayed on it?
Better not try to make condescendence's argument with any collectors.
Yes, it's quite common for Elixir libraries to provide blocking calls. If your program is well-designed though, the calling process will be "blocked" but other processes will be executing at the same time. So having a process waiting on a HTTP call has no impact on the overall performance of the system. This is one of the big reasons why Erlang/Elixir's model of having many processes is awesome.

It's also very easy to use the async/await pattern if you want to make a call, do other work, and get the data from the call at some later point.
If you haven't looked at it already, Pinboard (https://pinboard.in/) might be worth checking out.

The premium service caches the content of everything you bookmark using the service, with full-text search (in addition to the usual tagging).
Espresso is a remarkable concoction. The crema, aroma, and taste is as much a product of the process (pressure, temperature, time, and dose) as it is the raw ingredients (the beans, roasting, freshness). Everything has to come together at the same time and in the right way with little room for error, otherwise you end up with bitter hot liquid.

Pulling a righteous shot of espresso takes a serious amount of practice and I am glad that there are attempts at quantifying the magic of a skilled barista.
Vectr is out of Beta
I didn't say only admit people that are already running large companies, though those are welcome as well.

I said "on the path to 100m in 5 years"

That could be $0 through year 1-3, but it would be wholly different if that company was a technology startup creating value vs a services business like a non-chain Mexican restaurant mentioned below that is not necessarily creating an outsized impact on the US economy with low wage service jobs.

Apple was incorporated and immediately had $250,000 in capital invested. Me thinks you did not read the wiki page.

> During the first five years of operations revenues grew exponentially, doubling about every four months. Between September 1977 and September 1980 yearly sales grew from $775,000 to $118m, an average annual growth rate of 533%.
It’s Too Bad Electric Scooters Are So Lame, Because They May Be the Future
I agree about the purpose of the encyclopedia, but I think only experts are in a position to guide non-experts towards a deeper understanding of a subject. This is what I see as Wikipedia's basic problem. They need experts to write coherent articles, but they want unbiased content. All experts are biased by their expertise, which leaves Wikipedia in a bind. In practice, biased experts write biased articles. In the best case, they try to be as even-handed as possible, but the worst case devolves into the situation described in the article we're discussing, or the AHP page I mentioned elsewhere in this thread.

Edit: to your point about basic information, I think it's going to be difficult finding where to draw the line.
On a related note, I'd like to host GitLab on my own server, but it's the cheapest Linode and I've heard that GitLab requires a somewhat beefy server. I'm currently using Gogs which is really light but also very simple.
Every blog post should have a TLDR like this one.

TL;DR:
Michael Seibel will be the new CEO of YC Core, which we are now just going to call "YC".
Ali Rowghani is now the CEO of the YC Continuity Fund.
I’m going to be the President of YC Group, which includes Y Combinator, YC Continuity, YC Research, and our new online class. We’ll add more organizational units over time.
We’re going to replace the Fellowship with a much larger MOOC launching next year.
Of course, he is dead wrong about nothing to do. He just does not want to inconvenience his own customers.
Little of both.

We were pretty sure it would already be impossible, or nearly so, for a malicious user to probe our infrastructure this way, but when it's so simple to be even more sure, why not?

Similarly, we'd already observed a low but nonzero rate of users inadvertently providing such addresses - not during signup or onboarding so much, but in recipient lists they submitted. Since we used the same recipient checking code everywhere, why not cut that back to zero, too?
It's a joke: if it really was clear that a railgun was "the way to go," companies would be doing it.
Go on and try offering "campaign financing", or "creative accounting" to a policeman stopped you for speeding somewhere in California. Don't forget to record it on your smartphone.

In Russia, literally ANY road policeman not only takes bribes, but has a bag of tricks how to get more from you.

Unfortunately it's well-known to me, from my own experience. (10+ years of driving on Russian roads, 4+ in California)
The US is about the same geographic size as all of Europe and includes many cultures, languages, styles of government, and foods. Hell, just wandering around different parts of NYC ticks your boxes.
As the Instapundit puts it about many "obvious" solutions to problems, they "provide insufficient opportunities for graft".
I don't want ads to go away. I want ads that are relevant, or at least aren't insultingly stupid.

The utter shit people run on major sites these days is so patently offensive ("Single Mom's Weight Loss Trick!", "Get Government Money Tomorrow!") that I keep a blocker on for my own sanity. I'm consistently appalled at the extremely low quality advertising that supposedly reputable properties put on their sites.

Give me good ads, please. Don't give me garbage.
That's 67GJ per KG? because otherwise either I'm very very wrong, or they are very very optimistic.
Self-driving cars will change everything
Well, it's kind of safe for their citizens too, if they don't get involved in the things that get them killed, as those are not random things. But civil rights aside, online surveillance there is not yet at the level of reading everyone's emails and while they really want to do that they have a hard time implementing something like this for various reasons. It's definitely safer to use those online services, than the ones in your own country or allies.
Obama and Bill Clinton are the same person now?
And perhaps this is a bunch of mystic BS. If you're going to believe in God, believe in God. If you're going to be an atheist, be an atheist. Don't tell yourself just-so stories to try to give yourself the feeling that something "divine-like" is maybe there.
Also a lot of projects succeed under Apache.
NetBeans is great piece of software and it is not even remotely close to die.
Do you mean there's a way to run non-html-anchored Elm? Links would be wonderful!
Thank you. "Postings" is another word for the format of the doc ids and related information in the inverted file. A google for "inverted index postings" will turn up a bunch of references.
it is a man in the middle changing your DOM with stuff that profits them. how can you tolerate this?
True it's a single framework, my point was only the size... I mean, the amount of knowledge you need is probably the same you need to work with web stack.

Also, if you need a backend even if it's written in same language, is still a different thing, much like node and web javascript. Choosing a different backend languages usually is made because of the advantages it brings (Rails for prototyping, Erlang or Elixir for stability, Java for performance and so on)
Sousveillance is much more broad. It doesn't just mean watching government officials, it's watching everyone. Essentially "democratising" spying.

Watchdogs for government, absolutely, great idea that I support 100%. Sousveillance sounds like a horrible dystopia where your nosy judgemental neighbour down the street broadcasts your house guests on youtube to demonstrate the moral decay of society.
Not Adblock. Adblock Plus.
> Nobody is an alien in this country

Legally, any person who is not a citizen (including a legal immigrant who has not yet been naturalized) is an alien in this country.
There were niche startup doing niche programming language (BASIC) with less revenue that ended up being Microsoft.
There is no slippery slope, because Facebook simply doesn't "control communication". Its network has no special status by legal fiat.
Sometimes, a mental jolt is necessary, rather than soft diplomacy. Zen masters understood such things.
My pleasure, I wish you the best of luck with it.
I take it you would prefer to be ruled by a dyed-in-the-wool blue-blooded aristocrat, who has never done a day of work in his life?

Or hell, why not just auction the PM's office off to the highest bidder?

Or hell, why not bring the Divine Right of Kings back?
A great option for amoral people who want to see a free and open internet disappear.
Anecdote: In my pinboard.in account, I have 6,123 bookmarks, and 497 tags. With no more analysis than a calculator, that's roughly one tag servicing 12 bookmarks. I don't think that's very good.

(I am, however, still very happy with my pinboard account. I treat my bookmarks as searches that I'm going to want to do in the future, with a high probability of finding something useful.)

How I got here is that I use the pinboard Firefox addon, and when I find something useful, I bookmark it in pinboard. Pinboard has tags, and it will often make suggestions, which are often correct. But of course you can add tags on the fly. As I've used the account over the years, my interests have changed, as well as my awareness of how tags have served me so far, so I would tag some things very differently a few years ago as opposed to now or in the future. That makes older tags potentially less relevant, as they are less likely to come to mind, and therefore less likely to help me find the thing I'm looking for now, with today's focus.

Which is a long way of saying, tags are essentially arbitrary without a well thought out system (mental and/or physical), and sufficient thought and constraints at each tagging event. The last tag in my list is "youtub."

Tags are cool. And tags are hard. The idea is simple, but I wouldn't call them a simple solution.
Continuing the example, I'd say that at the non top-tier level it's pretty important to have a degree if you want to make more than 60k a year. It's really hard to justify charging more than 20$ an hour to parents of prospective students if you don't have some sort of degree. I'm assuming that most music majors will go on to teach. Granted, this isn't the only thing you need to be successful, but it's a pretty important component. I doubt that anyone who is going to succeed at an instrument could get the information they need from a community college. It sounds elitist, but pedigree is very important in music. The community is not particularly open about sharing information, so very few people (relatively speaking) really know what they're doing. And they tend to keep it to themselves/students.

Additionally, music is pretty unique in that very few people study music in college without having already studied it seriously for 10+ years prior. Typically, if you've been playing that long, you've applied to specific schools with specific teachers in mind. I don't think anyone that plans on being successful in the field will be able to get much from whatever clown is teaching at the local community college.

Further, teaching can be surprisingly lucrative. Teachers that consistently put out competition winners at the state+ level can charge upwards of 100 dollars an hour. Top tier teachers in the LA area charge 300+. The most expensive I've ever seen was 700 /hr. (This is true for piano, which is my frame of reference. I'm not sure what music teachers in other instruments make.)

Continuing some of the above points, basically every really good pianist in the US comes from one of two "lineages" of pianists. Either they can trace their teachers back to Schnabel, or back to Josef and Rosina Lhevinne. I would be very surprised to hear of any 2nd generation student of Schnabel's or 1st generation student of the Lhevinne's teaching at a community college, much less online. I guess what I'm trying to say is that it's really not possible for the students who would succeed to get the information they need in a cheaper form.

But back to the initial point, I'm not convinced that cutting off entire paths of degrees from receiving support in the form of loans won't represent some sort of massive loss to society. Consider all of the potentially lost art/literature/music? At any rate, I feel like either college should just be subsidized by the state, or let people just be personally responsible for what they choose to study (which is what we already do.) I'm heavily in favor of the former.
Calling someone an asshole isn't the path to 'satori', and ego has no place in a zen koan.
I'm not a GitHub user myself, only have experience with GitHub. The article I linked outlined it very well.

Essentially, what I need is code ownership (like Phabricator's "Owner" feature or Chromium's OWNER file: https://www.chromium.org/developers/owners-files) and essentially what's outlined in the article I linked (diffs instead of heavyweight merge requests).
" we are lucky enough to live in a small house turned apartments with parking right outside."

Not as relevant in an area where land is inexpensive, but in cities free parking is usually a sign of terrible inefficiencies in land allocation. See "The High Cost of Free Parking" by Donald Shoup.
> Do we still trust that these types of rules are being followed (particularly in the context of mass surveillance)?

No we (I) do not.

In my state, it is a violation of state law to have a record of gun owners. When the state police force started saving records of every purchase, they were sued, but won on the basis that since they were only storing records of the purchase of new firearms, and not those few types of firearms exempt from a transfer background check, that it wasn't a record of all gun owners and was therefore legal.

In practice, though, unless you are buying a used rifle or shotgun from another person, the state police knows what firearms you own in direct contradiction of state law.

There is no doubt in my mind that agencies like the FBI or NSA would go far beyond this in order to determine what firearms Americans owned if it served their purposes to do so.
It's pretty obvious that both companies are focused on doing exactly this. Nothing wrong with thinking, so long as it's rigorous and backed by action.
I do like that quote ... but it did get me thinking about my own circumstances.

As someone who believes that we probably evolved/migrated out of Africa, I feel no unity or connection to that continent. I only really feel a connection for my home town (in Australia) where I was born (I've moved to a different state since then).

So I suspect, in the far future when we colonise many worlds, there won't actually be much of a connection.
Last resort is Ctrl-x Ctrl-e :)
No. Whistleblowing on illegal government actions is totally different from treason. The fact that part of the government did something illegal in no way justifies undermining national security goals if those two are not related.

Snowden clearly did not do the only thing that could have been done. He did release documents selectively, therefore he could have chosen to not release the foreign surveillance information.

All governments do bad things. That justifies whistleblowing. It never justifies an attack on the country's international security by its own citizens. In case you handn't noticed, other powerful states have no qualms about cyberwarefare.
Gender Pay Gap Improving
The application does the opposite of what users believe it's purpose to be. Ad revenue is stolen from ads it blocks.
You're mistaking the CA certificate (i.e. the certificate that signs the login certificate) for the signing process itself.

In the scheme described, users don't log into servers with the CA's certificate and private key -- the CA's private key is always protected, preferably in an HSM of some sort. Instead, the CA issues a signed certificate to the user with a set of principals; and that latter certificate is the one used to log in.

So, the process that issues certificates (the "Authority", as opposed to the "Authority Certificate") is the one I'm concerned with here.
High salaries mean good work only occurs in California?

It couldn't be that there is an idea you MUST be in California and by and large remote work is not offered?
You buried the lede: a YC MOOC!

I always felt that onemonth.com basically was the YC MOOC. (It is funded by YC, and you see the themes of user first, user research, growth etc running through it).

Not sure if anyone else here knows what I mean.

Will the MOOC be free?
> "The Supreme Court has held that even if the police have a flawed understanding of the laws and rules they are enforcing, their flawed interpretation governs the interaction on the street."

Gee, how convenient. And not consistent with the constitution, particularly according to this case, the fourth amendment doesn't have an exception for "cases where the agent of the state is confused".
ASTM are documented to have retained a lobbying firm in the UK:

http://whoslobbying.com/uk/astm_international

Sep 2010 - Nov 2010
APCO WORLDWIDE provided UK public affairs consultancy services to ASTM International. [2]
The Dollar Shave Club Architecture Unilever Bought for $1B
Just as a point of comparison, I thought it was creepy for about 10 seconds, too. Then, for some reason, my brain adapted to where I think I'd now prefer the Microsoft Pix version of the image over the Apple one. Brains are weird, I guess.
What other cultures consider just fine, many Americans would consider unacceptably collectivist.
And I understand what you're saying. Similar things are happening when your child goes to school/college/etc. You pay for smth and she/he gets preferences. As I see, it's common both in US and Russia.

But between bribing and things you mentioned there is one essential difference, that changes everything. It's this question:

- Are rules known in advance, are they written and available in public?

I believe this question helps to distinguish black and white.
Ah, I was also tricked by "transcribe"... This is why reading science articles is so much better when there is also a comment section (HN/Reddit etc). So many articles don't actually point out that is going on really.
What about https://en.wikipedia.org/wiki/Stop_and_identify_statutes ?

I would think there is some overlap between reasons to invoke those statutes and reasons to detain.

Is it simply the case that none of those laws require production of a document?
To be a little crude, and in my opinion, what you are basically saying is that you are glad that the choice and autonomy of other people unrelated to you is restricted so that your vision of what the world should look like can be realized.
Being critical of Israel's government and its policies is not the same as being anti-Semitic. That's a popular rhetorical trick to deflect all criticism, and it's not valid.
Wearables, bots, and fitness challenges