skysight-inc/HackerNews huggingface dataset:
I see a lot of comments in the discussion forums on Steam asking for Linux versions of games. I don't know how many actually buy for the Linux version, though.

If Linux ran all the games that Windows did, and just as well, I'd love to switch over. But until then, it's not really a good option for me.

However, I will say that I love being able to stream games to my Steam Link box in the living room (from the other end of the house) and that box came out at the same time that Steam OS was announced. I don't know how connected they are, but I suspect it's got Linux on it. It can't run games directly, though.
this isn't syntax highlighting, it's highlighting the diff add/removes.

https://github.com/torvalds/linux/commit/b0b9b3df27d100a975b...

syntax highlighting would be like this, where keywords, function calls, and variables are all different colors.
Key takeaway: "Private searches are acceptable, but the introduction of cash payments, as well as the FBI having an official liaison with Best Buy suggests the searches aren't really "private." Instead, the FBI appears to be using private searches to route around warrant requirements."

The FBI is paying Geek Squad members for discoveries, not as direct employees. This has two awful impacts. First, it incentivizes searching every single computer touched, rather than just reacting to suspicions or FBI requests. Second, the 'commission' nature of the payments is being used to argue that these are "private searches" exempt from warrant requirements, which are only connected to the FBI after the fact (despite what is apparently a standing expectation of commission).
I have a hard time understanding how Trello is worth that much money. Does it really cost 1/2 billion to get 19 million users and a Trello like app built? Is the Trello team really worth that much? Was Trello that threatening to Atlassian? There are a lot of there other successful collaboration SaaS out there as well (e.g. Asana). This is not like social/content services where there can only be one (or very few e.g. instagram, github, whatsapp).
> However, I expect that Elizabeth Holmes will be back far too soon and will wreak havoc on an even larger scale.

A larger scale than raising $10b for vaporware? No way. She's the biggest business fraud story of the decade, and in the top 5 for the 21st century thus far. I can't imagine she'll ever raise another penny of VC, for Theranos or anything else. Nor will she have a future in politics - Fiorina may have been controversial and destroyed jobs but she did so in a way that conservatives could frame as being a "pro-business" success. Even if most politicians are fraudsters of one kind or another (and ironically Holmes's skill at fraud, deception, secrecy and doublespeak might predict her being a skilled politician), there's no path to politics for someone whose life story is already so publicly toxic.
Well it's not to bash the person individually, but obviously it you think this through there's clearly double standards. Anyway, there's no morality here, it's all about power and control, I don't delude myself. But yeah, the US could at least own up to it, or be coherent with the values it says it defends(I guess it's too late for that tho). The hipocrisy is getting uglier with each passing day :/
Intel ME cleaner
Has there ever been a popular link on HN that so thoroughly deserved the label "NSFW"?
You could argue against safety of Rust [...] with the same strawman.

Not in the slightest.

Rust does a mapping of input symbols to output symbols. The input symbols have no 1:1 mapping with machine instructions on any 1 platform. All Rust does is attempt to ensure the constraints of the input symbol language are ensured to exist in the output symbol language.

Lastly no compiler attempts to say it's model is 100% consistent will always work correctly in all circumstances.

Hell C doesn't even bother defining how most integer operations work (in older versions).

What it and those kernels did were creating an abstract
model realistic enough to be useful

realistic enough

enough

That is my point. It is a close enough model. The model is an approximation. Most models do not cover all hardware, or inter-generational bugs for example the recent skylake 0xF000000000000000F bug.

This is impossible for them too. But for an attacker it is trivial to exploit these bugs.

Saying you've proved a system means the system is rigorously true beyond the shadow of a doubt. The fact you can't rigorously test underlying state machine, or hoarce logic correctly maps 1:1 with the underlying machine you haven't proved anything.

Okay so let us pretend I prove P=NP for a collection of symbols which I state map 1:1 to a set of all possible algorithms in both P and NP space. But I don't prove that second statement. I'll get laughed out my advisors office.

What proving software correct does is effectively no different then my antidote from a rigorous perspective.

Done a damned good audit? Yes.

Proved? No.

You are auditing software, not proving it.

This isn't a straw man. Or a logical fallacy. It is a failure of logic. You prove A is true in system B. But never prove system B is correct... You've proved nothing.
The issue with dogs is that there are no dog farms. All of the dogs eaten are stolen or taken from the street.
> Facebook started incentivizing recruiters in 2015 to find engineering candidates who weren't already well represented at the company – women, black and Latino workers.

Isn't this unfair to White or Asian men who might be equally(or more) qualified for working at Facebook? Why Diversity should ever be a goal of a private entity?
I have always viewed tech diversity as a supply-side problem. Demand is definitely there.
And yet none of those things did arise 40 years ago. All of the nuances of all the code written since then make a difference, despite duplicating "identical use cases".
> Then the removal of the audio jack. I just have no appetite for dongles or additional batteries to manage and I need to be able to charge my iphone when I listen to my music.

How about bluetooth headphones? AirPods or otherwise? I highly recommend them. I happened to receive a pair of powerbeats wireless2 headphones a while back and while they're not perfect, using regular wired headphones feels incredibly archaic these days.
> getting “diversity candidates” hired at Facebook proved to be such a struggle than many recruiters stopped trying, even with the double point system, and went back to their usual strategies

Triple them! Quadruple them! Why not?
Is there a hand held gadget I can use when I first enter my rental to determine and locate listening devices and/or video?

I'll buy or gift one.
Sounds like he was quoting Marx himself

> The philosophers have only interpreted the world, in various ways; the point is to change it.
Except this is an article about someone who did something about it, and thus we now know more about the guy.
Why Don't the Dollar and Bitcoin Drop to Their Tangible Value (Zero)?
The attitude is simple - don't give your code, and especially don't give access to your devops repositories to 3rd party companies who simply don't need it.

If a security vulnerability happens on the public Fogzbugs instance, we'd be bitten by it badly in this sort of situation. In our setup, we protect against that by exposing the JIRA webserver and git servers only inside of our private network.

It's not about perfect security, but it does greatly reduce the attack surface when the server isn't even accessible via the internet. I can't prevent anyone who wants to from signing up for the free trial of Fogzbugs and exploiting their publicly running system - even logged-in-only exploits are possible in such a case.

Not to mention the issues with downtime on these cloud providers. My provider has had 1 sizeable, noticeable outage in the last 5 years. It spanned about 20 minutes. Look at a big, popular cloud service like GitHub - they've had several in the past year alone, spanning hours at times.

I find these sorts of compromises where I'm offering my code and server configurations to a 3rd party company (where basically any admin there is free to read it, or anyone who can compromise their admins) to be rather poor. I'd rather keep the blame within my own company and be in control of our data fully rather than having to worry about whether Fogzbugs operations follows proper security precautions, I only have to worry about whether we do.

Call it paranoid if you want, but I think it's a more than reasonable precaution to not just throw your data around to anyone who asks for it. Especially data which could lead to compromise of servers and customer information. I value my customer's information much more than I value any gains from some easy to use cloud service.
Keep sight of your goalposts.

This isn't a discussion about whether a source encourages its use or not. It's about whether it's a typo or a correct spelling.

Your quote above, in which 'gage' is implicitly referred to as a spelling further supports that it's not a misspelling.

I don't know how to state this in a more friendly way. These are merely facts documented here for verification purposes. If anyone's immediate reaction to verifiable facts in the face of an imposter spreading misinformation differs from gratitude, I would fear for their ability to take in other easily verifiable facts.
Ivey is a whale. He got a lucky a few times and got on TV a lot as a result, but he is FAR FAR from a top professional player.
FWIW, I never have really found the ambiguity caused by using the same symbol as both a variable and a function to be a readability problem: I think people are generally pretty good at things like noun/verb ambiguity and so this kind of ambiguity sort of "clicks" with us.

What has bitten me many times is accidentally overwriting a builtin function like max or len in python and then scratching my head about the strange errors that result from this.
If only one of the richest and most high tech US states was nearer to some huge water source... Unfortunately it is landlocked.

Jokes aside, it won't be easy, it won't be nice, but I'm pretty sure that if it comes to it California could start desalinating the Pacific. It will provide them with something to do for all that cheap solar power that's probably going their way in 20 years or so.

Once they get the ball rolling they could even export that fresh water, if it becomes so scarce...
Successful people use these techniques to speak up for themselves and stay likable
Glad you like Caddy!

> Is there any way to query what plug-ins are bound into a Caddy exe?

Run `caddy -plugins`.

The new Caddy website -- coming out hopefully later this month -- will allow developers to create accounts and release their plugins themselves, without me having to do it manually. I have given some thought to allow anyone to create an account but I need to work out some details for monetization first, if that's the route it takes. Thank you!
Fundamental properties of nature, like the finite speed of light, preclude infinite growth. To maintain 2% annual growth in human energy consumption, in just a few thousand years we'd need to have built Dyson swarms around every star in our galaxy (and beyond). Faster-than-light travel becomes necessary to sustain that growth rate in less than 2600 years.

The BBC asked a bad question and got an obvious answer. (Maybe the badness and obviousness aren't apparent up front if you don't have a physical science background.)

Asking if fixed-percentage economic growth can continue forever is rather like asking if Moore's Law can continue forever. No, neither can continue forever. That doesn't mean that things get bad after the growth phase. Somehow both optimists and pessimists conflate "the end of growth" with "the end of prosperity." That's ridiculous, IMO. The median citizen is much better off in low-economic-growth (and negative population growth) Japan than in rapidly growing Bangladesh.
No, it's still fair to currently represented classes (whites and asians). In practice this means exploring different networks, using different sourcing techniques, creating mentoring environments, etc.
The big takeaway from this year’s CES
The article points out that Facebook recruiters seem to be able to bring in people through the funnel (tackling the supply-side) only to have candidates rejected in the latter half of the process when these candidates don't fit within the mold of senior engineers tasked with approving candidates.
I'm sure you made quite a large sum of money off of this deal, but Atlassian doesn't have a great track record of purchasing non-Atlassian products and not messing them up.

And... "Trellists?" They're just people.
> From 2015 to 2016, Facebook’s proportion of women in tech grew from 16 percent to 17 percent, and its proportion of black and Latino U.S. tech workers stayed flat at 1 and 3 percent, respectively.

> Facebook has portrayed itself as a leader in the effort, with executives giving public speeches on benefits and best practices.

Facebook acknowledged another problem with its metrics reporting and apologized for the inconvenience.
Octopuses are solitary animals, so they have little in terms of learned behavior. What they accomplish is generated by thoughts originating from themselves.
This AI does heads up (one-on-one) so it is only playing one opponent. The odds calculations are much less intimidating in heads up.
China’s Tencent takes on the App Store with launch of ‘mini programs’ for WeChat
But this is not how languages are designed and even how Go was designed, where three people had to agree on features, instead of making "engineering trade offs". And this was a decent decision for familiarity and making the language more approachable, even though it was all dogma. The reason is simple: languages follow the same rules as user interfaces in general and as in user interfaces first thing that comes to mind is usually a better choice, than something overthought by a non-professional in UX, because you have it engraved in your brain by your most often previous experience and therefore it's very likely that many people do too. And having multiple people to agree basically supercharges that.

But then you still have to follow the rules of the UX, consistency, flexibility, all that, and none of the languages I know of are serious about that. It's all just dogma everywhere, or "engineering trade offs" if you like. We don't have much dogma only when it comes to performance, since it's the only thing easily measurable.
The amounts are also concerningly small. How much would it cost to bribe one of these "unofficial deputies" to plant evidence?
Have looks pretty cool, and their project is certainly far more involved than mine (e.g. they have their own lexer/parser). I am excited to see more compile-to-Go languages. The only other one I'm aware of is iGo.

That said, I'm curious to know if Have is able to eliminate intermediate structures (deforesting) when chaining together transformations. Haskell performs "stream fusion" to accomplish this, but I'm not aware of how it's done in other languages. Ply does support this optimization, and that's mostly possible because it restricts the generics to a built-in set (rather than allowing the programmer to define their own generic functions).

My other goal with Ply is to make it as familiar as possible to Go programmers. It's not so much inventing a new language as it is scratching an itch.
> How is that comment anything but a refusal to move on unless some magic tradeoff free solution appears?

Well I (somewhat) agree with that, but my take of it was Russ is basically saying existing approaches "don't work well with Go" and "recent ideas" are "not well understood" with the concern that "there's a princess in another castle after that one I am sure."

Or put it another way, per his emphasis on the "engineering" nature of Go, it is not an issue of tradeoffs, rather a concern that a runaway train of complexity will follow. Or if you will excuse my Mexican French, the problem is the fucken type system :)
Uh, if anybody needs an example how using an online service to convey emotions toward a co-worker can backfire, this case should be one for y'all to keep an eye on:

"Dallas HR director files suit to find out who sent her penis-shaped candy"

http://www.fox4news.com/news/226319020-story

Gender issues aside, I could see how it could be hazardous for any kind of motivation. YMMV.
No, it isn't. White and asian men are likely to be more qualified because they have had more opportunities to gain experience. The race and gender gap won't close without concerted effort to give similar opportunities to women and people of color.

Edit: I recently read that when women were first granted the vote in Denmark, they immediately introduced quotas to help more women become politicians so there would be equal representation of both sexes. A few decades after that, it was found that gender parity existed and the quotas weren't needed anymore, so now they're talking about repealing them. I hope for a similar future where affirmative action in college admissions, or gender-inclusion hiring policies aren't needed anymore because they worked.
The article portrays the opposite. They succeeded in increasing the supply but offers weren't made.
What is Apple's next move? This is a clear violation of App Store policy.
Apple is now playing double standard?
> Despite incentivizing recruiters to prioritize women, black and Latino engineering candidates, the department’s demographics have not changed much in the past few years.

This is a political article.
Think about this from the perspective of a purchase like Google -> Youtube.

Google paid $1 billion for Youtube. It's now conservatively worth $50 billion.

That means they could have 50 large acquisitions go to zero and still be breakeven on their Youtube deal.

You can use the same economics for most deals.

(to say nothing about consolidating the large apps in this space -- maybe Asana is next on their list?)
Ask HN: Next step for Uber, VR taxi drivers?
Assuming the investment in driverless cars pays off in couple of years from now there will be massive job losses specially for taxi/uber drivers.

Since the initial driverless cars cannot be perfect, would it make sense for Uber to start with Remote taxi drivers (drivers sitting at home with a VR headset taking customers to homes)?

What are the challenges with this idea?
Perfect setup for Octopusnado
and we get yelled at when we can't deliver a feature because some gatekeeper is sitting atop his little throne in the kingdom of servers saying no. ;)

This is institutional failure.
Regulations don't make things not be noisy. They mandate that things not be noisy. Then someone has to go make sure that when things are getting noisy, it stops. In a hotel, that'll be the hotel manager when the other guests or the neighbours complain. This is a proactive means to avoid that.

I mean, it's not like saying "Don't make a huge amount of noise in my apartment" enforces that you can't. You can still do it.
Cryptographic Features of Barbie Typewriters
The issue with film is that you can't get an image "out of the camera," it must be developed first. In order to get a usable image, you must know how to properly develop the film yourself, or pay one of the handful of competent remaining labs to develop it for you.

It's a much more sustainable process to throw a digital filter on your image.
> is like "affirmative action" version of pressure on a private entity, isn't it?

Yes it is.

> Why Diversity should ever be a goal?

Diversity of expertise makes for better decisions, but that's not what's happening here.

Putting priority on ethnic, cultural, diversity would make sense if these marked collectives have worse interview performance for the same work performance. I don't know if this is true and I don't want to discuss whether it is.
I haven't heard of one person using them, but similar to the sibling poster, I'd switch to 100% Linux if most of the Steam games I like were available on Linux.

That said, Valve's "focus" on Linux does seem to have seen an increase in what games are available on Linux. Or possibly that is more modern dev environments supporting Linux/iOS/Android out of the box? Not sure.
This is why it is important for companies to emphasize diversity from the beginning, so that it becomes embedded into the company's culture, rather than the same platitudes repeated year after year.
True, but I think the issue is that quality engineers of color are few. When I say supply side, I mean, there are far fewer graduates of color in STEM from top universities, etc.
Having just set up a Debian server this weekend (Windows dev diving into Linux for the first time), can I ask what the main difference between init and systemd are? Mostly from a operational/security stand point.
Yes, but direct pay to another doctor doesn't apply towards your out of pocket max - so if you are doing a direct play place, you end up paying your max for your emergency care PLUS anything you paid directly to another provider.
No, but it sure as hell is going to deteriorate noticeably. The only question is by how much.
Hi Sam,we are a platform for moms to connect,facilitate and empower themselves in their journey of motherhood.Unlike the software startups,we need a infrastructural platform first and thats the biggest issue we r facing while trying to generate the fund.Most people are appreciative of the idea ,but we are not aware how do we provide the churn rates or the data asked for in most incubators,we are in prelaunch stage and hav target customer support?

Also as PG always says if what you are making satisfies your target customers,to keep working in the project without much paying heed to other stuffs.We feel though we have the customer support we r lagging behind in networking and being new in the valley its a big task in itself.No mails r replied,people ask for money etc.How to be in touch with people who will be helpful to guide in my project?
I agree 100%. Having a bad boss in college is what motivated me to start up my own company. I had drinks with one of my former coworkers recently and she told me that he was new and also had a terrible boss who didn't emphasize leadership.

He's apparently a much better manager now. I can imagine that he was also incredibly stressed and unhappy in retrospect, and I can only imagine that sending this card would have had a ripple-effect of passive-aggressiveness on the team.

Even if you think someone is going out of their way to make your life shitty, you don't know what other baggage they're carrying for the day. The best thing you can do is be nice and in the meantime, look for another job or try to positively create change.
Here are two great hands by Jason Les: https://www.youtube.com/watch?v=RivUSJdrKnU
Hiring should be done by the team, not by these ridiculous "committees". The metrics and data have clearly shown them to be ineffective at both preventing bad hires as well as the prediction of future employee performance, time and time again.

They are still around in companies because it gives "senior" engineers something to do, and it makes them feel good about themselves. From the people I know who work at Facebook, there is a marked lack of work at the higher levels of technical leadership; thus you get these kinds of "committees" that serve no business purpose and actively harm the hiring process.

Like I said, the people best suited to do hiring are the people whom will work directly with the person. They need to be able to get along, "like" the other person, respect them, and they need to be smart. There is so much more to hiring and team building than checking off the technical checkboxes, whatever those are. You're dealing with intellectual people (knowledge workers) and an intricate social dynamic.

Of course, Facebook's goal is to likely not build great teams. They already have the teams built and self-sustaining that run the actual business. This dog and pony show exists purely to placate to existing mediocre senior engineers who have attained that position through some sort of osmosis effect but who lack talent or real power in the organization.