skysight-inc/HackerNews huggingface dataset:
Hasn't it been on by default since 8 or 7?

Comcast supports it and it works as well or better than ipv4 for me.

I would guess everyone using a managed Comcast Gateway and Windows, or anyone on their Network who enabled it manually is running it by default.
Straying off topic a bit: If we native English speakers want our birth tongue to continue being the global language, we should make English as easy as possible for non-native speakers to learn and use — mainly by not looking down on intuitive-but-"bad" usages such as "it's" as the gender-neutral singular possessive pronoun.
I think this is his test flight.
YouTube is now written in Polymer, a library made by Google that uses the Web Components specifications, which currently only Chrome supports natively[1], so they have to rely on polyfills on the rest of the browsers, so it's understandable that YouTube can perform bad on browsers other than Chrome.

[1]: https://caniuse.com/#search=web%20components
This article is pretty bad and it's kind of annoying that it (somehow) reached the top of HN. But I'll bite.

1) IQ is not a pseudoscience. Admittedly, IQ is a pretty shitty test for intelligence (as it's highly culturally-biased), but calling it pseudoscience is just dumb and shows an inherent misunderstanding of what it's supposed to do. Yeah, white supremacists are idiots and use it to justify racism, but that's a different point than what the author is making.

2) Author criticizes Trump's sharing of the "black on black" statistics arguing that it's fabricated. However, some cursory research shows that it is, in fact, not as fabricated as one might believe: https://ucr.fbi.gov/crime-in-the-u.s/2013/crime-in-the-u.s.-...

According to the above, 90% of African American homicides were perpetrated by African Americans. This can be compared with white homicides which were perpetrated by 83% whites. Obviously, the numbers are highly skewed in the infographic shared by POTUS, but to bury your head in the sand and pretend this isn't a problem in black communities is unfair and does a great social disservice.

3) It doesn't take some kind of genius to "spot the signs" of Neo-Nazism. Swastikas are kind of a tell-tale sign.

4) "Deo is a union Millwright and a 12 year member of the Furry Fandom who spent 6 months infiltrating multiple Alt-Right and neo-Nazi online groups observing and recording how they recruited, organized, and operated." -- laughable. "Infiltrating" = joining a few discord servers and posting on 4chan. Got it.

Completely worthless article devoid of any actual real social commentary, potential solutions, or plans of attack. Medium has been turning into a soapbox lately.
i use iterm2 and neovim. Is it worth using/adding tmux for local development?

As Iterm2 has split panels and some level of saving your session and neovim built in termnial I feel tmux may not be needed for local development or am I missing something?
It’s possible that it could be solved, sure, but RxJava is complex and has so many layers of objects that it’s very difficult to trace what’s going on. As was mentioned above, the difference between hot and cold subscriptions and how hard it is (at least it was for me) to know what runs on what thread, all of these issues made it incredibly difficult to work with and I don’t see these things going away as they’re caused by fundamental design choices.

It would be easier, in my opinion, to design something that is like Rx and has a very similar api or feature set, but is architected to avoid these issues. We ended up building a system from queues which supported many of the operations Rx did (map, filter, join, merge, etc). I will say that our implementation wasn’t super efficient in terms of thread usage (it creates more threads than really necessary), but that could have been solved, it just wasn’t necessary for our needs.
This looks quite similar to the Sonoff S20. [1] Although they opted for the ESP module instead of designing a custom PCB around the ESP8266 chip as Sonoff does.

According to the S20 schematic, uart is routed to a header, so it should be easier to flash. [2]

The Sonoff S20 is the same price as the mentioned model, and is supported by espurna. [3] Espurna is great, it has MQTT, Domoticz, Home Assistant, an HTTP API, and Alexa integration. Espurna also supports sending data directly to InfluxDB which is very handy.

If you want to monitor power consumption as well, I can highly recommend the Sonoff POW. [4] Although to get a plug you will need to butcher an extension cable or power strip. If you only want to monitor power consumption and don't want to have the relay, it's quite easy to solder across the relay in the Sonoff POW and use it only as a power monitoring device.

Just a reminder to anyone working with these devices: never, ever connect UART while the device is plugged into AC!!

[1] https://www.itead.cc/smart-socket.html

[2] https://www.itead.cc/wiki/S20_Smart_Socket

[3] https://bitbucket.org/xoseperez/espurna/wiki/Hardware.md

[4] https://www.itead.cc/sonoff-pow.html
> The app stores are monopolies. The FTC absolutely should be slapping them for half the stuff they're doing.

> There is no need to regulate their content

Is there or isn't there a need to regulate them?
Does it still kill the battery on the Mac or has that been fixed?
I'm not in Pittsburgh or any of the places where people are taking rides in Uber's autonomous test vehicles, but from a few YouTube videos it appears they can't get more than a few blocks in urban traffic without needing human intervention. They've been at it for about 2.5 years now, not including the work that was inherited from the CMU robotics department.

I think if a company can program and train an autonomous vehicle to reliably go 5 or 10 miles in city traffic, then it's an indicator they've got the genius level problems solved. Safety validation is a whole other ball game, labour intensive but not super difficult.

A few companies have passed that benchmark. There are others who, in spite of being ambitious and well-capitalized, and having had a few years to incubate, appear to be painting by numbers, and don't seem to know what to do when the instruction manual runs out of instructions.

Talent is the big X factor in this race and not everybody's got it. Do you think Uber will be ready to receive another 24,000 Volvo's on top of the ~200 they've got somewhere in the 2019/2020 timeframe?

I'm not betting on it.
See for yourself: https://www.google.com/intl/en/ipv6/statistics.html
In these comments there are several examples of folks selling an algorithm as "proven" and later turning out to be buggy.
From what I understand, they are partially paralyzed. Every partially paralyzed individual I have personally met was pretty ill, basically. I have a compromised immune system. Being around paralysis victims is a big problem for me.

So, yes, I feel quite confident. Though what I know and what I can prove are very different things.

Edit: I will add that I have come to believe that breathing problems inherently impair the immune system. Oxygen is one of the things the body uses to kill stuff. If you can't breathe, you are pretty vulnerable to microscopic warfare. (Another thing I know but probably can't prove, fwiw.)
The most pro-environment thing a person can do is to not have kids. There are way too many people given the level of consumption that people desire. Something has to give and it eventually a price will be paid unless world's population decreases to a reasonable level.
To me, that implies more than three per year. Or real-time targeting.
The reasons such proofs are non-obvious is because they are proofs about the relative “size” of hypothetical infinite objects of a type we can never actually grapple with in any physical way even in principle, but only posit as a thought experiment, based on invented axioms in an invented logical system. There’s no concrete computation involved (or even possible) in this kind of context, and no practical examples. So everything must be done in a purely abstract and formal way. Without any examples to test, it’s hard to notice gaps in logic.

According to Wikipedia this particular theorem was proved almost immediately (but not published) by Dedekind, and then 10 years later proved by a 19 year old student in Cantor’s seminar. It’s not clear whether more than a handful of people cared or worked on it in between.

As for Cantor being a leading mathematician of the day: most of the other mathematicians of his time regarded this whole mess to not be mathematics at all. Poincaré called Cantor’s set theory a “disease”. It wasn’t until several decades later that a broader group of mathematicians decided that roping in set theory allowed them to conveniently hand-wave away (“oh, the set theorists will take care of that part”) a lot of thorny questions, letting them get on with their work as they had before, but now with an deflective answer whenever anyone asked such questions. ;-)
No, but there certainly is for filing stories and running them through a series of editing desks.
Quick look on YouTube, this guy says "cock" [short staccato 'k' at the end] https://www.youtube.com/watch?v=WFen8x66ETY and this guy https://www.youtube.com/watch?v=sW4uki0Fr8I - both apparently French (though the guy on the second one really sounds like he's faking it!).

In your example the 'o' is more precise and the 'k' is swallowed a little.

I'd expect they're different accents, perhaps your example is more Northern French (I really don't know).
I like her writing, but it would be fun to lock her in a room with the old ARPA guys, let her tell them how the government is going to stifle technology, then watch what happens.
This comment has been downvoted, but I don‘t understand why. The phrase “user different pipes, because [magic]" is unclear to me as well.
> I think it's very likely that if a "net neutrality" framework becomes US law, that municipalities and small organizations who launch their own mesh networks will be told that

That's not how net neutrality works; you're arguing against a straw man. If network operators are blind to the packets on their network -- they have no idea where they came from, where they are going (except to route them to next hop), or what they contain then you have a neutral network. Your argument is participated on the idea of neutrality requiring perfect knowledge but instead it's perfect ignorance.
Hundreds of millions to be in the right ballpark. Even if the web has a billion users, 12% is 120 million users on Firefox.
> Ha ha downvotes from those with a

This breaks the site guidelines. Could you please read them and not do that again?

https://news.ycombinator.com/newsguidelines.html
Keep in mind "journalist" is a broad term now. Most blogs or new media mastheads work that way or track changes in Google Docs/G Suite/whatever. In general, I'd assume you're right about traditional papers, who I'd expect to work the way you suggest.

Smart money is following what WaPo is doing in that space with Arc. They've begun to corner that market.
No, it’s a negotiation wherein the client submits its list of supported protocols and the server chooses between them.
I'm as ambivalent about capitalism as the next person. But Etsy is a lousy counterexample to the premise of combining success in business and progressive values. Current and former employees conflating the two is disappointing.

Etsy grew rapidly and organically for a decade, and never figured out how to grow intentionally in an ROI-positive way. As a private company it was not particularly concerned with revenue per employee, and headcount expanded like a gas to fill available revenue. After going public it was way too slow to realize that this wasn't going to fool the public market.

I feel deranged pointing this out, but hiring triple the headcount you need to run your business is not a progressive social value. I don't know what it is.

n.b. I worked for Etsy from 2007-2014. My own values force me to own this.
why is the header ugly on MacOS? it actually has the same color and looks like it's part of the menu bar.
The actually mostly talks about how this is beginning to change. The answer to the question from the title is hidden in a single paragraph:

Unlike in other countries, Japanese homes gradually depreciate over time, becoming completely valueless within 20 or 30 years. When someone moves out of a home or dies, the house, unlike the land it sits on, has no resale value and is typically demolished. This scrap-and-build approach is a quirk of the Japanese housing market that can be explained variously by low-quality construction to quickly meet demand after the second world war, repeated building code revisions to improve earthquake resilience and a cycle of poor maintenance due to the lack of any incentive to make homes marketable for resale.
"Feynman's Grandmother"!
Εκτός έδρας μάχες για ΠΑΟΚ και Ολυμπιακό
Not sure it says a lot about 'architecture', but in terms of 'design', Daniel Jackson's "Rethinking Software Design" has been an absolute eye-opener: https://www.youtube.com/watch?v=cNe6g0qczxE

The premise of the talk is that while software engineering goals & processes are well-defined and well-understood, the same does not apply for software design. He sets up a framework of 'purposes' and 'concepts', which in an ideal design should be a 1:1 mapping. He points out many examples of 'design smells', where this 1:1 mapping is violated, for whatever reason (engineering reasons, product management failures, etc.)

Definitely useful not just to developers, but anyone involved in writing software/affected by the process of writing software.
Bring Rape Kit Examinations Back to Marin County – Petitioning Marin County
Corporations are people, why not come full circle and make all people corporations at birth. Black is white, up is down.
Cutting out the middle man.

Lots of people in my country are bypassing Amazon and other Western web retailers now.

I know Americans think Amazon is god but they're not the cheapest or even the fastest. Certainly not were I live.

There are caveats: customer service can be... lacking. And the tax man doesn't like undeclared imports.
Something similar happened to Detroit where they demolished existing homes for the same reason.
>As long as there is no uncontestable proof, the doubt must benefit Facebook.

they have a history of privacy violations

they have an incentive to snoop further

i see no reason to offer the benefit of the doubt to either hypothesis, as anecdotes do not constitute data

but for what it's worth, my hunch is that there's some extra snooping going on that has yet to be unearthed. might not be audio, necessarily.
Identifying viral bots and cyborgs in social media
The ID number is sort of noise in the title anyhow so we'll just take it out.
Doubly ironic in that their conservative brethren endorsed NN, or the wishes of the corporations over the notions of free speech or data equality, regardless of content or source.
That's not always true. In the US, for example, Bitcoin is not a currency, but it's treated like property. Therefore, you pay long term capital gains if you have held BTC for more than 1 year. Also, in the US capital gain depends on your income, which is why, for example, Steve Jobs had a salary of $1 as CEO of Apple.
Not a paper, but Martin Fowler's book "Refactoring" changed the way I structure my domain models forever.
> "The days of needing to do such things as manually type in IP addresses to connect to remote servers are coming rapidly to a close. Therefore, it is important for you to provide a seamless user experience for your gamers as they go on-line."

>> I miss the days of playing CS-1.5 and having to use gametiger.com to find servers to play in. Lots of pool_day and de_dats.
You were homeless for nearly 6 years and now you're posting on hackernews that you think UBI is a much worse solution than the "Second Industrial Revolution"?

Honestly
>"Are there mathematical proofs that are incapable of being expressed in Coq?" //

Like the proof that there are proofs incapable of being expressed in Coq?!
"Subscription pricing"... if anyone is looking for an actual good business model, is for the upcoming "1password refugees"... and all we want is the same stuff, but not subscription based.
These ISPs don't care that almost half their customers have broken service? They should be drowning in support calls. Something's not right here.
Australia's house prices are skewed badly by Sydney's house prices. Sydney's is unfortunately roughly one-quarter of the total Australian housing market.

Physically, Sydney is a very long narrow strip squeezed between the mountains and the sea. The poulation of Sydney is constantly expanding. To expand the population, you need to build further and further away from the CBD. Eventually, the commute becomes up to four hours per day. Eliminating that commute puts a lot of demand pressure on the inner Sydney suburbs, and consequently extremely high housing prices.

Melbourne is not quite as constrained physically, so prices there are about 25% lower. But commute times are rising rapidly.

Away from Sydney and Melbourne (where JUST TWO housing markets make up 40% of the Australian housing market) housing prices are much more 'normal'.

For a US analogy, imagine if a quarter of all US houses were trying to squeeze into New York.
My thoughts exactly. I am at the point of considering switching to another language, because job opportunities with Scala are just abysmal.
In 2013 their Director of Strategy and Marketing said that they don't use Mechanical Turk and use their own system

https://archive.is/RkQOv
We are talking about engineers here, supposedly one of the best occupations you can have. This is not about poor starving without education and no choice.

Seriosly, there is more emphaty for people who can find another job real quick (or just need to be content to not climb career ladder) then for poor-about-to-be-homeless that does something unethical.
That's a very classist remark. It implies that having been poor completely nullifies the value of my opinions.

I mentioned being homeless as shorthand for "I used to go to homeless services, so when I say that most of them suck, that is firsthand testimony." I have also had a college class on homelessness and public policy, I have six years of college, yadda.
The dark text boxes can be fixed by doing a bit of configuration editing[0], not ideal I'll admit but it goes a long way to making it usable on linux.

[0] https://wiki.archlinux.org/index.php/firefox#Unreadable_inpu...
rubber gaskets are easy to manufacture if you have a mold for them. It's really awful that philips stopped making them without giving the mold to someone. With the mold, you can make a rubber gasket with nothing more than a kitchen stove and the raw materials.
As a non-native speaker I say that there is a huge difference between speaking/writing fluent English and doing this in a way that satisfies "unwritten cultural conventions".

For my English, for example, native speakers tend to say that it is actually quite correct, but I have a tendency to use words in a specific way in which few native speaker would use them.
I use tmux for doing stuff on servers, but rarely bother locally. The main reason I can think of to do so is if you routinely use a specific multiple shell setup for some particular project —- eg. a tail, an editor and a ready prompt. Otherwise I don’t see much point (though it’s not an issue I’ve explored much).

Btw as you’re an iTerm user you might want to read up on its tmux integration, which is quite cute.
Do that to any pure math class and they will similarly walk out.
You need to know where something abstract like this is going to follow at all.
Just pointing out that this is far from a conclusive invalidation technique. Too many ways such spyware could still exist or operate.
I used GNU screen for ten years or so and then switched to tmux in 2013. My tmux config to mimics screen's in most places, (prefix key, copy mode, etc). As others have pointed out, tmux has a newer code base, support for newer terminal features, less security vulnerabilities, etc. I've never looked back.

https://github.com/alanorth/dotfiles/blob/master/.tmux.conf
> Otherwise, a smaller platform will likely buy it for an “undisclosed sum” and kill it

It seems much more likely that eBay, AliBaba or Amazon would kill it if one of them bought it.
Is it non-sense? I've heard many times that there a hell of a lot of problems/criticisms of IQ and that it's history is intrinsically linked with eugenics and other kinds of pseudo science. Can you link me to something supporting your claim that it's " the strongest predictor in psychology" (predictor of what... I'm not sure)?
I seem to recall something called a WCA Whole Core Accident back when I worked in the Nuclear group at BHRA :-)
Meanwhile I’m living in NYC in a building from the 1920s with only have a handful of electrical outlets.
This article has already been discussed twice in HN.

>DUPE 1: https://news.ycombinator.com/item?id=15736734
>DUPE 2: https://news.ycombinator.com/item?id=15711338
Can you briefly explain about turning off anti-virus? I see that but nothing about why, or why Windows Defender is still ok and how that differs from the general category of anti virus?

Maybe its in your course so you don't want to spill the beans, but all of your other advice seems consistently good, this one could use some more explanation for the uninitiated who have heard the exact opposite for, like, ever. :-)
Couldn't it be possible to unfold a proof by printing all the subsequent proof states one after the other? Wouldn't that be easier to follow?
I’ve never had this happen, and I’m in a rural area with often unstable connectivity. I do use mosh though, who perhaps that’s obviating this.
First time I played it was in college, sensibly our teacher used clothing instead of beer.
Great game, best game.
Using your comment as a jumping off point for the discussion of this aspect particularly - as long as the construction is done with fairly environmentally friendly materials, I don’t find that especially problematic.

Maybe because I am typing this from a San Francisco building that appears to be mostly made of wood and nails, whose foundations do not seem to have been updated in almost a century, and seems ready to collapse/burst in flames at any moment’s notice, and for which I am paying the same price as the nice new modern building down the street that does seem in better shape in case of an earthquake or fire.

I am also reminded of the house where a coworker just moved in with his entire family, of which most of the foundations are burnt due to a fire in the 90s. The house still stands up - for now - and the landlord has been renting it ever since because it would never sell in this shape.

So in geographic regions with high risk for seismic activity, tornadoes, tsunamis, floods, etc, it seems like building houses up to the latest code with cheap materials every 30 years is better than having very expensive tinderboxes around for a century or so.
That’s a pretty small skyline for a city where the only way to build is outwards. Sure you’re not forgetting an axis?
What's USL?
Not OP, but part of it is probably his (successful) attempt to shut down a journalism outlet that he had a personal beef with by bankrupting them with proxy lawsuits. Free press, no matter how much you may not like the stuff an outlet chooses to focus on, is an important part of free democracy, and when billionaires can essentially just lay siege over non-legal matters I consider it an active attempt to erode modern society.
Depends on what you consider "smaller". $EIGI, $HUBS, and $WEB are a few with similar market cap.
Can one block IPv6 in Windows Firewall?
As I read the article, "after a while" is more like hours than months :(