skysight-inc/HackerNews huggingface dataset:
Testing every possible failure mode of a simple full byte wide adder is in fact pretty non-trivial and hard work.

Troubleshooting everything that could theoretically go wrong when asking Alexa to add two numbers is simply impossible or incredibly expensive.

Space shuttle computers for autolanding are possible although testing suites are expensive, as you state. Implementing that process to the same level of reliability using a vast distributed software technology like Alexa would be essentially an infinite cost.

Its a given level of reliability problem; can't compare the apples to oranges of extremely unreliable software or even worse, networked, solutions to something as relatively cheaply reliable as hardware.
Have they fixed the AI yet? Last I remember there weren't any difficulty options, only "genocidal by default".
Check out the section "stdout" of the POSIX standard here: http://pubs.opengroup.org/onlinepubs/9699919799/utilities/ls...
Yes I would. if you offer that to everyone, I doubt you would be profitable though.
CDC studying rise in e-scooter injuries as startups expand to more cities
Polyglot and Native Runtime with GraalVM
You can still do this with the "Personal Blocklist (by Google)" Chrome extension.

https://chrome.google.com/webstore/detail/personal-blocklist...
Reflections on Serverless: From SOA to Serverless Part 1
Bruce Schneier: It's time for technologists to become lawmakers
Reflections on Serverless: From SOA to Serverless Part 2
A "student privacy pledge" involving Google kind of makes my blood boil, given their push to have schools force children onto their platform via chromebooks.

It's just like "don't be evil": nothing more than underhanded, cynical corporate PR window dressing.
Kubernetes Everywhere with K3s
https://www.vox.com/2016/3/18/11255942/morning-people-evenin...
Which "crypto" are you referring to? Please be more specific
tl;dr Google helps Wikipedia to the tune of 21% donations for its hosting costs
DevOps - It's Okay to Fail
Does Taking Zinc Help with Acne?
A direct report has a salary concern. You promised something to the direct report. You take this to your manager, and he tells you to “speak like a leader, not an engineer”. Did I get all that right?

If this is accurate, you left a lot of details out of your first post. Most of the responses won’t help you at all with this specific situation.

This seems like a budgeting issue. What did you promise your direct report?
Not being able to have children is clearly a health issue.
Self-Driving Cars May Hit People with Darker Skin More Often
I'm not sure I understand the distinction you're making, and whether the nerves are considered part of the heart there are most definitely nerves into the heart. From [1],
"The vagus nerve directly innervates the sinoatrial node; when activated, it serves to lower the heart rate". This is illustrated here [2], in a diagram from Gray's Anatomy of the Human Body.

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4404375/

[2] https://en.wikipedia.org/wiki/Vagus_nerve#/media/File:Gray79...
The more we learn about Brexit, the more crooked it looks
Hematite: Minecraft Clone Written in Rust
It is possible, but not when money is on the line. We see this issue everywhere. Nuclear power plants can be made safe, but then checks aren't done when they should, maintenance is allowed, they're kept running being the design life, etc.
The silver lining to jobs like that is after a year or two, you're the single, solitary person in the world that can keep the machine running as expected. Performance reviews become a breeze after that.

"We've been looking at your performance these last few months, and it seems you've stopped taking on new responsibilities..."

"The machine is running."

"Yes but..."

"I have other offers."

"Never mind, carry on. Here's your raise."
Yes, I agree with your point, I've written plenty of Erlang.
Winding down my Debian involvement
Well Black mirror process this is untrue. I don't think I could be a writer for that show though, just watching it makes me sick.
I like this trend towards e-voting since it seems to be influenced by trends in cutting edge blockchain technology like decentralised autonomous organisations. It means that novel types of national governance may follow from blockchain governance models, such as liquid democracy.

This would be a vast improvement over our current representative democracy model since we'd be able to hold politicians accountable more easily, lobbyists would be less influential and we could put our voting power behind domain experts for issues of importance.
What are the strongest known type systems for which inference is decidable?
It’s taking advantage of the “sunk cost” fallacy. People tend to believe that since they’ve already spent $X that they might as well continue.

This is why so many retail investors will double down on a losing stock position. Any day trader will tell you that this is a complete fallacy. Even if you don’t sell your shares that are losing money, you still have taken the loss, the only one who hasn’t admitted it is yourself.

Better to cut the cord and leave instead of trying to dump more money in and “right” an losing situation.
Pwgen – Generate Pronounceable Passwords
Facebook just doesn't care about privacy at all
Not new, but it sure seems that every time you turn around you discover another vector through which FB willfully violates user privacy. I post it here in a feeble attempt to highlight it to FB (there's no other way to reach anyone there who gives a hoot).

Scenario:

Birthday party at your house. Family and friends. Kids, adults.

One of your guests is active on FB and is not aware of security/privacy issues. He never changed his posts to "Friends"; every single post he makes is public.

He takes pictures of everything and post them on FB. He tags EVERYTHING.

Next morning you see a bunch of posts from this guy. Your friends, family, kids, multiple locations around your home, where you live, everything. Everything is documented in images and tags. Publicly.

THIS IS VERY WRONG!

You can talk to your friend, but you have no guarantee he change anything. And like him there are others.

What's the right solution then?

Mabye the person tagged is given the ability to change the post from public to private. Or, if you tag ANYONE, the post is automatically made private. A request is sent to all those tagged. If every person tagged agrees to a public post, it goes public.

They have a lame "Remove Tag" function. All it does it remove clickable tag. Your name and information stays there, fully spelled out.

If users don't have the ability to protect their privacy in their own homes, in a world where anything can happen, FB is contributing to whatever might happen when bad actors get hold of the information and use it to commit crimes.

The fact that they think this sort of thing is OK shows a complete disregard for the safety and privacy of their users. In a world where human trafficking is a major problem --particularly of young girls-- the fact that FB allows public posting of people in a private setting who are tagged and identified, including children, location data, photos, and more is --or should be-- criminal.

It's wrong.
Cumulus Certified Open Networking Professional Journey
Rent is too damn high
Absolutely. However, which group would you belong to later on:

- the one that avoided flying MAXs and it turned out to be something else

- the one that avoided flying MAXs and it turned out to be a problem with the MAX

- the one that did not avoid flying MAXs and it turned out to be something else

- the one that did not avoid flying MAXs and it turned out to be a problem with the MAX

I think it is much safer to be in the first two and potentially being labeled paranoid later on worst case.
Her political stances are going the extreme route. These ideas on breaking tech companies has literally no well thought merit, at least from Warren.

How exactly is Apple a monopoly? Because they have an App Store? They don’t really sell products in there other than maybe Final Cut Pro. So is the issue that no company should be able to set the terms of what it allows in its App Store? What’s the legal basis here? How is this detrimental to society or even just the US?

This sounds more like Warren might be getting bankrolled by Apples competitors (best case) or she’s completely clueless about how business or economics works, completely ignorant of who Apple competes with (it’s an international market, recall Samsung), etc.

It was the same nonsense the other day about breaking up Amazon. I asked then and I’ll ask again - by what metric are they a monopoly? Is warren going to break up WalMart and every other business that established a store brand?

No of course not. This is nonsense, pandering to the fringes of the left, much like Trump panders to the racists, intolerance folks on the right.

I don’t think her campaign is going to go anywhere, and if anything, she’s ruining her credibility. I want Trump gone in 2020, but I don’t want to replace one dangerous loon with another.
Very reasonable comments.

I don't know why some people are so emotional about China. Sounds like they have lost something in their lifes.

An adult conversation is a fact driven conversation. That is the basic culture for HN v.s. places like reddit.

GDP is a manipulable number that has lost its accurate meaning. Even the ratings of the TVs have multi-aspects now.
I don’t think it’s wrong to comment on people who care more about convenience and cost then the externalities they’re creating (air and noise pollution).

“Selfish” is not a protected class.
The main driver for EU-US medical tourism is the much weaker regulation in the US. In the best case, people from the EU travel to the US for innovative new treatments that aren't yet available in the EU; more often, they're suckered into paying huge amounts of money for quackery.

https://en.wikipedia.org/wiki/Burzynski_Clinic

The US has a similar relationship with Mexico; there are a string of clinics along the Mexican border offering unproven cancer treatments that would be difficult or impossible to market under US regulations.

https://en.wikipedia.org/wiki/Clinica_0-19
Cutbacks in local news leave some communities in the dark
The author seems to have far to narrow an idea of what a computer is.
That's really just a symptom, while the disease is the dictatorship which can do whatever it wants disregarding the people.
The article mentions China overstated its growth by an average of 1.7 percentage points per year since 2008.

Best I recollect from back when I was reading Pettis' blog on a regular basis, that figure is actually lower than what he was been suggesting China had been overstating its growth by in the decade prior to 2008.

Pettis is about as specialized in China financial markets as you can get, having basically studied and blogging about the stuff exclusively insofar as I'm aware while living and teaching finance there. He has many criticisms of how China is reporting numbers. One in particular is that local officials are expected to meet certain GDP targets. When the numbers don't look like they'll be in, they'll take on debt and build a bridge to nowhere to make their numbers.

The point being, from where I'm standing from there doesn't seem to be anything new in the magnitude of the error. (It's great if the article made you privy about how overstated the economy was.)
Synchrony Is a Myth
My take on miniKanren is that it's implementation is designed to be small and hackable. Especially small with microKanren.
If you don't know scheme/lisp, but want to roll your own for educational purposes, then check this out: https://codon.com/hello-declarative-world

Vs Prolog, the emphasis in miniKanren is on constraint programming --- especially writing new constraints to extend it to more problems. Where (chief variants of) Prolog have been optimized in various ways for certain types of problems.

See Will Byrd's answer here: https://stackoverflow.com/questions/28467011/what-are-the-ma...

What I read about Datalog is that it is basically a recursive relational database. It's set up for "deductive queries". This wording reminds me of miniKanren --- but the Kanrens are Turing complete.

Ah, Wikipedia has this to say:

In contrast to Prolog, Datalog,

1.) disallows complex terms as arguments of predicates, e.g., p (1, 2) is admissible but not p (f (1), 2),

2.) imposes certain stratification restrictions on the use of negation and recursion,

3.) requires that every variable that appears in the head of a clause also appears in a nonarithmetic positive (i.e. not negated) literal in the body of the clause,

4.) requires that every variable appearing in a negative literal in the body of a clause also appears in some positive literal in the body of the clause[4]

I'd have to put some thought into checking this list against the capabilities of miniKanren. Generally it doesn't ring any bells.
Compiler Basics: LLVM
Not the same thing, but 1Password has HIBP integration.
When I was at university every week my roommates and I would invent a new student organisation and spend a few hours pitching it to passersby on campus. The organizations were ridiculous, things like "Students for the exploration of space" or "The Student Potato Advocate". Sometimes we would solicit money but always we would have a mailing list where you could sign up for more information.

We just did it for silly fun but in retrospect it was a great experience. Learning how to promote something, having the self-confidence to talk to strangers and sell something is really useful.
This is one of those things that HN may not be great at overall. Most answers here are brainy: “read this book” or “follow these principles” type suggestions, but this is really something that isn’t solved by reading about it. Don’t get me wrong it helps to have an intellectual basis, but in reality you just need to be embarrassed and rejected a lot to get good at sales.

Sales isn’t about your product, it’s about the person your speaking with and picking up on queues and verbiages that help you cater the conversation to them.

There isn’t a magic algorithm here. Get out among people and learn how to hold an artificial conversation for longer than 1 minute with a complete stranger without making it feel artificial. Once you can do that and walk away feeing good about it, you can start to figure out how to convert that artificial-ness into something that’s hard to distinguish from comfortable conversation with someone you’ve known for 10 years. That’s sales. It’s being able to interact with people at a comfort level that enables them to feel relaxed and safe.

I push a lot of CS students to get jobs as servers at local restaurants and bars. The pure experience of interacting with a group of new strangers every 5-10 minutes is hugely beneficial to sales development. It’s also easy to practice selling stuff (convince a bud light drinker to try a local microbrew, or up sell the nachos to the nachos grande because it’s the freakin weekend and what’s life without a little adventure). The bonus is that you can obtain a huge amount of experience with very little commitment as serving can be a 4-6 hour /week deal if you need it to be.

In the end it’s not about sales. It’s all about how comfortable you are in your own skin and how comfortable you make them. That takes a bit of time and discomfort to achieve and a book won’t give you that by itself.

Go get experience.
That is definitely not the case, at least not in NZ. This is the kind of terrain you might see:http://woolshed1.blogspot.com/2014/08/new-zealand-agricultur...

If you got up close you'd find land slips, cracks, fallen trees and sheep shit. A wheeled vehicle would need to be at least the size of a quad bike.
I hope it will become decriminalized/legal everywhere so people would not be able to justify this lack of decency with "they were mindlessly attempting to enforce stupid laws". Funny thing is that it was only a few months away from being legal. Sigh...
No it isn’t, in fact you could argue a better quality code base supports faster development.
fake news ?
>You can detect the choice from the brain up to seven seconds before when people are asked to push a button any time they feel the urge. (...) There is no reason to expect that 'the moment' is the same as when we become aware of it. It's questionable if we can make make any choices within two or three seconds. We just have behaviour that feels like it's our own volition.

Of course it's our own volition.

Do you see anybody else there telling the person what to do? Is there some "eternal soul" that should have been informed to make the final decision?

The misleading dichotomy here is that the conscious urge is something different from the "choice from the brain up".

Whereas the conscious urge is just a later manifestation of the "brain up" process. It's just a nicer UI output we give ourselves of the choice process.

It's still our brains, that is us (there's no third party involved), that makes the decision, based on our past experience, knowledge, preferences, memories, etc as wired in our brains.

Whether we do it at the conscious layer or we do it at the lower level and then project it at the conscious layer doesn't make it any less of "our own volition".

To me it's like saying "the computer didn't make this picture, because the picture was already created in the memory as a structure before it was send to the screen".
Tensorflow Federated Is Open Source
Boeing deserves to be sued into oblivion for this, if it turns out to be something related to Lion Air. It’s a horrible feature and they are being obstinate about it simply because they are afraid of liability. Meanwhile hundreds have died already.
Ubiquitous does not equal value. Docker doesn’t do anything you can’t do with lxc tooling and an object store (registry). That’s the benefit: containers are free, the orchestration is free, and the registry tooling is free and easily replicated.

Mongo equally so (JSON in PostgreSQL). These valuations are fantasy.
Yes, I pay for a Pro account. I do appreciate Flickr.
I wonder if Netflix would have to spin off their in-house productions once they reach $25B revenue. Or, if they don't, if the mobile platform providers could change their business models into similar subscription services to avoid the break-up.
I've repeatedly tried to use DDG for technical searches and it's often missing the results I can google. That would be fine except that it's often the only result with the answer and not duplicated in another result. Maybe adding !stackoverflow (or somesuch) might work but not if the result was a blog.

I wouldn't call my searches exotic but merely specific.
Medicare is very cost conscious. So much so that some care providers would rather not accept it.
Sweden has no homeschooling (except for one orthodox Jewish family a couple of years ago which I believe ended up in the supreme court. I don't know the final.judgement though), so that problem is already solved.

But yes, that is a problem.
Oh dear. This isn’t my field at all, and maybe I’m just doing a bad job of understanding their point, but this sounds completely bogus.

Really...the brain doesn’t create representations of visual stimuli or store memories? Under what possible definitions of those words can this statement be sensical?

Surely the author believes that visual stimuli cause measurable changes in brain state, and that people can indeed remember past visual stimuli. Then how is it true that brains don’t create representations of visual stimuli and store and retrieve them? I’m at a loss here.

Perhaps the author means that the brain doesn’t do these things in the same way as digital electronic computers we’re familiar with. That’s certainly the case at the most basic level.
This. They should be taken out of service and seriously investigated now at this point.

And Boeing’s procedures on how it disseminates information should be held under a microscope and punished severely.
Ask HN: Prisoners Not Allowed to Study Programming?
I have a friend in federal prison (he developed a drug addiction and got arrested for theft). Not a bad person or anything, just had some problems. Anyways, he's always been interested in my job (software engineering) and has wanted to learn. I told him I'd send him some books to learn engineering, especially since he has a lot more free time to read now. I sent an introductory book on programming and it was not allowed to be given to him because it the prison said it posed a threat to order and security. I believe this is because they have access to a computer in the library where they can send some very basic messages, and they're afraid they'll figure out how to "hack" this computer.

Considering that software engineering is the perfect job for an antisocial person, I feel this is a huge mistake by the prison system. If someone has the aptitude for software engineering, this should be encouraged as a path to reintegration with society.

I was wondering what other people's thoughts were on this, do you think an introduction to Ruby On Rails, PHP or JQuery is dangerous to teach an inmate? Should this policy be changed?
I suppose the problem for me is, there isn't really a decision for the conscious mind to work on, the question is trivial without a right or wrong answer, free will doesn't enter into it.

This was choosing horizontal or vertical stripes, there isn't a rational reason not to go with my gut, although I could if I wanted to demonstrate free will.
I've done it. When we get a dusting of light powder and the pavement isn't warm enough to melt the base layer, it's totally fair game for blowing. As long as I'm using a warm battery that's been in the house, the blower makes quick work of it.
Similarities Between the Lion Air and Ethiopian 737 Max Crashes
All 3 big cloud providers, now have a managed Kubernetes solution that they offer to their customers (and as a result will eventually sunset their own home-made solutions that they built over the years - because there can be only one).

I haven't heard anything about this from AWS. Certainly they've introduced EKS, but I haven't heard anything about setting their ECS orchestration out to pasture. Does anybody have information about this?
Seems perilously close to iamverysmart.
If you're carrying your tool in to somewhere remote for a day's work, filthy old two stroke is the easiest, most energy dense power source. As opposed to a truck load of batteries.
No. If you take a small sample size and you find the problem twice then it warrants a great deal of investigating. This is common in auditing for example.
I'm not sure why you say "however" or think we disagree. Maybe you misread my "wouldn't feel like an overreaction" as "would feel like an overreaction"?

I agree with grounding the fleet, especially if it's the case that an MCAS software update was already being prepared but not yet deployed.
> such as liquid democracy

The German Pirate Party tried liquid democracy, and the result was similar to what's going in Wikipedia: There's a small set of people with more time on their hands than it good for them or others, and it doesn't take long for them to take over.
The Ryan Holiday Reading Recommendation Email – Ryanholiday.net
Its also model justification and defense. And even unprotected variables can be shown to synthesize protected variables. If I was in the legal profession , that's how I'd attack that.

Again, data is toxic. Even if you think you're doing something safe, there's a chance youre not.
Java/C# less verbose than Go? In which alternate reality?
Objects vs. Boxes vs. Actors vs. Agents
What kind of internet regulation would you tolerate? What are your thoughts about current situation in Russia where literally millions of our citizens wholeheartedly agree with any crazy internet policy? And in general believe in what is told though TV

Yeah, i live here too.