skysight-inc/HackerNews huggingface dataset:
It's a Safari 12 feature, so works on macOS 10.13 too.
I believe the official name is "surtitles", as they appear above the stage. (One small advantage for the cheap, high seats with easy view of surtitles.) Those are pretty standard these days in the big theaters. Don't be fooled that the Germans and Italians are understanding all the lyrics. With the long, drawn out notes and flourishes from the orchestra drowning out the singers, many/most of the native listeners are following along because they already know the lyrics. Ditto for the few operas in English. I have had surtitles for Nixon in China, and definitely needed them.
Octopuses given mood drug 'ecstasy' reveal genetic link to humans
It’s really just a suggestion to turn off some extensions. Haven’t bothered to figure out what triggers Safari to do that, but you can still run uBlock Origin on Safari 12 and it seems to work fine.
At least one aspect would be that stricter guarantees don’t really matter, except when they do. If ease of use, learning, compile time, efficiency, etc was equivalent to a non-strict language, then presumably industry would naturally make the leap (ignoring the inherit inertia of established norms and actual code). It would be dumb not too, if you could get fewer bugs for free.

But they’re obviously not equivalent, and most businesses only care about correctness to a certain limit (at which point its superceded by other factors; diminishing returns and all that), then formal certains will naturally only appear in common use until they reach that limit.

To truly claim futility of formal systems, you should be looking at the guys who prioritize it over basically anything else: if say even space companies couldn’t give a shit about advancements in formal systems, then its clearly divorced itself from practicality. If NASA prefers javascript over whatever formal system, then clearly the academics have gone down a dark road.

But at the same time, is it the academic’s job to build practical systems, to advance industry? Isnt that the role of the industrial researcher? As I understood it, academia’s ideal role is to simply advance human understanding in interesting ways: whether it has immediate practical consequence should not be in their domain. ie research ML decades before it has any real hope of being useable. It’s industry itself who takes the role of poring over the academic’s work, and figuring out if they can use it for anything. And if its cost-effective.

And if industry specifically wants academia to look into things of immediate interest, they shouldn’t be waiting on universities for it; they should be hiring an academic to specifically research it.
Teach modern C, with "restrict" and with the new-style initializers and aggregate immediates. Put a good deal of effort into showing how people get burned by undefined behavior. (strict aliasing, signed overflow of intermediates, etc.) Put a good deal of effort into giving students a feel for what the compiler can and can't optimize, and a feel for what the hardware has trouble with. You should be introducing and insisting on the use of tools like Coverity, VTune, Klocwork, valgrind, OProfile, perf, LTTng, Coccinelle, Astrée, Polyspace, and Frama-C.

If there is time, which is unlikely:

Teach the ispc language. This C variant is a good way to get in the mindset of vectorizing.

Teach how to write a cross-platform JIT. Get it working on both Windows and on a Linux with SELinux enabled. Alternately, get it running on both x86-64 and aarch64.

Rust might be worthwhile. It's a gamble that could pay off well, or not. How are you at predicting the future? This could be headed the way of Tanenbaum's prediction of HURD on SPARC, or it could really take off.
And Safari 12 on High Sierra.
credit card phones. $15! wild.
I like fastmail personally because aside from being a fast experience, I like their well written guides and articles. It helps me set stuff up without feeling like I'm just following instructions and helps me understand what I'm doing and why I'm doing it.
Exceptions are for error reporting. Pass them through all the way to the top, and log them. Enforce module preconditions proactively.

if(!isInstalled(Foo)) {
purchase(Foo)
} else {
start(Foo)
}
See related HN thread <https://news.ycombinator.com/item?id=18050706>
I haven't tried uBlock Origin, but I'm running 1Blocker and Ka-Block! and they filter out most of the worst offenders.
High salary in Belgium? I'm from Belgium and pretty much every neighboring country beats Belgium wrt salary (tech sector)
Scala 2.12 lambdas compile to Java 8 lambdas.
Sure. And it’s my choice to block them. Brave actually offers a way to pay for content, if I understand it correctly.
I just use uBlock Origin anyway (basically ignore the message). I don't see a difference in performance with the plugin when I updated to v12 on my mid-2010 MBP (it's slow anyway, so /shrug).
It would be fascinating to test the behaviour of two male octopus on MDMA. Will they fight or connect? I’d love to see a video of the difference in behaviour.
Well that’s what you get when you go for VC money. VC’s want the least risk possible for their money. So they will put themselves the first. Always. As an entrepreneur, your choice is to go with another VC. However VCs are short in supply, so the best option is to bootstrap and take the least amount of money
They can request that their library pick up a copy. Or get an inter-library loan.
The expense is the investigations and reporting not the website. That's part of why news organizations have been so hard hit. As soon as they publish information, someone else can republish it for nearly no cost.
I'm not clear why it matters that it's not available for iOS? All iOS browsers must use WebKit which is what's Chrome's Blink engine is based on and what all browsers mentioned above use.

A mobile browser is a completely different Application then a Desktop browser so you're still going to be using a different "Browser" Application, so I guess I don't understand why my choice for using the built-in Safari on iOS would impact which Desktop browser I'd choose to use?
Happy to say I’ve never even seen videos of these type.
"The Rite of Spring" was also hated initially, until it grew on people.
When I first saw the Chrome update, I thought: "Hey, it looks just like Firefox!"
craig newmark is a generous, effective, and humorous philanthropist. he is behind an absurdist easter egg that you can find in the bathrooms of various nonprofits he's supported: a toilet dedicated to his memory.
Japan lands bouncing robots on asteroid Ryugu
That software development devolves into a debate of epistemology, and often a very political debate at that, is the saddest thing I've had to experience. It's made me interested in both politics and epistemology.
Estimation: Over 1M Oculus Go units sold
I purchase Office through Office 365, so Exchange Online is just about free at that point.

It runs a lot of the enterprise and I think it's been quite underrated in a lot of the Gmail discussions here.
I still have a hotmail account from like 20 years ago and like it. Good thing is you can convert it to an @outlook.com alias if wanted, as that might look cooler. But I don't mind the hotmail name. Who knows, maybe one day it might be cool again. I pretty much skipped gmail entirely because of the personalized ad business. I also have a protonmail account which is good, but am not using it as much.
It's also is apparently the case that America seems to suffer from an embarrassing number of really excellent musicians--and New York is the absolute poster child for this.

This seems to be borne out by the fact that so many American musicians do incredibly well overseas while provoking absolute yawns in their home country.
I’m reading all this and was commenting to my wife we should stop using Chrome, then felt really foolish because I remembered we have Google Fiber. I’m not sure what to do about that. I’m also not sure if it’s something I should worry about or not, are there different rules on what Google can do as my ISP vs as my web browser?
iTools iOS 12
I actually took a few moments today and thought about what it would take to launch a new browser. Obviously it’s a lot, but since the browser is becoming so important, almost like an OS itself, it is only going to become more important that privacy and neutrality are core designs.

I know it’s been clear for a long while, but I’m just really realizing that an Ad company completely manages this new type of “OS”. By only this test alone, Microsoft would be a much more trusting/reliable company, since their core business model wasn’t in Ads, not so much when considering other test points.

I honestly don’t think the Linux approach is going to work either, since design/ux is so important in the browser, and those are fundamentally ignored more than not in that ecosystem.
(To make a point, I love Linux).

I personally would pay for a browser, at least a premium version, as long as a free version with the basics was avail.

I’ve never had to think about any of these things before the last major Chrome update, it’s kind of scary.
I am using the system directly as it is intended to be used, exactly as the UK government is intending it is to be used. I'm not sure what you think the hack is here. How the process works is detailed here:

https://www.doctorfox.co.uk/how-it-works.html

And you can see how they're regulated in the UK here:

https://www.doctorfox.co.uk/regulation.html
Kind of makes you understand why Ford would no longer be making vehicles in Australia...
Show HN: Tool to quickly source and compare company financial KPIs
I didn't actually play with such an app on google glass; but I imagine instructional content would be pretty good. For instance when repairing something, cooking/baking etc. I would love to be able to watch some tig welding video; drop the hood down and practice, then rewatch --without having to go back to the laptop or phone.

First person perspective photos and video are, IMHO, much better than the phone - but its somewhat of a lateral move from existing head mounted action cameras.
5G Adverse Dangers – Stray Voltage and Electrolysis of Chlorinated Water
The downside this approach to IP that is community based as opposed to legalistic is the culture of hazing it comes with. To learn about this I recommend listening to “Business and Fucking in China” by Sinica.

https://m.soundcloud.com/chinafile/sinica-podcast-business-a...
Because the focus on decoupling from Google, etc is to prevent control of larger corporations and from data intrusion. Mobile is a huge facet of search/browsing now. If you are only decoupling 50% of web usage, you aren't making much of a dent on the behemoths to change their behavior.
Is it also reasonable to include "Read good textbooks"? Some books are just bad because the author is bad at explaining...
That’s not the phone depicted in the article
> Clearly, I’m being an obstinate jerk

Yes. That is basically the gist of it.

Messing with low level, customer care team who are just trying to enforce the policies really is pretty childish.
Most important thing is to buy a domain so you can port your email address from provider to provider. I’ve had the same email address and several hosts over the years.

I’m currently on Fastmail and find the service good.
Haha, I don't think so.

Brave, un-googled Chromium, etc there are many less intrusive browsers out there.
Yes.

Just to be clear, do you understand that not every person incarcerated is innocent, and that is consequently an entirely different statistic/rate?
You are right, making that change will sort a few things out.
I agree about texts/notifications/calendar types of stuff - might be better not to have those head-mounted in front of the eye.

Navigation - yes - with the right user experience that isn't so focused on the map, but the turn-by-turn.
I'd suggest that the policies are pretty childish, and anyone who has worked with the App Store before knows full well how completely arbitrary and insane it is--this should come as no surprise.

The Author of the article said it beautifully - I know that millions of people are battling every day for their dignity and their families and their lives. But, goddammit, this is a bridge too stupid, and I can’t cross it.
From this fine article:

> Fly the pirate flag, toss a hammer at Big Brother, think different — just don’t violate Section 3.2 of the Program License Agreement, and communicate to your users words that are on a billboard you drove past on your way to work. Be a rebel, but somewhere else.
It’s obviously satire. Opens with “It took a little while, but we're glad to see corporations brave enough to prioritize protecting their Trump tax cuts over solutions to homelessness. Whew!”

Looking forward to your legal analysis of SNL.
“The Great Good Place” by Roy Oldenburg
I have never seen an opera not do this. In Turin they offered subtitles in both the original language (English, as it happened) and in Italian, which was cool. I think some of the objections here come from people who really don’t have much experience going to opera. It’s pretty affordable in San Francisco, and it’s a lot of fun; I recommend everyone try it out.
There was critical a bug in Bitcoin Core network. Upgrade to version 0.16.3
A fun read and on the face of it, Apple's stance does seem obstinate/bizarre... but on the other hand, with my testing hat on: how can you claim to support an unreleased phone? There's not even a cloud testing service yet...
Free to find another job...
> Third, they do not show the direction of causality. It’s easy to imagine how a life lived with schizophrenia could substantially increase your risk of inflammation.

Schizophrenia is a manifestation of "stress" (infections/drug use/injuries/emotions/malnourishment/etc) that's worsened by standard treatments. Some of the drugs used to treat "psychosis" seem to cause inflammation. Patients treated with anti-psychotics have been found to suffer more deterioration than those who are never treated with anti-psychotics.

My friend was eating a lot of soybean oil and alcohol in the months before she was captured by the mental health industry. Soybean oil is a source of Omega-6 oil, which breaks down into inflammatory prostaglandins. Alcohol contributes to inflammation too. Instead of treating the causes of her presentation, the professionals treat her symptoms. At one point they tried to label her "schizophrenic".

Sometimes medical diagnoses are helpful. The diagnosis of "schizophrenia" is a non-helpful medical curse. There are some good psychiatrists, but the profession desperately needs help.
> With another 20 years of hindsight, we can perhaps see now that industrial practice isn't lagging behind academic research, when it comes to formal methods and proofs. It's written it off and ignored it for good.

I think that academics ignored the cost of proofs. They said "This is the right way. You should do it this way." But industry said "This is really expensive. If we try to use it for everything, you're only going to get 1% as much software, if that." And that wasn't realistic for industry. There were customer needs (and money to be made meeting them). For the real world, formal methods are too expensive to be worthwhile (in all but a very few situations).
So what did a smartphone do better than a PC of the same vintage?

Hint: something to do with form factor.

The IPhone is the now the most popular camera on Flickr and other photo sites. What would you think if that mantle in the future is held by a pair of smartglasses?
I wish I had seen this to respond to sooner. I understand how such
impressions develop—one sees something callous and recoils from it,
and after a few such unpleasant encounters the impression gets transferred to the community as a
whole. But that generalization is not valid at all, and actually the mechanism that produces it is a bit
callous in its own right. HN members are full of heart and have shown it on countless occasions, as you can
see from histories like this:

https://hn.algolia.com/?query=thank%20you%20hn&amp;sort=byPo...

https://hn.algolia.com/?query=thanks%20hn&amp;sort=byPopular...

It's true that there's too much callousness on this site. But humans are like that on the internet everywhere. There's also a lot of mutual support and humane feeling here, to a rare degree in so large a community. This matters to me personally because we pour our own hearts into trying to get HN to be that way and to stay that way.
A big new home for the ultrasmall
Are you looking for landing pages, corporate sites or web app templates built with Bulma?
The same has happened to a few other developers. Luc Vandal tweeted that his Mac app was rejected for mentioning compatibility with macOS Mojave:

https://twitter.com/lucvandal/status/1042023268352512001/pho...

And Hendrik Holtmann said his app was rejected for mentioning iOS 12 in the release notes - after iOS 12 had been publicly released:

https://twitter.com/holtmann/status/1042062878965153792
I'm not nearly so charitable. In my view, inflicting humiliation on the homeless in the name of helping them is depraved.

We do not live in a just world. Pretending that success and failure are attributable to merit alone is the the self-serving moral vanity of the fortunate.

So what if the homeless "fail at life"? There but for the grace of dog go you.
But the policies are clearly asinine. If those low level customer care employees aren't empowered to bubble up legitimate customer complaints then there's at least _two_ things here Apple needs to address.
It even ended up in Star Wars:

https://www.youtube.com/watch?v=PX945NlXkEA
Thanks Sherlock!

Shouldn't we all. Yet no one does it and it's unlikely to happen anytime soon.
Basic building blocks of most deep learning models are convolutional layer, pooling layer, fully connected layer, and softmax layer. How do you propose we call "softmax layer" instead?
I someone knew why they weren't making money off of it, they would already know what to do.
Then I really don't get it, Safari is the most dominant browser on iOS and on Android you can use whatever you want - so you never have to use Chrome anywhere.
This is standard. For example, you cannot mention support for macOS Mojave, or until last week, iOS 12.
I love a good story where the little guy stick it to the big guy. The double irony of this is of course that Apple used to be that little guy. In an alternate reality, Steve would have gotten wind of this and done something about it.
The Power of Telling It Like It Is
Xcode ships with a simulator for these phones.
> I have yet to see any cases in which anywhere in Europe free speech is limited

I gave you several cases. Now you have.
So what is expected then? Update your app to support it but not mention the change in the patch notes?
You’re right about the selection bias, there was a competitive aspect in the admission process. But it wasn’t all competition, a brainy owl kid would only need to rise so high before being swept into the school.

I’m pretty sure they would complain. Also they would point out something about learning much better in the evening than morning like the owls do, and that never happened. We had kids complaining about not enough hours in the day, for example.

I think there’s a lot of insight to be gained from the pre-iPhone days of various boarding institutions with diffferent selection criteria - STEM, religious, military, arts (?), wealth.
Having the CEO call the idea "stupid" and removing it from the code are a bit more than de-emphasis.
It's considerably rare for me to do this, but I'll advocate for the devil in the white suit.

Imagine you added support for a device that's not out yet, that you probably don't even physically possess (unless you're a heavy developer, and even that's probably a pre-release model), but that you're assuming will readily accept your updated app. Except when finally the device is released, it turns out the support you added for the new device was imperfectly applied, frustrating the experience of users everywhere who are used to this app working just fine on other devices but not this one.

Now imagine this happening with multiple apps, perhaps because the developer documentation for the device was an inferior match for reality, perhaps because the documentation was consistently mis-interpreted, perhaps because the emulation in development was slightly inaccurate. Whatever the cause, a vast lot of supposedly compatible apps are very much not.

Which product's image is harmed most by this outcome?
Switching email providers is of little use for privacy from Google when everyone you correspond with is also using Google.
Fastmail have worked great for me and my family, mail, calendar and contacts just like gmail.
An iPod, a phone, an Internet communicator. Are you getting it? These are not three separate devices. Apple reinvented the original iPhone :)

Thanks for your comment, now I am considering to get one.
A doctor stands before a judge due to a malpractice lawsuit. Do you think they will be interested in whatever novel research he used to justify his decisions? They're going to ask what the established best practice is and why he thought the patient was special enough to deviate from it. I seriously doubt that research will better than the articles references by the numerous guidelines.

Any non-standard decision is risky.
I believe Brave is the only one of these released under a free software license.
along the lines of warehouse use cases - imagine a memory-palace for personal use.. I would love that!
https://news.ycombinator.com/item?id=18034004
You could look at it from at least two angles: canned food became associated with lower economic classes, and people became concerned that much of the nutritional value of canned foods was lost when they were preserved.

https://well.blogs.nytimes.com/2013/05/27/really-the-claim-f...

Today people who see themselves as well-off and/or health-conscious may pride themselves on eating fresh (as well as local and in-season) foods, although it can be an expensive habit in places that don't have as much local agriculture. Restaurants will brag about how they don't use packaged food and how they made dishes from fresh ingredients.

If you go to supermarkets that cater to poorer people, you'll probably see comparatively more preserved foods, although this is far from the only factor and all supermarkets will certainly offer a significant selection of preserved foods.

This phenomenon is probably even more pronounced with "TV dinners", which when they were introduced were seen as impressive and futuristic and somewhat luxurious, and nowadays the original styles are seen as somewhat unhealthy and unappetizing and are often associated with poverty or a lack of leisure time (although there are also frozen prepared dishes that are marketed differently).

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

Edit: an example of some marketing about fresh ingredients in a restaurant

https://www.chipotle.com/cooking

Chipotle isn't a very expensive restaurant but they know that being able to say or imply that they prepare most of their items on-site from fresh ingredients makes it look a lot fancier to visitors, compared to other restaurants that might use more canned or frozen ingredients.
> his 'paradigm shift' would be to us a 'refactor'.

Just refactoring existing code is not usually a significant enough change to qualify as a paradigm shift. A paradigm shift is more like a rewrite using a different, uh, paradigm - say, functional instead of object-oriented, or Big Data instead of relational.

I agree with the rest of your comment. I read SoSR in Philosophy of Science and have found it provides a very useful perspective. Although it's fun to contrast it with Feyerabend's "Against Method" to remind oneself of the range of viable perspectives here.
I use Thunderbird on desktop and K9-Mail on Android.
The thing that annoys the most about this is that he seems to hate Apple SO MUCH and yet he continues to be an Apple developer
> yes cat toilet makes the cat happy, as a German saying goes

wat?

What's the saying in German, and does it have an idiomatic meaning?