skysight-inc/HackerNews huggingface dataset:
I do the exact same thing on large codebases of Ruby, but instead of the compiler type-checking errors, it's the test suite errors.

It's true that static type-checking proves the absence of an entire class of errors. But it doesn't prove that the code does the correct thing; it could be well-typed but completely wrong. On the other hand, tests prove that the code does the correct thing in certain cases. ...Of course, it's up to the developers to actually write a good test suite.

The faster we can all accept that there are pros and cons to both, the faster we can come up with a solution that takes advantage of the best of both worlds. That's the whole point of this OP.

I, personally, have always wondered about ways to dial in to the sweet-spot over time as a project matures. At the start of a project, shipping new features faster is often more important. But if the project survives, maintenance (by new developers) and backward compatibility become more and more of a priority.
and reuse of them!
Don't major news channels such as ABC, NBC, Fox already have affiliates or branches in Puerto Rico? It's certainly a large enough market to deserve a local news channel.
How your resumé actually gets reviewed at tech companies
>"There is no point in talking about the data if it doesn't tell you useful things about the population or type of thing you are studying"

Ok, but I fail to see the relevance of this to anything.

>"Also P(A|B) = P(B|A) if the prior probabilities are equal, often a reasonable prior."

Here, A = Hypothesis and B = data (or vice versa). You are claiming that the "probability of seeing your data whether or not the hypothesis is correct", is often near the "probability the hypothesis is correct independent of your data"?

Based on what? What principle leads you to think these two probabilities should be near each other? BTW, if you actually have one this is like the holy grail of statistics.
>> Having GNU in the name doesn't really help either, as I associate it with nobody adopting the thing whatsoever.
>Now you're just insulting. (I'm also a GNU hacker.)

I see how it can be taken that way. But I can't really help my impression of the name.
The feature I want those weapons to have: it shouldn't be possible to kill people with them.

Is this too much to ask? "Not killing people", is this a liberal snowflake's wet dream?

"Not killing people"?
Think about it.
I was at AWS from 2008 to 2016. Werner Vogels, Amazon's CTO (yep, not just AWS', but Amazon's, as he had to point out numerous times) has been one of the most talented, humble and generous senior exec I've ever met in my life.

Lots of good memories of time spent with him, and one of the sad aspects for me of leaving Amazon.

His blog writings are really interesting. If you haven't already, I suggest you search the archives, there are several hidden gems there.
That's more of what I would expect!

Does that make it feel more like he was intentionally storing company files in a personal account?
> Now you can classify many of these weapon as having the potential for mass killings (not very different than explosives).

Explosives could have been made the time the constitution was written by using gun powder. Weapons being as powerful as explosives isn't itself a good reason in itself to ban them.

But otherwise I think you're right. The right to bear arms was to allow the populace to protect themselves against the state. Any kind of weapon that can provide a great deal of damage in mass shootings, and could reasonably be replaced by another safer weapon and still give the populace the ability to protect themselves from the state, should be banned.
MIO I/O library for Rust
DoorDash (YC S13) | Security Engineer | San Francisco, Mountain View | ONSITE, Full-Time, https://www.doordash.com/

Formerly managing Matasano Security's south bay team, I've joined DoorDash as Head of Security to build our internal security team.

We are looking for application and infrastructure Security Engineers to work on a small team (<5) keeping DoorDash secure. If you have experience securing custom web applications and APIs -OR- experience securing infrastructure in Docker & AWS, we want to hear from you!

https://boards.greenhouse.io/doordash/jobs/802600

Technologies: Python, Django, Docker, AWS, and more

Interesting challenges:

* Secure the next iteration of our platform architecture

* Multiple customer types to secure (merchants, dashers, consumers)

* Many external contractors (support, menus, etc.)

* Securing customers and teams without hindering them

Reach out to learn more!
Tripping.com | Senior Front End Engineer | San Francisco CA | Full-Time

TRAVEL -> Do you love travel? We do it's at the heart of everything we do. Tripping is the vacation rental travel search engine.

We are looking for a front end veteran, who's ideally lead teams and re-architected sites to make all components modular and easily tested isolated sections so changes can be made quickly. This is going to be a key role for the team.

Main technologies are React and Rails for the front end.

https://www.smartrecruiters.com/Trippingcom/101599015-front-...

You can email the CTO directly at steve@stevemorin.com
+ very lightweight dependency to pull in, in contrast to installing the operatingsystem-size babel (tip: there´s also buble)
Lior Ron:

1/12/2016
Internet search on "how to securely delete files mac"

1/13/2016
Ron leaves Google

1/19/2016
Internet search on "can a MacBook be recovered after formatting the OS"

3/22/2016
A file labelled Chauffer win plan.docx is deleted, shortly before Ron's interview with Stroz Friedberg

"Chauffer win plan.docx" is this guy serious? Did he name his other incriminating file "if they find this im fucked.pdf"
The casino prohibition against "counting cards" in blackjack works the same way. How does one not notice and unconsciously count the cards played face up in a card game, then later on act on hunches coming from the back of our minds? "Counting cards" is a vague definition that enables the casino to void any customer's winnings at a blackjack table.
> You are claiming that the "probability of seeing your data whether or not the hypothesis is correct", is often near the "probability the hypothesis is correct independent of your data"?

Shouldn't that be "the probability of seeing the data, _given_ that the hypothesis is correct" and "the probability of the hypothesis being correct, _given_ that the data has been observed"?
As opposed to a crazy black dude. Or a hysterical white woman. Is that what you mean?
> ... and just that level of type information would add a lot of overhead to my code.

Can you give an example of this overhead?
I'm completely confused. Why would those three people, who have supervoting rights, vote to take away their own supervoting rights and side with Benchmark the people who tried to remove Travis in the first place? It seems like the sender and recipients of the letter are on the same side.
Haha. Even funnier is Levandowski attempting to delete his trash bin contents while in Stroz's offices for the interview.
Can ice structures solve a Himalayan water crisis?
How to Use OWASP ZAP and FoxyProxy to Start Capturing and Modifying Web Traffic
Killing people is a socially accepted use of these weapons in the US. Home defense is a big one. See: https://en.wikipedia.org/wiki/Castle_doctrine
Reminds me of Carmack's involvement in the Oculus fiasco. When people with four-digit IQs start Googling things like "how to destroy a hard drive," you can bet that numerous lawyers are going to enjoy elevated job security in the near future.
Winnie-the-Pooh brought joy to readers, but misery to the Milnes
Tomologic | Software developer / Engineer / Programmer | Stockholm, Sweden | Full-time, ONSITE, https://www.tomologic.com

Tomologic is a small company with three primary development teams. We deliver our value through a wide range of technologies, spanning an algorithmic AI engine, computing clusters, Docker and Kubernetes, REST APIs and front-ends, as well as analysis tools both for internal quality assurance and for customers and partners.

We are currently looking for a new team member to contribute in all of our different technology stacks. We would like to fill this role with a service minded generalist who thrives while learning new technologies. The role involves development of the core algorithmic software and our service platforms, as well as design, development and continuous evolution of systems and components thereof.

About Tomologic: Tomologic’s mission is to make sheet metal working intelligent, resulting in significant environmental and cost advantages for various stakeholders. We are an important part of the Fourth Industrial Revolution, combining Artificial Intelligence techniques with traditional optimization problems, thus leveraging significant competitive advantages as well as a unique opportunity to save over 1% of global carbon emissions.

See more at https://www.tomologic.com/portfolio/generalist/ or send an e-mail to jobs@tomologic.com
We use AWS lambda, and when our lambdas fail, and they are triggered by AWS services asynchronously (i.e CloudWatch logs, S3 events), AWS does not care a limiting at all, and calls our lambdas in a recursively increasing fashion and it causes hundreds of parallel execution, which DDOS'es our internal servers and we reach the concurrenct execution limit for Lambda, and all other our lambdas suffer from one single failing function. Just a heads up before you make use of "unlimited scaling" of lambda.
Have you tried Openwhisk? It would fit the needs you describe I think.
Buhari’s Independent Speech Shows Fixated Hatred for Igbos – Ozekhome
I'm not saying POW is perfect. I'm just pointing out how idiotic it is to just make this type of statement.

Also, Bitcoin is not trying to beat Visa. BitTorrent disrupted the entire entertainment industry without being as fast as regular download.
"Crypto" has been used as the abbreviation in the space but note taken and will refer to "cryptocurrency" in future posts to not conflate the two.
It's complicated. If you despecialize at the "star musician and corporate schmoozer" skills and become more of an independent brand manager/marketer where the music is just one element of the business plan, you have many opportunities to practice your craft online. But as we all know, it's way more plausible that you and I and the aspiring kid down the street can't pull off the kind of hustle and vision necessary to make it work.
I'd really love to see a "blessed" environment that I can be sure all of my lambdas are running on: Linux with <insert tools here> always preinstalled, a common process for building native extensions, tooling for making lambda-style compute a commodity rather than a differentiator. I basically don't want to have to do any work when I move from one function execution platform to another.

Granted, I'm a little spoiled in that regard since 90% of my work is on Kubernetes, and besides a few very small pieces of connective tissue everything is identical from cloud to cloud.
Honda Unveils Latest Humanoid Disaster Recovery Robot
You forgot the Google Prime Directive to "Do not do any evil" in which morals, ethics, and doing good for the community are within the goals and business plan of the startups.

After Brandon Eich was forced to resign at Mozilla when they found out he donated to a charity against same sex marriage, it should have clued us all into knowing that you have to look at other areas besides marketing, engineering, programming, math, science, etc and consider public relations as well.

One of my friends has a business and computer science degree which are two areas to learn to know how to handle this sort of stuff. He claims your target market customers are more than just the people who pay for your product and service but also those who are affected by it, or use it, or are affected by the use of it, as well as not polluting the environment, obeying all laws of the local, state, and federal government, society, culture, religions, GLBTQ people, minorities, diversity, etc. He claims if your startup is not doing these things it might fail or you might be forced to resign as Eich was.

Of course feel free to disagree with me as my electrical engineering professor told me "Ethics don't matter, do the job as best you can, and f* ethics."
Any chance your integration code is available?
Deliberately planning mass murder doesn't make you a terrorist, just a mass murderer; terrorism is defined by a very specific kind of motivation that is far from the only motivation for planned mass murder.
Yes we exclusively dogfood our GSuite products at every corporate level from entry to executive. All of our internal presentations are Google Slides, our docs are Docs, our sheets are Sheets.
Propeller Aero | Front-End Engineer | Syndey Australia | Full Time

The drone industry is only just starting – and at Propeller, where we’re building the data platform that enterprises use to access this incredible new data, we’ve got front row seats.

We are looking for front-end engineers to help build the interface for Propeller’s 3D web platform for site analysis which will allow people on worksites to use drone data to make their job safer, faster and better.

Requirements:

- A background in Javascript ES6+

- Strong knowledge of HTML & CSS

- Familiarity with testing frameworks and utilities such as Jest/Enzyme/Mocha

- Frameworks: React, Redux, lodash or equivalents

- Minimum 2+ years of experience building web applications

- BS or MS degree in Computer Science / Software Engineering or a related field

Please apply via our careers page here: https://www.propelleraero.com/jobs/
This comment is absolutely right. The algorithms are not optimized to inform people, they are optimized to maximize the number of ads people click on while consuming whatever content the algorithms promoted to the top.

This is at best a conflict of interest when it comes to content that ought to be viewed as news. But there is significant pressure these days to blend news with entertainment (which simply means engagement, which entails ad sales).
How do large residential areas help the federal government defend itself against the states?
No, she doesn't seem fun. You however seem like a blast to hang out with :)
In most of modernity, independents haven't, on average, made much money. Given the rise of creation and distribution tools, I suspect independents have gained more (proportionally and as a group) than mainstream artists have.

Historically, the group wasn't making a whole lot. Now, some of them are doing well with things like Patreon and YouTube monetization, as well as selling through streaming services.

Those routes weren't readily available to them while production, distribution, and advertising were largely controlled entirely by the big production houses. Now, the independents are able to produce qualities on par with the larger houses and able to reach the same audiences.

So, numerically speaking, they've probably benefited much more than the folks on the major record labels. They are no longer just playing for 50 to 100 people in a bar, they are having their music listened to by that many people in an hour, across multiple streaming services, and making a few dollars they'd have never had the chance to make, even thirty years ago.

One of my friends does nothing but make music for online distribution. He's developed quite a following. He doesn't even have a garage band, he makes all of the music himself in a spare room in his house. That wouldn't have been an option, just thirty years ago. Even a decade ago meant he still had a regular job.

I imagine there are many similar cases and that, in aggregate, the independents have benefitted far more than the major studios - at least proportionately in terms of growth.
Insane? You can barely build a frankenPC with those parts for that price.
Skipping tests...
Why would you need to? GHCi supports dynamic code reloading which most people do during development. During runtime there’s not so much of a use case though for most people.
I wish I had this years ago. To do VNC and get around firewall/NAT issues I actually created port forwarder through Firebase. It surprisingly worked great https://github.com/rb365/fireport

I might try to make it work with Guacamole, web UI is definitely better than installing VNC client.
Openwhisk seems (from my very cursory once-over) to require actually laying down some servers, which is fine, but not really the brave new serverless world we're all gunning for. The promise of serverless computing is freedom from a fleet of boxen, and it seems to require a fleet of boxen.
I don't read many things that make my eyes go wide and my mind to be filled with "what in the actual fuck"s.

This is one of them.
This is well timed! I've been starting work on my own strongly-typed functional programming language using Go + LLVM, and this looks like a great reference for implementing some of the parts I hadn't yet thought out. Though I'm not going the OCaml/MinCaml route, it's still extremely useful to see some of the key compiler stages implemented, since it helps give me a guideline for what has worked for others. Thanks for posting!
No, the other poster is referring to Bayes' rule P(A|B) = P(A)*P(B|A)/P(B).

The claim is that it is reasonable to assume P(A) ~ P(B), so that P(A|B) ~ P(B|A). I am referring to P(A) and P(B) in the equation.
Probably.

It's well known that it's generally (and practically) intractable to find all vulnerabilities in a typical networked C program using reasonable auditing effort.
If auditing worked, we would know how to secure C programs and the world would be a much different place.
I wonder if this will receive the Edison treatment.
Bitcoin revolutionizes payments. There is major growth happening because there is simply no other system that works as well as Bitcoin for fast international payments, as it works for all ("permissionless"), 24/7 (doesn't close on weekends and bank holidays), and quickly (10min block time).

See for example the growth and use of Bitcoin witnessed by payment processor BitPay:
https://blog.bitpay.com/bitpay-growth-2017/

It's hard to quantify exactly how much Bitcoin helps the economy on a global scale beyond these BitPay stats, because of the inherent decentralized nature of the tech. But we know it reduces payment friction, so it indirectly increases economic activity of its users.
Microsoft Research Asia | Research Software Engineer / Researcher | Beijing, China | Full-time, ONSITE (full-time INTERNS too) | https://www.microsoft.com/en-us/research/lab/microsoft-resea...

MSRA has multiple positions open, especially in the Big Data Mining and Software Analytics groups. Please check the website if interested and ask questions here.

I'm a Sr. Research Dev Lead here and I can try to help point you to the right teams. My email is in my profile.
Builds are run on servers, using Blaze: https://news.ycombinator.com/item?id=9257000
Thank you, kind sir.
You can employ local workers and stimulate the local economy - the owners of capital still extract profits and take them back home. All else being equal, a locally-owned business is better for the local economy than a foreign-owned business - which is not to say that foreign investment is a bad thing when it brings in more capital.
DARPA is a government agency.
I do all of these things in the same block of code.

Somebody off me.
GAMBIA ON THE ROAD TO FLOURISHING ECONOMIC TRANSFORMATION
Yep, that’s why Elon is suddenly talking some random bs about rockets.
Is the Rise of Contract Workers Killing Upward Mobility?
Have you tried NoMachine?
Gotcha, that makes sense. We've attempted to abstract the endpoint and pub/sub logic from Cloud Functions into common libs, but I suspect moving to Lambda with our full stack would still be a real bear.
An interesting read, but the conclusion that "the singularity is nowhere near" was reached by assuming that only neural modeling could get us there, and that assumption wasn't defended well. (In fact it looks rather dubious, given all the quasi-intelligent things computers have achieved without copying neural dynamics.)
> You can be impartial and return results based on relevancy

I don't think that's possible. Take a search for "Las Vegas shooting". What is the impartial process for deciding the most relevant result for that? Relevance is inherently editorial.
Perhaps, although I had a difficult time hearing the inflection when reading the headline.
Absolutely, I included in the post that gender was only one aspect of diversity that I was focusing on in the post but should have made that more clear.
The unfiltered results ARE the truth. 4chan is the truth. In the sense that "Someone posted this thing on 4chan." And that's the only truth there is in internet-land: Someone posted something.

Is it real? Is it true, what they posted? Or is it "fake news?" You will never know, and you probably shouldn't try to take it that far. Or if you do, at least be able to handle the cognitive dissonance of believing it and not-believing it at the same time. The only thing you can truly know is what you witness in person. Or perhaps what you hear from trusted parties, but even there, your trust may be misplaced, or they may report something false in good faith that was the result of their having been deceived or mistaken. And you can misperceive and twist reality even all by yourself in the presence of supposedly non-subjective and "real" stimuli.

Regardless, from the vantage point of "looking at a computer," all you know about anything you see there, is that someone put it there. And even the "someone" part isn't necessarily true... it could be AI-generated like some sports and financial news is now.

The good news is, that which you can't witness with your own eyes, rarely has any real effect on your life. I'm experimenting with that. The sun still comes up, and it's still time to get some shit done. Sure sure, of course there are myriad ways someone or something far away can have an influence on me. What I'm saying is, what if you ignore that? What if you construct a mental model of the world where it's actually not one big joyous tapestry of unity and interconnectedness, but just a fragmented patchwork and you have your own little square and that's it. Neither view is right per se, but they're both equally valid, which is to say, bullshit, yet incontrovertible to those who believe it. I'll say one thing though, take the fragmented view and suddenly you don't especially find yourself immersed in news of shootings and Google can't "fail you" because you don't rely on it as a window to the world - you only use it for what it's actually good at: looking for shit on the internet.
Why didn't you use a dynamic DNS client? A lot of domain name providers have them.
Starting with the initial board and applying n-1 moves should be significantly slower than using immutable data structures. I don't have much experience in algorithms but I think O(1) trumps O(N-1) :).
> It's true that static type-checking proves the absence of an entire class of errors. But it doesn't prove that the code does the correct thing;

So prove it yourself. Proving things about programs that rely on dynamism is invariably much harder than proving things about programs that don't.
So why bother about Tesla at all? It’s all hot air...
A competitor to Microsoft Word isn't "if you care what things will look like on a printed page"?

That seems fishy to me.
It's extremely unlikely there's a big problem in the sense that you mean it. The Model 3 is easier to produce than the Model S and less complex. There's practically nothing new on the Model 3 that would plausibly be a big thing that's not working as to hold everything up in the scandalous manner you're implying (leaks, hand-building, not working, big problems, oh my).

More likely is that Musk set an overly ambitious target, for the hundredth time, and what they're doing for the quarter they probably should not have been doing at all. They produced something like 60-80 Model S vehicles in the first month. Check back in two quarters, if the Model 3 production is down 80%-90% from projections, that will be something meaningful.