skysight-inc/HackerNews huggingface dataset:
That's why I'd enforce type-hints.

The whole story with these critical systems is tricky. At the one hand, they want to have formal verification. Academia really loves stuff like Haskell for that. There is Ada which was designed with critical systems in mind.

On the other hand, there is a lot of C and C++ everywhere. On microcontrollers, no matter how much you love Haskell, Ada or Rust, there might not even be a compiler and probably no HAL.

And in the end, all of those languages focus on the machine and the math. A mathematical prove of the correctness of your software is nice, but readable code is too. And the formal verification doesn't save you from making wrong design choices. It doesn't check your logic. No language or tool can do that.
But what I believe a language can do for you is help you express your thoughts in such an simple, structured and readable way that the cognitive load is reduced to a minimum, freeing up thought-power to check your logic.

A lot of the failures in space that were caused by software weren't actually programming errors like the overflows that allow us to hack everything. There was a Mars Orbiter that crashed because the data was in the wrong format - still the types matched. A lander crashed because they forgot to put in logic to handle invalid sensor data: a broken sensor in the landing led triggered the 'touch-down' signal, the lander believed it landed and cut the chute. Except it really wasn't even close to ground.

Using a bit of hyperbole, there is formal verification in Academia on the one side, and people forgetting to design robust logic while trying to figure out pointers on a microcontroller that can only be programmed in C on the other.

Static Python. That's my proposal to save the next mission :)
Netduino is Back
Pointing out someone is a quack is also a great way to keep differing opinions out of a discussion and thus make sure that rational discourse is avoided on issues that are useful to the person pointing.

It's always useful to think of these situation in circumstances where you don't have any emotional involvement because otherwise you mind can play tricks on you.

For example imagine you are a European Scientist who really wants to fit every animal onto tree structure with mammals over here and squid here and all the animals fall into some easy to understand structure that makes total sense to you.

And some weird guy comes back from Australia with natures most awesome animal the platypus. A furry creature that lays eggs with poison feet. Your simple identification chart is totally jacked. It way easier to say he is a quack that evaluate the evidence you don't like. Heck it's totally inconvenient that your life's work is wrong, it's going to cost you money and esteem.

tldr; pointing out a quack is a great excuse for avoiding evaluating their arguments but refutes none of them. Everyone's time is valueable and figuring out what adventures to spend it on is important. Confusing that reasonable justification of where to spend your time with their argument being false is a dangerous habit to get into. You end up always thinking you are right and avoiding things that challenge your beliefs.
It's not an either or - investment in more traditional transportation infrastructure doesn't all of a sudden shut down based on an Elon Musk tweet. The problem you touch on is massive and billions of public and private dollars are invested in this space every year. Specifically ride sharing now and autonomous vehicles down the line will do wonders for commute congestion.
I'm not an expert and i haven't tried this, but i would think you could use the pass tool and encrypt the files to multiple gpg keys, and share those files using a git server which you control. That sounds like a rather easy homebrew password manager that supports shared logins, i would think.

Disclosure: happy user of pass, but haven't tried encrypting to multiple identities.
I'm not sure what you are implying. If you're asking if the NSA can read NIST's mail -- maybe? If you are saying that the NSA can hack/compromise this particular device in a way that would benefit national security - I think you'll have to sketch that out a little more for me to go along.
Great info, thanks. Tallies with what I've read over the last few days. If I understand correctly, Bluetooth provides RFCOMM as a reliable transport protocol. Could I just use this in place of TCP for point to point connections or does it have major limitations? I guess I'd have to change my endpoint addressing given there is no IP obviously.
The reference:

http://www.bash.org/?244321
I thought one of the problems with the HyperLoop conveyor was that its capacity was limited in comparison with the alternatives.
the diving reflex is real, and is used clinically to treat supraventricular tachycardia (where a re-entrant electrical feedback loop in the heart can be broken by slowing down the choke-point through which it passes). It slows down the heart and lessens its contractile power consumption. That could conceivably work (in my mind) after a cardiac arrest, but it isn't really related to brain death (which is an issue in the days and weeks following, in the ICU where oxygenation and glucose usually plentiful).

Remember: the "theory" behind any medical idea is almost irrelevant if you have data regarding the outcome. If you have outcome data, it supercedes the theory, and is all-important. The theory simply helps us prioritize which treatments to assess first - the better the fundamentals, the more worthy it is of scarce research resources.

That's one of my biggest criticisms of the lay press: they emphasize the scientific narrative and don't focus enough on the outcomes. The most meaningful outcomes in scientific terms always mean the same thing: a meaningful improvement by blinded observer in something we care about.

"meaningful improvement" - this means that improving survival by a tenth of one percent might not be worth the trouble of implementation

"blinded observer" - because it cancels out the placebo effect and expectations

"something we care about" - such as returning to school. But if you do a SPECT scan and the SPECT scan "looks better" to the doctor? That's not important. We sometimes use things that are well-documented to reflect important things even though they are not important in their own right... we call these biomarkers.
Anyone interested in Stonehenge should also check out this book: http://www.lynnekelly.com.au/the-memory-code/

It goes into some new ideas about what it was used for.
Have you tried to look "cycle" up in a dictionary?
I want to point out that it works perfectly fine making a JavaScript web app in just vanilla JavaScript using NodeJS as server and the browser as client. You do not need any frameworks!! Vanilla JavaScript works for both small projects and big projects. And it performs well! (at least compared to the popular frameworks) and it's very nice to debug! There is no complication step! And your code will be supported for ever unlike the framework's that will make your code obsolete within a year or so.
Well, that's the way it's been arranged in the US.

Start with student debt, add mortgage, financed car, credit cards, ...

Combined with "at-will" employment, it's a wonderful tool for social control / keeping the serfs in their place.
Everything is air conditioned in AZ. Very few people would live there otherwise.
It's a complex issue but I think one of the main points from the opposition is that with increased wages will come decreased rates of employment.

I think this point really becomes an issue for people who believe that "if you work hard, you will get what you deserve (e.g., a middle to high wage)".

For them, the tradeoff is raising the wage is for a lazy worker vs. having a lazy worker be unemployed.

The point becomes less of an issue if you believe that there are hard working people making the best of their abilities who can only obtain low wage jobs.

Then it becomes an issue of whether you believe $15 should be the minimum for someone who works just as hard as you.
I look at it like a company is a group of predator birds who happen all to be flying together in formation for a while.

Individuals temporarily have self-interest that aligns beautifully and lends itself to pattern flying. Individual incentives and goals will inevitably change over time.

Maybe one person will veer off in a different direction if the startup doesn't get A-list funding, maybe another will get bored after the prototype is finished, maybe another will fly off in chase of a relationship, etc.

Even large companies are like this. The CEO may be putting 150% into it for two years but will rationally give up and move on if things don't turn around. Someone may have tried hard to get hired right out of school, but after two years of experience fully plans on quitting to attend a PhD program.

I like to be very upfront with would-be hires about their goals. I don't expect someone to fly with the pack out of loyalty, there has to be something about their overall life plan that makes flying in this pattern a big win for some period of time.

I do want to talk about that life plan. How can time with my company help you get where you want to get and also help us get where we want to get? My goal of course is to make the experience of working there so incredible that you change your life plan to allow more time flying in our formation.

Some people don't have kids or spouses and would rather be the best indoor soccer player they can be or the best at spoken word night at the local coffee shop. When someone is at work I want them to be focused on goals that matter to them and that are meaningful to the company, but I also want them to switch gears and live their life whatever it is, since I know that they will do that anyway if they have any sort of independent, inner drive.
It's important to keep in mind that Amazon's presence has raised the average income in the city to over $90k/year. Even making $15/hour, this individual relies heavily on public assistance.

I didn't read the study so I'm not sure if this outlier was included in the overall analysis.
Would you please not post like this to HN? You may have a point about jargon but it's lost in a bucket of bile. That's exactly how we shouldn't be reacting to people who come to our community to share knowledge with us. Especially because the #1 rule of commenting in this forum is "Be civil": https://news.ycombinator.com/newsguidelines.html.

We detached this subthread from https://news.ycombinator.com/item?id=14813572 and marked it off-topic.
As the other commenter said, we also add Alioli, which is mayonnaise with garlic. Although the original one is only garlic and olive oil. (Ali means garlic and oli means oil in Valencian)
This is a very complicated way to explain TX malluability. It'd say that the problem is that signatures only sign a portion of the transaction and the resulting TXID that is used in the blockchain is based on hashing the entire transaction.

So the signature can be mutated as the author suggests, but the signature doesn't sign the entire section of the transaction anyway (where data is provided to the redeemScript to satisfy its conditions. This section called the scriptSig includes the sig which cannot sign itself.)

So with the scriptSig, anyone is free to add whatever new data they like to this section which gets added to the input stack, and as long as you leave the stack the same way as you found it you can insert any arbitrary junk as you like and it will change the resulting TXID as seen in the blockchain without invalidating the transaction.

This is a bad thing for "smart contracts" on Bitcoin because many contracts depend on making chains of unconfirmed, future transactions, based on hashing the entire transaction to compute its TXID (as Clarkmoody suggests.) An example of this is a cross-chain contract where you might want to send funds to a partially shared address between a stranger and yourself, and you need a way to setup a time-locked refund in case the protocol doesn't succeed (no longer necessary due to OP_CHECKLOCKTIMEVERIFY but its an example.)

To do refunds in this way you would need to be able to sign chains of unconfirmed transactions without previous transaction IDs being changed from transaction malleability. Bitcoin does include a fix for this called "segregated witness" but the fix has been controversial. I don't keep up to date with the "scaling progress" now but I doubt it has been merged yet.
I would argue yes. Most people join fraternities for these exact kinds of relationships. Most employees join a company for a paycheck/growth in career.
Some sports execs want to increase their stadium attendance. LeBron wanted a trophy. Some play to get paid, some focus on staying healthy.

I think it's a fine analogy even when you add the nuances. Not all companies are good teams though - sometimes you have the marching band deciding what plays to run so they can play their favorite song, to mix analogies...
IDEO (blog):  5 Exercises That Break Down Barriers
It is really a shame as Firefox is really great to use these days. I've noticed that when switching back from safari and chrome. I now use it both on macOS, Linux and on my iOS devices, where I mostly use Firefox Klar for privacy. I find the the sync feature is very useful (bookmarks, history, passwords) and I trust Mozilla more than I do google. Those notices though, when I do use google services are frustrating and annoying, not to say off putting.
It's just easier. It's an open source power yet simple to learn language. There are many materials about it and many libs. Python has great productivity, and hzs priven great for protyting which is an asset in getting lower costs.

It's not a silver bullet but it's nice to have it as a solution.
Infineon
ATM crooks up the ante by using infrared to steal your PIN
"We found that there were some other structures near here and it's a bit older than we originally thought. Also, some of the rock came from quite far away. We still have a lot of questions." isn't really what comes to mind when the title claims that a mystery has been cracked.
> Imagine the impact on an HPKP site.

I don't see why the impact on a site using HPKP would be different than for any other site. In both cases the site would have to install a new cert.

The only difference with the HPKP site is that they'd need to make sure their new cert uses the same key as the old one. (Or they could use a backup key/cert, which I'd expect them to have anyway if they're using HPKP.)
Having an empty array at the end of the struct which is really in-line data:

struct foo {
int num_elements;
char data[0];
}
struct foo *d = malloc(sizeof(foo) + num);
d->num_elements = num;
/* Now d->data is effectively an array char[num_elements] */
It depends. Some people bring food some go out. But for 10€ is not worth for everybody to wake up earlier to prepare the meal and later have to warm it up in the microwave. You just go out and lunch. Some companies also have a special compensation for this, they give lunch tickets that you can spend in a lot of restaurants. Those tickets are like real money and are part of your salary but you don't pay taxes for them.
It's not that I have problem with this notion itself personally, but when it is used with a subtext of excuse for the problems, that's where I have issues.

e.g.
The company is going through great hardship, so we will have to mistreat you. You are part of our "family" so you understand and put up with that, right?

I've been in that situation many years ago and was frustrating.
This position is specifically addressed in the article. The author believes it's hormonal, instead.
Py14: A Python to C++ 14 transpiler
A lot of engineers (MechE, EE, and so forth, not software) learn Matlab in school. They take that skill with them to the workplace.
10 grand challenges we'll face by 2050
Seriously, with all the new crowdfunding and ICO options, why fight to convince the gatekeepers like VCs when you can first try to convince some percentage of the population to each put in a small amount?
Interesting, can you give more context on when and where this was?
We are glad you like the model. This is exactly what the preview release is intended for. Our Enterprise Edition will truly fulfill the promise, because nothing goes with containerized deployments like globally distributed consistency.
A break is generally considered as a short period of time amid an otherwise continuous activity. You don't conceive of night as a break between days, even though you could stretch the definition of the word to accommodate that. Likewise the siesta is not simply an overgrown lunch break.
Good security hygiene is like a diet or exercise plan: the most effective one is the one you will stick with. Most users don't follow good habits because its a giant pain for non technical users to get set up. 1p's subscription plan is aimed squarely at those people and I think its a great idea. It's reasonably secure and easy to set up everywhere. That is a big deal in my mind. Yes, its not bullet proof but its a 100000% better than what the current status quo is.

Additionally, managing your own password vault is a lot like managing your own email server. There's advantages but I feel that the disadvantages are substantial. For one, the likelihood that you, one person, are going to do a better job of securing your stuff than a dedicated team is optimistic at best. Keeping your password vault safe is literally this companies full time gig and they have entire teams dedicated to it. Do I think they are infallible? Of course not. I'm not an idiot. But I think they are going to do a better job than me at keeping my stuff safe. I happily will pay for that every month.

The authors point about the 1p web portal is a good one. I don't use it out of similar concerns. Besides that, I really could not be happier with 1p as a password management solution. They have a good track record (no hacks that I am aware of) and I want the company I trust with literally the keys to my kingdom to be profitable and motivated to keep improving.
Synthetic Fabrics Inspired a Commercial Revolution
I agree. I don't think always (or mostly) malicious or devious, it's just the owners and management are proud of having a good working environment. Hey, I much prefer good working environments than bad ones.

Having said that, the article is correct in that it doesn't really treat you like a family. If you did something they didn't like, they would more likely fire you than cut you a break like a family would. I mean take it for what it is, a description of a comfortable, good working environment and not a place that won't hesitate to fire you for the usual reasons.

I think calling it a family is slightly disingenuous or maybe hyperbole, but unless they are using it as power over you, I don't worry about it much. Like I said, it sure beats some alternatives.
You should say "sometimes buying drugs goes to fund actions..."

I buy my marijuana from a friend who grows a few plants in his basement. How exactly is that funding slavery and murder?
Me and my partner use 1Password in family mode. We have a private vault each, and also a shared vault that we can both see. Entries can be moved from vault to vault without re-entering. It's pretty good.
Using a standard channel for public key exchange is half the battle. The other half is using a trusted channel to verify the public key does indeed match the public key you were originally sent. "Trusted channel" can be broadly interpreted (and is also often subject to tampering as well)
For me, it depends on the app that's playing the sound. Some music/video apps automatically pause when bluetooth drops, while others fall back to the device speaker and keep playing.
You can check the affiliate link in my blog for my amazon list of useful web monetization books.
I dont think human trafficking is as easy as drug trafficking and gun running is a much smaller market than drugs. Legalization will be a severe impediment to the activities of the cartels.
This is a general clearing house of gifted info:

http://www.hoagiesgifted.org/

This is their 2xe page:

http://www.hoagiesgifted.org/what_is_2e.htm

I will suggest that you consider joining a gifted homeschoolers list. I would not know what a good one is currently because it has been a lot of years since I did that stuff. But parents homeschooling a gifted child are very often dealing with a 2xe kid. Most school systems are ill equipped to deal with a 2xe kid. In fact, they often have trouble acknowledging that such a thing exists. (The schools ID'd one of my sons as gifted and the other as special needs, but they are both 2xe. The school system couldn't even conceive of such a thing, it seems.)

Parents on such lists often personally get a lot out of trying to understand what is going on with their kid and how to best support them. They often find themselves having big epiphanies about their own life and coming to terms with some things.

If you lurk, you will be privy to good discussions and find out what the current hot resources are and which ones have remained timeless classics that never go out of style. That is probably the best way to get some kind of useful info if you want to "self diagnose." It may also be okay for you to ask about adult assessment on some lists. Some gifted lists are not just for parents, but are more general. That would probably be a better place than a homeschooling list to ask about adult assessment.

Adult assessment is fraught with difficulties. If you aren't trying to get formal accommodation at college or at your job, I fully support a plan to "self diagnose" in order to try to figure yourself out. But do be aware that if you self diagnose and then want to talk about it online, an awful lot of people will be immediately dismissive, no matter your reasons for trying to engage and no matter how carefully you frame it. So self diagnosing can be useful for personal insight, which can be very valuable, but without a formal diagnosis, you won't qualify for official accommodation from work, school or other institutions and most people, online or off, will be pretty unsympathetic, if not downright ugly about it.

Best.
I've learned how to build and extend plugins via WordPress.org. I've also spent a lot of time just digging through the source. Combine that with SO and that's been how I've come up to speed. I do remember a good book from back in the day called "digging into WordPress"
You can characterize a blocksize increase too with those exact words. Calling one a "muddle" and not the other appears anything but neutral.
Don't these people know that they will never kill this. Just like Napster's death, and oink, and what, and so on. Every time they shut one of these down the next one will be harder to shut down.
The big crime is how little epistemological support there is for some of the big forensic tools (fingerprints, DNA, bite marks, arson spread, etc), how little interest there is in researching these areas, and how trusted they are.

But I am curious: apart from TV shows, how important is this kind of evidence in most trials? Is it actually uncommon?
The fun is more what we build, not with what.

Pain can definitely come from what you use to build though.
Four major suggestions:

- "Eloquent Javascript" is an excellent introduction to JS from the ground up: http://eloquentjavascript.net/

- The Mozilla Developer Network docs are a comprehensive set of references for the JS language and web APIs:
https://developer.mozilla.org/en-US/docs/Web/JavaScript

- Dr. Axel Rauschmayer's books are the best "full reference" books for all of JS syntax and behavior: http://exploringjs.com/

- Kyle Simpson's "You Don't Know JS" is a deep dive into the way the JS language works: https://github.com/getify/You-Dont-Know-JS

I also have links to some additional meta-resources as part of my React/Redux links list: https://github.com/markerikson/react-redux-links/blob/master... .