skysight-inc/HackerNews huggingface dataset:
The traffic log you linked does show significant hits, and a very large numbers of users claimed to have de-whitelisted reddit from adblock. Terms like 'voat' and 'reddit alternative' skyrocketed in trends. I don't think this is the 'digg moment' or anything, and I doubt voat exists for any length of time, but I very much doubt investors are looking at these trends and doubting the magnitude of the damage. Reddit is only profitable if it retains users, especially if they disable ad block and want to buy 'gold'.

More substantially, if all AMA teams really are going to be running the show without official reddit support, this cuts in a couple of ways. It shows a maintained lack of faith in reddit from the moderators, and it also is going to make the logistics of AMAs more difficult. The AMAs are unique content which is a substantial draw of new users, where a ton of the work was already done by volunteers. The logistical strain is going to make for less or worse content, pick your poison. High profile guests, especially those not technically savvy, are less likely to participate without admin support being available.

Strategically, reddit almost certainly wants to be involved in this -- they want to be tightly coupled, enough that the group can't spin off their own version.

I don't think this damage is irreparable, but I do think it's going to take substantial work to fix. And I mean, don't take that from me, take it from them -- https://www.reddit.com/r/announcements/comments/3cbo4m/we_ap....
j2kun's characterisation of HoTT is misleading.

Their goal is also to rewrite all of mathematics in a constructive way,

This is not the goal of HoTT, and also not possible as some mathematics is intrinsically non-constructive.

HoTT allows non-constructive reasoning, see section 3.4 "Classical vs. intuitionistic logic" of the HoTT book http://homotopytypetheory.org/book/. You can say that HoTT derives non-constructive mathematics on top of constructive foundations.

The HTTs are also claiming that proofs in their framework can be logically checked by a computer (because it is constructive)

No. Whether a proof can be logically checked by a computer has nothing to do with whether it is constructive or not. A proof is just a syntactic object. It's just as easy to check if a proof step uses excluded middle or double negation as it is to check whether it uses a construtive principle like /\-introduction. There are many proof assitants that work with classical logic, e.g. Mizar, HOL, HOL light, Isabelle/HOL ... All of SAT-solving works classically.

The novelty of HoTT, and only extension over intensional Martin-Loef type-theory, is the univalence axiom.
Interesting. Tough to evaluate quality, very subjective. Still, seems like quite a bit of progress have been made since Hinton's networks dreaming of digits in 2006 - http://www.cs.toronto.edu/~hinton/digits.html

I remember doing something similar a way back, only just using nearest neighbor search on relatively large dataset (1m of human faces with different scales/etc, or sounds in the MP3 voice recordings), rather than passing things through up-and-down the neuro-net. The result was very similar. I wonder if one can get a better result with the dogs as well, just by using nearest neighbor. A good baseline...
That analogy doesn't account for what happens when a submission gets posted to both a "pinot" subreddit and a "sewage" subreddit, and subscribers in the sewage subreddit see the post in the pinot subreddit from the other discussions tab and "invade" the other subreddit.

Subreddits and their communities are not neatly contained in clearly labelled bottles.
I think this is the thread which started it all: http://boards.4chan.org/g/thread/48943329/4chan-clone
I think the implication was that the uploaded are not the perpetrators, so reporting them is unlikely to reduce abuse. I'm not sure I buy that line of thinking. I suspect plenty of perpetrators upload in public forums.
How to Make a Password Protected Addressbook (JAVA APP Using SQL)
>Firing Victoria, who took AMAs to the next level. I enjoyed them a ton.

The Victoria specific AMAs tended to be short, done on the phone where she types responses, and oriented around'My new movie is out Friday don't miss it' instead of a conversation. I prefer the raw format myself.

>Firing an employee for having leukemia - http://redd.it/3c0idl

That this became the battle-flag for everyone to pitchfork is seriously appalling:https://news.ycombinator.com/item?id=9868887

>Using corporate weasel words instead of having the guts to be honest - "We're banning behaviour, not ideas"

I'm personally only familiar with the banning of /neofags because I know people who were targeted and harassed by that reddit. It was clearly banned for the behavior of the mods in the reddit, and not for content, as evidenced by other reddits with much worse content not being banned at the same time.

>She derided her detractors as being a very tiny minority without realising that the most active people are the ones creating and moderating the content that helps reddit thrive.

What does this even mean, all her detractors were also the ones creating the content? Most of the reddits complained about wanting more powerful mod tools, not less control: https://www.reddit.com/r/AskReddit/comments/3cuw90/megathrea...
Case study: tinnitus with distortion
Forcing your users to look through a selection of random images which could include several which may be illegal for them to view is not okay at all. Especially if you know you're putting them at that risk!
Absolutely incredible. I can't wait to see the close-up pictures taken on July 14.
> In the case of Fukushima, it took a one-two punch of the largest earthquake in Japan's recorded history and an absolutely catastrophic tsunami

How is this a one-two punch? It sounds like a one-punch to me; the tsunami wasn't visited upon Japan by a vengeful god. You might as well complain about the "one-two punch" of getting hit by both fingers when a guy with three missing fingers punches you.
Ah so maybe there isn't any downvote functionality for the articles themselves
What If Microsoft Sold Nokia back to Nokia?
> I'd rather have appalling speech than censored speech

If we were talking about what's legal to publish in your own newspaper, I agree.

If we're talking about what's appropriate to force others to view by brigading with a small number of people to take over a website to use it as its own platform to harass its CEO, I disagree.
The Declaration of Helsinki has to do with medical research ethics specifically, not the broad field of medical ethics.

https://en.wikipedia.org/wiki/Declaration_of_Helsinki
Not knowing about the theme park, I thought the title was an apt metaphor for the history of that country.
> that approach will fail when those with power define the "place such that those who want to listen, can" to be so small that nobody can find it

Okay. But reddit isn't "those with power". reddit isn't making it illegal to do it elsewhere.
Too heavy - if you're looking for expect-like functionality but much simpler - look at empty (worst name in the world and impossible to search for - but great code): http://empty.sourceforge.net/
It surprised me that he even mentioned the concept of a spanning tree, yet didn't use it for more than a coarse upper bound.
I am too small a group to be cared about. But in my opinion only poor designed websites use JS for layout or navigation. And the way back to the search-engine is always just one mouse gesture away.
JS = code written by someone with not neccessarily my best interests in mind running on my computer.
>I'm sorry, but you're still missing the point. Yes, the nuclear industry could say to the government, "Please take away this policy that protects our industry."

Right, because if it's as safe as they and you say it is then it is absolutely not needed.

This would be a very clear signal of the faith that they have in the safety of their own investments.

> the nuclear industry is made up of modern twenty-first century human beings who will happily rake in whatever government benefits

According to you it is not a benefit, so they really shouldn't be all that concerned about keeping it.

But they are.

>May I suggest if you want to convince a group of grounded, knowledgeable, and technically minded people

In other words you think I should believe you, random internet stranger, over the nuclear industry's own self assessments of the danger posed by their plants.
> But in Golang the language semantics require the runtime to panic on nil dereference, so that won't result in something like RCE as it technically could in C or C++ (but isn't likely to).

While you thoughtfully address the concerns Mr. Yager presents regarding the potential result of using a null pointer in Go, IMHO the more relevant fact is that Mr. Hoare identified in his own words a mistake he made _fifty years ago_ (1965) by introducing "null."

The fact that Mr. Gerrand stated in the submitted article:

“What should a modern programming language look like”

Begs the questions:

Why is this mistake oft addressed in _other_ languages repeated in Go?

What are the benefits of _intentionally_ introducing this boundary condition into the language?

Put bluntly, there is no benefit to dragging 0x0 forward in "a modern programming language." The lack of an answer to a function/method call is trivially encoded with some form of an option[1] type.

1 - https://en.wikipedia.org/wiki/Option_type
read the last paragraph !

> David finally gave in. After completing boot camp last year, he was stationed on the nuclear-powered USS Enterprise aircraft carrier.
> Pao decided to impose standards on that, and her guiding principles weren't well articulated.

I think you nailed it there. I'm not a Reddit user, but from what I have read there never seemed to be clear set of guidelines that were evenly enforced by the Reddit staff.
I find myself in a continual cycle of disappoint with NASA overpromising and underdelivering.

Months ago they were promising pictures of Pluto. I was expecting some high resolution, full color images I could pin up as a wallpaper. Instead, everybody got http://imgur.com/k5xmi0D.

Needless to say, I felt a little jipped. For an organization with billions of dollars of funding to show a colorless image like that shows a disconnect with laypeople.

Maybe they need more funding. Maybe they're hiding waste, fraud and abuse. I don't know - but they can't even get decent bandwidth and hardware to even match your daughter's iPhone in outer space.
Show HN: Slate – A cool and simple text meme generator
If you limit yourself to only constructive proofs, do you even get the real numbers? I'm not very clear on the definition of "constructive," but given that almost all real numbers are non-computable (i.e. most likely, the set of all real numbers you have ever encountered outside of computability theory has the same cardinality as the integers), it doesn't feel very constructive to me. I've always found it odd that we learn early on in discrete mathematics about how the cardinality of the reals is larger than that of the integers and rationals, and yet it seems like you'll never deal with anything from this larger set of reals unless you're studying computability.
Wow...
The picture of the science team reaction is gold.
Why is image so grainy? In this day and age, we should have better images, even from 5.4 million kilometers away.
I don't think nothing good can come from throwing random pictures that may very well contain child porn at random users.
You can not make the switch in a hurry.
Is that some sarcasm I can't get?

New Horizon left this Planet on Jan. 2006, you have to consider that, too. We have advanced imaging tech from 9 years ago aboard.
>People who shouldn't have gotten clearances, may have. People who should have been cleared, may have been blocked.

Stealing the information is bad enough, but that utterly shocks me. It should be a huge scandal - what if the Chinese has put sleeper agents in key positions?

Heck it almost makes sense to steal the data just to cover your tracks.

Why isn't this a bigger deal?
How China Tamed the Country's Top Bloggers, and Took Back the Net
Germ.io is taking project management out of ideation coma
You are not seriously asking whether it's worth it to help law enforcement stop child abuse?
>The problem is that the law can easily place blame for big huge accidents but can't doesn't put any blame on massively distributed harm. A lot of the dangers of traditional fossil fuel generation doesn't stick to energy companies.

Sure. They get this type of massive subsidy too.

They can both be consigned to the scrapheap of history if it were mandated that all new generation capacity had to come from renewable sources. This is, by the way, a very easily achievable goal given the last few years' plunge in the price of renewable energy.

>it was just impossible to underwrite. It still maybe hard to underwrite.

Which is why I'm still unconvinced about their relative safety.

As far as I'm concerned Merkel was right to adjust Germany's energy policy to favor renewables after Fukushima. There's just no point in taking the risk when the alternatives are there.
1kbps connection

http://www.popularmechanics.com/space/a15922/pluto-mission-n...
Rest assured that (contrary to j2kun's misleading claims) if some of the world's top mathematicians and computer scientists propose a new foundation of mathematics, they don't forget real numbers.

You need to distinguish between non-computable and non-constructive. The proof that the cardinality of the reals is non-countable is perfectly constructive, see [1] for a discussion of these and related issues.

[1] https://en.wikipedia.org/wiki/Cantor%27s_first_uncountabilit...
Obama Is in a Bind on Drugs That Could Cost Consumers Billions of Dollars
Great explanation. Many thanks.
Imaging tech is not the issue, we have plenty of ability to capture HD image (not movie level... but definitely internet level). Bandwidth, however, is a severe limitation.
I believe Mr. Yager's point was not so much about Java generics as it was that determining the type of a container's contents was impossible without manual type checking. I am not he so take that with a grain of salt.

What makes opaque containers a particular form of debug hell is when working in a non-trivial code base. Lobotomizing the one assistant which never tires (the compiler) puts the onus on people to "just know" what is in there (for whatever definition of "there" is at the moment).

Call me cynical, but people are horrible at keeping these kinds of concerns straight.
Doesn't there need to be a "report abuse" button on each image? Users could report it and only then would he use something like Microsoft's PhotoDNA (which an user mentioned above).
>I don't have the numbers to hand, but AFAIK to stop pumping out carbon we're going to need nuclear as well

It's completely feasible these days to mandate that all new generation capacity comes from renewable energy.

The fossil fuel energy system is huge, but as plants are decommissioned they don't have to be replaced by other fossil fuel plants.

What Denmark and Germany have achieved ought to be proof positive of this.
Another option is pexpect (expect in Python):

https://pexpect.readthedocs.org/en/latest/
So you catch these guys and follow the trail from there. Just because you don't reach your goal with your first step doesn't mean that it's not worth making that step at all.
Maybe a solution would be:

JailTime = MinJailTime * Last7YearsConvicted
couldn't help but giggle at

>After nine and a half years in flight, Pluto is well worth the wait.
> "potentially be compelled to cooperate"

In the US, you're likely to be left alone with all the associated costs. Help the cops all right, but if I do their work for them, I don't want to bear all the costs.
Just for nitpicking, light doesn't travel the same speed in fiber as in vacuum. AFAIK the refraction index of the core is typically ~1.45 so your latency is "only" around 8 times larger than the theoretical limit.
Much as with cloud computing, as long as the grid is large enough (covering multiple weather zones) and there is an electricity market that responds to supply and demand, the storage overhead required for renewable power becomes negligible.
Within Europe, the European super grid will largely solve the problem -- at a cost equivalent to building a couple of nuclear plants.
Fatpeople hate was banned for brigading - for actions not ideas - because fatpeople hate would link to real world people and real world profiles and thousands over users would visit and vote and hundreds of users would leave harassing messages.

Ellen got so much shot for the "we're banning actions not ideas" quote (in this thread even) yet here's an example of it being used - leaving absolutely vile subs live because they don't brigade and banning subs when they do brigade and she's getting shit for that too.
If Reddit can get back to focusing on positive things, like reddit gifts, admins with good community relations, and not firing people who have cancer, I think they'll be in good shape.

If Reddit continues to focus on cracking down on the negativity that exists on the site, it will give the negative voices a bigger stage.

I think they will be able to get back to doing positive, fun things, and the negativity will be drowned out.
I attacked a Harman QNX device done for a different carmaker. When I got access to the serial console I was able to look deeper. I found a script to take down the firewall, and that a series of canbus messages will run the script to enable this debug or development mode (very easy with one of the carmaker's leaked engineering tools), so now we know how to break into the device without taking the car apart to gain access to the connector.

The box is really cool, it would be neat to develop our own applets, but mostly people are only interested in changing the splash screen. We found some really neat things about it too, for instance if a second device appears on the ethernet it can be a 'slave' to the first one and access its media.

We have seen demonstrations of the keyless cars from this automaker being started and driven without the actual rfid-key device. Someone apparently used some hardware to bruteforce the private key of the security controller so that the authorised rfid-key information can be read and modified. This is apparently becoming a problem in Europe where a car thief can simply drive east for a while and be out of reach of the law.
Storing all that data live in a db almost certainly predates Archuleta, and to be honest, I doubt she was in a position to fix this. Consider the political capital needed to say, "This system is insecure, and insecurable by design, so we're taking it offline until it can be secured."

Until you have a breach, essentially nobody would be willing to have that happen.

the "secure" Web gateway to OPM's background investigation systems is a
contractor-hosted website at an application service provider. That Web
gateway is reached through a Windows Web server running JRun 4.0, Adobe's
Java application server, as well as ColdFusion
[...]
In 2013, someone hacked into Adobe and stole the ColdFusion source code. And
Adobe dropped the JRun product line entirely in 2013—with extended "core"
support ending in December of 2014. There is no evidence that OPM or its
application provider had purchased expensive extended, dedicated support,
but JRun would hardly be the only unsupported platform still used by OPM.
The agency still has systems based on Windows XP (supported under a custom
support agreement with Microsoft), and many of the core systems run by the
agency are based on mainframe applications that haven't been updated since
their COBOL code was fixed for the Y2K bug in the late 1990s. [1]

A gateway running windows, java, and coldfusion. Not to even mentioned fucking eol-ed versions of the aforementioned. That simply cannot be secured in any meaningful fashion.

[1] http://arstechnica.com/security/2015/06/epic-fail-how-opm-ha...
Sometimes internet-hate is completely arbitrary.

Maybe she screwed up some things, I don't know, but from reading posts on reddit it felt like an arbitrary cat video going viral - the amount of attention was not warranted by the "causes".

Remember PG getting all the shit on twitter because of his misunderstood statement about women?

Outrage is a powerful emotion, and people enjoy participating in revolutions when it doesn't require any effort and can be done from the safety of a computer screen.

I'm pretty sure 99% of people participating in this shitstorm had no good reason to care about it at all, and did it just because it felt "fun" to participate in something like this.

Also - way to teach an angry mob that they can get what they want if they yell about it enough by giving in to their demands.
Good question.

Design by consensus generally produces inferior results. The first version of the most noteworthy innovations are often the result of a single person's effort. But it's also evident big projects are the results of teams. You can't produce something big without a team.

So what makes me uncomfortable is that I don't see one of the inventors of Go having produced a rough version one before pulling other people in (but to be fair, I simply don't know).

I'm more suspicious about the first Go program. Was computing a prime sieve the number one problem the Go creators had? Doubtful. When C was being written, the authors were also writing an application they deeply needed: UNIX.

Finally, the thought of making something "serious" spoils the general hack flavor of innovative solutions. It's like a beacon that ideas are about to start being policed, which sounds like the opposite effect consensus intends to produce. It may be a good idea to keep a project non-serious as long as possible instead of optimizing it prematurely.
I have had no issues running a VM on an external drive.
Well they won't quite make it here on July 14th. The spacecraft will be spending most of July 14th making as many observations as it possibly can then in the following days/weeks/months we'll get a slow trickle of data back. The current plan actually calls for not getting a full download of all the data until November 2016! However we should have some reasonably good quality (lossy) compressed images back within the first week or so.
Whatever the effect, it is (very probably) not zero.

By using "renewable" energy sources, we are in fact depleting the Earth from one form of energy (wind, solar, ...), producing some work (mechanical, thermal, chemical, electrical, ...) and, usually, dissipating heat. There are some directly affected climate processes. For example, if you cover a big area with solar panels, the ground does not get heat up, which can have an effect in water reservoirs or whatever.

So, this is happening when we use renewable resources. I assume we can agree on this.

But there are a couple of caveats:

- probably the scale at which we are currently affecting the environment with renewable energy sources is reaaally small, specially compared to the effect that non-renewable energy sources have. But anyway, exponential growth based on renewable energy sources will at some point start having a big effect on climate too. This is probably very far way, and we can probably compensate for this somehow (terraforming Earth, so to say). As long as we are using up a small fraction of the sun energy, we have room for maneuver. An even then, nuclear energy can help further, so the ultimate limit is the amount of matter we have at our disposal.

- it is difficult to say how Earth adjusts to this tampering: is it able to dissipate the heat produced by human processes (not talking about CO2 here)? Is it able to absorb more sun radiation, since the "equilibrium situation" has been affected? I mean, if we "slow down the wind" with a wind-turbine, maybe there is a new complementary process which takes care of putting sun energy in the wind again.