skysight-inc/HackerNews huggingface dataset:
I don't think anybody is saying that proofs don't matter, or that they aren't important. But it looks like you're choosing to focus on uncommon edge cases. I think a lot of people would question that line of thinking. It's almost like the old saw about how you don't need a degree in mechanical engineering in order to effectively use a car. But if you need something "almost like a car, but also kinda like a bulldozer" then you're out of luck. OK, how often does that scenario come up? Enough to care about? For most people, the answer is a resounding "no".

Likewise, one can certainly apply a lot of mathematical techniques in a lot of situations, without proving new theorems. So there are edge cases... not the end of the world. Deal with it when it comes up.
This seems like the path forward as far as MS is concerned. Laying a *Nix user land on top of NT which they seem very happy with and in no rush to throw away.
RStudio

https://www.rstudio.com/

Neo4j (enterprise edition)

https://github.com/neo4j/neo4j

Ghostscript

http://www.ghostscript.com/

see also: https://en.wikipedia.org/wiki/List_of_software_under_the_GNU...
[Book] Content Inc. – A must read to entrepreneurs
Strongly agree. I identify very strongly with that quote. I'm a geographer with near-zero math or computer science education from university. I work as a software engineer, surrounded by brilliant engineers. I have what I describe as a "swiss cheese practical knowledge of software engineering." I pride myself on being very adaptable, able to understand the components of a problem and the ability to learn how to solve the problem. I also feel exceptionally good at communication and the social aspects of problem solving. I've been doing very well at my job.

But I think if I grew up being taught that intelligence != knowledge + trivia, I wouldn't have spent my earlier years fighting the impostor syndrome on a near daily basis.
They do have automatic recurring billing for the Public Cloud servers now, but on the dedicated servers it is still the old payment system for some reason.
Banned in India, Facebook’s free mobile data program may come to US
It's due to the familiy, yes, but isn't having a family correlated with age as well?
Full red gets only 1.9 but... 82% in composition!

https://keegan.regaind.io/p/c5Vyyn4ZRsKJ4cvS_KYHXg
> That is a fundamental part of being human.

So true. it's turtles all the way down, too. Those liberals/conservatives aren't real Americans and don't have good values, like us conservatives/liberals. Those people in the city next door are all either snobs or criminals, lets try to keep them from coming to our town too much. That high school across town sucks and their students are assholes, we're better, let's go vandalize their school to show them. Our neighbors are horrible people, so it's okay that we're mean to them.
I agree - but you want to first make a smooth + easy to use platform to encourage the user to stick around for that coaching. Otherwise, I'll just find the whole experience burdensome.

Hopefully your recommendation is on MSFT's roadmap.
I get a tingling that Bayes theorem applied to these probabilities could lead to some insights. Might do this later if I find the ambition.
In my experience, even amongst vacation snapshots, the best tend to be of the accidentally artsy variety. I suppose this algorithm would completely fail to recognize the hilarity of the mirroring sphere of a tourist's perfectly bowling-ball-bald head in front of an apse, hovering under the blob of light that is the eye of the pantheon dome on a phone snap. I know I did, (miss it) on the first few times I scrolled through the series.

Generally I feel tempted to file this site under fun with phrase generators, with some ML thrown in to make it slightly more interesting than purely random phrase generator toys. But are there really no use cases for automated checks of aesthetic conventions? Sifting through the data dump of a full day of wedding shots maybe? I know I would be tempted to start with a computer generated shortlist. Mate it with face detection so that you can cluster by subset of attendees (each combination of faces captured must be present at least once in the final set) and... well I guess they already use systems like that, it's 2016.

An entirely unrelated idea in the general area of photography, algorithms and human learning that I still miss is this: an option in manual mode that takes a full auto shot right after the manual one, exposing how good or bad the algorithms are vs the operator. Or do some cameras have something like that? Do manufacturers omit it to not expose deficiencies in their algorithms? Do they omit it to not hurt the feelings of customers when they are worse than auto mode?
I actually always thought the same, and finally checked one time. Of course Onsager did many great things, it's hard to say what he should have gotten a Nobel for.
"If you run to the press and trash us, it never helps."
The Genius of Learning
So, an employee was found at their desk chatting with the office mate all afternoon while working? That sounds like exactly the kind of practice that gives on-site work a bad name.

If I found out one of my employees was using their office as a social lounge while working at my company, you better believe it would result in a conversation and possible revocation of their on-site privileges, forcing them to work in solitude at home instead so I could see real results.
I used Xenix briefly and did some tinkering including writing a device driver. Just remember it as being a pleasant but mostly useless ;)

Now I think this was on IBM's PC/RT but Googling I can't find much. At any rate I'm pretty sure it was some "special" PC variant. Anyone remembers that one? There were quite a few other oddball "PC" platforms like the one that ran VM/CMS and was like a little 370 mainframe in a PC box. I think that one was PC/370 or something.
I think you are probably right. It's all CGI btw.
I guess, yeah. I meant that what Cyclone does is along the same lines.

> The key feature that Rust has is flow-sensitive permissions on unique loan paths, which is actually pretty novel as far as I'm aware.

Huh, right.
That's a pretty silly distinction. Why should one's job title determine whether or not they can be discriminated against?
Using Swift with gRPC
It likes my dog so much I got an achievement for it: https://keegan.regaind.io/p/g4bTVKBlRlK03OADh4SXog
Need to run off to work at the moment but I'll give it a shot. Wouldn't you need to move two cubes through the mesh leaving a small space to be drawn?

Steal it by all means!
Can you encrypt a Youtube channel? (I actually don't know...) Seems like this addresses a lot of security scenarios that Enterprise cares about.
Convalesco: Security Policies for Remote Workers
Meditation works. We've known about the usefulness of it for thousands of years, and more recently there is a growing body of scientific proof [1].

Everyone really should try it. I firmly believe there is nothing that you can do in 20 mins a day that will improve your life more.

[1] https://en.wikipedia.org/wiki/Research_on_meditation
Google algorithm change alerts via RSS and Email
If there's a tech skills shortage, why so many computer graduates unemployed?
This here is why I didn't notice any errors. Will patch in a few hours.
I agree that knowing and understanding the fundamental math is important, but I think proof based texts are not a good way to learn math. A lot of people get turned off from math because of how it is taught. Personally I learn best by doing problems and seeing examples. Proofs are useful, but I want to know why the theorem is important before I learn how to prove it is true.
Intelligence is the speed and flexibility of a individual to adapt to new situations.
If Einstein and a papua-new-guinea native visit the zoo, and you sneak up on them and shove both into the ice-bear enclosure pool- the guy being eaten for dessert is the most intelligent as he adapted to rapid context change.
The problem starts when you view humanity as a meta-species- made from specialized "idiot" cells. Alone they are useless, but together they can build zoos and try to answer the question who shoved who. 20 autistic savants combined, can form together something more clever - but by the zoo-ice-berg metric they are useless.

In the end its really the situation which defines intelligence.
I grew up in Nevada along a main highway that people take to burning man. I really wish "leave no trace" included places outside blackrock.

People would also routinely leave their playa covered and broken down vans, RVs and cars in my neighborhood. In the desert by my parent's house we would find numerous trailers abandoned full of trash, empty water bottles and old clothes. You knew it was from burning man because the stuff was covered in playa dust.
There aren't going to be a hundred competing standards, because the production tool ecosystem has its own working groups who will settle on a small set of standards, with or without the input of the browser vendors. The browser vendors only have a say in DRM formats insofar as providing universal support for a format entices the production-tool ecosystem to provide export-compatibility for it. If the browser-vendors refuse to provide such a standard, they're really just refusing to sit at the table where the standard is decided.

In the end, there'll be a standard DRM multimedia format whether it's "endorsed" by Open Web people or not; if browsers don't build in support for it, then it'll just build support for itself, via the APIs that do exist: WebGL, WebRTC, ASM.js, etc. Consumers will get their media; they'll just be running an opaque blob of Javascript in the browser to get it, instead of the browser doing the job—cleanly—itself.
I agree that I dont like that system (and may be the reason that it hasnt been done), but I'm not fully sure of alternatives either.

But, I dont think a client should transition from one to the other either. I often just get up and walk away from my computer with chats in the background. I wouldnt want to have to tell it to transition.
To be fair, it's an excellent gif. The other GIFs I was testing this against were as low as 2FPS. Being able to construct a 60 or higherFPS abstracted GIF was one of the initial goals.
> thinking

This is something that always bothers me when I'm forced to pair program. I constantly feel pressured to put code on the screen instead of sitting back and thinking about how to tackle a problem. When I am tasked and allowed to do something on my own I often spend more time thinking ahead about the problem then actually implementing the solution, and I'm sure I'm not alone in this.

Programming is as much an art as it is a science, you can bang a keyboard all day but without putting thought into it (which typically requires pause or maybe a change of scenery even) it can often result in a worse product.
I'm in this category. I guess my excuse is that I did Bio instead. What's the best way to get up to speed without having to go back to school? I stopped at linear algebra in undergrad but I probably need to refresh that as well. Would appreciate any thoughts you have.
Note who the CEO's father is.... That was even high in the list of Google suggestions when I typed in mylan ceo....
"I agree that people have a strong tendency to not know what past work has been done, and Concurrent Pascal is admirable, but what Rust does is not the same thing. "

I'm not saying it does. The claim I replied to said preventing things like data races was done till well into the 80's. I showed systematic investigations of the problem plus a production solution had been done by mid-70's. You've nicely showed how far ahead methods like Rust got. ;)
Well well, the pinkos are back in Hollywood, only this time around they're actually unscrupulous capitalists.

If you like watching 150 million dollar effects extravaganzas, you can count on them to be watered down drivel tailored to appeal to the lowest common denominator of the global audience, because that's what they have to do to turn a buck, and they wouldn't exist otherwise. It's been that way for a while.

There's nothing stopping Hollywood from making 30 mollion dollar films that need only see a return at the domestic box office, it happens often enough, and television is in a golden age. Everything is fine, America isn't on the verge of squandering it's capacity to tell it's own stories.

Watching patriots squirm at the prospect of newfound Chinese middle class consumer spending clout is all it takes to entertain me personally, I guess I'm easy to please.
It has to do with how the lawsuits work. It would still be wrong regardless of whether it was actually illegal.
Thing is, most languages that do that don't just allow properly expressing gender, they require it. And that's not necessarily a good thing.
> just don't let the one guy that's going to pee in the pool swim." How do you know which of the 200 people in the pool actually peed?

Sounds like a logic puzzle. I'm thinking a binary search would be the most efficient way.
But it loves contrast, no? Global contrast as well as local contrast.
The cost of abstraction
wooosh
Have you considered Vidyard or Wistia?
I've been on a PIP before and they're 100% political. You're absolutely right that they're trying to fire you without immediately firing you. They'll probably also try and get you to sign extra legal documents. If you quit, you get shitty severance, if you are fired you get better severance.
There normal charge per GB for me is ~$0.073, their new fees charge $0.20 per GB over 1TB.

Charging $10 per 50GB above 1TB is clearly punishment for anyone that doesn't subscribe to Comcast cable or digital products. This is an attack on the competition, Netflix, Youtube, et al.
I don't think it is forgotten by all of us in IT! I once had the dubious distinction of supporting/administrating a 20 user Xenix system (Compaq server with numerous VT-100 terminals attached.) Solid system until it wasn't ... the Compaq hardware was always less reliable than the OS, however!
Awesome stuff! I'm a fan of AMS and I was excited to hear about Stream and had a hunch that it was AMS. Looking forward to trialing it!
Indeed | indeed.jobs | Austin, TX | San Francisco, CA | Seattle, WA | Tokyo, Japan | Hyderabad, India | Dublin, Ireland | full time, onsite | Variety of roles

Indeed.com is hiring a ton of onsite technical roles. We are growing quickly and it's a great place to work. I'm a product manager and we have incredibly autonomy. We are dedicated to helping people get jobs.

If any roles on indeed.jobs interest you, reach out to me directly and I'll get you in contact with the right recruiter. Happy to answer any questions you have about the company:
lindsayb@indeed.com

Engineering Jobs:
http://www.indeed.jobs/career/JobListEngineering

Engineering Manager - San Francisco, CA - http://www.indeed.jobs/career/JobDetail/Engineering-Manager-...

Engineering Manager - Seattle, WA - http://www.indeed.jobs/career/JobDetail/Engineering-Manager/...

Engineering Manager - Tokyo, Japan - http://www.indeed.jobs/career/JobDetail/Engineering-Manager/...

Engineering Manager - Austin, TX - http://www.indeed.jobs/career/JobDetail/Engineering-Manager/...

Full-Stack Engineer - Austin, TX - http://www.indeed.jobs/career/JobDetail/Engineering-Manager/...

Data Engineer - Austin, TX - http://www.indeed.jobs/career/JobDetail/Data-Engineer/457

Hadoop Operations Engineer - Austin, TX - http://www.indeed.jobs/career/JobDetail/Hadoop-Operations-En...

We also have QA roles, QA manager roles, System Engineer, Site Reliability Engineer, Program Manager, IT, Senior Software Engineer, Senior Test Automation Engineer, Application Operation Engineer, and more.
This is really interesting. Could someone who is familiar with this answer whether this might be a decent resource to teach students assembly language?
Effort in this direction would be better spent just adding new features to clang (or GCC). It'll be so much easier than writing a new parser and semantic analysis for C++, which you will have to do if you want the new feature to behave properly in the presence of templates, etc. You'll end up wanting to just use clang's front end to help you, like most C++ tools do—and at that point why not just modify clang itself?

People bring up obscure platforms (though, interestingly, I can't recall anybody actually naming one of those platforms) all the time as motivation for compiling to C. But if you really need to do that, you can always revive the LLVM C backend. The fact that nobody has bothered to revive it and keep it up to date enough to be merged into LLVM proper, to me, is a strong indication that few people need support for these obscure platforms.
Calorious – Take photos of food and watch calorie estimates arrive in real time
48% of voters voted against Brexit. Even with an all-British advisory team, how do you reduce conflict of interest without first checking that all advisors are not just British, but also voted in favour of Brexit?
The decision to oust Eich is the reason why I would never knowingly hire people who practiced social justice activism.

There is evidence all over Silicon Valley, including this thread, that they just cannot keep their politics and work separated. Indeed they believe it is their job to mix the two.

It would be like hiring a KKK member in HR. Toxic results would be a foregone conclusion. It is the paradox of tolerance all over again. Social justice actvists will never hire rightists. KKK members are never going to hire blacks. And yes this is a valid comparison because social justice groups such as Black Lives Matter do have people in them advocating violence, being involved in riots and even murder with the sniper in Dallas being one example. Eich was a moderate kind of rightist so there is no chance somebody like me would be allowed to exist.

I would have no problem hiring people who disagree with me on every political subject. The problem starts when you begin using your influence to deliberately select members of your 'tribe' to be appointed to positions. That is the trademark 'feature' that should cause you to deselect them, it is no contradiction to discriminate against negative discrimination.

Look at Ycombinator. It has many well known characters who clearly disagree in politics but it does not turn into a problem for their working relationship. That is the kind of pluralism we should want to have.
That demo looked suuuuper awkward to me. Had to stop after a minute or two because it was so painful. Like Elon Musk, who also sucks at presentation, Zuckerberg should just get a skilled actor to present for him.

The VR app itself looked super cheesy, too. It's embarrassing to see a company with Facebook's resources come out with an app whose avatars don't look much better than a couple of South Park characters.

Way too much hype, and too little substance. Call me back in 10 years, when a serious VR Skype-killer app arrives.
From Wikipedia:

> Sharing of sub-objects among objects, cyclic structures, or multiple variables pointing to the same object are not supported in newLISP.

Dang.
Beyond utopia: rediscovering the lost legacy of Soviet design
How to Nap for Improved Performance, Mood and Memory
If these men were good at the managerial jobs, why was the company ailing in the first place?

Maybe firing them all was the right move, but it was too late to repair the damage.
The best real world problems I encounter at Google take months of learning to fully comprehend. They are not trivial, and have a huge base.

Even a simpler real world problem whereby it takes days of research is not respectful of your time. I've seen people note they can't take a 6 hour time-out of their busy work/home lives to do coding challenges that are popular among startups.

So the balance is in-person interviews. Ones where you have to give difficult problems, ones you haven't seen before and ones that don't take days to explain. This usually means algorithmic, data structures, or mathematical in nature. They have subtleness, depth and complexity. As for 'reverse a string', you'd be surprised how many people who have "programming jobs" who apparently can't do basic programming.

And do I use these skill sat my job here? Yes. All the time. I'll spare you the spiel about "everything's different at scale". Google is a different kind of company that attempts to solve as many problems as possible with CS.

For reference, I work at Google, given interviews here, and passed the interview bar twice. Once at 29 and once at 39. Some of my coworkers are older than me. Many of them have children. Some are younger than me. I see plenty of people in the office with grey hair (I work in the SF office).

I refuse to defend past practices, but I believe the company currently sincerely overall seeks to be the best employer for any age. Small pockets of suck happen, but the internal transfer rules let you switch without your manager's permission. The interview process is known to not be perfect, but that is inevitable for any process - nothing is ever perfect!

However, the interviews do involve whiteboard problem solving. I understand some can't do it, and this is one of the blind spots. I personally love diagrams, and think visually, so it works for me. I also prefer when my colleagues use diagrams as well.
My ISP does that (XS4ALL, the Netherlands). Of course they can't know everything but if they receive abuse reports, notice your IP got blacklisted for spam or some honeypot network got a whiff of your IP address running malware variant XYZ, they put your IP address in quarantine (only 80 and 443 outgoing I think, or maybe only to the ISP's own website or something) and ask what's going on.

I can tell you they're a real pain to convince to unblock you when you are 17 and have been a bad netizen. Which is a good thing.
Ask HN: Opposite of not invented here?
I am familiar with the [not invented here syndrome](https://en.wikipedia.org/wiki/Not_invented_here) because I get to see it at play quite often. It is my nature to understand an environment before I start making changes but sometimes this analysis phase goes on too long. Here are the reasons I can think of to explain my reluctance to start coding:

- I don't want to add more technical debt on top of existing technical debt

- I am not keen to maintain code and have to answer questions from every Tom, Dick and Harry

- I think there is a smarter solution so I spend time writing half solutions then stopping halfway after realizing my solution will have shortcomings

Does anyone regularly go through these motions, if yes how do you overcome them? I realize there probably different ways to describe these emotions including procrastination, fear of failure but I genuinely love simple elegant solutions and when I feel there too making weak points in a system I get reluctant to jump in.

[Edit] formatting
This is an anticompetitive act. Anyone using >1TB is more than likely using Netflix, Youtube, etc. Comcast are using their broadband service to push people back to using Comcast cable and digital services!

Please contact the FCC and let them know what you think:
https://consumercomplaints.fcc.gov/hc/en-us/requests/new?tic...
Cargo cult style.
That's such a strange approach. The've marked you as a "hire" but not even discussed a range? Given how long this process sometimes takes, and that good people will have multiple offers (and typically an already comfortable income), how is one supposed to make a career decision?
Yet the beneficiary is one of the worst offenders when it comes to domestic spying.
The same people who ruined the Internet and every other unconventional new thing.
Is there some pun here that I'm missing? :D
Sorry about the broken links on the Data Engineering page. Here is the correct one to subscribe to the notification list. http://insightdataengineering.com/data-engineering-notificat...
I'm not sure if they use the same terminology in Canada, but the four chiropractors at the place I go to all use Dr. and DC as their title, so I'm guessing so.
Russia Influence Warning Letter from NSA Members