skysight-inc/HackerNews huggingface dataset:
> SemVer just covers the intent, not what's actually happening

If I say "I'm leaving the office to get a sandwich", that statement only covers my intent. If I then sprain my ankle badly, my statement doesn't say what's actually happening.

SemVer has this flaw because it is a way for a human to say "this change does not introduce a change to the API" and that human can be wrong. That seems to me not useless, it just means it is only useful for projects who are willing to trust the maintainers of your dependencies to avoid being wrong about introducing bugs.

--------

It seems like you're arguing that a project which uses a dependency should:

1) Have humans check the dependencies anyway.

or

2) Wire up their automated test suite to something which can record calls to the API of the dependency and the results of those calls. Turn the record of those calls into an set of API contract test cases. Then, on any version bump (minor, major, or patch), run those autogenerated test cases on the new version.

... I think option 2 might be a good idea? It could be a required reviewer for any dependabot PR.
Would you mind sharing more information about the school?
If you pay me tens of millions of dollars to leave, you’re welcome to frown and talk crap about me all you like as you do it.
they mentioned in the introduction only.

"we decided to give up external caches like Redis, Memcached or Couchbase mainly because of additional time needed on the network"

reason: additional time needed on the network.

there are many scenarios in which you will want to consider in-mem cache of the application, one scenario is very low latency requirements.
CouchDB is still thriving. It's adopting FoundationDB in 4.0... https://www.youtube.com/watch?v=SjXyVZZFkBg good talk on that here at FoundationDB Summit
The Chase and Amex apps will give you push notifications. I have emails set up for some transactions on my Amex cards but not the Chase ones, I assume you can get emails for any transactions with both. Also, you have 60 days to dispute a charge and you won't be responsible for it. I make sketchy payments with my cards because I know I can dispute them and almost certainly win. I stress way more the few times I carry >$300 cash than even the times that I know a card is lost.
You were an order of magnitude too small to need Bazel.
Maybe the board deserves equal brutality? But no, its chairman is now made the new CEO ...
More than that, the standard in the women's game suffered because the top female players were not allowed to compete against the men.

If nothing else, her results are a useful data point; that making a sport mixed really does equalise the standard for both genders (assuming it's not a sport dependent on physical size and strength.)

This should encourage similar sports to do the same.
Credit cards with fringe benefits like that (and massive points back, etc.) are really an American thing. They're few and far between on the ground in other countries.

Also, keep in mind, you're paying for it one way or another. There is no such thing as free.
Dupe: https://news.ycombinator.com/item?id=21864011

(And misspelled title to boot.)
I'm sure he won't have to collect food stamps. Come on.
That's just awesome. Glad to see it.
Quite an important distinction, considering the CEO of the Boring Company is effectively Elon Musk.
Are you sure? Looks like the Orwell references are encoded into the NSA public key, so I assumed it was the NSA that made the joke.
>I can easily see how any of these items could be explained by "pressure to deliver" and "reduction of costs".

Can you point to where in the PE Code of Ethics it says that cutting corners due to "pressure to deliver" is okay? The whole purpose of the PE designation is to avoid circumstances like that.
They won't until political winds shift and you get some regulatory intervention. I would project around 2030, when the major carriers are all ground away and the financial shenanigans of low cost airlines (example: Norwegian Airlines with NY->Europe trips that cost less than the parking) run out of gas.

Without that, there's no motivation to do anything but shave every marginal dollar. Competitive forces are limited and will get more so over time. My uncle drives freight trains for living, and they pay extra to remove seat cushions on the locomotives because they don't want to spend opex on replacing torn cushions down the road.
Per the article, Redis requires a network call to the redis server. They wanted an in memory cache. Not sure how would you keep the per machine in memory cache in synch without change propagation to all the machines. This looks like a simple TTL cache.
And 3D Touch on the virtual keyboard, which used to turn it into a trackpad with which you could move the text cursor freely and 3D Touch again to select text has been replaced with "Haptic Touch" which lets you long-touch the space bar to move the cursor but offers no way to select text so you have to revert to the old "touch the word you want to edit" UI.
Japan Wants to Dump Nuclear Plant’s Tainted Water. Fishermen Fear the Worst
> "If you haven't built a finite state machine, you've built a bad finite state machine."

Thank you!

I read the article, and then beyond, and I still don't know what in tarnation distinguishes an FSM from a simple state. Every program has a set of states and transitions. Is the difference simply that in an FSM the programmer has modeled both sets explicitly? And if so, what is the model -- a map from states to available transitions?
That's all fine provided the pilots are properly trained. The fundamental sales proposition of the 737 MAX was that your pilots would not need additional training.

If the end result is that a new type certification is required for the 737 MAX, it may still be a viable product but not the one customers were originally sold on.
Compare with Equifax PR, after CEO Richard Smith was ousted because of the scandal:

Richard Smith said, "Serving as CEO of Equifax has been an honor, and I'm indebted to the 10,000 Equifax employees who have dedicated their lives to making this a better company.

"The cybersecurity incident has affected millions of consumers, and I have been completely dedicated to making this right. At this critical juncture, I believe it is in the best interests of the company to have new leadership to move the company forward," Smith added.

"On behalf of the Board, I express my appreciation to Rick for his 12 years of leadership," Feidler said. "Equifax is a substantially stronger company than it was 12 years ago. At this time, however, the Board and Rick agree that a change of leadership is in order."

https://investor.equifax.com/news-and-events/news/2017/09-26...
Why do these countries need satellites anyway, what exactly are they using them for?
Split dart happens when the board is higher quality than the dart.
Someone is paying for it. In this case it's people who keep a balance and pay interest. If you never do that, you're getting those benefits mostly for free.
The replacement is no better. A GE stooge. Boeing has become GE part deux.
I assume golden parachutes are built into the contract when they begin as the CEO.
Swift is extremely good at this pattern. I’ve been using this pattern a lot with associated values. You remove any ambiguity in the state of your view controller, and any unhandled state generates a compiler error (so long as you doggedly refuse to implement a default handler).
As a chemist, the tantalising idea of the thing having non trivial chemistry on its surface, in an environment full of hard radiation, magnetic fields and a hard vacuum above it.
It happened often enough that I had to purchase new back shafts (the part that holds the flights). The aluminum proved to be the best, as I could bend them back into place and still get some use out of them. My first few were plastic, and were effectively useless afterwards.

The valley created by the two fins of the flight basically made a path right to the join point. Of course, maybe it was my throwing style that caused it to happen more to me than others?

Only had a few that actually stayed stuck into the already landed dart, but it was quite funny when it happened the first few times. After that it was just a bother. Probably happened ~10-15 times IIRC. (It was ~30 years ago).
> You can largely escape the trifecta by hiding advanced customization options inside of the Terminal, where they're 100% invisible to anyone who isn't explicitly searching for them.

Which of course makes them completely undiscoverable, too.
> A simpler approach would be to have a single variable for state, and only allows switching between well known states!

In web apps, this is the route, as the browser comes out of the box with a familiar and handy UI for traversing and sharing state.
People who put time into things recognize others who do the same. Music curation democratization through spotify etc. just means that you can get good results without putting in the time digging.

If you want to connect with others based on your own curations, you need to show of your process, show that you put time into things.

A comparable complexity of digging and recording your own tapes back in the day would translate to running your own music channel or site, and connecting directly with underground artists on sites like Soundcloud or Bandcamp. If you want to do this you have to put in your time, like back in the day. Democratization through digitalization just shifts things to a different level.
SAP. In my whole career i've never heard of an SAP implementation described in terms other than "total nightmare".
You know the smell of gas?

That's the smell of 300 souls:

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

Pretty much all safety measures are written in blood.
This isn't even the first time they have done this.

2015:
https://www.droid-life.com/2015/09/03/cerberus-free-lifetime...
Alluded to elsewhere, but it's very close. After Alpha Centauri and Barnard's Star — and a couple of brown dwarfs, if you want to count those — it's next at around eight light years away. It's ended up in a lot of fiction[1], in particular Star Trek, but also a number of novels and video games (I know it from Escape Velocity: Nova).

1: https://en.wikipedia.org/wiki/Stars_and_planetary_systems_in...
How did it hinder? Peergroup? Teachers?

I have to admit, that I did mention my mum on purpose, for first two years she literally sat by my side to help me concentrate.

Videogames either reqiured too good reaction time for me, or were too entertaining to need dogged persistence on my part :)
The Ganges Brims with Dangerous Bacteria
The former CEO has bachelors and masters degrees in aerospace engineering and aeronautics.
Infinitesimals have a long and complicated history (e.g. 1 = 0.999...) and their lack of a formal definition until recent years has lead to erroneous arguments such as thinking that (dx/dy) (dy/dz) (dz/dx) equals 1:

https://en.wikipedia.org/wiki/Triple_product_rule
I've had them since I was very young too. When I was a child they were accompanied by really high fevers, up to 105F and would last for two to three days, where I'd just mostly sleep in misery (they'd make me incredibly tired and sleepy). The doctors would check for meningitis with spinal taps, they'd check for encephalopathy, tumors, anything they could think of, nothing ever came back positive. I was put on inderal for a while, but that didn't really do anything. I'd have one every year or so, then since my teens I've only had one every few years. The past few years though I'm back to the yearly migraine, but no fever and they only last a day.

I'm not entirely convinced they're not just a side effect of our enhanced cognition, something like a problematic feedback loop, maybe even something related to epilepsy. The bigger the brain, the more than can go wrong.
> I think they meant younger.

The "even OCaml" is what threw me. Still not quite sure if they meant older or younger from it.

> But, yeah, besides the syntax familiarity for Ruby programmers it doesn't seem offer much that the others do.

A familiar syntax is a huge benefit in a lot of contexts. There's plenty of Ruby-only shops around the world. Making a faster and statically-typed language accessible to them is a decent niche.

Crystal isn't quite Ruby. It has type guarantees that Ruby doesn't, which makes it easier to maintain. The async and parallel stories are also immensely better in Crystal than Ruby.

The "Nil is a compile-time error" is also a feature I highly appreciate.
Boeing will eventually have to build a clean sheet replacement for the 737 in response to airline demands for greater fuel efficiency. The long term trend is toward higher fuel prices, especially once some countries start taxing carbon emissions from commercial aviation. But it could be another 20 years until that "797" enters service.
The 737 faces competition from a few directions.

First of all, smaller planes such as the A320 and E195 feel bigger inside than the 737 does. It's like the difference between the "boat of car" from American manufacturers to the Japanese cars that were small on the outside but big on the inside.

If you just want a low-cost plane at the A320 level of technology, China is coming online with

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

It will put up great production numbers by selling to Chinese airlines first, they will have all the protectionism and subsidies they need to grow to an economy of scale where at 2030 the C919 will beat the pants off the 737.

If Boeing doesn't take advantage of it's comparative advantage and develop a much better aircraft, they are doomed.
Not really. Claiming that humans have rights does not entail that animals don't have rights.
Because it will take on the order of 10 years. What are the 737 customers going to fly in the mean time? Keeping old airplanes flying longer isn't exactly increasing security either. And there is no indication so far, that a 737 MAX with a fixed MCAS isn't safe.

Don't get me wrong: I think Boeing should have created a true 737 successor long ago and should do ASAP. But until it is done, there is a need for a current 737. And certainly, you don't want them to cut corners when developing the 737 successor...
Learnings from Redesigning Our GraphQL API
I actually think the real problem with those is the exact opposite. Those projects were initially hacked together for their own specific workflow, and are now going through the "growing pains" of becoming popular and somewhat ubiquitous.

On GIMP: There have been various forks throughout the years led by various groups of artists, but they have typically been very hacky. Currently the Glimpse fork is planning to do a redesign of the UI.

On Libreoffice: This is the result of the split from Oracle -- the project is now driven by consultants and ISVs. It works if you're willing to pay one of those or become one yourself. If you pay $0 and expect to get a perfect clone of MS Office then you will be disappointed.

On systemd: The design seems to be heavily inspired by the "giant ball of C" design that is already used by the Linux kernel. I would argue that GNU/Linux in general is too decentralized to have an overarching philosophy.

From my perspective as someone who does UI on open source projects, ultimately a lot of the high-level problems come down to lack of resources. It's hard to find good designers who are willing to contribute to open source, and it's expensive to put together a focus group to gather feedback. The typical corporate methods of gathering telemetry and doing A/B testing are not really useful to any of those projects you mentioned.
Tackling Inflammation to Fight Age-Related Ailments
Yet the CEO was an engineer.

From his Wiki:

He graduated in 1982 from Sioux Center High School in Sioux Center, Iowa.[3] He received a bachelor's degree in Aerospace Engineering from Iowa State University, followed by a master's degree in Aeronautics and Astronautics from the University of Washington.[1]

I think there's more to do it that just having an engineer or accountant as CEO.
They are well-defined, but the usual framework that explains them ("non-standard analysis") is extremely abstract.

If you are dealing with polynomials/algebraic geometry only then there is a very simple, totally rigorous approach using nilpotents. And there is a newer approach called "alpha calculus" that I know nothing about but here is an example: https://arxiv.org/pdf/0807.3477.pdf
I provided a Go example demonstrating that it does not. Your version

1. uses a slice of integers which completely misses the point

2. uses an IIFE which completely misses the point

The point is to look at what happens when you close over the iteration variable.
Yeah, I think a lot of it is that people are enamoured when new jargon is created that isn't just English, and there are many people who have some superficial interest in Japan. This is part of why English speakers have fun with new terms like 白左 (Chinese neolog. "white left") or 引きこもり. It goes the other way as well, I heard "NEET" first in Japanese.
NOOOOOOO YOU MUST SERVE THE ENGLISH ONLY SPEAKERS!!!!
IT'S YOUR RESPONSIBILITY AS A JAPANESE TO LEARN THEIR LANGUAGE!!!!!!
The British Government hasn't had a good experience with writing criminal laws to stop people saying things it didn't agree with in the past. It turns out that people are OK with your broad generalities, but the thing about criminal law is that it rests on specifics. Justice in one particular case before the courts, not an army of hypothetical "What if?" questions.

Lady Chatterley's Lover in 1960 was an example. The Government had just written a law (in 1959) clearly saying you mustn't publish obscene stuff. As a generality this seemed very supportable. In the specifics it struggled, was this novel obscene merely because it was about fucking? Because it used words that would be familiar to readers, such as "fuck" and "cunt" precisely because they were words about fucking? The government made its case but jurors concluded the publisher was not guilty. If obscenity meant anything, it apparently did not include literature about fucking. The government gave up and no similar trials were conducted.

The thing about End-to-end encryption is that you can't see inside. So your test case ends up being we weren't able to see inside this message, we want to know what's inside it. And in the course of the trial the jury are likely to discover that either the contents of the message were in fact mundane and uninteresting or that nobody in fact can prove beyond a reasonable doubt what they were anyway, whereupon all the exciting stories about terrorists or shadowy figures preying on children evaporates and the question is just: Is it right that the government wants to pry into everything you do? And a jury is going to say "No".

The idea of an independent judiciary sounded good in the UK, and so they actually built one‡, but they didn't get the memo from America that the independence is supposed to be a thin pretence - so the judiciary actually is independent and they can't trivially unwind that (though leaving the EU will mean at least nobody can tell them not to try any more).

‡ For many years the courts of England & Wales were independent from the British Government but they didn't look it because the ultimate court of appeal actually worked out of the Palace of Westminster where the Parliament is, and its judges were technically "Lords" in the Parliament, so it _looked_ superficially as though there was no separation. All the actual independence was a matter of convention rather than being visible. This appearance was fixed by giving them a new name (the "Supreme Court") and a Supreme Court building, a short distance away from the Palace so now they look as independent as they actually were anyway.
> "If you haven't built a finite state machine, you've built a bad finite state machine."

SMC (State Machine Compiler) is worth bringing up here, which uses a formal language to define a state machine and produces code in one of a dozen+ languages to run it. Makes it impossible to build a bad state machine. I remember using this on some small projects last decade, I'm happily surprised to see it's still maintained.

http://smc.sourceforge.net/ and code at: https://sourceforge.net/p/smc/git-code/ci/master/tree/
>Why can't we properly value safety over convenience and profits before there is a huge accident?

Because consumers will choose the cheaper product. If a politician tries to "value" safety over convenience for a potential problem, voters will vote for the other politician that promises lower taxes and claims there is no safety issue.

Of course, there is a balance that needs to be met, taking all of the risk out of life is also excessive and may impede progress or waste resources.
Ask HN: What are you planning to read during the holidays?
Is the CEO being replaced with a competent aerospace engineer who has spent a career focused on safety and excellent design and testing?

> David Calhoun will take over as CEO and president

Ah this is the penny pinching accountant who was involved in the decision to try to avoid recertification to avoid training costs, and with a history of pulling similar stunts at GE which also lead to their troubles.

So, the worst possible man for the job was selected.
> They're few and far between on the ground in other countries

This thread is about doing something in the United Kingdom, isn't it? Why are you bringing up America?

> Also, keep in mind, you're paying for it one way or another. There is no such thing as free.

If the choice is to pay the same amount in cash, or on a card, and you only get the insurance on a card, then for all practical purposes the insurance is free. You cannot pay less if you give up the insurance. There is no extra cost to you to use it.
If the US or Europe was digging in as blatantly as China we'd be accused of going back to our colonial roots. Good thing China has so many other controversies surrounding them, it makes their activity in Africa look generous by comparison.
I bit more than a month ago my curiosity got the better of me, and I took a deep dive in the Postgres protocol docs[1]. I was fascinated by it's simplicity, and since I've been wrapping current node modules pg or pg-promise in a tagged template function for easier use, for a long time, I thought it would be interesting to see how it would be to build a client from scratch. The result ended up being a 0 dependency full featured client in 1250 loc, that's somewhere between 2-10x faster than pg (still cleaning up benchmarks to publish).

I also think I've managed to make a welcoming, simple and safe surface API at the same time, so the postgres experience in Node becomes even nicer. Feedback is very much welcomed.

I found a lot of inspiration for tricks to make it faster in other libraries, but the biggest boost came from following the Postgres protocol docs recommendations.

Another thing I've found since becoming a Postgres user is how amazing their documentation is once you wrap your head around it. It took me a while, probably because I've always been used to quickly scanning documentation for the thing I need, instead of actually reading it. That's a foolish thing to do with the Postgres docs. There is so much useful information in there, so now I just read from top to bottom every time I look at a topic.

[1] https://www.postgresql.org/docs/current/protocol.html
Your #2 implies multiple sensors (see #1). My understanding is that one AOA is default, and you could purchase additional sensors (I read somewhere that Southwest did).

Sounds like the typical stupid idea suggested by a marketer or accountant that engineers beg and plead not to do.

Frankly, the whole thing reeks of profit at the expense of engineering, safety, and security.
MCAS wouldn't have been required if they retrained pilots, but that would've made the entire endeavour of re-using the 737 design pointless.

The fact that MCAS was required was not a failure to design a safe plane. Rather it was a failure to make the plane behave like the 737.
Uber Eats Sticky Header – “Can It Be Done in React Native?”