skysight-inc/HackerNews huggingface dataset:
Unfortunately I'm also not sure if formal methods can scale. In large projects the area is almost completely untouched. From what I can tell those who are using it in large projects aren't talking. (safety critical and military applications both tend to be places where you don't talk about what you have done). I'm looking into proposing to management that it is a solution to our quality problems, but I don't want to look like a head in the clouds guy with no business sense. (We already have a good automated test culture, but they can only prove everything we thought of works, we have lots of issues with situations we didn't think about)
> uses of pointer indirection that look like the student kept adding or removing asterisks until it didn’t crash

Oh c'mon, that's practically a right of passage when learning C or C++ for the first time, especially if you're new to programming as a whole :-)
What if there was a well-maintained library that continuously scrapes a given user's Facebook account, and publishes it to AP?
Anyone can be a designer (but most shouldn't)
keep in mind they also pay engineer salaries to work on stuff that gets contributed back to the kernel (and other projects). of course that's with a healthy dose of self interest, but this 500k isn't the real bottom line
Sure, but the risk of this presentation is technology.

The audio cut out for several of the stories halfway through, then I was just reading the subtitles as they showed up.

I eventually refreshed the page.

Another story had the audio continue, but the video stopped and froze.
Kubernetes Custom Resource, Controller and Operator Development Tools
Google Sets Rules to Curtail Employee Debate
Could not disagree more. I am consitently amazed by Google search results and most cases top couple results is what I am looking for.

But the biggest difference is Google has things in the search engine much quicker than Bing. Next time big event happens in the world give it a try.
I understand what derivatives are. I had absolutely no clue what they were being used for in this animation.
You are comparing a generic computer to the best human conversation. But people make phone calls when driving, make phone calls with background noise, make phone calls while speaking to other people, make phone calls even if they don't know exactly what they want and waste the businesses time, all the time.

They will hang up or be confused the first time. As soon as this becomes common, they will get used to it and actually waste way less time than with the usual human call and will look forward to the familiar efficient robotic voice instead of the third prank or drunk call of the night.

>It needs to sound human so that humans will interact with it correctly.

I disagree. It needs to sound understandable and easy to use so that humans will interact with it correctly. Making it more "human" is orthogonal to that. All the replies to my comments have something to do with interacting in a more human way. Does it ever provide value for simple use cases? I'm honestly asking.

(If I am calling to book a table and the restaurant suggests me another day as in your example, I would be as stumped as the computer and would need to check my calendar and call them back, so your human sounding assistant is providing no value anyway. Is that even a real use case?)

I don't know, maybe a understand-all-manages-everything computer would be used more happily by people, but I'm not convinced. For these simple use case, I still think a binary algorithm would be, on average, more efficient for both the caller and the business.
Unclogging a Kitchen Sink: Use These Top 8 Simple Ways
Author should provide some alternatives..
Here is an example of who I think you’d have a hard time convincing: I’ve been going to the same hair stylist for about 22 years. Her clients have followed her as she moved around salons in Cupertino. She’s busy enough that many of her clients (including me) sit down at the beginning of the year and book an entire year’s worth of appointments. She only accepts checks or cash.

She’s popular enough that she has felt no market pressure to start accepting payment cards, and certainly has not had any trouble staying busy.

I think there’s a huge chunk of small/single-person businesses that will continue to do things using paper simply because they don’t want to change and they have enough clients that they don’t need to. Once they retire/expire they may be replaced by people that are more amenable to such things.
Except that the first thing I do with my new Windows images is drag that damn thing to the top of the screen so that menus drop -down- like they're supposed to dammit lol
Anonymity doesn't imply lack of individual control or moderation and is absolutely necessary for privacy, security, freedom of speech. If communications are identifiable by third parties all three can be defeated through censorship, spying, coercion and other means.
I entirely understand what you are saying, believe me I do. But that is not the way some communities take it. We still see messages like "You could move to Gitlab but... you know they dropped their production database a couple of years back? Use them at your own risk!"

We learned a lot from the Gitlab outage. It was a simple mistake and not one they will have again, yet people still beat them up for it. I'm not sure the value is there for the company to be super open about their outages and issues.
Most likely the plastic molds wore out and the decision came to either spend $100k per mold to restart production or sell a new product. Usually the right thing to do is to modernize the product at this point.

It's not a choice between leaving things alone and change for change's sake.
From the Google SRE book:

> Google has found IRC to be a huge boon in incident response. IRC is very reliable and can be used as a log of communications about this event, and such a record is invaluable in keeping detailed state changes in mind. We’ve also written bots that log incident-related traffic (which is helpful for postmortem analysis), and other bots that log events such as alerts to the channel. IRC is also a convenient medium over which geographically distributed teams can coordinate.

https://landing.google.com/sre/book/chapters/managing-incide...
Don't underestimate how much PR is for persuading internal decision makers as much as the public. To outright admit the goal may make little difference to the public, but it might doom the project internally, with the board, or limit its ability to recruit talent cheaper.

There's a lot of interesting research surrounding corporate responsibility policies and how they aid recruiting and may affect productivity of workers.
Does the Linux Foundation really help Linux and software libre? If so, in what ways?
GMAIL is one use case, and it was one of the original services from Google and so it has one of the largest "bake" times with regards to knowing how to keep it online.

Every service/team has to go through a period of growing pains as they learn, improve, and fix the code to be more stable. You can't just take the learnings from one service and apply it to another, it has to be architected and written into the code and most teams start each new project/service with fresh code.
"movie reviewers located in Chicago" returns the Chicago film critics association as the second result.
So, what is the solution if, for social reasons, people simply reject talking to an AI assistant by hanging up the phone ? I'm not sure that I would be particularly happy to know that the person themselves couldn't be bothered to call me in person.

And, wasn't this the same issue with Google Glass, that it was somewhat problematic in social environments ?
This. I would amost say: Don't use 'else' (if you can).

I also would like to add that it helps to fail early.

The article shows a null check for an add function. But the question is: why not throw an exception when the input is not what you expect.

This helps to find bugs very early.
reading all this thread made me realize at my company (~50 people) we have a couple slack-bots that control a number of things, deploys being one of them. shrug
Would Airbnb Have Fared Better with NativeScript Instead of React Native?
argument from relevant authority. A professor of "science and society" at an accredited university would be a relevant authority for the topic of the scientific method and its impact on society...
Using PyTorch for Medical Image Registration
It’s not about assigning blame for the company writing the post-mortem. But it’s definitely about assigning blame for most people reading the post-mortem. Very few people read post-mortems for the sake of learning how to be better at release engineering and ops.
Who else felt the irony of people complaining about the presentation format when there are human beings suffering from such a crisis? I was moved when I saw the clip of the kids being fed in a soup kitchen.

Not saying you cannot criticize the format, but shouldn't the discussion be more about what actually caused this situation and how it can be remedied or prevented?
Show HN: Search the Whole Internet’s Podcasts (great for finding interviews)
Tesla on fire might or might not be newsworthy by your criteria. Is this fire in some way worse than a normal car fire? Is this fire significantly more likely than a normal car fire? Either could be true (I don't know if either is), I want my news to tell me.

But news needs to sell something everyday, and real investigative work takes months.
> but the advantage of letting the programmer fully control every knob in the chain is immense.

That's actually not completely true.

Take the restrict keyword for instance. Super painful to use in C/C++ and very dangerous. In Rust since the language has constrains around single mutable pointers they can turn it on globally and you get it "for free". If I recall correctly it's going live in one of the upcoming stable releases.

Sometimes constraints can actually let you get better performance than a wild-west of pointers everywhere.
> Finally, as a clear signal, Canada should step up border patrol and aggressively stop any intake of folks fleeing to Canada from USA - US needs to understand Canada is not a dumping ground for their unwanted folks.

You act as if ICE takes people it finds in the US, drives them to the Canadian border and tells them to walk north.
That would make for a less catchy title.

Though amusingly by the definition of "money", worthless currency doesn't qualify.
It’s Been a Rough 2018 for Many Quant Hedge Funds
> The scientific method as it is practiced is deeply flawed.

That's a controversial statement, and I'd have to disagree with that.

> Being critical of the scientific method is not only important, it is necessary. The temptation throughout human history is to find some "holy grail" that will lift humanity beyond its current vantage point.

That's a true and important point. However, it's also important that the critique be logical and well constructed. This article makes a number of logical fallacies, and is political in nature. It's using age old science denial tricks to sow doubt, rather than improve the scientific method in any actionable way.
Right but the point of laundering is that you have cash you want to legitimize, so it must "re-enter" as cash. But hardware mining sales are all online, not cash, hence my original comment!
Disclaimer: I work at Backblaze.

> Why not use $60 you're paying per year for 1Tb of online storage to buy a 2Tb hard drive and use it for the backup?

We HIGHLY recommend both. There is a philosophy called the 3-2-1 philosophy of backups. You should always have three copies of the data, two onsite, and one remote. https://www.backblaze.com/blog/the-3-2-1-backup-strategy/
I wonder who is writing those status messages. as a customer this reads like "please wait, ETA to fix unknown" in 10 different ways.
Thank you for your answers :)
> Of course that doesn't guarantee that that's what that parameter is actually named

I’ve found the odds of that happening approach certainty once you have more than one or two parameters. If you’re using a language without named arguments I usually treat adding a third parameter as a cue to reconsider using a more idiomatic interface, whether that’s something like classic Java OOP (.setTemporary(true)) or limiting that knowledge to one place by e.g. creating a subclass, struct, or a specialized function so you call createTemporaryFile() and know that ordering check only needs to be done in one place rather than by every caller.
They also contributed a lot of work to the linux kernel like initial support for containers with cgroups in 2006-2007.
>Didn't anyone else feel completely transported when they watched the yuca getting cooked and saw that woman's tears?

I felt an intense pang of shame as my mouse hovered over the "next" button.
Honestly, I would expect the NTSB to investigate any kind of accident involving rare or new technology. I'd expect to see them investigate a higher percentage of accidents involving electric vehicles and self-driving vehicles until those technologies are safe enough and proven enough that you get diminishing returns from the investigations.
What I have so far is written in Java, and I started out playing around with AIML[1] using the ProgramAB[2] library to start implementing some simple stuff. It's self-hosted and the bot connects to an XMPP server to communicate. The code is designed to be packaged as an OSGI bundle which can be deployed into something like Karaf or ServiceMix.

The code[3] is on GitHub, but it really doesn't do anything useful yet. But feel free to take a look. Up to the last time I touched it, the main thing I was doing (as you can see in the commit messages) was playing around with some ideas involving the old "blackboard architecture"[4] approach.

The one thing that's actually implemented is an @time command, which just prompts the bot to give you the current time. That bit is implemented here:

https://github.com/mindcrime/AISandbox/blob/master/xmpp-aiml...

The AIML stuff is also wired up, although I'm not sure exactly what state I left this all in last time I touched it. But you can see the AIML stuff at

https://github.com/mindcrime/AISandbox/blob/master/xmpp-aiml...

and there are some sample AIML files in the repo:

https://github.com/mindcrime/AISandbox/tree/master/xmpp-aiml...

[1]: https://en.wikipedia.org/wiki/AIML

[2]: https://github.com/fogbeam/program-f

[3]: https://github.com/mindcrime/AISandbox/tree/master/xmpp-aiml...

[4]: https://en.wikipedia.org/wiki/Blackboard_system
What will we do when keybase goes away?
Its all simple in retrospect. The classic case, obviously, is Dropbox where HN dismissed it as 'its just rsync. What's the big deal'.
> This is what socialism does.

No, this is what a power-hungry dictator does. But socialism/communism creates an environment where such leaders can easily take power and thrive.

That's why democracy can be so powerful - it often successfully removes the power vacuum that creates dictatorships.
Context-Aware Failure-Oblivious Computing for Preventing Buffer Overflows
It was probably one of your viruses ;)

More seriously, I've had similar problems on iOS with unclosable tabs where even force quitting didn't work because it'd restore to the same page. The workaround ended up being "Click a link in Mail and that tab will be frontmost, then you can go in the tab switcher and kill it."

Hasn't happened in a while, IIRC the problem was javascript popups forcing focus off the rest of the UI. Maybe it's been fixed on the iOS side.

Of course the other side of the problem is webpages letting insecure ad networks run arbitrary javascript in all of our browsers. It's not great.
Well, you could say it is about overall impact. If you turn a bunch of people off with your format, you just reduced your potential impact.
I built a chat bot to report dynamic IP changes on remote machines.
I assume most of the comparisons are for black cabs, which are indeed more expensive but have unrivalled knowledge of getting around central London, as well as being allowed to pick up fares by being hailed on the street.

There are fewer differences between Uber and minicab firms in London. Uber is a bit more expensive on short journeys and drivers lack any local knowledge so can end up taking longer routes, but cheaper for journeys going a longer distance because drivers don't have to return to their home area after dropping you off. Uber's app is better than the others I've tried, but not unique, and their drivers and cars tend to be nice, but so are most minicabs that I've used.
StartTLS Everywhere
Good thing then that it's not about "car caught on fire", but more specific than that.
Keep in mind adopting any strategy beyond if/goto as is in machine code comes with reduced efficiency. So we trade efficiency for readability. Some talented genius might make a super efficient piece of art by restricting to if/goto only, that no other approach could beat performance-wise. I guess anyone who does low-level machine code execution optimization is in that camp most of the time.
IMO this is dangerously harmful advice. Even if you do the Full SSL (Strict) version, you are trusting CloudFlare with all data. It's probably fine if you are just doing a static site or something, but the fact that CloudFlare has access to users' passwords gives me the creeps.

(You are also trusting CloudFlare to generate the private key of your web server, which is no big deal if you are already using their services between you and the user, but might be more complicated if you decide to trust that cert for internal use.)

Ultimately I only recommend this if you want a fast fix to prevent public wifi operators from injecting stuff into your HTTP content. Any other use and you'll not be able to sleep at night wondering what kind of data CloudFlare has stored.
You're operating off the assumption that open source foundations aren't mainly a racket themselves.
I may be totally uninformed but I've got to ask...
The iPhone X has a notched display for hardware that runs FaceID, and not for aesthetic reasons right?

Why are Android manufactures copying the notch? Strictly because it's a new design element of the iPhone X? I know people do not like the notched displays and if Android phones aren't implementing FaceID alternatives to take up that space, then why do it? Are they just really copying the iPhone design so that their phone looks modern by 2018 standards?
Sacramento Kings, the new cryptocurrency miners on the block
also not being able to write multiple versions of a function with different arity is annoying.
plastic bottles can be recycled, but the problem, as I understood it, is thrash not being handled properly, so the fact that you have plastic bottles in rivers or shard of glass bottles does not change much.
It is, yet the gravitational force from the Sun acting on the Earth is equal to the tensile strength of a steel rod approximately the diameter of the Earth itself.

(because while gravity is weak, the Sun is huge!)
I remember there being software back in the day that did exactly this.

The name escapes me right now, but basically you had to add "friends" in the software, then dedicate a certain amount of HDD space to it. It would then back up your files to your friends' computers, and theirs to yours. Backups were encrypted so your friends wouldn't be able to see your files.

It was a super neat idea, I wish I could remember what it was called so I could see if they're still around...
Funny you should mention google, as something is down over there right now. lots of reports of chromecasts being dead right, assuming something at google is down which is causing this.
Disclaimer: I work at Backblaze.

> I do onsite backups using Time Machine, and also Backblaze.

You are doing everything correctly. You are following the 3-2-1 backup philosophy, which is: "3 copies of the data, 2 copies locally, 1 copy remote". Here is a blog post we wrote about it: https://www.backblaze.com/blog/the-3-2-1-backup-strategy/
Just two examples: Imagine if I could set a preference in my email client that said "I do not accept anonymous emails". No more junk mail. And, secondly, that if I did get a spoofed communication that caused some sort of harm, I could in some way track down the spoofer. These would be big improvements to life on the internet.
So are you saying it's wrong for a company who had a history of being hostile to want to support open source now? Isn't a company that used to be hostile towards FLOSS switching to investing half a million a year into it... a good thing?
On the contrary, I would trust them quite a bit less, not more, if they had an hours long outage without any explanation.
https://news.ycombinator.com/item?id=17397274
With enough participants, security implies effective anonymity. See Tor.
While I appreciate the timely status updates, it almost seems like Slack has built a random status update bot to post updates that don't say anything exactly every 30 minutes.

https://status.slack.com/2018-06/142edcb9e52c7663
In that case, it sounds like very bad general software design that is not well-crafted to the problems you are solving. Instead of building the right kind of extensibility in light of actual requirements that have self-evidently required you to change underlying types a lot, you are misusing something like auto to instead paper over a bad design.

Needing to constantly switch things by creating different sets of headers with different groups of typedefs, and then rely on the codebase to have happened to use auto in just the right ways that things still compile correctly with the swapped-in types is horrible.

Like, absolutely amateur, risk of getting fired level of badness. I can scarcely think of a way to design system-level polymorphism that would be more directly hostile to new developers or other people maintaining your code than the approach you’re describing.

This sounds like the type of pathology when a developer creates a needlessly complex system purely for rent-seeking and job security. You’ve built a system nobody else can maintain because ever so slight changes to the way it uses auto can bring down the whole house of cards from your variety of special header files. Nobody else wants to catch that falling sword, so when they have to work on or change that code, they just tiptoe on eggshells to mimic whatever existing use of auto there is, out of complete fear that more specific type annotation is going to break things. This is not a hallmark of a good project. More like painting everyone else into a corner that only you happen to prefer.
Worsened by the fact that you get an insurance discount if you have a car alarm. So everyone has one, despite that we all know they are only effective at annoying neighbors and bystanders. The only writing I've read that touts the positives of a car alarm fall in the "wishful thinking" category, a.k.a, "well, it can't hurt!" Everything else I've read that tried to be at least a little scientific indicates they're more trouble than they're worth.
Here's a chat decentralisation platform: https://www.ratbox.org/ .
Highly Available Microservices with Health Checks and Circuit Breakers
A Look into #NationalInternDay
Looks like a nice improvement. Thanks for the recommendation
https://en.wiktionary.org/wiki/facilitate#Verb
Presumably businesses are willing to put up with a fair amount from their prospective customers - especially if many people start using Duplex. Your argument would hold for a CEO who has her executive assistant call to make the appointment too - would the employee on the other end be upset she couldn't be bothered to call herself?
Plastic bags are still available, they just cost a nickel now. I can't say I've noticed any more paper bags around, can't think of a store I shop at regularly where they are even available. I believe people are using reusable bags instead.