skysight-inc/HackerNews huggingface dataset:
Rust doesn't enforce "thread safety" just a lack of a simple kind of data races. Much of it is because data races could result in undefined behavior in Rust when there's a race between freeing memory and accessing it. This kind of race cannot happen in Java, either.
"Computer, render Bella and Gigi Hadid playing tennis in bikinis"
> I stumble upon the Ergodox EZ, a fully-featured workhorse. I quickly become frustrated at my reduced typing speed and seek out a better solution. Cue Plover and the OpenStenography project. Learning stenographic typing is my next life goal.

I've been using the Dvorak layout since 2009. First on a TypeMatrix 2030 USB for a long time and currently with an ErgoDox EZ Shine that I bought like a year ago or something (wow, time flies! I thought it was only a year ago that I bought it but I looked it up in my e-mail archive and it was in fact December 2017 that I bought it) and have been using since then. Right now I am typing on the QWERTY keyboard of my MacBook Air, just because of where and how I am sitting at the moment. But I love my ErgoDox and use it a lot.

Here is my custom Dvorak based layout for ErgoDox EZ that I created basically recreating the position of most of the keys that I was used to with the TypeMatrix 2030 USB that I had, and with a couple of minor but important modifications.

https://configure.ergodox-ez.com/ergodox-ez/layouts/ENb6/lat...

This layout has been working perfectly for me and I am very happy with it. It's mostly looking the same now as when I first created it (that link is for the most recent version, the one I am using now).

Some things to note about this configuration and about ErgoDox EZ in general (for the benefit of others ITT):

- In the typical position of caps lock I have Escape when I tap it, but Control when I hold it. Awesome!

- This whole layout resides on the keyboard itself. I have all my computers set to US standard layout and am able to have my layout work always on all of my computers across all operating systems with no configuration or anything. This alone is worth like a couple of hundred bucks at least, seriously!

- The previous keyboard that I had, you know, the TypeMatrix, had hardware Dvorak support too, but I always had to press a button on it each time I unplugged and replugged it, or woke my computer from sleep, or turned my computer back on after having shut it down. It's actually surprising how annoying pressing that button each time where I needed to, which wasn't always (because back them I was remapping the keys to Dvorak in software on most of my personal computers), but often enough that it got annoying. None of that B.S. with the ErgoDox! :D

Prior to purchasing the ErgoDox EZ those two years ago, I too had looked a bit at stenography tools and projects. My conclusion back then was that it seemed useful, and was interesting, but cost prohibitive and time consuming to learn, with the added factor of uncertainty that I have no idea if writing code with stenography methods would actually be faster or in other ways better than my current means of writing software.

Anyway, if you do end up learning stenography and use it to write code I would love to hear about it and I hope you post about it to HN then.
OK as his source he links to:

https://www.washingtonpost.com/health/the-big-number-america...

Which states:

> Added sugars — defined as sweeteners added to foods or beverages when they are being produced or when being prepped to be eaten or drunk at home — include white or brown sugar, honey, molasses, high-fructose corn syrup, dextrose, lactose, sucrose and more.

So this includes lactose from mother's milk and honey.

I'd personally rather see a breakdown by type. Are lactose, molasses and honey major contributors here that are a big problem and demonstrated to lead to obesity and diabetes? Should infants be removed from both breast milk and lactose intense formula since they are bad?
Isn't safety actually part of functional correctness?

Safety is inherently a part of accurately implementing a program's specification, even if it's not always obvious. For example, a 1-in-a-billion race condition can invalidate the functional correctness of a program, and (Type|Memory) safety is one piece of preventing these types of errors.
Abusing HTTP hop-by-hop request headers
> back then, the granting of a patent was a sort of de-facto legal recognition of the novelty.

There is still a de jure presumption of validity for an issued patent, but it only means that when a patentee sues an alleged infringer, the patentee doesn’t have to first prove the patent is valid. An accused infringer will usually challenge the validity of the patent, it just won’t happen at the earliest stage of the trial.
A teaspoon seems to be equivalent to 4 grams of sugar. Therefore the recommended daily intake for males would be 36 grams. An apple contains 20 grams of sugar- so you shouldn't eat more than two apples per day?
It doesn't make sense.
Yeah. It wasn't that long ago the mortgage industry was rife with blatant gender discrimination, which contributed to this issue. I've learned this from the compliance training at the mortgage lender where I currently work.
Technically it's possible for speech to be offensive/unpopular/blasphemous (and thus need and deserve protection) without being hate speech. Hate speech is a specific kind of offensive speech. Other than that you're spot on though.
> but it absolutely is a bar you have to clear.

I don't think that a program must be free of undefined behavior before significantly reducing bugs. I think most people would prefer a program with five undefined behavior bugs and no other bugs to a program with zero undefined behaviors but 50 other bugs (assuming all those bugs are of similar severity).

Also, even clearing that bar doesn't require doing so with the type system (e.g. Python doesn't have undefined behavior, either). It also doesn't mean that clearing it gets you very far with respect to functional correctness.

> Affine typing allows Rust programs to statically guarantee that only routines applicable to an object's current state can be invoked; in most other languages this can only be checked via runtime assertions.

Yes, but that doesn't mean that the end result is more correct, and, indeed, there is no evidence to suggest that it is. Software correctness is an extremely complicated topic, one that I have written extensively about [1], and just pointing out that one technique can eliminate a certain class of bugs is almost never a guarantee that that technique is superior to other techniques, even if they are partial.

[1]: https://pron.github.io/
I wonder how connected the rise of extremism is to the end of a “living memory” of WWII.
Agda. ATS. Idris. Liquid Haskell would be medium-strength.
Where the drone jobs will land
> The second link has private APIs

Private APIs which were used back in 10.4 when NSAppKitVersionNumberWithDeferredWindowDisplaySupport (documented here https://developer.apple.com/documentation/appkit/nsappkitver...) was not available.

> the header file to access those private APIs still exists in WebKit for MacOS

The most these headers can do is maybe help with rendering performance, of which I'm not completely certain that there are still APIs that Safari uses that other browsers don't. I cannot see how benchmark scores from e.g. JavaScriptCore would be affected.

> Because of that, my recommendation is to just stop using MacOS if you care about browser performance.

Your point doesn't logically follow.
As others have pointed out, haven't you made freshly squeezed orange juice at home or at a cafe?

It's decidedly not slightly more flavorful than water (not to mention the pulp that comes out with it). A cynical man might say the machine must have watered it down for you surreptitiously :p

That being said, it is decidedly far from "pulp-free orange-flavored fruit-drinks" or whatever marketing term is used to sell things like sunnyd or other orange coloured drinks having almost no relation to fruit juice.

(Fruit juice is itself still generally unhealthy because of the sheer amount of sugar you can consume in any one go and the acidity wrt dental health, but those fruit juice imitators are in another category again)
Is it really fair to put all the blame on the toolmaker for finding flaws in devices that were sold as "secure"?
I don't understand this argument. Most other languages also give you safety from undefined behavior. Also, an undefined behavior bug is not necessarily more severe than a logic bug.
Tesla would make a good case study here.
These guys have been on a major PR push for a little while. The business model and technology sound fantastic, and the potential applications really are numerous.

I find the notion that ‘anything’ can be commercially produced by synbio dubious (think gold or uranium) but the range of applications in the organic space seem vast.

Does anybody have the relevant background to reliably comment on the cost efficiency/R&D timelines/scalability of these kinds of projects?
> Our society is based on the idea that the public in fact does have an entitlement to all IP except trademarks.

You need a citation to demonstrate that you aren't entitled, legally, to all IP? That's sad.
> Except this does not seem to be the case, as evidence does not suggest that Haskell programs have significantly fewer bugs or are produced faster.

What evidence?

> It is, but it is still very weak.

It's strong relative to the most popular programming languages in use today.
I disagree. There was leverage to balance the sheet. The room mate was trying to steal money from him. Say anything that is legal to get it back and barring that get the cops involved (a last resort since that greatly complicates a situation).

Then assess the situation. Bad behavior shouldn’t be rewarded. There’s no reason the room mate should ever know how the parents learned that information. If the parents were tactful they would use the information to make a plan to bring it to light organically.
Minority Report holds up because it's about surveillance, not gadgets (2017)
>Memory and consequently programming languages also requires a fixed binary representation

Already covered that.

Programming languages can save their data as unions or structs, and take the minimal hit to switch on the type.

DB's persisting data on disk can do the same but will take a much bigger hit.

>How you represent data is orthogonal to its storage medium--you can write application memory to disk and read it back in, no problem (e.g., swap).

The costs are not orthogonal to the storage medium however.

>The problem doesn't go away by moving support out of the database and into the application

On the DBs side, it does go away. The DB only has to guarantee what it says it supports (only store one specific type in a column). So for the DB implementors, that's a great invariant for their implementation ease and performance.
I wonder how many undetected hoaxes are still up. The median uptime seems to be half a decade.
Load balancer seem like one of those problems that engineers should be cutting their teeth on.

And yet we have only a handful and one of the most popular charges money for cool features and does not appear to have an ABI for addons.
Hackers Can Hack Your Home WiFi Password Through Amazon Ring Doorbell Flaw
> I use my IG for promoting my music and need to know how well each post is doing ... There’s literally no point for me otherwise.

(assuming your comment wasn't sarcastic - maybe it was?)

I've never understood this. Shouldn't the metric for how well a promotional post performs be... actual sales (or at the very least, traffic to whatever you're promoting)?

Granted, likes might be a useful proxy metric for (roughly) gauging interest in something, but are you really making important business decisions based on a post's likes? What are you comparing those numbers to, and how do you know what they mean in terms of real business impact? How do you know people are responding to the product, and not just the model (or "influencer") you happened to use in your promotional image?
I find that's true of most information. The higher the craftsmanship of the video, the worse the actual information being presented. Lectures, for instance, that are just a professor talking with his PowerPoint slides are almost always better than videos that put on a production with fancy graphics, jump cuts, and narration.

Look at the news. The news with more spectacle tends to be of lower quality on average. Or anything that comes from Hollywood. Daytime and reality TV are extremely polished but mostly tripe from either an entertainment or informational perspective.

The more time someone puts into a "production quality" video, the more they're trying to sell you something, even if it's just their brand awareness.
Read Malignant Self Love by Sam Vaknin and come to your own conclusions. The discussion in this post is fairly shallow. Pushing the requirement to judge character into a few key signs is not really going to work.
You said many wrong things, but maybe with some help you can improve:

- first of all I'm not your dude, I am not anybody's dude, my "dudes" are the people that know me personally and the people that know me personally call me by name, they do not call me "my dude" because they know I don't like it. You see the problem here? By assuming instead of carefully crafting your message in a way it was simply factually correct - at the best of your abilities- you turned yourself from being simply wrong to an "unrepentant asshole"

- does unhealthy mean "a label we use to describe things that cross some arbitrary threshold of having deleterious effects"? no. The fact that we can measure the effect is the textbook of being "not an opinion" but a measure. If the measure is proved consistent in multiple experiments, we have a model (a proved theory).

- unhealthy means not healthy, it doesn't mean it will kill you on the spot. Is drinking healthy? no, it's not. Is it unhealthy? yes, it is, alcohol is a poison for our body. Will it kill you? You will probably die for other causes before it will, but it could.

- how many people die every year because are forced into an unhealthy vegan diet having no other choice? millions (AKA "still too many"). I'll post you the facts, you can make up your opinion about them, but they will be facts at the end of the day.

Worldwide, an estimated 852 million people were undernourished in 2000–2002, with most (815 million) living in developing countries.5 The absolute number of cases has changed little over the last decade. However, while China had major reductions in its number of cases of protein– energy malnutrition during this period, this was balanced by a corresponding increase in the rest of the developing world.5

In children, protein–energy malnutrition is defined by measurements that fall below 2 standard deviations under the normal weight for age (underweight), height for age (stunting) and weight for height (wasting).6 Wasting indicates recent weight loss, whereas stunting usually results from chronic weight loss. Of all children under the age of 5 years in developing countries, about 31% are underweight, 38% have stunted growth and 9% show wasting.3 Protein– energy malnutrition usually manifests early, in children between 6 months and 2 years of age and is associated with early weaning, delayed introduction of complementary foods, a low-protein diet and severe or frequent infections.13,16,28 Table 1 shows the geographic distribution of protein– energy malnutrition among young children in developing countries.5

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1180662/
I find this weird too, question of "miniaturization" should come after theoretical stage is satisfied. Is this coming from a line of thinking where capitalistic sense avoids high costs or strict design sensibility where optimizition is a primary concern? The nuance is tiny but very important.
For model properties and a few other IDE related issues with laravel you can use ide helper which generates annotations on your models by inspecting the schema in the database. The ide then uses the annotations and gives you property auto complete among other things.

https://github.com/barryvdh/laravel-ide-helper
Andrej Karpathy talks about how Tesla's NNs are structured and trained [video]
> Doesn’t that mean that you set out to interpret messages in that way?

Yes, it does. But then it's still up to me to try to overcome my first reaction. I don't always succeed.

> I guess this is the reverse of nonviolent communication. If you always speak and are used to communicating agressively, then people that are being nice suddenly sound condescending.

"Always" ? Interesting choice of word when talking about non violent communication :).

Snark aside, I don't see myself as communicating aggressively. I may be wrong. I certainly don't put myself in the camp of "people who tell it like it is" though.

Also, faking being nice can really be annoying.
The example in the polymorphism example feels strange to me. Why convert from Option to Result?
Where are the api docs?
I wonder if the Lindy effect applies to undetected hoaxes, and what the longest uptime might be.
I don’t believe there are maps in PHP - just plain arrays which to be honest are pretty simple to use. Unlike say JavaScript where arrays are always numerically indexed, PHP can use any value as an index.
Vaping illnesses linked to vitamin E acetate, CDC says
Interpret the term "sugar" to be "free sugar" as defined by the WHO[1] and things will make a lot more sense:

> “Free sugars include monosaccharides and disaccharides added to foods and beverages by the manufacturer, cook or consumer, and sugars naturally present in honey, syrups, fruit juices and fruit juice concentrates"

In other words, the natural sugar in apples technically wouldn't be applicable.

[1] http://apps.who.int/iris/bitstream/10665/149782/1/9789241549...
One of the modern equivalents of this is allowing a meeting to eat up the entire time allotted, regardless of the utility. There’s something to be said for longer, lingering discussions when you’re coming up with ideas. But for status updates or decision-driven meetings, it seems like the meeting should always end immediately upon the completion of the agenda.

My anecdotal sense is that a person’s reaction to abruptly ending a meeting depends on their role and bent, similar to pg’s maker vs manager essay [1]. I’ll note that execution driven managers will happily walk out of a now defunct meeting though, so it isn’t strictly “maker vs manager” as much as a sense of “I don’t have something better to do currently”.

[1] http://www.paulgraham.com/makersschedule.html
Cosma Shalizi (Bactra.org): Data Mining
Narcissists don't have a real self, they have a developed mask that sits on top of it. Usually developed in childhood for a parent.

You can't police feelings into evidence of pathology. Some people are more disgust sensitive than others. There is light and dark to everything, including love and disgust.
Confidence and assertiveness are important leadership traits. I don't know what's considered "seemingly normal", but different people can make radically different judgments of character, and a lot of narcissists can exploit this. People who can and do reliably detect psychopaths and narcissists tend to develop an aversion.
I agree in regards to Larvel. It was a breath of fresh air in the early days but they have baked so much magic into it and break backwards compatibility constantly that I have long given up even considering it. I will second the recommendation for symfony [1]. It lets you compose your app of just what components you need instead of the everything and the kitchen sink approach. However, composable systems are my preference but may not be for everyone.

[1] https://symfony.com/
Why?
It has union, intersection, recursive and conditional types.
"Massive arrests" is another.
Use a $20 flip phone and odds are the baseband is crap enough that you could be spied on easily by someone using a cell-site simulator. Or, heck, since those $20 phones usually use 3G or below, the state-level actor you’re up against will just decrypt all your 3G transmissions directly.

I have to wonder if you’re being serious when you describe the kind of software NSO produces. It’s software to let other people take control of hardware you possess. The better analogy would be to the iOS jailbreaking folks; people aren’t generally mad at them either.
Financial crime through video games is on the rise
Thank God there are a few smart folks on HN to push back on all the mediocre pro-nucleur weak arguments and propaganda here as of late.
Unless they leave the country.

If/when they visit a country with... any... positive relations with US/Canada, pounce.

And cutoff their bankers from the US financial system.

India won’t be happy if it starts to lose its call-centre industry as a whole because of some bad actors.

India and the US have extradition treaties.

There’s a lot of ways to put on the pressure.
That guidance, often framed in religious terms, is a core tool with which sociopaths in power neuter their opponents.
The engines on the new Zeppelin have much less volume to push around than on the USS Akron. The Zeppelin company also had the benefit of computer modeling during design to optimize the airflow.
Actually it parallelizes extremely well, so that large companies are able to create monster models like mentioned in the article in the first place by just throwing money at the problem with TPUs and similar highly parallelized accelerators. It just doesn't lend itself well to distributed computing due to e.g. throughput requirements.
Deep sigh: ' is not a special character in email addresses or headers so it can support names like yours without special effort.
Jack up the carbon taxes and sure it will. Business travellers can use satellite internet on the trip and work so it should be fine for them too.
Yes, a minority of them share the same opinion.

A majority of them studied and proved its unhealthy effects.

Unless you wanna say that every opinion counts, no matter the opinion, we can safely assume that being vegan is like drinking or having unprotected sex or speeding.

It won't probably kill you, it will even improve life for some, but it's not something one should take lightly like "it has no effects".
For a better visualization, 17 teaspoons is just over 1/3 cup, or 0.35 cups.
> You also can't outlaw a vulnerability. It's an honest development mistake.

You can, however, threaten executives with personally-served jail time if they lead a company in a sufficiently irresponsible manner to allow such a mistake to happen, and can't somehow demonstrate that the measures they implemented were reasonable (despite the prima facie evidence that they weren't, because they failed).

Not saying this should be done in this case, but AFAIK some of the Sarbanes-Oxley Act requirements are being taken very seriously because they have similar provisions.
They’re usually just rich working or middle class people.
Northrop completed the first flying wing bomber in 1947, the YB-49. But flying wings are inherently unstable and there were two fatal crashes. Ultimately, criminal politics crashed it harder, but the B-2 is a direct version of it.

But now we have computer control stabilizing it in flight, making it vastly easier and safer to fly. Of course Physics hasn't changed, but advances in technology matter.
Fructose from fruit is pretty much the same as glucose sugar as far as your body is concerned. That sentence is incorrect.

High-fructose corn syrup has also been shown to be far worse for you than simple fructose and glucose.
To the extent there exists a correlation between some characteristic and the outcome, models that exhibit the correlation will be more accurate than models that don't, irrespective whether the characteristic is used as a model feature or not. In the context of risk assessment, "more accurate" means "more likely to survive in the market place".