skysight-inc/HackerNews huggingface dataset:
I was just thinking of commenting about the lack of collapsing threads on HN as well. Nice to see I'm not the only one who's missing it here. (Especially if the most upvoted comment is not interesting to me, but resulted in a lot of conversation)
Is DNSSEC causing more problems than it solves?
> Likewise, look at the hoops they've forced Google to jump through to achieve even modest fiber rollouts.

What "hoops" have companies forced Google to jump through to achieve Fiber rollout? Almost all the resistance to Google Fiber has been from municipalities that are not willing to waive build-out requirements, which Google demands as part of the package of "fast track" permitting necessary to be a fiber city.
Is the lab in NJ still active? I heard it was abandoned or at least void of life there.
The best thing that could possibly happen is informed citizenry. We REALLY do not need to worry about laws and regulations and instead begin to vote with our dollars where we can. If we started to shift our money in a concerted way, companies will begin to behave.

Edit: I would like a site where we can fund independent researchers who can truly tell us what is in our best interest as consumers, then we can follow accordingly.
Not necessarily. It's very possible for one system to embed inside the other. In this case you can often talk about exactly the same axiom/theorem/whatever within different inferential systems.

An interesting example is the Axiom of Choice which is, naively encoded, a theorem of intuitionistic logic. That said, we can use flattening to embed classical logic inside of intuitionistic logic and then recover a whole family of propositions of which AC is one and also see why it has a difficult time holding in IPL.
PlanGrid (YC W12) Is Hiring a Controller, PM, Windows and Full Stack Engineers
No, but thanks. We really appreciate your understanding.
Ask HN: What linux distro would you love to have preinstalled in your new PC?
On Windows 7, try this:

Ctrl+Windows logo key+Tab

Microsoft calls this "Aero Flip Mode".

Probably not in Windows 10, where the interface was made to look More Like Mobile.
Journals give mixed response when published trials don’t proceed as planned
each to their own. I'd like to do more stuff in other languages, but my perl skills are in too high demand, and it's fun.
Not really. Just some stupid registrars start serving junk sites when the domain is not renewed. This should be outlawed. Imagine not paying your phone bill and the telco starts serving ads when people call you and puts your number on an auction if you don't pay within 40 days. This is obscene and all this is because possibly registries pay big bucks under the table to ICANN!
The Free Software Directory
Trisquel with lxde works fine for me.
The biggest barrier to high fidelity ECMAScript apps on native platform is simple economics. Apple is guaranteed a $99 bounty when you push something on the appstore. Making Safari or WebView compatible with their native APIs and performance is a risk for AppStore.

Having built 3 non-trivial iOS apps using phonegap and JavaScript. I have come to the conclusion that I'm never going to build native apps using web stack. I have struggled with API support, DOM limitations and performance.

Disclaimer: I have not tried react native.

I think it'll fail for mission critical and non-trivial apps. If you just want an AppStore presence for your browser app or your app is trivial like one in the post. You are probably going to be fine.
Cloudflare DDOS Mitigation Pipeline
Show HN: Slack Export WebUI
Thank you much for pointing me towards Christ. I'm listening to the John Peel session past couple of days, it's perfect!
My favorite part is the pictures.
I agree with parent comment. At the heart of your disagreement is that you seem to use definition from logic of what axioms are, while your opponents use "definitions" from metamathematics.
Currently we're in an open space and the moment I can convince the CEO we'll do away with it. Collaboration that matters for my team happens in two places: our morning meetings and in HipChat. Otherwise lots of distractions, sure it can be fun at times, but at what cost?
No harm in applying, at least! You won't be any worse off if you don't get in.
Git-weather (A weather command for git)
Thanks for the pointers.
Denmark values their own way of life more than a stranger's. I admire them.
Zoning regulations have been around for nearly a century. They caused a ruckus when they first appeared("Why can the government limit what I do with my personal property?"), but their legality is well-established by the Supreme Court.

Violations of these sort(zoning, not paying property taxes, etc.) attach liens to the property, not the owner or renter. So it can be hard to dodge the consequences if you get fined.

Granted, this argument doesn't apply in Houston, Texas which doesn't have zoning laws. So if the comment you're responding to truly believes his argument, he'd be forced to accept the practice in Houston.
XUbuntu for me. I just got a ThinkPad for the first time and installed xubuntu on it. Running super fast with really low battery usage.
"We REALLY do not need to worry about laws and regulations"

Laws and regulations shape the marketplace, and determine which vendors you can vote with your dollars. In the absences of a free-market, there is no option to vote with your dollars. It's like voting in an election where the potential candidates have been preselected by an oversight board (see Hong Kong)
I remain surprised. If the partially read, unsorted set of filenames exceeds ARG_MAX bytes the shell can infer that exec will fail (E2BIG). There is no need to finish reading the names and sorting them.
This is the best approach in theory. In practice you might be stuck in the middle of nowhere with Comcast as your only choice if you want to be a modern human being.
Hard to say exactly. In addition to what jrbancel said about how the calculations differ, you can also refer to BLS to see which industries Americans are employed in:
http://www.bls.gov/emp/ep_table_201.htm

I would guess that construction, manufacturing, retail, and hospitality account for a significant portion of those jobs with less than 30 hours per week of work.
I've spent some time recently with both dask and distributed. Continuum Analytics has a real gem with Matthew Rocklin! I've found the libraries very intuitive.
I know it is not. I am saying most of the time Gopher reminds me of the language Go.
It's using this code:

https://github.com/mozilla/readability/blob/master/Readabili...

which is a descendant of the original Readability.js published by Arc90, before they decided to turn it into a proprietary Instapaper clone.

It extracts what looks like article text from the page markup. DOM elements included for a printer-friendly view could possibly be helping, but it doesn't target that directly.
i'm sorry but 'institutions' hardly seem like the solution when those places are where a number of people are coming directly from(o)

i think we need to acknowledge shelter as a basic right and determine a minimum for meeting that right's demands, then offer it to everyone with autonomy, only regulated by the respect for the rights of others

(o) http://thinkprogress.org/health/2013/09/11/2602391/san-franc...
The POTUS should not be considered a leader any more than the speaker of the house. He shouldn't be leading "the people" to do anything, according to the Constituional role. But in the movies, he's a standup guy every time so we get this weirdly quasi-religious idea that he's some special person by virtue of the vaulted position. A position which has been wildly perverted in an incestuous political feedback machination. Patriot Act still in place? Yeah, now imagine the other cancerous beginnings of the Federal Reserve, Social Security, the IRS, the FCC and on and on. The POTUS isn't a leader, it's a political tool that affects society when hardships (usually financial) arise and congress is too slow and inept to handle it, so the executive branch acts and 1/3 the legislative is too busy vying for the next election cycle to take a stand, leaving the acts in place the vast majority of the time. No matter how well or poorly conceived.
The link seems no workie. FCC server problems.
The Galilean moons
I'm curious if a municipality could threaten to eminent domain-ify themselves the utility poles.
> If you believe a 90% cache rate is an incorrect assumption for your workload

For people wondering as I did about how you might monitor for this, it looks like the data you need is in pg_statio_all_indexes
> because your conclusion suggests further regulation.

no it suggests fewer regulations

> Regulation (from government intervention) doesn't ruin a market - bad regulation does.

This is the same argument as communism has never been tried argument and that Mao, Stalin et al were doing 'bad communism'.

>some governments have regulated the telecom market to increase competition.

Regulation increases barrier to entry and therefore can not possibly increase competition. Almost all monopolies are the result of government intervention in the market.

>the best regulations are from independent groups such as IEEE. IEC-60079

Im not sure if this regulation is mandated i.e. it is enforced or not, but if it isn't then it's not really comparable to regulation from the government.

> Good regulation in my limited observations is very difficult.

Not surprising.

>However I believe you have effectively suggested more regulation

It's not. It is simply asking the holder of space to pay its rent value.

>Any time there is a monopoly (poles in the ground), it must be controlled with appropriate regulation to ensure the system isn't abused.

The only reason poles in the ground is a monopoly is because there are regulations that stop people from putting more poles in the ground. Do you suggest that the solution to regulations is more regulations?
Oh dear. I founded a successful company based on the theories outlined in this paper.
The money quote is a few paragraphs in.

"Denmark has long led the continent in its shift to the right—and in its growing domestic consensus that large-scale Muslim immigration is incompatible with European social democracy."

Europeans have generally experienced good cultural assimilation from immigrant populations, although I imagine conservative Jewish populations are an exception, leading to some troubling parallels right now. American politics and journalism make those parallels uncommonly mentioned in national media, but we should be considering them as societies.

At the same time, lack of assimilation to these previously well functioning societies is troubling. The lack of liberalism (in a formal sense, not an American political sense) is here on HN, too; debate on the story about whether religiously conservative men could/should be able to move women away from their assigned seats on planes was shockingly vigorous to me. This seems like a battle that countries like France and America helped win decades ago.

I read a suggestion many years ago (well before Turkey entered the EU) that in part Northern European countries "worked" because of their social homogeneity, and their success at cultural assimilation of immigrant populations. However true that is or was, that homogeneity is seen as at risk right now.

Like anyone, I have some mixed feelings about this as seen from across the Atlantic. I both like and dislike America's fragmented and vigorous culture, and I think of these more homogenous countries like I think of the small town I live in; with some rose colored glasses on about how 'nice' they must be. And a small town can be nice. But, it can be nasty if you don't fit in. And a small town with a massive population influx can lose its niceness quickly.

At any rate, it seems to me that Denmark should be allowed to ignore Syria if it wants, and also turn away refugees if it wants, or vet them on whatever criteria the country decides to. Right now liberal and right-wing (in the European sense) politics are ending up in bed together over immigrants, liberals on the behavior front, and right-wing on the culture front. Things seem likely to get more heated and violent before they cool down.
I see a lot of potential in open sourcing a modern and beautiful mail client, but the requirement of using a mail middleware (centralized or self-hosted) is a deal breaker for me.
In a sense mathematics already is experimental, because we already have, although not formally defined, class of things where we simply don't know their status of being true or false - hypotheses.

I am currently thinking how to make an automated mathematician based on lambda calculus, which would have its own notion of "beauty", and based on this it would try to select interesting definitions. It seems such a system needs to have a notion of experiment.

Since computations are proofs, theorems are basically computations that we know the result of already, i.e. which have already been done (all with respect to some axiomatic system, given by types).

Such system also needs notion of "economy", which lets it allocate computational resources effectively. So it needs to be able to evaluate things only partially, to avoid infinite loops etc.

This naturally leads to experimental approach, where you don't only know true or false, but there is a wide spectrum of what you know about certain statement (lambda expression).
I must check that out. Reading the comments makes me want a retropie. The link is not working.
What really needs to happen is that we get money out of politics entirely. The last thing I want is for Google or Apple to become another AT&T.
>Or you know - have the government own the poles and sell access to anyone who wants to run lines.

That's the status quo with the government owning the land upon which poles may be erected instead of poles.

So I don't see how moving the government ownership up a step would solve anything.
To me, it's fascinating that we have the presidential elections right?

Wouldn't someone who actually knows what to do and wants to fix things talk about these very things, in a very clear manner, hours on end, via something like youtube?

Is there a single candidate who has done that ever?

"Here are the numbers, here is what they mean, here is what we're going to do to change things around."

Is there someone I can look to to be better informed?
List of USB WiFi Antenna Booster for Laptop
I will be very harsh, but only because I think you need to take a step back and take some time to figure things out. The reason you need to go to school, and not do a startup, has nothing to do with your equity/pay situation.

You are simply not emotionally mature enough to be working at a startup.

The first thing that stood out to me is the judgmentality over such trivial matters.

Saying things like "i associate homelessness with lack of skills and i want to keep my identity small. i'm known for being well read" really reminds me of when I was really arrogant in high school and felt the need to maintain an internal (and wholly undeserved) sense of moral/intellectual superiority over my more popular (not unsurprisingly) classmates.

And then worrying about how your friends might perceive you because you're associated with him. These are not the signs of legitimate concern. These are the signs of insecurity. Similar to your fear that your parents would kick you out of the house if they read this post. This is not the sign of someone emotionally mature enough to be working full or part time at a startup.

Now, you could be totally right about there being too much focus on media attention. But a socially mature adult (and business partner) would be comfortable bringing those concerns directly to their cofounder, not to an internet forum where they can let their ruminations run wild.

The fact that you've also accepted an arrangement that is an absolutely terrible deal financially indicates a certain sense of naivete about employment, how startups work, and finances. This is not how unpaid internships work. The only reason to ever take an unpaid internship is if 1) it's at a highly prestigious company, or 2) it's in an industry where there are hundreds of overqualified applicants for every position.

Either get a proper paid tech internship so you can actually learn what it feels like to have a real job at a real company with real mentorship, surrounded by people smarter than you. Or take classes and study hard so you can get into a good school.
They're getting $2 billion/year now, according to Wikipedia. I wonder if your $50.6B is not inflation-adjusted; it struck me as surprisingly 'low'.
"I not only wanted to see if I could fool the panel organizers and get my paper accepted, I also wanted to pull the curtain on the absurd pretentions of some segments of academic life."

He really should have added "...within my sociology department." He has a high opinion of himself if he thinks he can speak for academia in its entirety. Also, obviously this guy takes his academic reputation, job and profession not seriously at all:
Much value is created by people who don't want to be bothered with payment because they are motivated by the social capital accruing from contribution to a community. Trying to pay for such gifts actually drives these contributors away, by devaluing their efforts - as though they were only doing it for the money. There is labor you literally cannot buy.
Wasn't there something in the last few years in S. Korea where in order to curb online harassment/stupid people so they made everybody use their real name and it only dropped by like 0.02 percent. It was really negligible.
It is curious that this hasn't resulted in pricing differentiation, where you pay more for quicker delivery, or more reliable delivery. Or maybe that exists but the weights (penalties for lateness vs premium for reduced transit) are variable, and the resulting correction signal to hard to optimise for with a high lag system such as a supply chain. A classic OR and non-linear control problem.
I was expecting something about the tobacco haze!
This is untrue. Leverage shapes market and it is being proven that laws and regulations are malleable. Unfortunately, this cascades down from regulation, to law, to rights.

While Taxis and regulatory controllers found it difficult to challenge Uber on the ground after it had occupied every state and municipality, for better or for worse only enforceable laws provide leverage to exert behavior or the perception of such an enforcement.
In addition to what Trevor said about is being difficult to getting deals with the game studio and referencing humblebundle, I think it would be interesting/slightly easier to spin off humblebundle and offer multiple copies of the same game. When my friends and I purchase a new game on Steam or PS4, everyone else usually buys the same game so we can all play together. If there was a platform where there's tiered 'bulk' buying so the buying 1 copy will be full price, 2 copies/5% discount, 3 copies/8% discount, 5 copies/10% discount, or something along those lines I think it'd be a solid platform. It'd probably be less difficult to create and also easier to strike a deal with game studios since you're argument would be that you're encouraging more sales rather than just offering a discount on one item, which they'll probably view as a loss. Another reason why this would appeal to them is that this buying in 'bulk' would increase the community outreach and pickup.
Has elinks development stopped? I vastly preferred it to lynx, but it seems unmaintained now.
Fedora with Gnome 3 on a laptop with touch screen.
> "Reverse racism" is not a real thing. I swear people invent ways to feel persecuted

Reverse racism is certainly a real thing. Bigotry against white people is certainly a real thing. Go spend 5 minutes on salon.com, come back and tell me with a straight face that these people don't flirt with racism against white people.

As a black person, this kind of ideology isn't helping me. It's only helping pundits selling outrage.
> I think statically typed languages go too far in the other direction. Tyr type and API definitions are too strict leading in a ton of unnecessary effort (ie boilerplate), increased surface area for potential bugs, and overly restrictive limits that require 'creative' workarounds to effectively write code.

Given this description of statically typed languages, I'm guessing you haven't tried OCaml or Haskell.
You're arguing legality - I'm arguing morality.
I recently filed a bug on pandas requesting for a save workspace feature (like RData & save image feature)

It was rejected as being unpythonic[1] , even though the base functionality to save a particular data frame is already present.

Can what dask is doing, be adapted to a simple case scenario of saving a workspace snapshot?

[1] https://github.com/pydata/pandas/issues/12381#issuecomment-1...
Can I downvote this post, it's like common sense for anyone who uses Twitter...
For anyone who is wondering:

http://petapixel.com/2015/10/15/why-old-sports-photos-often-...
That's the theory in the article, that this silent corruption is happening all the time and it's just happening in unimportant places or ones that don't trigger a noticeable crash.

But why am I not seeing this when explicitly looking for it? If I run Memtest86 for 24 hours I certainly don't expect to see an average of 22 errors and just treat that as within spec. I expect to see no errors. Is it a problem with the memory tests we're using, do we need ones which just write data once and then wait a day to read and validate it rather than hammering RAM with reads and writes?
I think it's important to take regular breaks because pair programming or mob programming requires a very level of high energy. The code quality definitely improves because of many eyeballs into the problem and provides an instant feedback for the code written.
Nice. It's probably for some application which has to select from a sizable flow of trading data.

The author is writing in Go, but he's not using Go's approach to concurrency at all - he's using shared memory and atomic compare and swap, not channels. He's still going to get a freeze when Go does a GC.
Thanks for posting!
Really nice and useful article - 10/10 :) It is said that trie consumes too much memory. But the author has chosen a naive representation, while it could be done better.

There is mentioned paper about balanced ternary trees - does anybody have a link?
It's about to launch. Starting in Medicine and moving to other research projects that follow the scientific method shortly thereafter.
Thanks guys. Have a read and let me know what dp you think?
Former Disney IT worker to Congress: How can you allow this?
TweakBit PCSuite :Comprehensive package of tools to clean, fix, tweak
Seriously, if you care about lock-free algorithms, zero-cost abstractions, control of memory management and avoiding false sharing, why use Go in the first place? C/C++ and Rust are much more practical choices, even Java has mature concurrent data structures.
IMHO, Go is a sensible choice to achieve 80/100 raw performance. Beyond that, Go is just not the right tool.
I had a short but interesting conversation about In-store physical analytics
Webtransfer Выдача займа 15 06 2015
easypost clone ?