skysight-inc/HackerNews huggingface dataset:
I approve this change. However, sometimes the recline isn't about the recline, per-se.

So, as a tall-ish person, I hope that these seats have adequate head and neck support (eg. headrests that extend upward) in lieu of reclining those extra two inches.
I don’t see why these things need to be mutually exclusive.

For years I’ve released things with semantic numbering but a YYYYMMDD build number.
Yes, children are like the raptors in Jurassic Park, testing the defenses, eventually learning to open (high up) cupboard doors. And when the one in front of you is being quiet and well behaved, watch out for the other one.....
The corporation that will do this, will become the most hated brand in the universe.

If pepsi had the idea to push sales and just grow, then this action is the last idea, that should be spent a second on.

In the past week i read about a russian corp. that tries the same.

It's strange to even comment on this. Is this really real reality? Some time ago, these ideas would have been pipe dreams, but in our times everything seems possible to be executed. Why? Because we can. So why not?
Edit: this factual description, written by a practitioner in the field of computer vision, of why the algorithms behave the way they do and what can be done about it, was downvoted and deliberately misinterpreted by the fake outrage mob. So I deleted it.

I should have known better than to comment on a topic predisposed to attracting such people.
> is there any existing documentation on syntax colouring that goes beyond "what we thought looked nice"?

That's perhaps not the best way to think about it.

Graphic designers and typographers fret about this stuff constantly. There are theories of color which describe how to combine colors in visually effective ways. It's part subjective, part prescriptive and part aesthetic.

Someone could probably put together a large suite of complex experiments to figure out (or re-confirm) some fundamental truths about color when it comes to syntax, and maybe be able to make statistically faint claims about one theme being better than another. But what would one accomplish after all that objective research other than coming up with yet another cool-looking color scheme for folks to select on their IDE drop-downs?

At the end of the day, you the user, has infinite freedom to select from hundreds of thoughtful preconfigured color and font themes, or, optionally compose your own. Isn't that good enough?
Even if you're gaining a benefit from it, it's terrifying that you don't own the data.

I measure my sleep and heartrate via fitbit - for me this is useful information - but I would never pass this on to my employer. Likewise, I have my terminal set to keep a very long history but would be quite upset if my employer kept a copy.
I get the distinct impression Stratolaunch wasn't happy with the post-landing roll:

https://youtube.com/watch?v=ZBj3FCdYS80

(At 3m20s.)
Can someone who has learned TLA+ comment on how useful it is has been for you?
> In reality you just want the markup to transmit the most information in the least amount of bits.

If that were the case, we'd be using binary serialization everywhere. But you yourself are making an argument that ease of writing matters. So does ease of reading. Overly verbose markup is a tax on both, but so is extreme brevity.

Anyway, this particular thread was a discussion to address a very specific point made in the article that overstated XML verbosity over JSON. I'm not actually arguing that XML is perfect, or even "good enough". Its syntax is overly verbose, and its data model has pointless distinctions and arbitrary restrictions. But it also had many good ideas, and it's unfortunate that those get ignored in the quest of simplifying everything - and then later, when the issues that were the original motivation for those ideas are rediscovered, that wheel gets reinvented in dozens of flawed and mutually incompatible ways.
It's actually the opposite. You're misunderstanding "end-users" and projecting your inherent bias against Uber. Once I explain what it _actually_ means, you'll probably project it again but here you're just doing so incorrectly :)

"End-users" as defined here are actually the riders/"eaters" of Uber. Uber is saying these people are not their customers because they are just providing access to drivers/restaurants+delivery people with their platform. What Uber is saying is that driver/restaurants/devliery people are independently selling their products/services on Uber as a platform and that end-users (riders/eaters/consumers) are simply given free access.
>Shockingly poor perf

>Random failures

>Largely undocumented

>Painful interop with non-azure proprietary offerings

>Almost zero developer community

>Most of the coverage ... isn't by developers, it's by various MS affiliated blogs such as this one, which are more advertisements than resources.

Welcome to Azure!
--READ--

Reading all the comments on this thread is pretty funny.

I was a trainer for many years and the strategy (note that it’s a strategy rather than a diet) that was most successful takes years to complete with the goal of never doing too much at once.

Take the worst thing in your diet. Over the next few weeks, replace it with something slightly better. When your body starts accepting it, move on to the next worst food you consume on your list and repeat the process.

A year or two years down the road, you’ll notice that your entire diet has changed without much effort.

This process isn’t sexy and won’t solve any problems quickly. However, it is aimed at long term change.

As for working out...

To start off, just move around. it doesn't matter. After that starts becoming comfortable, use machines @ the gym that don't require any stabilization on your part--just push & pull. This is because you're not going to be strong. You should be focusing on major muscle groups and that's it when you start out--chest, back, legs. For a few months, just focus on getting your proper form down. Over these first three or so months of working out, even without putting on any further muscle mass, your strength will increase by 20%-30%.

Exercises to do:
- Machine Chest Press: https://www.youtube.com/watch?v=mlXTzUUR9AE

- Machine Pull Down: https://www.youtube.com/watch?v=kwJeh3QyhVE

- Machine Row: https://www.youtube.com/watch?v=lNUztYbC0G0

- Machine Leg Press: https://www.youtube.com/watch?v=e2KtIZn2vOc

How do you select the weight to use?
- Pick something that you can't do more than 20 times the first set.

How many sets:
- 3 sets should be good starting off.

How many reps should you do each set?
- Up to 20, yet if your form breaks down, stop that set.
- Your form is the primary goal at this point.
Sometimes, it makes sense to increment MAJOR for a significant change, like a complete rework of the code, even if it's purely internal and doesn't break the API. In such cases, even if nothing is supposed to change "on paper", it will probably have an impact (different performance, lower stability for the few first MINORs/PATCHs, etc).

But incrementing MAJOR on a yearly basis, if the major only changes by year, doing dep=X.* in your requirements.txt/package.json/Gemfile doesn't make much sense, if one of my dependencies has not significantly changed, why should I increase a version number in my dependency manager? It's just unnecessary work.

It can also raise interesting existential question if you have to release a version with a breaking change (let say, a security fix that necessitate a change in the API). What do you do then? If you don't increase MAJOR, you don't follow semver, if you increase it, you break your versioning pattern, and release 20.0 in 2019.
The NBA and NFL are biased against white people, by that standard.

Why is everyone up in arms about a small deployment of a new technology instead of national networks with hundreds of millions of fans being biased?

Because this is race baiting meant to portray response to genuine physiological differences as racism — just like my usage of the NFL and NBA above was.
IMO this just worsens the already bad employee/manager relationship when it is the employees by definition that add value to the company. And I bet you the upper management/CEO won't have these trackers installed.
> Wayyyy simpler, and it's only one system instead of many conflicting ones.

It seems like the real problem is that "insurance" has something to do with <$1000 bills to begin with. The overhead is negligible if the bill is going to be large enough to actually require being insured against, but then we use "insurance" for routine care that wouldn't otherwise be expensive enough to justify it and then no surprise there is unnecessary overhead.

> Medicare and SS move money around much more efficiently than any private system in terms of overhead.

They make the same argument about the IRS. Look how much money it "brings in" compared to the number of people it employees. Very "efficient" -- except that the money they take in was already the taxpayer's to begin with, so moving it around is net of zero and the only thing there is cost. And they don't count the overhead on the taxpayer's side of doing the paperwork either.

It's the same here. Most of the insurance paperwork is to prevent insurance fraud and determine coverage and prevent unnecessary procedures. It's not more efficient to pay for more unnecessary procedures and lose more money to fraud.

And you're still not going to beat the overhead of the patient going in for a $100 procedure, paying $100 for it, and never involving a third party to the transaction at all.
You could easily think, 'hey perhaps the outside triangles are different from the inside ones, lets make a histogram of the symbols in both.'

From there, you'd certainly notice if one side had a lot more symbols than the other side.
Trying to analyze both separately is a decent next step, and we are well along to solving this.
20 points in 58 minutes looks like it gets you on the top of HN, so as far as content marketing strategies "get your friends to upvote your HN submission" doesn't seem half bad.
> The computer vision systems could still beat real human vision systems.

For pattern recognition, No, the computer vision system can't best a human.
I’ve seen this story circulating and the explanation is totally wrong. It won’t let you attempt that many times. The clock got set to the unix epoch somehow, and it’s waiting until sometime close to the present to allow unlocking. The math adds up. This happened to an old phone I had that sat around with a dead battery for a long time, and I found forums where plenty of other people have had the problem.
Every time I see some TLA+ related article, I read it and then spend an hour convincing myself that I don't have time to learn it right now, even though I really want to. That convincing usually comes in the form of showing that the gains are not worth the effort for the software field that I am in. Can someone change my mind on this?
Recently finished an interesting survey of bird intelligence (speech, navigation, social order, etc.): https://www.jenniferackermanauthor.com/genius-ofbirds
The numberphile team also runs a podcast. Well worth listening if numbers are a fascination to you.
I don't have much data to back this up, but I but I've noticed that I get the recaptcha challenge and almost every single time when I use Firefox. Whereas if I use Chrome I only get it once after not using Chrome in a while.

Also on Firefox mobile, not only do i get the challenge, but I get multiple challenges.
I sure feel privileged that Amazon's software can track and spy on me effectively.
The Old New Thing can be an interesting read, that sometimes digs into why things are the way they are in Windows.

https://devblogs.microsoft.com/oldnewthing/tag/history
I already used it in two works, I really liked the tool and recommend it.
After watching the documentary Forks Over Knives and reading The China Study, I switched to a whole food plant based diet two years ago. The experimental, clinical, and epidemiological evidence convinced me of the danger of eating animal products. I dropped 20 pounds without even trying and my weight is stable. I walk for 20 minutes at lunch on weekdays. My cholesterol is under 150. I feel more energetic and my mood is slightly better. I occasionally eat animal products, for example when I eat at my mother’s house.
It’s very possible to outrank them but you’re not going to like the process. It’s very simple: write A LOT and cover A LOT of keyword variations.

Over the course of about 3 years, I wrote around 500 blog posts about Amazon and specifically its 3rd-party marketplace. I wrote for a small startup making software in that space. This is a heavily covered topic by the mainstream media.

MANY of my posts were shit that never got any traffic after the first couple of days they were posted. But many others still rank very highly for topics also covered by the mainstream media.

Nobody wants to hear it but spray and pray is the approach that really works but you have to put the time in. You can do more research and be more systematic, but that just eats into the time you have to write and you’ll just get frustrated by the time you wasted researching what you thought was going to be a home run of a blog post.
Octotree is attempting to retroactively charge for free open source features
I visited the tower of london yesterday and bought a raven mug, talk about coincidences
Some searching turns up some articles on incompatibilities between OpenAPI and JSON Schema [0] [1], and it's not immediately clear if they fit together well at this point.

We've got some JSON Schema APIs in our services already and are using libs like the Python `json-schema` package to do validation with those. I also briefly experimented with Quicktype [2] to generate some TS types as a proof-of-concept.

We're getting ready to do a pretty big rework of a lot of our services, and I'm interested in any info folks can provide on pros and cons of using OpenAPI vs JSON Schema for API definitions, and tooling around request validation and TS interface / client generation.

[0] https://philsturgeon.uk/api/2018/04/13/openapi-and-json-sche...

[1] https://github.com/OAI/OpenAPI-Specification/issues/1532

[2] https://quicktype.io/typescript/
Ah, the good ol’ “the real racism is pointing out racism” thing.

I assume you also oppose things like wheelchair ramps and Braille signage, since any problems handicapped people have with stairs or printed signs is due to physiological differences?
The syntax in that first example is off putting.
How does this compare with other formal methods like Z? Has anyone here used them successfully in the field?
there's been some effort

https://github.com/NixOS/nix/issues/859
https://www1.nyc.gov/site/rentguidelinesboard/resources/repa...

Basically looks like "no", unless the landlord approves it. Though I suspect, in practice, you would get away with anything that didn't bother the neighbors or made the landlord notice. Like repainting, or new carpet, both being relatively quiet work. As you say, though, that particular apartment probably needs more work than that.
Thanks, that makes sense. I think a consistent syntax and data structures is definitely a still big benefit, even if it's not actually semantically vendor-agnostic. I think I'll probably keep using Terraform.
Related:

https://news.ycombinator.com/item?id=15725942
Since the author hangs out here on HN, I'd like to ask: how long does it take to develop a working proficiency to model standard distributed systems (ex: a souped up key/value store)? It seems like he's written 2 books:

Learn TLA+

Practical TLA+

Would there be any other resources that you'd recommend to supplement after those 2 books?
A similar notion exists in the fire service, where a manifold is an appliance for combining or splitting water supply lines. A typical example of a fire service manifold would be an appliance with 3 2.5" threaded ports and a single 5" Storz port, which can be used to either merge multiple 2.5" or 3" supply lines into one 5" supply line, or to divide the flow from a 5" line up into multiple smaller lines.

Example: http://fireflowtechnology.com/wp-content/uploads/2015/04/100...
Open a new "unrelated" subsidiary. Happens all the time.
We have published nearly 2,000 articles and Have ft journalists and a half dozen expert freelancers. We’ve done all the SEO optimization and are usually responsible for coining new terms and trends. As I mentioned the industry sees us as THE go to news source but Google doesn’t.
Oh interesting, does the listing show as in Berlin for you? I got it to show a place in a Swedish ski resort somehow when I was first clicking around and reporting it, but then that disappeared and I never saw it again.
Some glossy weekend sections are now entirely “sponsored content”, aka ads: https://twitter.com/canadaland/status/1116848132539678722
Why is it much more efficient? Doesn't it still have to carry the same mass up to the same altitude and velocity?
relax ng?
I'm curious, when you say "Just find something else to drink, ideally which isn’t fizzy", do you include fizzy water?

I only ask as I bought a sodastream machine after realising what I liked most about soda was the fizz - I actively disliked the sweetness. Now I drink around 3 litres of fizzed water a day and haven't looked back.
I still recognize that name/handle and I haven't logged into ##math for ~10 years, so I can certainly corroborate what you're saying.
He said nothing about third vs first world. The impact of consumerism is the same everywhere.
They briefly cover that in the article:

> ... this was a problem especially with early iPads (ours is ancient)—they can have trouble with time and date, which in turn can send the lockout time soaring.
Clone and sync a local copy of your Glitch project
I was building an app using JSON Schema last year (until Feb this year) and gave up. I had read JSON Schema specification like 10 times and there are some undefined behaviors. I had read a lot of JSON Schema issues on Github, there is basically one man show and the others come to review mostly.

After the point they added all logics to the spec, everything becomes a mess.

Example 1:

{ "oneOf": [ {"type": "number"}, {"type": "number"} ] }

1 or 2 or 3 is an invalid input based on above schema.
It doesn't make sense to me at first glance. (hint: it's XOR)

---------

Example 2:

{ "oneOf": [ {"minimum": 0, "maximum": 10}, {"minimum": 5, "maximum": 20} ] }

These ranges will pass: [0,4] and [11,20]
But you would be surprise it doesn't reject string, bool, null. Basically it doesn't reject anything except [5,10] range.

---------

Example 3:

{ "type": ["object", "array", "null"], "not": {} }

Easy but confusing. This rejects every thing because comma means AND, and `"not": {}` means false.

---------

Example 4:

{
"allOf": [
{ "type": "object",
"properties": {
"a": {"type": "string"}, "b": {"type": "integer"} }
}],
"additionalProperties": false
}

A well-known problem. This rejects (all - {})

This is because the "allOf" is object AND outside it is an empty object. "properties" at level 0 is empty if not specified. So this schema only accept {}; an object AND is empty.

They add a new keyword called "unevaluatedProperties" to solve this and I won't explain it to you!

-----

If you just use basic stuff like draft-04, you will be fine.

But I will NEVER touch this spec again!

-----

EDIT: My app was sort of static analysis on schema, and this spec doesn't suppose to help doing thing like that.
Have look at the https://en.wikipedia.org/wiki/E_(programming_language) !
Guide on Growth Marketing
Believe it or not Azure is the #2 cloud provider (by revenue?).
Gatwick drone attack possible inside job, say police
I'm not saying it does today.

I'm saying it could do so, while still having bias. The existence of bias doesn't make the computer worse than humans.
The intended outcome, whether it be that of the watcher or the watchee, is fundamentally the same. What I'm commenting on is, whether one willingly consents to constant monitoring or not, it's counterproductive and unhealthy in the long-term.

At the time I worked for that company I described earlier, it wasn't as if I didn't go along with the micromanaging for a significant period of time under the assumption that it was both normal and necessary. Like I suggested, my ego fed off the basis that I was working hard and contributing something, so having my productivity closely watched played into that. Over the course of a year, I realized what a sham it all was.

Let's say it had been entirely my will, and that I hired someone to watch me work remotely, like that other article that came up on HN; I still maintain that it's not only going to lead to burnout and disappointment in the long-term, but normalizing these sorts of productivity-hacks can lead to expectations that I don't think everybody should be subjected to.

Both these articles are about two sides of the same coin; the idea of using close monitoring to maximize performance is supposedly being repopularized. I don't support it no matter who is making the choice.

Forgive me if I'm conflating ideas, but I don't see it that way.
I feel like it also ignores the effects of the ocean on one's residence. Maybe I am thinking this in ignorance, but I would imagine that the ocean is essentially eating away at the boat as time goes one. Yeah it might be cheap to live this way for a few years, but eventually your house will become uninhabitable, something that is much, much more rare with a land-based dwelling. At that point I wonder what the cost equation looks like because you basically need to purchase or find a whole "new" house.
And, 1st world countries dump their trash in 3rd world countries. Also, they ignore that there 1st world status is fueled by unsustainable development over last couple of centuries.
Someone from AWS posted this few days ago: https://news.ycombinator.com/item?id=19634915
Programmable Water-Based Biocomposites for Digital Design and Fabrication
If people don't realize they are on a different domain, have to sign up for a new account, wire some random person money instead of going through the normal AirBnb process with their credit card on file I doubt they'd use 2FA if it's not forced for everyone.
The first black hole image: what can we see?
I get it on all sides... however, it's worrisome to me that the support of censorship is moving so far as to ban access to such (opt-in) tools.
One feature I didn't see in your list is the ability to mix any LaTeX code into the org document, enabling to get all features of LaTeX but a far more compact and simple syntax for the common cases.
This is the main reason I switched from Markdown: I now can use a single file format for every kind of document, without any limitations.
That's impressive, considering that this CosmosDB development only started in 2014! You are talking about Cosmos which is still around but is now used as the basis of Azure Data lake [0]. However, I think the closest MS has to Dremel is actually Kusto [1] which has a custom query language but works pretty well.

[0] https://azure.microsoft.com/en-ca/solutions/data-lake/

[1] https://docs.microsoft.com/en-us/azure/kusto/query/
Banning advertisement is fundamentally impossible in a free society because advertising is speech. You can't stop people from persuading other people. You can't realistically ban paid advertisement either, that just pushes it underground because it's so valuable that people will find a way to pay for it anyway. What you're asking for is a society free of financially-motivated influence, and I don't think that has/can/will ever exist.

Even if you could get rid of advertising, that just cedes control of advertising to random natural factors like geography or chance. It's not clear to me how that's a better state of affairs.