skysight-inc/HackerNews huggingface dataset:
There is no thin line between app with catholic content or Koran and app that notifies male guardian of a women who is trying to cross the border. Nor between bank app that pays on poor. This app is not preying on vulnerable women trying to convince them to go back. There is also difference between policing apps that are designed "designed to prevent freedoms or not" and between policing apps that do in fact prevent basic freedoms.

This app is sending message to another person so that he can stop physically stop her and punish her. You can choose to ignore bank app and bible. You cant choose to ignore saudi police coming for you, because male guardian was notified.

But for that matter, sexual content is already heavily policed. It is not like the app stores ever claimed to be anything goes zones.
Offtopic:
Why does the website show me 4 similar images of aircraft from the airline. What's the purpose of this? Filling the empty news report?
Well the problem with go I believe as soon as you have to make high performance code you disable the garbage collector, which removes a lot of the safety features.
That does not make it any better for us. Previous generations bought good and bad both and that's the legacy we have to live with or die. We just don't know yet.
The narrative CloudFlares' CEO used is:

>"is it the right place for tech companies to be regulating the Internet... what I know is not the right answer is that a cabal of ten tech executives with names like Matthew, Mark, Jack, ... Jeff are the ones choosing what content goes online and what content doesn't go online."

I'm not sure the dog-in-a-bucket analogy holds. He has a moral stance, but he's not sure he should be exercising it.
Perhaps not as technically impressive, but this [0] other short game/experience from the same creator is extraordinarily charming and well produced!

[0]: https://alexanderperrin.com.au/paper/shorttrip/
unfortunately it still seems to make heavy use of jQuery
Python tutorial 3rd lesson, Numerics
The town I live in is too small for an U-Bahn. Nevertheless it's obvious to anyone paying attention that on-street parking, commuting, and delivery are creating impediments to our happiness and well being.

I have often wondered what a delivery U-Bahn might look like... something that was devoted entirely on deliveries of materials and packages.

Anything to get more of the cars and trucks off the streets and devote more space in the city to people.
Will development move towards no code solutions?
> Thankfully I live in a country that treats everyone with respect.

I'm intrigued as to which country this is... How are immigrants treated in your country? People working minimum wage jobs? Transsexuals?
I think such thinking is very short-sighted. Space exploration is necessary. It satisfies human curiosity, a very innate need among humans, one of the reasons why our species has been very successful so far.

That there are real problems that exist here on the Earth somehow does not preclude space exploration. Space exploration and solving problems on the Earth are not mutually exclusive activities. They can both be done in parallel and sometimes one helps the other and vice versa.
So you're saying if a region declares independence and gets foreign allies to provide effective military protection for X weeks/years, then the original country has lost any right to that land?

You might like the idea, but it's not commonly held. For one thing it encourages armed invasions against weaker nations.
You do need to train the Google AI to create a account, though. Reddit uses captcha

I'd happily give them $5 to prove I'm human but I won't feed Google.
Formal proofs prove certain theorems about your programs. If you could formalize the notion of an arbitrary attack you could prove it's impossible, but there is no such formalization. Of course, you don't need to verify the lack of a certain attack techniques, only their effect, and so you can certainly verify even with respect to undiscovered techniques, but this still would never cover all attacks regardless of their effect. E.g. you may be able to prove no arbitrary code execution, but you may still fail to verify no data leaks. If you have a data leak, you can steal passwords and certifications, and if you have those you can execute arbitrary code without any arbitrary code execution attack or privilege escalation. Note that this could occur even if the kernel is itself impervious to data leaks, due to vulnerabilities in user code.

Even with regard to what you do prove, the conclusions depend on certain assumptions about the hardware which, even if true (and they often aren't -- read some of the seL4 caveats) at best hold with high probability, not certainty.

I am an avid fan of formal methods, and have been using them quite extensively in the past few years, but you should understand what they can and cannot do. You can read about formal methods on my blog: https://pron.github.io/ The paper discussed here also mentions some common misunderstandings, about seL4 in particular: http://verse.systems/blog/post/2018-10-02-Proofs-And-Side-Ef...

Nevertheless, there is no doubt that a kernel such as seL4 has a much lower probability of being hacked than, say, Linux, given similar hacking efforts, and I would trust it much more. But it really isn't an endgame.
You are correct, I was referring to the drop from late August through mid December. I hadn't checked and assumed the trend continued, thanks for clearing that up!
Taiwan (officially the Republic of China) don't agree that Taiwan is a real country either. The official position of the government of Taiwan is that all of China is one country, whose rightful government is currently based on the island of Taiwan, but whose land is 99% occupied by Maoist rebels.

"Admitting" Taiwan is a "real country" seems kind of sensible, but it's not compatible with the narrative of either the PRC or the ROC, and it's completely understandable that you shouldn't formally recognize as a nation anyone making such a ridiculous claim.
GDP per capita has increased everywhere but Africa and that appears to be improving now in Africa. Living standards as measured by deaths in childbirth, infant mortality, lifespan, healthy lifespan, education and literacy have improved almost everywhere, even in places with no economy of more dependent on aid like Afghanistan, Niger or Chad. The absolute number of people in poverty may not be declining much outside China but that’s a function of massive population growth, not a failure of neoliberalism. Neoliberalism has brought more people out of poverty than anything else, and it’s not a close race.
Thanks a lot for the raw honesty.
You are 2/3 for New England, the water was undrinkable and they couldn't get food: https://www.history.com/news/did-jamestowns-settlers-drink-t...

> By the time Lord De La Warr showed up with supplies in June 1610, the settlers, reduced in number from several hundred to 60, were trying to flee.
No, that's not strong enough. It should be indefinitely (or owner has right to damages) UNLESS the entire spec and interface of a device is completely, comprehensively, and publically documented from the silicon up, and the device must either lack software integrity checking or it must be fully under the owner's control (eg purge OEM public key, replace with his own). This should apply to all products containing microprocessors and software to execute, and should apply to burned in ROMs too (since that software in ROM should be user writable/replaceable, this should discourage use of burn in ROMs). This should apply to the end product, so the whole car, TV, washing machine, vacuum cleaner, cellphone, game console, Intel CPUs and chipsets, etc, must have its microcontroller interfaces and specs fully and publically documented or damages could be awarded later once exploits appear. This should tamp down on IoT for fridges and can openers too as what OEM wants to either document IP xor expose themselves to potentially unlimited civil liabilities.
you have a hn account with decent latency ;)
Living Smaller (1991)
Heartbleed triggered a major audit and a fork (LibreSSL) of the OpenSSL codebase, wherein much of the code was found to be of less than stellar quality:

"Unfortunately, the OpenSSL basket was being watched somewhat less than very carefully. Yeah, it has bugs, but surely somebody else will fix them. And worst case scenario, since everybody uses the same library, everybody will be affected by the bugs. Nobody wants to be alone".

https://www.openbsd.org/papers/eurobsdcon2014-libressl.html

So I'm pretty sure the one example you have picked here reinforces my point.
How was short trip made? That's super dope
They've spent their lives studying high energy physics. It's going to seem impressive to a non-expert, but to them it's mostly plumbing and bookkeeping.
My opinion of PayPal was suffered a lot from that subscribestar thing. They are essentially turning away paying customers for dumb reasons; and it seems they are big enough that they can just do it without problems. This could mean that, when an alternative shows up, it will replace paypal instead of actually breaking the monopoly.
I believe the original meaning of cloning was indeed to grow a plant or a tree from a cutting and such plants are identical to the original — this term is still used in gardening.
Never underestimate the individual and organizational ability to cut corners. If your system depends on supervision of a highly-skilled and highly-trained human, better be sure it has a solid process around it that enforces the supervising human is actually skilled and trained.
Honestly, I'm not sure that's a loss; there's something very pleasing about the minimal aesthetic.
You can. You just need a credit or a debit card. Personally I’m fine with it. I don’t know if Apple has integrated with any payment processors apart from credit card companies anywhere else in the world anyway; expecting them to do it in India would be a bit strange.
I don't have much time because I'm at work, so I won't write everything I have on my mind.
I've been in your spot before, I also have perfect pitch (which I'd argue is irrelevant to the discussion) and I severely disagree.
There's more music being produced than ever before. There is a vast amount of music you didn't listen to yet - it's humanly impossible to sift through it all.
There's obviously a lot of cheap, quickly produced music, but IMHO the way you describe it makes it feel like "music died 15 years ago". It didn't. E.g. we still have readily identifiable trends in music (eg. indie, vaporwave, chillwave, trap beats).

Filling up concert halls isn't a viable way of measuring an artist's achievement in the internet age for me. People go to concert just because they know the band's name, because someone bought them a ticket or because the media built up the hype.

As for melodies - we won't run out of them anytime soon. https://www.youtube.com/watch?v=DAcjV60RnRw
(a) watching movies letterboxed has yet to cause burn in on my OLED and (b) you could make the backdrop a frosted glass version of the same photo...

Not to say that every point is spot-on, but it’s true that Google in general makes their software and UIs complicated enough that outside of perhaps search or betas, they don’t update or change them all that frequently, maybe every two years at best. Apple or Microsoft could by now show them a thing or two on how to iterate user interfaces annually to evolve UI instead of making drastic changes folks might not like or sticking with the status quo forever with rollouts via obscure settings panels.
Found this googling

>Coast redwoods can grow three to ten feet per year.

pretty impressive!
Some newer papers looking back at this and it's continuing relevance:

2017:
Ironies of Automation: Still Unresolved After All These Years https://doi.org/10.1109/THMS.2017.2732506 (couldn't find an openly accessible link :/)

2012: The ironies of automation... still going strong at 30? - http://johnrooksby.org/papers/ECCE2012_baxter_ironies.pdf
cheap technically skilled labour, massive consumption power
A decent programmer or team of programmers can select a good architecture, and also not pretend that it is okay to treat a 4096-byte buffer as if it were 4097 bytes long.
Show HN: Pino – Open source web app for membership management
The author is a cultural anthropologist, if it makes you feel any better.
That's extremely easy to answer.

The answer is you'd write an interpreter for JavaScript in Java, use a partial evaluation framework also written in Java to convert it to a JIT compiler, and then run it on a multi-purpose optimising polyglot virtual machine that's also written in Java. Such a thing would be fully bootstrapped and fully managed.

And usefully, it exists already. That's what happens if you run JavaScript on SubstrateVM using TruffleJS and Graal:

https://www.graalvm.org/

The closest thing you find to unmanaged code is parts of the garbage collector, where "SystemJava" is used, a dialect that gives access to pointer arithmetic. But everything else including the JIT compiler itself is fully managed.
Our Upstream Kernel Contributions for TI SoCs – BayLibre
Not online. It requires you to go buy a card with a value of <not the cost of the app>.

I bet people who really need it top their accounts up (can you do this in the Apple store, or is it left on the card?) but you can imagine how much of sales are impulse purchases.
Well, on one hand it will certainly lighten the ressources needed.

On the other hand, you don’t know on what version of Chrome/Chromium you’ll land so you won’t be able to use specific API for sure.

But for having developed in the end of the 90’s a web kiosk software, based on Internet Explorer (I think it was IE5 back then), software that still have last versions running (no one, including myself, would thought it’ll survive that long), I will sure have a look closer on the project if you can intercept the before navigate event (or whatever the name is with Chrome)
> would be fascinated to watch

I'd expect it to get boring quick, just like watching rocket launches. New exciting images can only happen every so often. You probably want some drama or tension for better ratings. That's a pretty big mismatch of incentives combined with tricky power dynamic. I'd stay away from that unless that reality show is just a small side venture. And no way it could ever significantly finance a mars base in the first place.
Google Rules for SEO Ranking: How Often They Change and Why?
Thanks! I actually can't remember exactly how it worked, but I think it was a pretty simple process of selecting points at the level of the water combined with some sort of normal calculation. Just used it for placing the boathouses in semi-logical locations.

I should probably take it out of the readme just in case someone gets all excited and then disappointed when they realise it's all smoke and mirrors and nonsense. Ha!
I live in Norrbotten, the county where the reporter went. While I love the place, the climate and the people, I just don't see why so many people pay so much to just come and see the auroras, while missing out of so much actual nature in the area.

Maybe I'm just acclimatized.
Actually Android One devices are also guaranteed (inasmuch as the tiny text at the bottom of the Android One website [1] says) three years of security updates

> Monthly security updates to be supported for at least 3 years after initial phone release.

(scroll down to the bottom of the page and look for the double asterisks footnote. I don't know why they want to hide what is IMO the best reason to get an Android One device)

[1]: https://www.android.com/one/
Fun fact: Metasequoia are in New York City and New Jersey. Around the five boroughs are 100 year old, towering Dawn redwood! I have even seen full grown trees in Cresskill, NJ. Recently, a two year art exhibit in Brooklyn [1] concluded that used more than four thousand live, baby Metasequoia. All of the trees have since found new homes, but I am unsure where the recipients are.

I now have a baby Metasequoia growing in the corner of my front lawn. The tree was a gift from the owner of the tree farm that supplied the Dawn redwood for the exhibit.

[1] https://www.publicartfund.org/view/exhibitions/6126_spencer_...
Apple Teams Up with US Dept Veteran Affairs to Bring Health Records to iPhone
> Statistics is "the practice or science of collecting and analyzing numerical data in large quantities"

That's not true.

Statistic can analyze data in small quantities you can read up on it with nonparametric statistic. At least half of nonparametric statistic deal with small data (mostly through use of ranking). With Bayesian stat you can just assign a prior distribution.

I think the best way to describe statistic is that it uses data to infer the population. A subset data via sampling and infer a statistic (mean, median, whatever) about the population at large.

More often than not I'm just surprise as to why Data Science is so big when seemingly it seems like statistic does every freaking thing with data. From how to correctly sampling, designing experiment to collect the correct data to answer a hypothesis, making sure the data aren't bias, etc.. It deals with designing the data from inception to end, including either collecting the data or data given to you already. On top of dealing with problematic data such as missing data, imputation, etc..
Things are always getting worse in some way or another, at the same time they get better in other ways. Lowering poverty doesn't change that we're doing irreversible damage to major ecosystems.
Low level: directly accessing hardware. To immediately equate low level with 'you need to roll your own kernel' is a redefinition of terms that makes no sense to me. After all, even a Linux device driver still makes use of all the facilities the kernel provides and yet it is definitely low level programming.
How long do you think it will be before we have a bio IDE and protein library that's good enough for a programmer to start creating their own living organisms at home?
Why "radical feminist activists" as opposed to just "feminists?"

Objecting to companies only embracing progressive or feminist ideals publicly for the sake of PR or marketing while not actually taking any risks within their own culture isn't exactly radical.
Similarly, it fascinates me that people who advocate for free market measures never consider the labor market to be a place where freedom of the market participants to make rational choices should be improved with e.g. better welfare, higher minimum wages or even unions.

There seems to be a general pattern that "creating a freer market" always only seems to matter in the places where rich people would benefit from it.
Secret Facebook Group of Twitter Personalities Has Been Coordinating Harassment
Haha a fine contributor already made a PR fixing this! Good stuff
http://sci-hub.tw/https://ieeexplore.ieee.org/document/80130...
I believe that China, Taiwan, and everywhere really should be ruled by their respective peoples.

At least Taiwan seems to be doing a pretty good job of self-rule and nobody has a legitimate claim over that. Any gripes about 70 years ago should be pretty muted because most of the people involved aren't alive any longer.
Carried to extreme this could lead a behavioral economist to report, "the subject made the perfectly rational decision not to peform any mental effort, and so was eaten by a shark".

You say, "Many times they are simply not accounting for cognitive or longterm costs." How do distinguish those times from the other times when a person is being rational?
> "I went outside to get coffee and ran into three different neighbors who wanted to chit-chat. I wanted to scream, ‘For every word that comes out of your mouth, I’m losing money!"

That was the point of the whole article... Wrong way to look at the problem. A freelancer who get paid by project, not hourly, will never encounter this kind of problem. Hourly assignments are like being an employee but without any of the benefits.
Also affordability for those on minimum wage.
I am not at all against formal verification. In fact, I evangelize it and use it myself quite a bit. But it is important to understand that it is very, very far from being a miracle cure.

All software proofs prove correctness of specific theorems about a program given certain axioms. Those axioms must include, at the very least, the conformance of the hardware to some specification. But hardware can, at best, conform to the specification with some probability. For example, when you write `mov rax, [rdx]` it is not true that the computer will, 100% move the contents of the address pointed to by rdx into rax, only that it will do so with some high probability. Therefore, any proof about a software system (as opposed to an algorithm, which is an abstract mathematical entity) is a proof of a theorem of the form, "as long as the system behaves according to my assumptions, it will exhibit behaviors consistent with my conclusions." And that is even assuming that your conclusions cover all possible attacks. As it is generally impossible to formalize the concept of an arbitrary attack, you generally prove something far weaker.

But none of this is even the biggest limitation of formal verification. The biggest would be its cost and lack of scalability. seL4 is about 1/5 the size of jQuery, and it is probably the largest piece of software ever verified end-to-end using deductive formal proofs as a verification technique. However much the effort of a similar technique can be reduced, it doesn't scale linearly with the size of the program (it may if the program does the same things, but usually larger programs are much more complex and have many more features).
The Simpsons covered this topic back in 93 :) https://en.wikipedia.org/wiki/Marge_vs._the_Monorail
> Why?

i'm not a rocket engineer, but at least some reasons are pretty obvious.

1. you need less than half of the fuel. Yes, you will need less fuel to take off of mars, but its still a massive amount of fuel you need to safely transport to mars, as its an exponential curve of fuel consumed per kg of fuel transported

2. you don't have takeoff infrastructure on mars. your space vehicle would have to be able to safely lift off without any external help.
OK, let's take this argument even further. Suppose you are right. But the Saudis don't just discriminate against women. They also do against Jews, Shia and Christians. They also arranged genocide in Yemen. They've also sponsored atrocities in Syria. The list is long, really long. Clearly, Google is involved in KSA not only via the Google Play marketplace. It's quite likely that the government of KSA uses other Google products in its work. Microsoft as well. And I won't even go into the military industrial complex. Why stop with this app? There's rampant discrimination in KSA in the oil industry, for example. Are US companies involved in this industry in KSA complicit? Should they be prevented from working in KSA? Again, I just don't see how you can draw a line. You either have to take hands off approach or you need to totally embargo KSA, none of which seems satisfactory.
One of the most amazing things I learned reading the excellent "Factfullness" by Hans Rosling [1] is that the poorest countries in the world are currently improving faster than any country ever did, at any point in history.

That's correct - countries like Lesotho and Central African Republic are improving faster than his home country of Sweden ever did, at any time. In only his lifetime Sweden went from having an infant mortality rate similar to that of the poorest countries today, to being one of the world leaders. Those poor countries are improving faster than Sweden ever did... so in just one more lifetime they'll be where the world leaders are today.

The book makes it plainly clear that the world is improving much, much, much faster - even for the poorest - than the mainstream media would have anyone believe.

[1] https://amzn.to/2Ihb6jM - full title is great "Factfulness: Ten Reasons We're Wrong About the World--and Why Things Are Better Than You Think"