skysight-inc/HackerNews huggingface dataset:
P.S.

The thing that I find troubling -- in spite of following and enjoying the progress in program verification -- is that in every other scientific-professional discipline, like medicine, researchers always caution about misrepresenting results (this drug looks promising, it works on mice, and it may hold promise for humans; they get annoyed when the media is overly optimistic) and virtually all practitioners are even more skeptical than the researchers. In CS/software, people make some progress in verifying a specific property of a specific lab-sized program, and many practitioners declare "halting problem solved!" (I'm exaggerating, but that's the gist). I get the feeling that a few researchers tacitly encourage this state of affairs. I see this in PLT more than in any other subdiscipline of CS (along with -- maybe -- machine-learning).

There is constant progress on many fronts, and it's perfectly OK to get excited, but hyped overpromising has led to significant setbacks in CS in the past (including in formal methods in particular) because the greater the hype the greater the disappointment. We should be happy with what we have without claiming (falsely) that all of our problems are solved. If anything, cautiously downplaying research results is a much better strategy to long-term success.
Use MySQL Shell Securely from Bash
I don't deny that the situation must be analyzed carefully but going from "less than 20 percent female" to "more than 80 percent female" in less than 2 years leaves little room for doubt. Also this adds up to the undisclosed security breach and the fact that Yahoo secretly scanned emails for US Intel.. Not a very defensible behavior.
Which language, for example?

On Swedish keyboards, for example, "` + a = à"
My first install of Netscape Communicator had an offline mode, and one of my colleagues recent told me how they had fully working live cross-browser video conferencing in 98. Their biggest competitor was WebEx, which is still around.

I think many of us underestimate what was possible to do in browsers. What has happened is that these features have been democratised: what took them months to build I can now pull of using WebRTC in the space of a weekend.
There are vague plans for integrating Lua in a way that lets people implement new constraints without touching the C++ code, but the current architecture makes it very hard. We're refactoring it but it will take a while until such scripting is viable.
Of course there's nothing text stream cannot do. Because, at the very worst, you can always feed the text stream to parser to convert it to structured object.

But I don't want to do the gluing. I want to refactor code, not to teach the tool how o understand the code.

Why do you need text editor when everything are just bytes?
It's also not unreasonable to assume that the cost of traditional ways to grow tomatoes will go up further, due to water becoming even scarcer, fossil fuel use being heavily regulated, etc.

But more importantly, the second of these plants will probably be cheaper than $200m, and the 50th will be a lot cheaper.
Inside Rocket Internet’s Ailing Startup Factory
Things you have learned, but decayed: IE6 CSS fixes, Apache1 configuration file syntaxes, PostgreSQl getOrCreate surrogates, Jquery, ...
Anytime somebody mention a man file as "good documentation", I feel the same as somebody pointing assembly code as "easy to understand". The simple medium make it not "easy". Yes, it's great to have a good man file if you have nothing else, just like it's nice to have a wooden wheel if you don't have a rubber tire, but come on.
You could add Carly Fiorina to that list, to continue the theme.

Or Charles H. Keating, Jr. (Lincoln Savings & Loan). Or Albert J. "Chainsaw" Dunlap (Sunbeam). Or Bernard Ebbers (Worldcom). Or Kenneth Lay (Enron). Or Bernie Matoff (self). Or Angelo R. Mozilo (Countrwide Financial). Or Richard Belluzzo (SGI). Or Dick Fuld (Lehman Brothers). Or Maurice R. Greenberg (AIG).

I don't even remember the executives, but from a Quora listing of SV failures: PayByTouch (John Rogers, convicted felon), SpotRunner (Nick Grouf and David Waxman), Homejoy (Adora & Aaron Cheung), Joost (Mike Volpi), DashMobile (Jamyn Edis), Cuil (hey, one I actually remember: Tom Costello), SearchMe (Randy Adams), Friendster (Ganesh Kumar Bangah), Digg (Jay Adelson & Kevin Rose), Reatrix (Robert Hoffer), and Color Labs (Bill Nguyen). All but one were run by men. Cumulatively they lost over $1 billion in funding capital with nothing to show for.

Or you could look at Yahoo itself: Ross Levinsohn, Scott Thompson, Tim Morse, Carol "Fuck You" Bartz, Jerry Yang, and Terry Semel have all guided, spurred-on, or frantically tried to halt its descent, to little effect. Only Bartz is female.

I'm quite unimpressed by Mayer given news of the past few weeks. I never thought she had much of a chance of salvaging Yahoo, and thought the company was walking dead, with my estimate a year or two back that it likely had about three years to live. The Verizon deal looked like a least-bad exit, and I was willing to give credit for that at the time. Rolling forward, I'd be willing to argue that Mayer has all but scuppered one of the few lifeboats she might have scampered into through mismanagement.

But that's on her. And there's plenty other failure to go around.

Truth is: business, startups, and infotech are tough gigs.

https://www.quora.com/What-has-been-the-biggest-startup-fail...
Having to understand the whole system just to start a command is being complicated.
Same thing though - if the law disagrees with people's moral intuitions, so much the worse for the law. People feel entitled to "their" parking spaces, law or no.
Harold Martin Took Terabytes of NSA Docs [pdf]
> The difference is IDEs understand the underlying structure of the code, including relationships between entities, symbol types in their context, indexes for searching, and so on.

This is only true because purpose-built IDEs embed the tooling to do so, but nothing prevents said tooling to be extracted, to be used in any way fit by any editor or non-editor tool. Case in point: gocode/gorename, C#'s Roslyn project.

> And unix can never be a very good IDE, comparatively, because "text streams" are not a sufficiently good data structure for representing program structure.

The article is not about Unix as pipes of streamed data (which BTW can very well be binary) but Unix as individual tools that compose into a greater whole.
The Dirac Delta isn't really well defined from a calculus point of view. It's basically a half line in space, so its area should be 0.
The correct word would be more energetic. Which measures as heavier on a current scale.
The One Straw Revolution has been very inspiring for me. Highly recommended to anyone who wants to learn about natural farming.
There's still a duty of vigilance.
I've been on both sides of the interview process at Google over the last half decade (I no longer work there) and I can tell you that asking people to recite random facts by rote was not part of their interview guidelines for as long as I was there. This includes a couple dozen interviews I conducted and the candidate notes of the other interviewers.
I wonder how long it will take for the mosquitoes to evolve a mechanism that allows the female to detect males infected with that bacterium and not mate with them, or a mechanism to counteract the detrimental effect on the development of the eggs.

Right now the evolutionary pressure to do this is probably quite low as there is only a small number of infected males, but if that number goes up the pressure will increase exponentially.

Example:

If 1 % of males are currently infected with the bacteria, the selective advantage of a mosquito that can counteract the infection is just 1.0/0.99 (as the probability of mating with an infected male is just 1 percent), which is probably too small compared to other risks to produce any visible evolutionary effects.

If we increase the number of infected males to 90 %, the evolutionary advantage of detecting them soars to 1.0/0.1 = 10! This means a mosquito able to detect or counteract an infection is ten times as likely to produce offspring, which provides an incredibly strong gradient for evolution.

The question is of course how fast an immunity can arise (or if it already exists in the population), and how many generations of mosquitoes are able to survive after the infected males are introduced.

Probably they ran their own population genetics simulations on this, so I'd be curious to see results, which should give a good indication on whether this can work and if so under which conditions.

My personal guess is that it won't be effective, as there are very few cases where introducing a single external stress factor into a population causes it to collapse entirely, what's more likely is that it will adapt and relapse.
> You are talking about 5,000 current employees being fired and many employees who were fired for reporting it. If he didn't know, then he must not know other things about Wells Fargo that are equally important.

I'm sure that's the case, and I'm sure it's also the case for most CEOs of massive companies.

Wells Fargo has more than 250,000 employees and more than 6000 branches -- more branches than any other US bank. There is nobody who knows everything that is going on. It's just not possible.

The number of employees fired represents a tiny fraction of the total number of employees -- about 2% or less.
There are plenty of opportunities for new models; Boeing wanted to make 3 new aircraft, and had to settle for 1 new and 2 upgrades. The 737 has been flying for almost 50 years, and Boeing still can't give it long enough landing gear to properly accommodate properly-sized turbofans because of the regulatory burdens. Bombardier thought there was an opportunity for a new single-aisle airliner, but hasn't been able to come up with the money to get a certificate.

The fact that there are no new aircraft manufacturers coming on-line only proves that the regulators have created a duopoly.
SolveSpace is indeed similar to FreeCAD's Part Design module. One major difference is that SolveSpace uses the same solver for constraints in 2D and 3D, as well as for sketches and assemblies, whereas in FreeCAD the Assembly module is separate.
Producing the gates should be quite easy. The trouble is manufacturing and embedding the nanotube wires.
That's a problem if you re-use the same land again and again, but probably not so much when planting in regularly replaced coconut husks.
CppCon 2016: David Sankel “Building Software Capital”
I wouldn't recommend training specifically for Google in the hope of sometimes joining them, but if you get an interview at Google and are serious about joining them you should really train for it.
i expected it to not have any content
I think art is art for its own sake, if you have a tool and decorate it, that would be a combination of a functional tool and art. Mathematics and derivatives in particular have enormous practical value yet many aspects of mathematics is pure art. Logic as art would be music, logical scales of sounds is definable an art. I have lost the thread of what I was saying so will leave my comment unpolished as performance art :)
My very first software internship ever was getting streaming video to work for the Air Force Center Daily at MITRE Corp, back in 1997. I did it with RealPlayer, Layers in Netscape (remember them?) and DHTML in IE.

The thing is - the polish matters. You can't do viable consumer apps until they actually work like the consumer wants, which is often decades after the technology preview. You could emulate websockets using IFRAMES, script tags, and long-polling back in the late 90s, but a.) you'd get cut off with the slightest network glitch and b.) you'd spend so much time setting up your transport layer that you go bankrupt before writing the app.
On many of its websites microsoft enforces that. It usually takes 1-3 min for the email to arrive. That's a great way for a website to miss a sale.
> Multimedia artists are among the people who are most resistant to ever switch tools due to how much they have mentally invested into the complexities of their go-to application. Your example is far from good.

And here we are talking about people not wanting to use IDE because how much they have invested in their favorite work flow mental model.
>but due to the nature of the underlying JVM, you still have to restart it every once in a while.

The DCEVM project almost removed any limitations on hotswapping code in the JVM until oracle hired the people behind it and then never integrated it into their JVM.
I use Acme on and off. I will never be as productive with it as I am with Emacs (I depend way too much on autocompletion, contextual text wrapping, org-mode and magit), but the philosophy appeals to me.

UNIX as an IDE never truly made sense until I discovered Acme. It was truly a zen-like experience.
If you want to understand how important new aircraft are, you need to take more factors into account, such as turn times, average numbers of transfers, etc. into account. The airlines have been moving away from the hub-and-spoke model, towards point-to-point for quite some time; aircraft CPM plays a significant part in this shift (as well as in slowing it down).
I'm confused and I'm not a lawyer. Isn't this interstate commerce and therefore the purview of federal authorities? Why is CA leading a felony investigation for a supposed crime that happened over the Internet?
But at one point in time, they actually met customer demands.
Elon Musk disagrees with you, for what it's worth: http://www.spacex.com/mars
That may be true, but I've never been at a company that was desperate enough to hire cargo cult programmers. Interview jitters aside (that's an unfortunate artifact of the coding interview), not having a grasp of loops, iteration, and the most basic of data structures is a low, low, low bar for "knows how to program".

I'm not even being particularly picky here. Big companies can be notorious for hiring CS grads from great programs and never having them do any actual computer science, and I agree that that bar is unnecessary for good engineering. But this filter isn't _unrelated_ to the job of being an engineer (or even a code monkey!), it's basic, basic programming. I'd imagine it does a great job of removing the kind of candidates who are capable of trivially avoidable bugs that become time bombs down the road.
Unix as IDE is an oxymoron simply because it's not integrated. How about we swap the "I" with something else? Maybe Universal Development Environment?
No, it says that all the media were several terabytes. So he had several hard drives at home, at multiple computers. Not unusual.
My familiarity with SMART was on the POST screen. I never ran any daemons; I didn't know they were a thing. Like so many other nerds that grew up in the 90s, we've all experienced data loss. At the best it was just some porn and the worst were those rare VHS tapes you ripped of random high school crap.

I feel like there were enough tools for users to simply monitor SMART stats, or awareness of how it works. Even in this article, it seems like a lot of analysis to see if reported flags are significant.
If your manager does not like you, he does not need a formal review process to screw you over. In fact, without a formal review process, it would be even easier to screw you over, because there won't be any paper trail at all.
This is very similar to the arguments people who discriminate against other people use based on factors like race, sex, skin color, sexual orientation, gender identification and others.

The point is that many humans have evolved to or desire to becoming more compassionate and inclusive over time, and this, the species difference, is one more barrier to cross. Instead of arguing about what will happen or what will never happen, humans will always continue to look at improving things. That's why even though we still have wars after thousands of years of civilization, we still want those to reduce and stop, and take actions that will help. It will take time to manifest changes in different spheres of discrimination and oppression, but as a species this is an inherent quality that takes us all forward.
Nail on head. There was zero empathy from anyone for anyone, except for from me for everyone. Again, part of my problem is that I probably care too damn much. If our teams, our clients, were upset it would upset me, and I spent most of my time feeling like a bloody counsellor rather than a CTO.

We actually did pull development into support on a rota - and after a month of me spending two hours a day dealing with angry toxic engineers who are threatening to walk out because they've been made to look in the support inbox, or placating clients who've been brusquely told their issue isn't seen as a problem, we backed down. It turned into out and out warfare, people were naming their damn factions.

Does say something that the only technical person in the company other than support to do support was me.
Pound falls 10% in Asian trading mystery
Not sure that all municipalities charge a tax on the servers. However they get taxes on power and utilities like water. Also a larger base of utilities means the capital costs are spread across more billing.
Something seems off...Isnt the eye of the storm supposed to be calm, it shows high speeds at the center.
North Korea’s Punggye-Ri Nuclear Test Site: Activity Spotted
Yet some how my comment got -4 points...

I can only applaud Apple for doing this
Has anyone ported your work to Linux or MacOS? I guess not since iIt looks like it would be very OS specific. It looks like an incredible tool.
I think VR is as an experience overrated.

Almost daily I do Skype calls most of them are video calls. Most of the times I have several people in the room who still can continue to communicate directly without and technical intermediary. In addition you can write down notifications, doodle, multi-task.

For games, I used to play doom in vr in 1997 and after 5 min the whole looking around thing gets stale and you just want to sit down and relax on the couch/chair. See Wiimote.
Pretty much spot on and that was my point. You can answer to this question, you know what is complexity class, you know that it is a negative example and it is rather bad.

See, I am not a recruiter or interviewer, but this question feels to me like an useful one to prune out ignorant fools who start to lament how unfair is to ask such questions instead of giving more or less correct answer.

Naturally if short direct answer is the only accepted answer and there is no way to discuss these things with the interviewer then I would also walk away.
Well as a long time deliberately non Facebook account holder for many reasons of my own, I can say I found this compelling. Partly because I bought an Oculus dev kit several years ago and was quite impressed with it at even that stage and I'm very excited to seee resources being devoted to a technology I would like to see in common use as soon as possible, especially for these basic productivity tasks.
The State of Smart City Investments in the Nordics
How much of an issue does fixed point over floating point become in picolisp?
I respectfully disagree. Judging from the output you posted, it just spams logfiles with irrelevant info, training the user to ignore it, so they will never notice when important values change in an interesting way.
Well they do to some extent, ethic aren't that simple we as a society do criminalize feticide beyond the fact that a person (the pregnant woman) was assaulted, and in some jurisdiction feticide is or can be counted as homicide and murder.
In many countries there are various laws governing fetal rights, and most people agree that at least at some point the fetus is considered a human being hence the commonality of "born alive" laws.

This isn't an argument against the right to be able to have an abortion, but it is simply not true that embryos and fetuses have no rights either, fetal rights are a pretty big subject in ethics and morality and it is not an easy one.
https://en.wikipedia.org/wiki/Fetal_rights
Do the web based office suites use these new libraries and frameworks? (React, Angular, Webpack etc)
Genuine question as I thought that companies like Google use their own in house libraries like Google Closure which have been slowly built up over many years.
VPNs are used for a lot more than checking email. They are used to access source control, build/CI systems, QA servers, etc.
Yeah, my colleagues just found entertainment in watching me lose my wits (they're both stoics, very good at business but not big on the giving a damn scale, and I do worry about long term course in my absence, and think they may go steady-state from here in), and after I took some time out because I was on the brink of recklessness, suggested I leave the business. So I did. I'm pretty sure it's the right call for all concerned.
I loved RethinkDB. I'm sad.
Why using finalizers in C# is a bad idea
Everything wrong with our current educational system
But one of the downsides of doing Linux systems programming is that it is much more niche and really restricts your options for employers as well as where to live.
Halloween Costumes for Designers
Yea, I already run uBlock Origin. I don't mind mailing list popups. The authors should make sure someone gets at least 50% through the page before showing them. I have a feeling that will get a high click through rate ... err...sign up rate.

I hate ads. I block all of them. But I will help your crowd-funding or Pateron or buy some swag to help you promote your thing.
Extremely impressed with the feasibility and flexibility, the Cloud Agent provides to any business. The analytical information shared in the reports are extremely helpful for improving the team and center performance.
Site seems to be down.
Nearly eleven years, since I started the business. they invited me to leave.

To make it soft for them I'm tied into two years of covenants, and sold my equity back to the business for about a third of its value. For me, that means I have time and money, and no idea what to do with myself just yet. Could be worse - but it feels damn strange to no longer be part of what became my entire identity.
> “It’s a bit like crushing a garlic clove with a sledgehammer,” he says. “We don’t have problems growing tomatoes in Australia.”

that's an epic way to miss the point completely.
Graph Powered ML at Google
Masjid Wazir Khan, Lahore Pakistan
So i'm young. What makes JSPs bad, why aren't you using them anymore and what are you using instead?
There is one thing an index fund doesn't give you: food. So it seems logical to compare it to conventional greenhouses instead of comparing it to financial investments.
What they mean is that they have less energy and thus less likely to tunnel between source and drain.
Mark Zuckerberg Social VR Demo at OC3
It tickles me that they have an Ada and a Grace representing women.
I agree with your about language specific IDE's however the exceptions are sometimes very good.

I use intellij, it has intelligent support for Python, JavaScript (including node), SQL, HTML, CSS and PHP all working out the box with very little setup required, its the sheer integration of things.

I'm aware I could get close with emacs (except frankly its web modes suck) but I'd have to find all those bits myself, integrate them and hope that it wasn't fragile (you know updated fizz which was a dependency of too but bar uses a different version) and at the end I'd still have what I would regard as an inferior less cohesive tool.

There are no absolutes in matters of taste and that's what it is I think.
Always found this odd when class is the biggest workplace demarcation in the US.