skysight-inc/HackerNews huggingface dataset:
Just once I wish someone would put forward an actual argument as to why Apple disabling iCloud in China benefits literally anybody.
Exactly, by that account, they should remove encryption on iMessage so that police can access it.
Lhasa – Kathmandu Railway Mega-Engineering
Based on my limited understanding, fusion is possible. Just not fusion that generates more energy than it consumes.
I think the very notorious act of vandalism is this one: https://en.wikipedia.org/wiki/Boston_Tea_Party
Tried to use latest Elm with Websockets. It's just not ready yet but I look forward to when it is.
It's absurd
This [1] is the video of the first shooting in the Hong Kong protests - reasonably safe for life for anybody who has not seen it. Something I didn't understand when I first saw the video is how the protesters were able to do what they do. An armed group of protesters moved rapidly towards their target, and manage to ambush him around a blind corner. Their target was a single police officer that seems to have temporarily become separated from other officers. The protesters seemed to know this and all immediately set upon him.

You could make an argument that somehow they used some other technology to carry out their attack, but I'm not sure how much weight it'd have beyond the fact that no we don't have video (to my knowledge) of one of those guys explicitly opening and looking at the app to find the target. In any case, it certainly refutes the argument that no protesters have managed to catch the police by surprise or ambush them - because that is exactly what happened.

https://www.youtube.com/watch?v=PN4MvOrPotk
Everyone sees stories they prefer getting flagged really fast and stories they dislike hanging around. This is a mechanical consequence of HN's frontpage space being so limited, combined with the human tendency to pay more attention to negatives.
... and I'd wager that very few of those 55 miles runs through fantastically dry forests that are just waiting for the tiniest push to set them on fire.
lol. HK police and protests are staying at home watching tvs, there are just mainlanders on street both damaging properties and arresting themselves.
Not if you're a citizen: you have a choice to not give up your passwords.
It works best for me in the opposite situation: an easy-to-remember path or subcommand, as part of a long line (usually involving if or while, and a series of commands)
That's a follow-up. The primary Blizzard story was the #1 story on HN yesterday.

https://news.ycombinator.com/front?day=2019-10-08
Topic of image orientation always reminds me about this article: https://www.daveperrett.com/articles/2012/07/28/exif-orienta...
In primary school, most American students have one main teacher and one class. In middle school, most American students walk from class to class, each less than 1 hour long and with a different teacher, and are with different students in each class. Often many primary schools feed into one middle school, so the school can be bigger and has less familiar students. The students and teachers don’t know each-other and have a harder time getting to know each-other. The school is often more formal and the schoolwork is often less enjoyable. There is significantly more homework.

Students (often strangers to each-other) end up very quickly establishing a new social hierarchy in a context with less oversight and less adult support. It can get pretty brutal.
Cassini was launched more than a decade before the Fukushima disaster.
Just did in the EU, I was sent an SMS.
Yes, we've manually set this as an exception. The problem is that we can't set every story as exception, or even every important story. So the complaint—"why is X, which is important, off the front page with massive points while Y, which is trivial, is on the front page with pathetic points?"—will ever be with us.
The communications around this have indeed been a mess.

The driver of the outages is indeed what PG&E claims, but it's not necessarily in your area. Your city may be affected simply because they need to de-energize transmission lines (that run through a high-risk area) that serve your city.
I live in Norway, but I don't have any axe to grind with anyone. I work in the IT industry, but I'm not in the consulting business. As you probably know, Bekk has a very good reputation in Norway, and I know several people who works there now, or has worked there in the past. I do use Vy trains for my commute, and I'm not super happy with the service, but that's not my motivation for my comments.

It is more a concern regarding how the tax I'm paying is used. I understand that people are happy with Elm today. But how will it be in 5 years? Given the small Elm community, will it still be up to date then? Will it be easy to recruit then?

I know of other publicly funded projects in Norway where they ended up using non-mainstream languages, and where it became a problem in the long-term.
I also see all the benefits but GO is very regressive and feels like a backward step.

But when you consider how many developers have a hard time to learn GIT after so many years, you realize why companies need something as simple as GO.

Another reason is rise of new specialized engineers that programming isn’t their main focus and hence they are looking for easy solutions and easy languages to pick up. (DevOps, Data Scientists, SRE etc)
> 1) I'll rephrase: occasionally (and needlessly) stopping for a plastic bag (or any other false positive) should not be considered a massive improvement over current human abilities

Okay, but I didn't say that either. I said it would be an improvement to the experience I have. I will trade an abrupt stop in front of a plastic bag for several hours of being able to do what I want while the car does the driving.

> If AI can react and brake 2 seconds faster than a human, but doesn't recognize the threat until 4 seconds after humans can, then AI drivers will kill more people than human drivers. Which won't be fine.

The AI processing time to recognize things in a frame needs to match the framerate, or the system is just broken. Maybe it waits for 3 frames to show the same thing before acting, that's fine. That's still faster than a human. Especially if you use a 240Hz camera, which is not very expensive. And you can and should put in enough computing power to run the 'reacting' system at the same frequency.

Then once it decides to brake, instead of waiting for a foot to move it can put the virtual brake pedal at any position in under a millisecond.

I can imagine a car so poorly designed that its reactions are slower than a human. But it's hard to imagine a car that's simultaneously certified for letting me take my eyes off the road, and is that broken.

So I still say that a self-driving car would be able to brake quicker and harder, and it should be fine. Even without the ability to predict.
Finland's got them - you've got 6 years of elementary school (7-12), 3 years of middle school (12-15), and then 3 years of high school, vocational school, or "business" school (15-18). You've also got the mandatory conscription for men, which usually happens after high school.
Reminds me of this article about an old Amiga computer running the AC system for multiple schools: https://www.popularmechanics.com/technology/infrastructure/a...
Ok, not sure what you mean by constructive criticism -- I didn't make these laws, I'm just trying to describe the incentives and dynamics. It's very pleasant to live in the woods, and in many places, this is relatively safe because downfall wood rots. It's not safe in California. The Native Americans knew this and didn't live in the woods. You can either say that people have to accept that their house will burn down periodically or prevent them from building it there. Unfortunately it is very difficult politically to tell someone that their house needs to burn even if they theoretically agreed to that at some point in the past.
And governments will do victory laps about protecting free speech, while the tyranny is outsourced to corporations.
> Essentially, true statements are expressions that pass the "type check" of a compiler. A function taking type A as param and returning type B is an implication A->B. To prove this implication, you need to find a function implementation that passes the corresponding type checks. This is what I would have wanted the tutorial to say at the start.

This sounds like the tutorial was geared toward those already familiar with other proof assistants, since this concept is present in most proof assistants.
I wouldn't argue that he hasn't committed a crime. My issue is that it's a crime at all. Everything is grossly offensive to someone.

I watched the actual video in question, and with regards to the judgement, I disagree that it was menacing, anti-semitic, or racist.

The video, if anything, is anti-racist and anti-anti-semitic. It's certainly not threatening to anyone of reasonable mind, unless one considers the pug to be a danger to the Jewish community.

It's not painting Nazi atrocities as a positive thing, it's making clear that it's literally the most horrendous thing possible.

The judge takes issue with some things having a different impact when part of a joke.

>"You accepted that the phrase “* the *” was anti-Semitic though not, you said, when used as part of a joke."

It isn't anti-Semitic in context. Did you watch the video?
You can have a "Realschulabschluss" in Germany after year 10 of school. So primary 1-4 middle school in 5-10 and upper secondary education 11-13. In practice most will however not go directly to one of those middle schools but have their secondary education from grade 5 to 13 in the same school ("Gymnasium"). "Realschule" is as such for people who know in grade 4 that they will not go for a higher education but learn a trade after year 10. However, i should add that the 3 way school System, there is also "Hauptschule" where you leave after grade 9, is deeply broken when it comes to acceptance of these people in the economy.
Constructivism/intuitionism seems to have culminated into modern-day finitism/ultrafinitism. In the likes of Doron Zeilberger (crank or genius - you decide).

Par for the course for computer scientists - if we had infinite time/space we wouldn't have to optimise anything.

This paper [1] by Ed Nelson presents a brilliant analysis on the difference between classical logicians and intuitionists.

It starts with a crucial distinction in semantics.

Assuming ∀x¬A and arriving at a contradiction not a proof for ∃xA.

And yet, simply on the grounds of utility, the intuitionist perspective is far more useful to me as an every-day philosophy simply because "incomplete communications" is a mental model of how human systems/interactions work and how information flows in general. That which we call knowledge is socially constructed [2] and is always incomplete.

[1] https://web.math.princeton.edu/~nelson/papers/int.pdf

[2] https://en.wikipedia.org/wiki/Constructivist_epistemology
Pure Data 0.50.2 Released
Will Apple also be taking down Waze and Facebook?
They might as well remove the web browser and any other form of communication capable apps then since they might be used for the same purposes.

Apple has shown incredible little spine in relation to china, probably because they are 100% dependent on them to make their phones.
Quite disappointing to see that Apple has absolutely no spine when it counts, only when they are risking nothing.
It doesn't appear there's much battling here. It seems to be nearly unanimous opposition to Apple's decision. Ideological battle seems to imply two competing and popular opinions.

We rarely classify things that are bi-partisan as political. And Blizzard (which carries a substantially analogous version of events) has been condemned for their actions from Democrats and Republicans alike.
Just look at the app. It doesn't have the spatial resolution to do this, nor does it identify individual officers, and it's got a considerable lag in real time.

Or look at the video preceding this incident, and you'll see that the officers ran ahead of their group, and the kids confronting them were not looking at their phones because they were busy trying not to get shot.

Or come and see for yourself.

Or rely on the eyewitness testimony of hundreds of journalists in Hong Kong who have seen this same situation play out—cops run out too far, get isolated, get scared, draw a sidearm.

Or figure it out from first principles on a message board.
How do you know this?

Its Google, they scan all they can and apologize later

Below some g apps user was locked out of a single document for alleged Tos violations.
Clearly, some scanning is going on.

If you upload important documents or data to Google, as a firm especially, you are out of your mind.
react-native. Although the seat selector is written in Elm and loaded via web view.
It's incredible how the Australian government goes on endlessly about saving money but continues to ignore the fact that renewables are cheaper.

Guess that's the power of political donations
Not making promises you can't keep is being a bullshit artist?
I don't think that's a good example. No one cares about Lincoln. Culture difference. You cannot offend America as a whole, but definitely many chances to offend groups of Americans. And the consequences would be similar to this. Offending other countries is free of speech to all Americans, because no one inside America would complain. All media care about is the complaint letters, phone calls to their call center and politicians.
it not tiny anymore :-)
”There where still customs between all members of EEC, except Belgium and The Netherlands”

Nitpick: and Luxembourg (https://en.wikipedia.org/wiki/Benelux)
Version Controlled Cloud Backup with Rsync and Git
There are still mechanisms to mitigate reliance on trust.

If you truly cared you wouldn't download it from Play Store and you wouldn't use a stock Android ROM.

Of course that moves the problem up to the firmware level but the attack space is getting narrower.

With G Suite you rely on trust from the ground up.
Details are a bit sparse, they likely support Rust only in RTP[0], not in Kernel. If someone has a more technical resource, I am interested.

This is an important milestone, because this is a significant actor in the embedded world, where suppliers are often rather conservative regarding language/toolchains they provide, that is putting some of its weight behind Rust.

[0] RTP are VxWorks Real Time Processes.
If they keep tanking their brand and supposed values in the West with the lack of a backbone, that pile is going to shrink, because the rest of the world is not going to pick up the slack
What the IRS likes to see in audits that involve questions that don't have clear answers is that you made a good-faith interpretation of the law and applied it consistently. You can even have picked the interpretation that benefits you, that's ok. If you did all of your taxes based on this logic, and subsequently paid capital gains tax on 100% of the value of any forked cryptocurrencies you sold I'd expect that to turn out fine for you even if the IRS ends up disagreeing. The IRS has an entire appeals process because they expect to encounter scenarios where there aren't clear answers.

An old but entertaining example, what's the inheritance tax value of a famous work of art that is illegal to sell because it contains a stuffed bald eagle?

https://www.nytimes.com/2012/07/22/arts/design/a-catch-22-of...
The human quest for knowledge started which "how...?"
That's what I thought of when I read this in George Orwell's "1984":

"Big Brother is infallible and all-powerful. Every success, every achievement, every victory, every scientific discovery, all knowledge, all wisdom, all happiness, all virtue, are held to issue directly from his leadership and inspiration."
Just tag commands with a # at the end

> $ complex command here # tagHere

Later use the tag with ctrl+r

I do this all the time
Types of Conveyor Belts
They lost me at the word "enterprization."
Code golfing >> error messages.

I love it! Having fun with your project is key :)
Privacy is good. By being better for privacy than the worlds largest advertising company/consumer spy agency, Apple announced its intent to be for all that is good in the world. That it's a shining beacon of morality. Protector of Italian virginity.

China is bad. By capitulating to them after having declared themselves the enforcer of all that is good and holy, Apple has thus committed hypocrisy.
Forensics tools like Cellbrite can actually bypass protections like pin code, schema then image your phone to do further searches.
It's not directly related to this topic, but my favorite example of this sentiment is Anscombe's Quartet [0], four sets of datapoints that have (almost) the same statistical values, but a very obviously different layout when simply viewed together on a graph.

Plus an animated version that includes a T-Rex [1].

[0] https://en.m.wikipedia.org/wiki/Anscombe%27s_quartet

[1] https://www.autodeskresearch.com/publications/samestats
Aaaaand, serendipidously, I just now stumbled upon it in an HN post a bit below this one:

https://news.ycombinator.com/item?id=21201413

That article mentions the project I was thinking of:

https://github.com/oriansj/stage0

Amazingly, it seems they are even aiming to boostrap some minimal hardware as well! Super cool.
Creator economics frequently follow power law dynamics. The same can be observed for Shopify and Youtube creators. ie Substack's revenue is based off of how much their aggregate creator revenue is, not on the distribution of that revenue across their creators. So it's not that relevant to look at the average amount creators make.

Actually, it's better for these platforms to have the average be low bc it means they have exposure to as many creators as possible. The cost of supporting each marginal creator is basically zero so they want to maximize their odds of onboarding a creator that will be successful even if that means onboarding hundreds of unsuccessful creators to get them.
CGP Grey has a great video: "The Difference between the United Kingdom, Great Britain and England Explained" which covers a lot of this.

https://www.youtube.com/watch?v=rNu8XDBSn10
Apple drops Hong Kong police-tracking app used by protesters
I could tell, but I'm under impression that my 4 months old kid still has problems with that, or at least had when she was 2 months old.

I think this is closer to the performance we should expect of current neural models - a few months old child, not an adult. NNs may be good at doing stuff similar to what some of our sight apparatus does, but they're missing additional layers of "higher-level" processing humans employ. That, and a whole lot of training data.
There might be a better way: Only simulate the mixing and identify high probability cocktails and then let a robot mix stuff together. Applicable to Pharma industry, too.
It's not like 2017 was the first year of CA's drought, or even the first year of CA's wildfires. I get that hindsight is 20/20, but trimming trees around power lines isn't exactly a new or controversial thing that power companies should try to keep up on.

3.2% might not be much, but $50M can pay to trim a good amount of trees around power lines. And where did that other $1.55B of profit go? Obviously not to tree-trimming.

(I'd go further and suggest that something as fundamental and critical as a power company shouldn't even be a profit-seeking corporation.)
I also thought so, but in the article it says they are original Apple IIs imported via a front company.

Unrelated: I always found the II ][ and // naming so confusing...
How is this anything like the tech bubble when all of these big IPOs this year have cracked instantly and subsequently remained below their offering price?
Show HN: Disk.frame, a larger-than-RAM data manipulation package
In France we have them. There's "école primaire" from 6 to 10 (5 years), "collège" from 11 to 14 (4 years) and "lycée" from 15 to 17 (3 years).
Anecdotally, most people I spoke to felt that middle school years were the hardest: figuring themselves out, low popularity but high-stakes social games. High school was somewhat easier, people have found their cliques and the pressure from the harder work and longer hours left less time to play social games.

Off-topic but I have to get it off my chest: the years from middle school onwards have the dumbest names in France. They're named by counting backwards to the end of high school. So you start at "sixième" (sixth), go up to "cinquième" (fifth)... all the way to "première" (first), which is the before-last year! The last year is, of course, "terminale" (last, as in 'last in a series'). I'd love to convert to a sane naming scheme.
Yep there's plenty of fun little offshore places if you're so inclined. However we also have an onshore tax haven of sorts - the City of London: https://www.newstatesman.com/economy/2011/02/london-corporat...
A conference talk from JavaZone about rewriting the app in react-native: https://vimeo.com/362761083
How Can Mail Scanning Services Help Your Business
Will you add SVG support?
I usually just do `history | grep ...` instead; it's faster and more flexible than trying to flip through Ctrl+R matches.

That said, I did just install the history-search-backward and history-search-forward hooks in inputrc, and I can already tell I'll love these.
The privacy stance is just marketing. They have handed over iCloud keys and data to the state in China already. If they cared about privacy over market dominance that wouldn’t have happened.

Unfortunately as an iOS user tied to the ecosystem this puts me in a difficult situation ethically speaking. I am sponsoring this.

Perhaps I should stop buying into corporate marketing ideologies. Got burned by that before (Microsoft))
Apparently, yes : https://www.no-fly-list.com/

Maybe there are other unofficial lists, but this one is searchable
Yes, for several years I declined to answer any of their rude and invasive questions, on about a dozen border crossings.
There's no "the" Blizzard story—there has been a blizzard of them. The main one was the #1 story on HN yesterday by quite a lot: https://news.ycombinator.com/front?day=2019-10-08. As I explained upthread, we tend to downweight follow-up stories unless they contain significant new information. More explanation on that: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
>A school system that requires extensive parental help is bad system.

Although I think I agree with the thrust of this (children need independence), I suspect the original intent was not so much direct help as cultivating an environment conducive to independent success. Like the difference between trying to grow a flower and trying to build a flower.

Of course, children eventually also need to be able to do this independently, but speaking for myself at least I didn't really appreciate this facet of education (nor was I in a position to do it for myself) in middle school.
You’re likely also changing their temperature (white paint reflects better).

Another element at play could be that (I’m making this up, but it doesn’t seem impossible to me) zebras have thicker skin than cows, so that only half the fly species (or perhaps even only older, larger flies) can extract blood from them.
Isn't Waze also displaying police forces ? Also by croudsourcing information ? Why is Apple not looking into that ?
> It could choose to decode, rotate, re-encode

Or it could simply rotate without decoding or re-encoding, which has the added advantage of being lossless.

Obviously it's still added processing time and (probably more importantly) development time, so it's generally not worth bothering, however it's important to point out that JPEG rotation can (in the case of 90 degree increments) be done losslessly.
For those unfamiliar why it's not surprising - the word "Manx" is something like "of/from the Isle of Man" (like "Scottish" or "Scotch" for Scotland)