skysight-inc/HackerNews huggingface dataset:
On the other hand the A318 is not in production anymore, and I doubt it would cross the pond with 107 seats. There's two tendencies in the market of airliners at the moment: single aisles are getting bigger, and twin aisles are getting smaller.

This is pretty noticeable on Airbus side for single aisles: the A321 used to be little more than an anecdote, now Airbus is ramping up the A321NEO to be about a third of its entire A320NEO family production (anticipating upsizing in the order book).

On the wide-body side many 747 have been replaced by 777-300ER, A350-900 and 787-9. Quite the downsizing. 787-9, A350-900 and 787-10 are raking in orders. Meanwhile the A380 is dying, the 747-8 is all but dead (though the 747-8F is still there). The 777-9 order book is a caricature of that of the A380 (Emirates + some anecdotes, even more so with Etihad likely to cancel). A350-1000 and 777-8 sales are underwhelming to say the least (although the latter will become a tremendous freighter).
AFAIK the purpose of pinning is to statically ensure that the pinned data remains at the current address in memory, for the purpose of handing out references to the data that remain valid even if the precise lifetime of those references isn't statically known (the soundness and safety of Rust's async story relies on this property holding, so the devs are incentivized to uphold it). I won't claim to be able prove that it's impossible for a too-smart compiler to still somehow manage to have pinned data lingering somewhere else in memory, but it should be a good start.
People addicted to Startup Porn GREATLY underestimate the value of a business that generates a million dollars a year.
Let me first transcript his math. He's giving a judgement for regex semantics `s matches r`.

- [for all r] <empty> matches r [unconditionally]

- [for all c] c matches c

- [for all w, r1, r2]
IF w matches r1 AND w matches r2
THEN w matches (r1 \/ r2)

- (no rule for "w matches bottom")

- [for all w, r1, r2]
IF there exists w1, w2 such that w = w1 . w2
AND w1 matches r1 AND w2 matches r2
THEN w matches r1 . r2

- [for all w, r]
IF there exists w1, w2 such that w = w1 . w2
AND w1 matches r AND w2 matches r*
THEN w matches r*

So he notes that in the semantics of regex we have non-trivial "there exists" quantification expressing the "search" over possible breaks in the target string.

This need for an existential to give semantics to a language is his focus. Perhaps the most obvious example then is Hilbert's epsilon, such as what appears in TLA+

(section 6.6) http://lamport.azurewebsites.net/tla/xmxx00-02-09.pdf

This is called CHOOSE in TLA+ and it's a constructive existential quantifier in that

a / b === CHOOSE c in REAL : a = b * c

results in evaluating a / b to "some" real value c such that the multiplicative condition holds (or some arbitrary value if no such value exists, fwiw).

This shows up in SQL as being essentially exactly what SELECT is doing: `SELECT * FROM Table WHERE Cond` is

CHOOSE row in Table : Cond(row)

except now CHOOSE returns all matching values as opposed to just "some" matching value.
>. Patreon started two years after Gumroad and now look where they are.

Two years away from buying back shares for $1 from their VCs?

There's this whole swath of the internet that can support thousands of small businesses that's being slashed and burned by VCs in search of a unicorn. Gumroad and Patreon are both perfect examples. They are both good ideas that are well executed. They are not, however, companies that can extract tens of millions to hundreds of millions in profit a year. They really should be 20-30 employee type companies making a steady couple of million in profit.
An alternative interpretation of the data is that people are buying clothes on impulse, so it doesn't really matter if the clothes fit or not.

Surely the graveyard of doing-it-smarter retailers lend some credence to the theory. You're not the first person nor the last to want clothes to fit you well. But you just don't buy new clothes all the time like the impulsive crazies do, and they're the "whales" of the fashion industry.
Who cares anyway, that bank sucks. Whoever banks with them should be so stupid to do it.
https://news.ycombinator.com/item?id=19108115
Good luck on curing ageism; but "how to look younger" might be useful practical advice for people who need to get a job in the face of ageism.
Didn't the recent Supreme Court decision on sales tax make this the seller's responsibility?
Spectrum's New $5 Reduction Policy Hurts Customers
Shameless plug here but i built something that you might like.
It's a GoogleNews/RssReader crossover.
It aggregates thousands of content sources across the world to give you the top stories of the day.
And you can manage your RSS feeds too, best of both worlds :-)

You can check it out here: https://aktu.io/about

Feedback welcome!
Nope. Inflation is the problem with contemporary capitalism.
I may be overly cynical here but my understanding is:

Facebook tried to build a walled garden development platform on top of TCP/IP, bundle it with free low-bandwidth internet necessities (consisting of Facebook and several other deliberately non-Google properties) and ram it dowm the throats of a billion impoverished and technologicly unfamiliar new internet users of India.

At that time in 2013[0], FB market cap was $100B, GOOG was $282B. FB had 1.1B users with ARPU of $1.63, GOOG had 1.3B users with ARPU of $10.09. Looking avoid a market correction, FB aimed to add 1B new users from India and simultaneously prevent them from becoming new Google users and disguised the scheme as philanthropy. It didn't work.

FB was then forced to moved fast and break: data access control policies, respect for their users, expectation of privacy, and lots of pesky regulations. By distributing user data for free as an investment in the future, then buying the competition to control the demand, FB cemented their position as a gatekeeper of the online commons and dictator of social media.

Insights gained from this freely available, or loosely guarded user data helped explode demand for the user manipulation as a service offering FB had newly monopolized.

Gloves now off, FB leveraged this position and acheived hockey stick profit growth after just one US congressional election season, a midterm year at that.

FB's Q42018 ARPU ~ $7.37, MAU 2.23B[1].

[0] https://www.forbes.com/sites/tristanlouis/2013/08/31/how-muc...

[1] https://www.statista.com/statistics/264810/number-of-monthly...
Also happens (or used to happen) with FAFSA for college students. Sites will charge $75 to submit your FAFSA. They never tell you that FAFSA stands for Free Application for Federal Student Aid.
You interpreted "support" differently than I:

"The couple was leaving behind a wealthy existence on Manhattan’s Upper West Side, according to Brad Stone, the author of the 2013 book The Everything Store: Jeff Bezos and the Age of Amazon. “They gave up a really comfortable lifestyle and successful careers to move across the country and start something on the internet,” says Stone. “The only reason [Jeff] was able to do that is because he had an extremely supportive spouse. It was an incredible risk and one that they both took on jointly.”

"In a 2010 commencement speech he gave at Princeton, Jeff himself acknowledged the gamble his wife had taken. “I told my wife MacKenzie that I wanted to quit my job and go do this crazy thing that probably wouldn’t work since most startups don’t, and I wasn’t sure what would happen after that,” he said. “MacKenzie … told me I should go for it.” (Amazon did not immediately respond to a request for comment.)"
You'd also have to pay more than what you're worth at status quo today.

By some estimates your data's worth $240, assuming you're an exactly average user: https://medium.com/wibson/how-much-is-your-data-worth-at-lea...

Since not every user will pay or can afford to pay, and presumably heavier users are worth more, you might have to pay thousands, or tens of thousands (in case you bought a house or something based on targeted ads).

You can sort of simulate this today: imagine if you were to bid past all other ads shown to you for every ad slot on every site, then you could replace them with an empty picture. That might get expensive.
I do have a stress test I got my Primary Care doctor to write up that I need to schedule sometime soon.

I went to a cardiologist a few years ago, but basically he had me do a stress test and an EKG, said 'you're fine', told me to exercise 7 days a week!? for a year (like no day off, no guidance on how intense it should be, just that comment), and wanted me to see him again a year later. It didn't leave a good taste in my mouth and I didn't go back.

They did a bunch of EKGs during my episodes at the ER and they all came back normal, so I think I just need to do the stress test, for now. I had an echocardiogram done when I first went to the hospital for this a few years ago, and that was normal also.
They were much bigger than it seems, with cabins inside the main structure of the airship itself:

https://www.airships.net/lz-130-graf-zeppelin/
> If you don't believe of the People's independent ability to judge the law, then I would ask why is the text of the Constitution so widely published?

All of us here have independent confidence in our own understanding of the Constitution, and lack confidence in at least one other person's understanding of the Constitution. Thus there is no meaningful way in which we could be said to "believe [in] the People's independent ability to judge the law." It is clear that no such collective judgement exists.
God, I hate programming some times.
> So sure, apps were gathering a lot of information about what you were doing, but it really was genuinely for your benefit.

For my benefit without giving me a clear understanding of what was being collected or the option to opt out. Gee, you really shouldn't have.
Although 37signals are often touted as being the poster child for building a lifestyle business, many people forgot they raised ~$10mm in private equity from Bezos in 2006. There are much better examples out there, but as with the nature of lifestyle businesses you aren't going to hear about them as they are rather boring to the media.
Yup. In reality, it tends to be something more like a 4/3/2/1 split. If you are a VC and invest in 10 companies, 4 will fail outright within 5 years, 3 will be somewhere between zombie companies and lifestyle businesses (both of which are effectively negative ROI for a VC), 2 will be modest successes, and 1 will be a massive success.
Blackmail is a law which forbids the possessor of some information from offering to sell it to the subject of the information. The possessor can sell it to anyone else in the world, but cannot offer to the subject.

If I had an affair with a celebrity, I can start a bidding war for my story between all the movies studios, television studios, and publishing houses. That's legal. If I invite the celebrity to bid, then I've committed a crime.

I've always found it hard to justify blackmail laws.
We have microwaves now. Forget everything you know - this is the future. And with the future I mean the bullshit.
I'm not aware of any SIMD frameworks that are advanced enough to spare me from writing unsafe code yet, particularly if I want to ship multiple implementations and detect support dynamically.

Also I'm not sure you can get any constant time guarantees today without calling into C or asm.
I heard it on an NPR interview with him mentioning this, but I can't find the transcript.
Experienced programmers use decent editors to indent their code anyway but at least you don't see codes with indentation going left and right at random locations with Python.
But the indictment (pun intended) of the legal system is that it took a billionaire's $10 million to see that justice was done.
And then you have celebrities like Kevin Smith that tell their having a heart attack story and say 'it just felt like I was a little out of breath, but they said my Widowmaker artery was 80% blocked and if they didn't operate right away I would die.', and I'm like 'I have asthma. I often feel like I'm "a little short of breath". If that's the only symptom I get, I'm screwed!'

I am not eating healthy enough or exercising anywhere near enough still to feel confident enough that I'm healthy. I need to course correct for that. Work really hasn't helped lately. A lot of late nights and stress, and my willpower goes to shit when I'm stressed.
Okay, 'easy' was definitely an exaggeration, however it should probably be doable, given that Google already takes website age into account while ranking search results. I presume they have anti-plagiarism measures in place already, as otherwise obscuration of ranking rules would be trivially avoided by content theft.
I've only flown the A380 twice, once in business and once in Lufthansa's economy. Had the same experience as you in economy, never felt more like cattle. I'll take the 787 any day.
Show HN: Trending HN Stories
> To be blunt, if the Supreme Court says that black is white and white is black then for constitutional purposes black is white and white is black.

For legal purposes, you mean. And yes, lower courts would have to follow that fiction. But I would not have to personally agree that white is black, nor would I have to state that the Constitution was written in white ink.

So why when the Supreme Court says that a given action is in line with the Constitution, do I have no choice but to agree? I do agree that courts will follow the SC and I think it's fair to call said action "legal" in that it is allowed by the current legal system. But you're asserting that I cannot state my opinion that a given action is not in line with the intention of the Constitution by using the term "constitutional" because it cannot be removed from the legal context.

This seems akin to stating that a given program is "working correctly" when it malfunctions due to bad memory. We can construct our assumptions so that this statement is correct, it just seems pointless to do so compared to a more descriptive "this problem isn't due to the code itself".

(Of course the real question becomes what happens to the interpretation of private contracts - does the intended qualia prevail, or are the words taken as strict references to terms in White's Law Dictionary?)
They probably leased a space with growth in mind. I've read about a lot of companies that continually move because they keep out growing their space and it's incredible distributive.
And yet spousal support after a divorce isn't in the form of "yes, you should take the extremely risky move of living without my billions of dollars. I support your doing this."
Considering the parent mentioned showers and bars, he/she probably flies first class from time to time.

Some carriers (Etihad, Emirates, Singapore Airlines) have very impressive FC setups on the A380, with other aircraft having a stripped down/smaller version.
I remember seeing Fathom mentioned in a post on HN a few weeks (months?) ago, and also noticing it pop up a few other places in my RSS feeds.

I thought I'd give it a try, and so let it run for a week or so, and the experience is better than I expected (though not without some tradeoffs vs. Google Analytics).

Also, original post on Fathom on HN, less than a year ago: https://news.ycombinator.com/item?id=17497699

Edit: Ah, found the post that triggered me to actually give it a try in production: https://news.ycombinator.com/item?id=19054685
It was very successful. Complicated projects require complicated build config. Parcel does fine for simple projects, but lacks the raw power & configurability of webpack.

Webpack now does simple config as well with the 'mode: "production"' and 'mode: "development"' presets.
There's typically multiple layers (at different points between tick to an order hitting an exchange) of risk-management/circuit-breakers that prevent these types of things from happening at most shops that know what they're doing. No one wants a repeat of Knight Capital's 2012 meltdown.

I would imagine it may be easy for an unsophisticated/hobby "algo-trader" to make this type of mistake but with over a million in capital, you should probably be a bit more prudent with risk management.
Stick with a config format that isn't overengineered and too clever for its own good, like... anything but YAML?
Such are the perils of a billionaire's marriage dissolving in a community property state. Marriage and living in Washington state are voluntary actions. My argument was for more value of a partner's contributions to business success, regardless of statute.

EDIT: @busterarm: We're not going to agree on what defines "earned", good chat.
Rust 1.0 was in May 2015. No one's saying 2016 was a dark age, but the language has been moving quite fast since then. Even fundamental concepts like error handling have seen a major generation or two go by in that time (e.g. error-chain and failure). Many libraries from 2016 are still going strong, but a Rust library that hasn't gotten a commit in a couple years is much deader than the C++ equivalent.
A good reply might have been, "Sorry, Mr. Pecker, but I'm not interested in working with you on this. But I'd suggest you hold off for a couple of weeks before releasing those photos. Playgirl has an exclusive on them in their next issue, and their lawyers are probably better than yours."
I still don't know how to get it to do exactly what I want. There is far too much magic involved, and experience has long demonstrated that magic is bad (Webpack confirms that belief).

That being said, the concept of defining a function in, essentially, a config file seems like a step in the right direction. I don't think I'd trust that functionality outside of builds or infra-as-code, though.
The difference, at least for Vue single file template components is that it's 3 separate areas in one file:

- <template /> (Templated HTML)
- <script /> (JS OR Typescript)
- <style /> (CSS OR SASS/etc)

Whereas in old PHP files you could mix it in anywhere and the files were a big mess. Including inline SQL into your view templates which is hardly a good separation of concerns. While a Vue component can be separated into separate files, at least as one it all represents one isolated piece of the interface.

https://flaviocopes.com/vue-single-file-components/
The text of the constitution at issue is your right to be free from "unreasonable searches". Your pi example ignores the fact that "unreasonable" is hard to define, and indeed, this case would not have reached the Supreme Court if there were easy answers.

All we are saying is that in the United States, what the Supreme Court says on this issue _categorically_ makes it constitutional. That does not mean you cannot disagree with the policy, or advocate it be changed. For example, you could advocate that your state pass a law prohibiting the practice. Or you could advocate to amend the constitution.

But saying it's unconstitutional just makes no sense, and would make our entire system unworkable.

How do you feel about other issues? Is the right to an abortion (Roe v Wade) unconstitutional? Gay marriage? The Affordable Care Act? The right to tax income at all?

There are groups that think all of those decisions were bad and unconstitutional -- but the Supreme Court has the final say. Amend the constitution, pass new laws, protest all you want, but saying any of these things are unconstitutional just because you disagree makes no sense.
Sure, you've added another segment that is not linux. The point I was trying to make is that I don't think many people would expect linux (of any flavour) to be the dominant development OS.
Who is keeping multiple plans? You use one phone and one data plan and get fleeced when you blow past your data plan.
For me I was content that I could parse what other people were saying. I wanted to know the concepts and how people think, my own ability to synthesize sentences would have been a side effect.
I’m curious why you seem to be surprised? It’s one of the most popular languages (even within Google).
All these comments amuse me, because I feel the opposite. YAML has always made immediate intuitive sense to me. Meanwhile TOML feels like a terrible hack.

Also, I'm guessing I'm in a tiny minority who loves YAML but hates Python's semantic indentation...
Thanks for the great reply. Indeed I am interested in you expanding more. I've been a long-term "valueish" investor, following the preachings of Warren Buffett for over 15 years. My long-term portfolio is pretty well balanced, Apple, to banks, to Berkshire Hathaway, Amazon, Ford, AMD, and SPY.

Recently, when the market got way overdone and oversold, I'd even call some of it panic selling with the bottoming happening Christmas Eve. I am curious how I can be more analytical, and data driven to make decisions during these events, rather than just gut feeling of panicking, negative news, and oversold conditions. Well I did add to my Apple position in this late December, I should have pulled the trigger more. I was somewhat conservative, missing the huge runup last month in January of most all stocks.
Yes, but then regulatory hazard isn't the same thing as earning the money. It's just being entitled to it.

Edit: I'm pretty sure Amazon shareholders won't agree with you about the definition of "earned" either. It's not just cash at stake here, it's voting power. Is that spousal support worth 8.5% control of the company? Up from 0%.

I'm not saying she isn't entitled to it, just that there's a difference between value through entitlement and value through work.
> I used avisynth a few years back to restore my family's old 8mm movies. It is amazing how effective it is.

> Here is a side by side of the before/after on one scene:

> https://www.youtube.com/watch?v=sNQy36hcTNU&t=3s

That is remarkable! Now I wish I had some old footage so that I could restore it :P
Similar to laurentl we use AWS SSM parameter store in combination with Chamber[1] to injects our secrets as environment variables to our application code.

For services running on ECS, each task definition has an IAM Role attached that has permissions to use secrets stored in parameter store with a prefix unique for that service (each service encrypts its secrets with its own KMS key). For example, serviceA will use the prefix serviceA and have a secret under serviceA/DB_PASSWORD and serviceB will have its own secret under serviceB/DB_PASSWORD. Each service cannot access each others secrets and even if they could, they also need access to use the corresponding KMS key before they're able to read the secrets. Since secrets are added as environment variables we can inject them during startup with chamber. The entry point for your docker container might look as following `CMD ["chamber", "exec", "serviceA", "--", "./executable"]`. Chamber will inject the secrets store in SSM before starting the executable which reads the secrets from the env variables.

For other services such as Lambda we do not use environment variables, instead we use the AWS SDK to fetch secrets during cold starts and cache them for the duration of the Lambda container. If you're using Node.js lambda functions this is a little bit trickier to do than Go or python lambdas but it's still possible. The Lambda function also has an IAM access to only fetch the secrets under its own prefix.

For adding, removing or editing secrets we can use the chamber CLI with each individual devs AWS access keys. For example: `chamber write serviceA PASSWORD hunter2` to write a new secret or `chamber list serviceA` to list set secrets.

[1] https://github.com/segmentio/chamber
Uber Eats | Android, iOS and Backend Engineers | SF & NYC | ONSITE | Full-Time

https://www.forbes.com/sites/bizcarson/2019/02/06/ubers-secr...

Email me: jyo at uber.com
Jupyter switches to C++ kernel and widgets
Parent's points are exactly the reason I'd never consider JSON as config format.