skysight-inc/HackerNews huggingface dataset:
When someone ends their session, move all of their queued descriptions to the back of the queue, so that descriptions from live sessions are always delivered to other players first.
Garmin Autoland is emergency only autoland.

Not to be confused with CAT II/III autoland used in normal operations.
A self-driving car article makes the front page seemingly several times per week, but an article on a self-landing GA plane is weird?
The democracy index for Spain has been on the free fall for some years now. Whether Spain will return to a democratic approach to resolving civic and political issues rather than the current authoritarian approach that curtails civil freedoms for all Spaniards--not just Catalans--remains to be seen.

As for Tsunami Democratic, I'm afraid news reports haven't been fair. The disorders and criminal activities--which by the way the Spanish courts are labeling as "terrorism" despite any evidence--have been, by and large, carried out by infiltrated police agents. There is plenty of video footage online demonstrating case after case of police agents dressed as demonstrators, emerging from police vans in a side alley, joining a demonstration and engaging in deplorable behavior.
I’m not even sure a grant is necessary. As the author, you can relicense your work whenever you want. That includes relicensing for a certain platform. So, release your GPLv3 source code, but release the “proprietary” version on the App Store.
I'm not sure what they thought that was going to happen, specially given that actual support for independence hardly ever tops 50%.
Many thanks for your extensive reply! There's even more to consider now <3

EDIT: Can you vouch for the ease of use when configuring Windows machines as well?
So what? Also do Galicia, País Vasco, and many other regions and parts of Spain. And there's nothing wrong with that. In fact, it makes Spain a richer and culturally richer place. I love this diversity.

But this is not related to secession at all.
This is useful if you are:

- Having too many server credentials to remember

- Feeling hard to use SSH config file

- Wanting to connect to your servers easier using your favorite terminal (no more other terminals)
Got to say, I don't understand how the argument in that article works. If Goddard's rocket that's on the photo had a canvas stretched between the wires/pipes that form its body (I assume it's a part of the rocket, and not a launch platform), then I'd expect aerodynamic forces to act on them, countering the tilt. Conversely, if such surfaces were above of the engine, I'd expect them to make the construction unstable.
Also you get to spy on people a little
They have open-sourced other things, like their web app, already.
Common Social Engineering Attacks Your Business Should Be Aware Of – Hostnoc
If you own the rights to all the code, you can relicense at whim. GPLv3 for the desktop version. GPLv2 (or even proprietary) for the iOS version.
>and the economic side is more on the "we get +50% of our money out and what comes back cannot even cover the most basic needs"

Then imagine how it is for the poor regions of Spain.
If I host a web server, and the only access is the ssh port, how should anybody guess that I use it to host a git repo that you and I work on together? More is not needed. Might even work on public clouds since you shouldn't really raise any attention this way.
We use mattermost and its pretty great so far. Not as fancy as slack but gets the job done.
GA is General Aviation, I believe. I've been to EAA, but I'm not an airplane person so I could be wrong.
General aviation (non-commercial)
Metals Simulation on Summit Nominated for Gordon Bell Prize
I think it means General Aviation (civil aircraft).
Whole aircraft parachute systems have undoubtedly saved lives.

https://www.ncbi.nlm.nih.gov/pubmed/28539144

There are already plenty of airplanes that have the ability to land themselves under specific conditions. There's no whole-new technology here. Even if it was brand new, I'm not sure how that would be less safe.
GA = General Aviation
> And around WW2 time, there was an actual civil war.

Not over the Catalonia issue, by any strecht. (Although Catalanists did take sides.)
does that mean you went from

def send_alerts():
for person in everyone:
Mail.send(type="alert", person)

where Mail.send calls an object that was created with Mail.create(env=os.environ["ENV"])

to

def send_alerts(mail: Mail):
for person in everyone:
mail.send(type="alert", person)

where send_alerts is called as

send_alerts(Mail.create(env=os.environ["ENV"]))

?
Show HN: Add Effects to Videos Online
I'm still working on a replacement for a still-in-use a2k distributed database front-end (moved the data to mysql a few years back), it's taking forever, it's a huge project I spent over ten years on, and now another ten year trying to replace it.
The US is optimized for very heavy freight cars moving at about 45 mph. It has fairly sharp curves so that changes of elevation (grades) can be minimized, it usually has wooden railroad ties, and street and highway crossings are allowed.

Much of the system is single track allowing train movement in one direction at a time, while trains going in the opposite direction idle in sidings. This is the result of the railroads being charged property taxes on their railways, which they minimized by tearing up double track unless it was absolutely needed.
I completely sympathize with those people and as you stated the law was broken and I think the proper law should be enforced. Yet, from what I gather people are still on the fence even if all laws are considered properly because even with the windmills 3 miles away they will hate on them.
Solar geoengineering research: essential or to be avoided?
> - They do not accept the authority of the government of Spain, and therefore also not the constitution.

You are right that they don't do, specially the authorities there. And this is particularly concerning and completely anti democratic. It cannot be tolerated. They are out of the law, and many have been convicted because of this. Every thing needs to be done under the law. And if you don't like it, within the law, you need to push to change it. It's the only way.
Plane are also a very common topic on HN.
> Why is this so given that private school teachers on average are paid less than public school teachers.

If you have the parents behind you, you have a tremendous advantage. If you have a lot of well-educated, prosperous parents behind you, still more, and the effect carries over to some degree to the students whose parents may be less prosperous or educated, but still organized enough to get their kids into the private school.
Yes, and no, in reality. It’s complicated, but you can set up your own enterprise certificate (for a cost) or just resign the app using your own developer license every 7 days. Cydia Impactor even allows you to do the latter on non-macOS devices.

So while it’s definitely not as “open” as, say, a PC or Android, it’s not as simple as, “no they don’t.”
Did you also read the study that said you may live longer if you retire earlier? I think the key is to stay physically and mentally active.
As expected they did not give me the answer I was asking for:

"If you need to reset your Twitter password, please request a new one here: https://twitter.com/account/begin_password_reset.

If your Twitter account is suspended or locked and you are unable to access it, please log in to your account and use the following form to get in touch with us: https://support.twitter.com/forms/general?subtopic=suspended...

Because my account is "temporarily restricted" neither of the cases matches so I think this is their kind way telling me to f-ck off or give them what they want. I don't like these kind of games and I'm thinking about not using their service after all.
Catalans voted in a referendum a new regional constitution which was overturned by the Spanish constitutional court. This triggered support for independence. Catalans don't manage, their taxes, nor their airports, or their trains. Everything that really matters is managed by the central government, it's self-rule on paper but not in reality.
Unfortunately I have to say it's not 100% true. The real independence movement was started from the right, look for "Artur Mas". The main slogan back then was "Spain steal from us". It's true though that Communists parties always wanted the independence, but the right parties have driven this process from the very beginning.

Lega Nord supports openly the independence of Catalunya because they are based on the same principles. Sure, there're differences, but the main idea is that they don't want to support poorer regions. Obviously they are not going to tell you that, but that's what originated the conflict.

In fact, some people in Catalunya (obviously a minority) were openly racist with other regions in Spain years ago (e.g., Extremadura, Andalucia), they even made ads in newspapers. Of course, this is not something that's really talked about.
How about homeowners' insurance? That should be covered, right?
This is only for emergencies, similar to the parachute system on Cirrus aircraft. I'm sure sooner or later someone somewhere would be very glad to have this.
Civil war.
I was interested in this because I remember there being work to get a mesh network using ipfs or something running in Catalonia. But the article mentions nothing about it. Anyone knows if that is still ongoing? Found something from 10 months ago about it here on HN. Would think that would only have gotten more relevant these days. And if it is blocking they are worried about...
Chances are it's like medications - the expiration date is just as long as they've tested them to last. Some explosives get more explosive as they age, too.
To add to your point, she is disliked by some for the gentrification of Paris, of which 'greenification' is only one aspect. Granted, this is a phenomenon that started well before her, and is not completely under the mayor's control.

Basically, only super-rich, single households or very poor (only in designated neighborhoods, thanks to social housing) people can still afford to live there. Middle-class families with kids can't anymore.
> They either had natural talent, were more intelligent, or some combination of the both.

I highly disagree, and it is most likely because their mental models are better than yours. I recommend you to read Peak[1] to better understand "natural talent".

[1] Peak: Secrets from the New Science of Expertise by K. Anders Ericsson, Robert Pool
If the headline question were something more like "can computers prove all theorems reliably?" this response would be more understandable. But a fairer interpretation would be "do automated theorem proving techniques stand a chance of making novel contributions to the mathematical literature?", to which I think it's pretty unfairly dismissive to rule out the possibility at this point. Considering it's still pretty early days for automated theorem proving, there's already some promising progress: an automated prover resolved the Robbins conjecture.

If you think Gödel's incompleteness theorems are hard evidence that computers can never consistently perform on the same level as humans at theorem proving, take it from someone who understands Gödel's results well: you're mistaken.

---

I think one sense in which the headline seems a little misleading, though, is that on a skim it looks like it's more about formalizing mathematical knowledge so that computers can verify theorems proven largely by people, than it is about computers themselves proving the theorems. (Which is also a fine topic, I'm not complaining.)
Depending on the site, I do.

This LA Times article has two "advertisement" lines. The ads themselves don't appear. JS is disabled.

https://www.latimes.com/california/story/2019-10-31/homes-bu...
Vivician; Web Developers Here for You
What is aggressive about not allowing official data to be stored in foreign servers? I wonder if, for example, the US would allow the government of Oregon to store official data about their citizens in Russian servers they cannot access.

The Spanish governments (current and previous ones) have made many mistakes, and taken measures that can be discussed and even plainly rejected, but this one seems quite reasonable to me.
You can also automate the resign-every-week process with iTunes Wi-Fi Sync and have it just work so long as you are on your home network at least once a week.
Sorry but that's not true. There was a compromise between all regions and parties, but military rule was never an option. In fact, they were discussing long for an agreement that would satisfy all parties (obviously not 100%, but that's why it's a compromise)
> How does it know?

Know the nearest airport, or know if the pilot is incapacitated?

1) GPS and 2) it looks like someone in the aircraft has to press a button.
Moreover, "Fear and Loathing", as a phrase, has been used by many writers, the first (possibly) being Friedrich Nietzsche in The Antichrist. In a Rolling Stone magazine interview, Thompson said: "It came out of my own sense of fear, and [is] a perfect description of that situation to me, however, I have been accused of stealing it from Nietzsche or Kafka or something. It seemed like a natural thing."

https://en.wikipedia.org/wiki/Fear_and_Loathing_in_Las_Vegas...
> Why do they deserve massive power?

They don't. We've given it to them willingly.

It has been granted to them by every person who has chosen to "outsource" dealing with their problems to the police. Loud neighbor? Call the cops. Something doesn't look right at the house down the street? Call the cops. Someone breaking into your home? Call the cops.

As a society, many, many of us have forgotten how (or even why) we ought to fight, defend ourselves, or interact with society. So we call the cops and go back to our Netflix or whatever it is we are doing that we don't want to be bothered with.
Are you thinking of guifi?
> There have been some experiments in this direction, notably Richard Branson's.

No? Richard Branson invested in SpaceShipTwo which uses a hybrid rocket motor with liquid oxidizer and solid propellant. It is NOT air-breathing.

It's air-launched but the carrier aircraft is powered by traditional jet engines (not rockets).
Pretty neat tech, and an interesting alternate ending from the "pinch hitter" courses being taught by CFIs across the country.
yeah, either that or splitting the region in two parts. Who knows, it's a very difficult situation at the moment.
If you make a trip simulation in France you'll get the numbers from SNCF. E.g. try Trainline.eu. I couldn't find where they come from though.
Actually, some people do. It's really cheap and you can move your own cargo that way. My cousin did that when she moved from Europe to Canada.

edit: Of course only a handful of people do that. As a woman, she told me she wouldn't do it again alone.

edit 2: had to ask her again but I believe her trip was two or three weeks long.
> they do a referendum anyway, (90% win for getting out)

they do an illegal referendum so that 90% means nothing when many people didn't vote (obviously you are going to take a favorable result when only the people interested on it vote)
The highest-rated comment on https://stackoverflow.com/questions/504335/what-are-the-pitf... is also good.
Google AI beats top human players at strategy game StarCraft II
Better stick to the facts rather than partisan polemics and distortion. They made Github take down an app for spreading information on and organizing demonstrations. These demonstrations have been by and large peaceful.

Like it or not, freedom of speech and assembly are fundamental and human rights under the international commitments (ECHR, EU Fundamental Rights Charter etc.) Spain has entered into. What this looks like, unfortunately, is abusing their anti-terrorism laws to quell any protests. EU Commission should take a hard look on Spain and probably launch a rule-of-law review.
> The energy efficiency in MegaJoules per passenger-kilometer are about equal between rail and air.

Do you have a source for that ? I'm interested.
It bothers me that astro-nomy (the laws of the stars) is the regular science and astro-logy (the study of the stars) is the pseudoscience. This is clearly backwards!
The separatists do not want to proceed either way, so they are trying to do it "unilaterally".

Similarly a vote for Scottish independence should have included the entire UK, the difference being of course the likely outcome!

There is a lot of this sentiment throughout the EU and the Spanish do not want to be the ones who open the floodgates.
How to start with the collaboration content marketing?
CoMarketist is a platform built for the digital marketing community. This is a 100% invite-only community that is free-of-cost - all you need to do is register yourself and post your collaboration offer and start getting connected with like-minded marketers ready to help you.
So far, we have successfully helped hundreds of content marketers find content collaboration opportunities such as link building, guest blogging, upvoting, testimonial & review exchange, and pretty much anything.

Of course, in exchange for getting your tasks done, you will be helping your fellow marketers with their tasks too.
Our free community-driven website offers the following services for you:
Reddit Upvote
Co-edit on Ebook
Link Exchange
Blog Exchange
Social Media Shares
Review Exchange
Email Blast
Medium Clap Exchange
Testimonial Exchange
Podcast Guest
Partner for a Webinar
Collaborate on a Video
Partner an Event
Discount Offer
Social Media Shoutout

So what’s stopping you from getting registered? Sign up today and checkmark pending tasks off your list.
https://comarketist.com/
Have you not heard about the wildlife in Australia? From what I've read, every step you take outdoors, something is trying to kill you. I'm surprised every Australian school child isn't packing a rocket launcher.
No. There is no federal “assault weapons” laws, they expired in 2004.

In most states you can purchase one, some states (CA, NY,CT) have banned them.
No. IIRC it came from some book Thomas Wolfe wrote that Hunter had read, but I have forgotten which.
Five Ways to Engage in Productive Code Reviews
Honestly, same.
Funny since most electricity powering trains is made with CO2 generating processes worldwide. The only exception being maybe France because of very large nuclear power presence. For the rest, it is basically coal, gas and burning hydrocarbons to power trains.
Being attacked on Twitter by the president would be the best thing that ever happened to me, or to any blogger or news site.
Australian anecdote

> Shane personally and attended many BBQ's

Checks out.
Gravity is related to time and entropy.
Here's me replying to a 12 day old comment, but...

You are right that at some point they started making (much) worse quality 1.44MB floppies (and drives, probably, though I have had nothing but good experiences with mid-2000's floppy drives so far), but I still say they're much less reliable overall than most 5,25" formats.

I say this partly because I have a retro-computing hobby and when acquiring random floppies from various places my experience is that 360K floppies from the mid-80's almost invariably still work fine while DD and HD 3,5" floppies from the late 80's to mid 90's are about 50-75% unreadable garbage at this point. They just don't survive. I also remember having to throw out a lot of 3,5" floppies (name-brand, too; Sony, Verbatim, etc...) due to them becoming unreadable in just a few years in the late 90's.

I mean, it's not surprising. Each bit is simply much physically larger on a 5,25" floppy.
Integer Overflow/Underflow and Floating Point Imprecision (2017)
Is this the same website that leaked the name of the CIA analyst?
> respecting the freedoms of speech and assembly as fundamental rights

When hasn't this been the case? I see the Catalonian independentists speaking and assembling the whole time. However, blocking airports and train stations, for example, is not a fundamental right.
Yeah, scenario that I still need to solve is:

Go on vacation, loose your phone and security key (along with any written passwords) - by robbery, theft, customs or accident.

You'd still need to be able to access your email etc. or else your experience is going to be a hundred times worse.

What you really want is optional 2FA. You have a regular (unique) password but you never use it unless there is an emergency.

Now you just must make sure to remember that password that you never use, even when in distress... Not that straightforward either.

Also upon use any "smart" site would flag it for unusual activity and lock you out until you can verify it.

I guess I'm stuck with passwords.
AlphaStar: Grandmaster Level in StarCraft II
yeah, very "funny". Especially since rail, even diesel rail is far more efficient than any air travel. Think about it. Why is air freight more expensive?
Vulcan XH558

https://www.youtube.com/watch?v=QhTbU3lO4hE
Unless you want a minute regulation of schools nationwide, you will not approach a level playing field. Are all public schools in New York City or Denver comparable? Clearly not. In Montgomery County, Maryland, parents raised quite a fuss when the system proposed to adjust the boundary between Bethesda-Chevy Chase High School (prosperous area, good test scores) and Walter Johnson High School (slightly more prosperous area, slightly better test scores). The Washington Post once carried a table of the percentage grade required to get an A in algebra at the county high schools. At Albert Einstein--not in that bad an area--it was in the 70s. In schools to the west it would be 90 or nearly so.
> I'm not a reader of deadspin, but if their content no longer aligned to this, and was primarily focussed on politics.

See, if you had been a reader for a while, you would have known that they frequently covered non-sports topics, and that's a big part of what their readers liked.
For anyone else wondering what "emergency only autoland" means:

From Wikipedia: "The feature is activated by a guarded red button on Garmin G3000 NX avionics, evaluating winds, weather and fuel reserves to select a suitable diversion airport and taking over the aircraft controls to land, it advises the ATC and displays instructions to occupants."

From the Garmin marketing site [1]: "Garmin Autoland. It takes complete control of the flight to land the airplane in an emergency where the pilot is unable to fly1."

I'm not exactly sure if this is the correct reference for CAT II/III autoland, but seems like the purpose of CAT II/III autoland is to land and aircraft when the pilot would otherwise have a hard time manually landing due to weather conditions (ie. limited visibility) [2]. But if someone has a more accurate description, please correct me!

[0] https://en.wikipedia.org/wiki/Autoland#Emergency_autoland

[1] https://www.garmin.com/en-US/autonomi/

[2] https://en.wikipedia.org/wiki/Instrument_landing_system#ILS_...

Edit: Just to clarify the reason for posting this versus just relying on the text in the press release, I was under the impression the announcement was for some fully-automated flight control system (ie. take off and landing without a pilot on board, a la self-driving cars) based on the press release not mentioning why the system would be activated.
Yes users are happy when they see ads in some circumstances (when they are fast). This is a stupid premise.
Are there actual polls on the ground? The referendum was obviously biased. If things were not so heated, a non-binding referendum might be the right choice , but this is not going to happen
US Census Bureau turns to Apple devices to improve accuracy, reduce costs
I’m taken aback by all the people saying they never use the web interface - what in the world do people use, then? Is it really true that people overwhelmingly use Netflix on tiny phone screens?

Edit: I am stupid and forgot that smart TVs exist (despite owning one)