skysight-inc/HackerNews huggingface dataset:
If we as two individuals or "we" as society at large ever wish to have a non-political thus solution focussed debate or discussion on piracy; one of the first preconditions would be the need for understanding the ontological nature of things and therefore for example not using emotionally loaded descriptions such as "Theft". It's not only factually incorrect, it's also misleading to masses of intellectually less gifted people.
In fact, it even makes some of them agressive, totally destroying whatever rational thinking processes that might have been going on. You'll probably agree when i claim that's not constructive at all.
Yeah, my indexers work on an ondemand bases as well. You can see how the ondemand indexing technology works with Bitbucket Server, in the following video:

https://www.youtube.com/watch?v=-VQVmh0UOnU

What may not be obvious from the video is, indexing additional branches is extremely efficient and fast, since most branches usually share 90 - 99% of the same content.

My indexing technology, also introduces a "group" concept, which makes it possible for you to share indices across similar repos, which makes indexing hundreds of forked repos, quite efficient and fast.
Paperwork Reduction Act of 1980 as amended in 1995. The PRA requires that all federal forms be reviewed and approved by the Office of Management and Budget to ensure that they are not unnecessarily burdensome, it also requires that an estimate of the public burden of the paperwork be prepared and published. The key method here is to estimate the amount of time required to fill out the form and then multiply that by a standard hourly expense rate, so you will usually also see the estimated time required to complete a form. That estimate involves any research or calculations required, so on some forms it can be very long, e.g. the SF-86 at two and a half hours each.

While the fact that the paperwork Reduction Act created this new bureaucratic step is amusing, it served to rectify the earlier situation where a lot of federal paperwork was unreasonably complicated just because it was nobody's job to make it otherwise.
> A surveillance society could eliminate almost all crime, or at least serious crimes. Even just reducing them significantly would have enormous economic and social impact.

The problem with your assertion that once crime is reduced significantly children will be allowed to go play on the streets again does not match reality, as evidenced by this randomly googled graph[0].

Crime's been down for a long time, yet fear is way up.

This fear is easily but not correctly explained by direct factor such as crime or terrorism. So any reductions in crime or terrorism will not induce a reduction in fear, it will just shift so to something else.

Why all the fear though, I don't have a good answer to...

[0] http://www.statista.com/statistics/191219/reported-violent-c...
I always wanted to go to US as a kid - now I would actively refuse to.
It compares the time to Python, based on reduce(lambda...). The lambda x, y: x+y is slower than operator.add:

% /usr/bin/time -p python -c 'reduce(lambda x,y: x+y, xrange(1000000000))'
real 140.16
user 140.10
sys 0.05
% /usr/bin/time -p python -c 'import operator; reduce(operator.add, xrange(1000000000))'
real 67.04
user 67.02
sys 0.01

Python is not optimized for functional programming. The idiomatically relevant comparison would be:

% /usr/bin/time python -c 'sum(xrange(1000000000))'
11.99 real 11.98 user 0.01 sys
% /usr/bin/time pypy -c 'sum(xrange(1000000000))'
1.38 real 1.35 user 0.02 sys

That of course still doesn't beat pre-computation.
I like this post not for its technical merit but for its pedagogy. Scraping Craigslist and posting the results to Slack is not rocket science, but the project is described in enough detail to make it accessible to -- and potentially reproducible by -- someone who didn't already know how to do it. IMHO that has a lot of value.
The illegalization of alcohol in the US was effective public policy. Cf. http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1470475/
I still need to file back taxes & so don't feel like reading yet another document from the government.

Can someone summarize what this says?

Will people who don't use social media have to go to the back room for a full cavity search?
Anybody wondered whether the real Satoshi actually had a hard drive crash or something like that, and actually lost access to his wallet and PGP key?

Then making it impossible for him to claim his bitcoins or prove that he's the real Satoshi, thus will never claim to be Satoshi?

Sometimes, the most simple yet stupid explanation can be real
Hypotheses on antioxidants are complete nonsense
Chess queen of Africa
I have the same, the US has some pretty places I would want to visit. The way they handle tourists like they are all a threat to the country and are not really welcome, that is what puts me off.

Even though the social media question is optional, it raises a flag that you didn't fill it in and you run a higher risk of getting questioned/interrogated at the airport.

It saves time for the agents that they don't have to search for someone on social media, but it also makes everyone aware that this is being done. (potentially hurting security because before sending the form a terrorist will now clean up his facebook if he has a dirty profile)
This is part of mass surveillance, and at what point will the form say that you have to add agent X to your friends list on social media, so they can snoop around more??

-Where does it stop? For me it stopped a long time ago, I just won't go there. Instead I enjoyed holidays elsewhere around the world.
edit- some spelling mistakes.
how's the public transit in those areas?
From your own citation:
"with each hoping that the other will collapse first"

This in no way demonstrates a belief that both sides thing they are made of tougher stuff. In fact, it says explicitly that both sides are "hoping" that the other side "collapses first". This is in no way indicative of any self value of positive strength and thus a premise of your argument is false. Therefore you conclusion is false. If you would like to submit another attempt at providing reasonable evidence to back up your claims, I'm more than happy to review them.
The relevant section:

DHS proposes to add the following question to ESTA and to Form I-94W:
“Please enter information associated with your online presence—Provider/Platform—Social media identifier.” It will be an optional data field to request social media identifiers to be used for vetting purposes, as well as applicant contact information. Collecting social media data will enhance the existing investigative process and provide DHS greater clarity and visibility to possible nefarious activity and connections by providing an additional tool set which analysts and investigators may use to better analyze and investigate the case.
Getting into the UK isn't much better. Maybe worse.
Ms+phd
I would like to do masters+phd .I heard that we can do masters +phd. So that we can get funding no need of paying fee. Can someone suggest me universities where i get masters +phd.
Nefarious? The irony is staggering.
What's left? Government demands complete access to every aspect of your life in every way.

No, wait, that's what they already have.
iPhone spying flaw: What you need to know about Apple's critical security update
How about this? https://www.cbp.gov/document/forms/print-ready-layouts-cbp-f...

It looks like 18 different languages are provided. I don't travel internationally often (and usually to English speaking countries), but I thought I'd heard that other languages were available on request.
> This could be hugely beneficial in applications like creating drugs that can lie dormant until it detects a change in body temperature indicative of a fever, for instance

Could this drug be activated by e.g. a hot laptop sitting on your lap?
I think this is our future, whether it's dystopian or not.

Technology is eventually going to make it impossible to really prevent "Persistent aerial surveillance". What requires an expensive small blimp today might become the size of a ping pong ball (or wide area flock of them) and come out of a 3D printer tomorrow.

So who will be using such tech? Governments and private entities alike - we can try to legislate against either but technology will probably overpower the legislation quickly.

So what is the impact of this sort of technology? Maybe it's not all George Orwell. Your bike was stolen on Third St at 1pm? Roll the video back or forwards to know exactly where the thief is. Someone shot up a nightclub and rushed out in a crowd? automated video analysis caught them.

Yes it sounds scary if it were a monopolized power, but eventually I don't think government will be able to hold monopoly on it.
> Udacity

What?
That's pretty crazy.

The only way they could deal with that much data would be some sort of agreement between the US & Facebook for information sharing.

Time to create another social media network.
Didn't he post a signed message denying that he was Dorian Nakamoto (proving he still has access to his keys), Or was that one a fake?
So why aren't utility companies installing solar panels on my roof just yet? Why is the upfront financing of solar panels still a problem?
Good point! Actually finding someone on FB has always been very difficult!
Control, transparency and check-and-balance are all inconveniences though. Having to ask a judge for warrant is definitely inconvenient, same as proving beyond reasonable doubt (instead of just, let's say probable doubt).

I didn't say that inefficiency should be the goal for the government. However, for certain scenarios, that's the trade off we have to make.

> Going the other way - allowing them full and uncontrolled access provided they just jump through a few arbitrary hoops to get the data

Fortunately, most of the time those "hoops" involves a human in it, hopefully being able to stop bad things from happening. Again, there is no silver bullet, and shitty paper stamping process won't be helping either.
How to get boring maintainenance done in OS?
Hi i m part a open source community, and there is a problem. As in, we have great committers, but relatively few who want to dip into the lower level maintenance stuff. I get it- fixing this or that bug doesn't make for nice curriculum vitae and bragging rights. Writting a feature does.

My question is- are there ways of gamification that would redirect the efforts of beginners into this direction? Something like a stackoverflow system that allows for feature-commits only after you had a share of fixes/maintenance tasks done?
I have to agree with you. I'm British, my wife is Brazilian and we have a young son with dual nationality. We live in the UK.

We were thinking of a family holiday and ruled out the US because of how complicated he visa process is. I'm sure we're not alone.
Those are some serious claims that are not at all objective. I can tell you that I have found OpenSMTPD to be at least as inelegant as just about everything else that touches mail, and PF is a good design but has always had serious competition from the commerical world.

I mean, I love OpenBSD too, but you can't drink the Kool-Aid like that. It's got just as many design tradeoffs built in as any other competent OS.
The Elegance of React – Writing Elegant Code with React, Redux and Ramda
>"Why don't we just give the consumer what it wants? " actually works in practice, not just in theory. Look at the succes of Spotify & Netflix for example.

Fyi, Spotify is not a success (yet). Spotify would actually be an example of it working in theory but not in practice because the music streaming service has been losing money since its inception.
Blockchain in the browser, MetaMask
I don't know about the details of constraining supply (medallion system), but taxis in Japan are not cheap. In Tokyo, they start at about 7 USD.
Persistence. A satellite in GEO is nigh on useless for high resolution persistent imaging. A satellite in polar is even more useless for persistence.
Sia per i candidati che per le imprese che lavorano da remoto
When buying IT equipment worth millions you will get very significant discounts,too.
Fungal infections are acquiring resistance to medicines
If this problem was non-existent, Spotify and Netflix would close down as free, community-based (i.e. open-source) solutions would would appear. Because the "limitation of content" is what copyright is all about, with artificially enabled "content owners" preventing everyone else to access the content.

Netflix and Spotify are just convenient channels for the content monopolists to charge for the access to "their" content.
Well, I think this can be answered by considering that even under normal conditions there are transistors that are used as much as in your hypothetical scenario. For example, the instruction decoding logic is invoked for every instruction. Since all logic transistors are the same (afaik), I don't think that using one type of instruction would significantly reduce the life-time of your CPU.
Someone posted a message from one of his accounts, but it wasn't signed IIRC.
The persecution actually began under Peter the Great. By the time Communists came into power most old believers had already fled.

The main reason for persecution was the old believers distrust of state power. They didn't accept rule by it and they didn't take any part in it. They were similar to the Amish people in the US.
Funnily, that doesn't work as expected on OS X due to a rather old version of sed installed by default that doesn't support \s. Try the following instead:

sed 's/[[:blank:]]*$//g'
At which point will they order you to fill that social media platform with actual events so they know it's really you ?
Facebook and Twitter are obviously social media platforms. But what else is to counted there? Gmail? Path? Github? Hacker News? Wikipedia? What about my professional society ids? And what about medical social platforms? Does anyone understand where the line is?
D also has unit testing built in. IIRC, they do mention a limitation or two.
But MOV is not really a single instruction. I would be more impressed by a single opcode compiler.
Wow. That honestly might be the most bothersome part of this whole thing. Udemy is essentially stealing from their customers at that point. That would be like buying a game on Steam, and then Steam deleting the game from your library and only refunding you if you email and complain about it.
“To a Top Scientist at Woomera Rocket Range, South Australia” (2009)
Something to keep in mind: social networking sites have been already checked, even without explicitly listing the ids/links. From 2012: http://newsfeed.time.com/2012/01/31/british-tourists-tweets-...

Devil's advocate - are they already checking everyone and this just actually saves them the time?
I agree this is a likely practical outcome, but the datapoint itself is troubling; I can just as easily imagine a binary interpretation of social/antisocial.
That's only the case due to the fact that Spotify is not a so called "Rights Owner", not to be confused with a actual artist.
These "Rights owners" do not only hold a monopoly, but also decide if and to whom they license at a totally arbitrary pricepoint. No competition, No marginal price. No free market equilibrium. The market failure here lies in the overextension and application of copright law, not in Spotify.
Consensys seem to be behind all the interesting projects, can't help but think that they could go and dominate the blockchain market over the coming decades.
I look forward to the day when software isn't rolled out country by country -
"I tried to go through the process. It asks me for an e-mail address, but I’m from UK so I can’t proceed as it is currently limited to the U.S."
It seems all those paths are still drawn by humans, I think. It still takes a lot of watching those images and putting points on them before they could really start an investigation.

Of course if this agency has access to the cellphone towers, it could allow them to draw those points, but I don't know if towers are always triangulating the positions of all cellphones in an area at any given time.
Wau: The Most Amazing, Ancient, and Singular Number
Physicalization [1] - use a separate machine instead of a VM

--

[1] Physicalization - the opposite of virtualization

https://en.wikipedia.org/wiki/Physicalization
Technology was sourced from different companies, it just so happens that this is how they chose to deal with this problem. From your link:

> In Japan, the western part of the country (Kyoto and west) uses 60 Hz and the eastern part (Tokyo and east) uses 50 Hz. This originates in the first purchases of generators from AEG in 1895, installed for Tokyo, and General Electric in 1896, installed in Osaka. The boundary between the two regions contains four back-to-back HVDC substations which convert the frequency; these are Shin Shinano, Sakuma Dam, Minami-Fukumitsu, and the Higashi-Shimizu Frequency Converter.
Stop doing these 15 things when pitching your startup
Depends what you want to do.

If you are interested in program
verification, then not all that much, because everything is about
automation. Coq/Agda have a small edge if you want to prove something
about Lambda calculus since Coq/Agda are themselves Lambda calculi,
and not surprisingly most Coq/Agda work is about Lambda calculus
... The HOL school has probably a small edge in other areas.

In practise the underlying approach (LCF vs Curry-Howard and dependent
types vs HOL) makes much less of a difference than automation and
availablility of proof libraries.
US Customs has said it will be used "for vetting purposes, as well as applicant contact information." It has not said what it will be checking for, so you are concluding something which isn't there.

All they ask for is the account name. How do they check private FB posts given a name?

How do you know they will be checking for FB posts supporting ISIS?

What does "supporting" mean? Would "I support the right of people to resist foreign military attacks" be considered support for ISIS?

How long will the information be stored, and who will have access to it?

Is there anything else they will use for vetting? Perhaps they'll go after hackers as well, including these hackers at Hacker News?
because you mainly need power when the sun isn't shining. Once you add in costs of electricity storage it's not economical.
I'm not sure I agree. For example CakeML [1] is the first fully verified self-hosting compiler for a substantial programming language, and seL4 [2] is the first fully verified substantial operating system kernel. Both were verified in LCF provers using HOL as a logic. Are you saying that the guarantees of correctness are not in themselves useful?

[1] https://cakeml.org/

[2] https://sel4.systems
That's right. A friend, here in India is making a decent income by selling accessories - connectors, wire(sun/heat resistant), batteries etc. Importing Solar panels in India or manufacturing is still with the bigger players. But accessories is easy to get in. Also companies providing installation services aren't all that profitable, because cost of labour is cheap here and the margins are low. In installation you're basically only playing in the 15-20%% of a crowded market. But if you consider the over manufacturing capacity of China, accessories import/export/manufacturing remains a lucrative segment of the business.
Show HN: Msngr.js a simple messaging library that works in the server or browser
Binary Trust Method honest scam review
That is true, but does proof automation work as well for classical reasoning in Coq as it does in Isabelle/HOL where classical reasoning is 'baked in' from the start?

As far as I'm aware, the question of moving the "sledgehammer" approach to a constructive setting is still an open problem.
MAOI
Anyone else use this lib?
It'll take a few years, even the suppliers are not focused on residential rooftops (atleast in India). Although several state govt's regulations that industries of a certain size need to use solar energy is encouraging growth in that segment. Residential rooftop installations will take at least 2-3 years and govt incentives, to pick up. But the market is moving for sure!
When you get a Chinese visa you will be reviewed for, e.g., Falun Gong activity.
I think investor preference for multiple founders is almost entirely because it makes it easier to make voting control of the company not be in the hands of a single founder they might disagree with. Two founders provides twice the opportunity to take control.
Hi all! I originally submitted msngr.js almost two years ago[1] and since then it's consistently improved. Now that I'm at the point where I feel comfortable that APIs are unlikely to change any further (at least not in the next few years) I was hoping to get a renewed take on it. Thoughts, criticisms, likes, dislikes etc would be extremely helpful!

I constantly find myself using msngr to handle events that multiple components might want to access without needing direct access to the object (so for instance I like broadcasting a message when the user's information is updated then all components that display some piece of user information can update without caring where it came from). I also use it for logging and even configuration management (it has a cache that can merge objects together which is handy when applying multiple environment files).

But I live in a bubble using it. I only know a few others using it and they typically don't give me feedback so I'd like to hear anyone's thoughts regardless of the direction :). The documentation is mostly complete but there are a few undocumented items I will get to eventually (for instance you can respond to a message either synchronously or asynchronously and it'll aggregate all responses to a specific message and return it to the original emitter).

[1] https://news.ycombinator.com/item?id=9031854
Click the "web" link under the title and click the first google result => you can read the full article.
I've experienced that first hand. I was told it would take 3 weeks to setup and provision a VM that had IIS installed. This was a Microsoft shop, so one would assume the massive VMWare cluster they ran had dozens of instances like that.

The guys in IT couldn't understand why the devs and the rest of the business were rapidly moving to Azure...
Ask HN: I Wanted to Bootstrap a Business Not Write Volumes of Marketing Content
Seems like the conventional wisdom to draw quality traffic to your site/project is to write lots of quality search engine indexable content. I launched a project a while back, got some traffic and sign ups which tapered off. Now I'm faced with writing ever more content to keep the traffic flowing.

It's kind of annoying, I don't really want to spend all my time writing content (tutorials, marketing pieces, whatever). But what other options are there?
Big data, Google, and the end of free will
I can just as easily see omnipresent being used to further constrain children's lives. Especially those of teenagers.
I've turned them all off and nothing has broken so far, but then again I'm a pretty passive user of Facebook.
Because there was no HN then :)
It is not "imagined", it has very real consequences. If you have no publications in the venues that the scientific community considers "prestigious", you have essentially no hope to ever get a job as a tenured researcher.
If you want remote experiences in Europe, check out Apuseni or Maramures in Romania. Entire remote regions with people mostly living like hundreds of years ago.

Apuseni: http://szelmob.com/viatori/images/Blog/transylvania/Apuseni-...

Maramures:
http://romaniatourism.com/images/maramures/maramures-barsana...
I could never, and I mean never, get a XF86Config to work. Totally turned me off of Linux.
The Entrepreneur’s Weekly Review