skysight-inc/HackerNews huggingface dataset:
Left turns.

Around here, we continue to have more and more intersections "upgraded" to "left turn on arrow only". However, the traffic has not changed, and too often neither have the turn lanes.

A lot of turning traffic ends up substantially slowed and stalled. Sometimes to the point where it has started blocking and hindering the through traffic, as well.

It's made getting around much more of a pain in the ass. In the name of "safety", I guess.

Like my IKEA chair, that won't roll without weight present on the seat. A minor pain every time I'm sitting down at my desk or moving around my office. Because some kids and a few adults (more than a few adults?) would try to stand on a rolling chair and end up falling off.

I've started to lose my sympathy for people who can't negotiate a left turn in traffic, nor use furniture in a sensible manner.

Like the pedestrians who now amble into the crosswalk while staring at their phone, and lounge in it, making no effort either to keep themselves safe nor to keep traffic -- the vehicles waiting for them, as well as their own -- moving at a reasonable pace. Not frantic, just making a reasonable effort to clear the intersection and make room for the next guy.

Sooner or later, there's going to be a backlash against all this safety for those too... something, to take care of their own.
Set aside morality and look at costs and priorities. It’s difficult to help people who just need to interrupt a bad cycle using the same programs as people who cannot, or choose not to, graduate into a more self-sufficient program or lifestyle.

And the answer isn’t simply more money, unfortunately, as there are also limits to qualified staff, effective housing and facility locations, effective following steps that don’t lead to relapse, special education/home visit resources, etc.

Edit: I am writing from a city that has mostly solved homelessness, so I am not saying it cannot be done. Just that an indiscriminate approach is unlikely to work.
I use N26, Revolut, and Revolut for Business. All are amazing.
Google is the main funder of Mozilla via search royalties and direct funding. It's easily changed...but in reality Mozilla suffers if you do change the default because they lose royalties. It's hard to be a good competitors if your livelihood depends on people staying with your competitor's services.
(I feel like it goes without saying, but the idea that $90b for a program that would seriously improve many people's lives is unthinkable but another $50b for what is already, a few times over, the world's largest military budget, for a country facing no serious threats to its own security, is a trifle not even worth serious discussion is a false one, if you ask me).
I’d guess because the people who really have the money to start a business aren’t poor enough to worry about having to live on the street if it fails. Also, perhaps the strength of the safety net makes people feel less of a need to be entrepreneurial.
And how do you know they don't track you? I have a problem with anyone that isn't willing to open source their code.
Whatever monetization strategy Websites choose to fund their content is up to them. If ads are the best way to support free content then that should be their choice.
How do I calculate measurement and error bounds for my plots when I'm using floating point? I honestly have on idea what to google.
Also the people selling things via their webpages are very much more likely to be investing effort in SEO than "non commercial" web pages...

(And, as much as Matt Cutts might deny it, it seems inconceivable that Google do not use revenue generated by advertising as a search signal...)
HTTP Strict Transport Security
PostGIS 2.5.0 released
In a lot of places Users who don't want ads can subscribe to access ad free content. If that was a superior monetization strategy most websites would adopt it.
Hidden from who though? The bank obviously needs to know the exact business because what if a dispute opens over the charge. And the end user presumably would like to check that they actually made the purchase so they will need to see the details.
I use the woolyss binaries on purpose because they have Chrome Sync support on desktop (which I use for recent tabs and bookmarks).

On mobile, no Chrome Sync without the official builds, so I cede all my privacy there. :'(
SRWare Iron is a scam:

http://www.insanitybit.com/2012/06/23/srware-iron-browser-a-...

Basically any other privacy-oriented Chromium fork would be better. Iridium seems nice?
Nooberim, I think many people could actually explain (in gross detail) how SSH works by the way.
Really? When I complained about Firefox performance on macOS, I was downvoted by a lot of people. It almost made me consider if the problem was PEBKAC (problem exists between keyboard and chair). I am glad I'm not the only one. I wanted to love Firefox, but I can't because of this.

edit: reading all the comments in this thread, geez, I finally feel like I'm not a stupid user. :) The issues are real!
The metropolitan opera house in nyc does, fwiw.
> The second kind is far more common.

When you revise your software, is it usually because the earlier versions were bullshit? Anyone who isn't constantly revising their ideas either isn't trying or is bullshitting.
The World’s ‘First’ VR Zoo Opens in China
Sure, that's the idea, but it has no more chance of success than does Facebook purposefully curating to the masses... indeed: no curation suffers the same problem that someone's assumption about what I should be interested in, without first understanding me does: my wants, dreams, desires, fears, interests, curiosity, etc. are all out of the picture: be it the corporate curator or the unthinking algorithm, they all look the same. So, in the end "Fair Trending" is utterly useless to me; in fact, the posted site looks worse than Facebook curating the trending news... Facebook at least looked intelligently tone-deaf. The linked site... just looks mindless.

At the end of the day nobody should second hand their interests and be so passive as to care at all what "trends". In fact, a pure random pick out of all the possible options would likely be more interesting and engaging than this "Fair Trending" can do or corporate engagement efforts... while a random pick certainly wouldn't be perfect, it at least it surface interesting and original ideas/content that don't necessarily click the "group-think" and "lowest-common-denominator" boxes.
I work in manufacturing. I can assure you our safety training is directly intended to reduce injury frequency and severity. We start each monthly manufacturing leadership meeting with a review of safety results and issues as literally the first topic.

Some of it probably appears foolish to new people, but it’s all from prior or realistically possible safety concerns. If it helps our insurance premium or lawsuit outcome, so be it, but we do it to not hurt or kill people.
Isn't that like SV, where if you are not 'disrupting' an entire industry, you lack ambition and your work is boring?
A long time ago I went to an opera with real time subtitles, it worked well. I didn't know that it was uncommon to be subtitled when in a different language than the one spoken in the area.
I was only ever at Google Brain, so I don't have direct experience at the other places you mention, but my impression was that there was somewhat more research freedom at Google Brain, particularly for theory. My impression of DeepMind was that it's relatively regimented and research is done in a very top-down way. OpenAI seems to have more of a focus on reinforcement learning (that's certainly done at Google Brain, too, but Google Brain does a lot of other things, too). I don't really know too much about Facebook Research.
I have never used IE as my primary browser... I'm sort of amazed at anyone that does use the OS-native browser as their default, because it has almost always been an inferior choice.
Percent of adults aged 20 and over with overweight, including obesity: 71.6% (2015-2016) Source: CDC FastStats.

So, if a supermajority is overweight, is it actually just normal, and we shouldn't be concerned?
It may be episodic.
If you have no idea what you’re talking about it’s generally better to keep quiet.
I've been doing software for at least 20 years now, and occasionally heard about formal methods (a class I narrowly dodged while getting my BS in Computer Engineering); it seems like formal methods can approach proving you've followed the specifications. However, I've rarely actually had specifications, much less specifications that were complete or even relatively static.

I think there's some value in formal methods for baseline things that could have formal specifications, things like schedulers, compilers, optimizers (maybe just enough to show that the optimizer didn't make anything worse), filesystems (although fairly complex), etc. But applications are way too wishy-washy most of the time to even have a spec, let alone something that would hold still long enough to verify.
I agree on all points.

The role money plays is avoiding discussion of the roots of homelessness, which affects the general population as well—social, cultural, economic, and medical discussions. An easy way to see this is the obsession over the employment rate, despite being very narrow in what it measures (i.e. whether someone who is looking for a job finds one, not the quality of the job they find, nor the number of people who stop looking).

Ultimately, I can’t hold people’s apathy towards homelessness against them. Homelessness is often the product of a system that failed them, and the thought of helping directly is incredibly daunting given how much the deck is stacked against people without money, shelter, ids, or skills. Facing an individual who clearly faced a wrong, people tend to help. When faced with a group of people society chewed up and spat out, the comforting things people tell themselves each day reach their limits. What’s another comforting topic on top of it—that people deserve what they get?

If we accept the underlying problems affect all of us, maybe we won’t have to do mental gymnastics to see how policy could improve lives. This is potentially an electable approach.
I call BS on that "diagnosis" (and I'm a Veterinarian btw). That being said, there is such a thing as a dog whose behavioral problems are insurmountable. I just don't want to ascribe it to genetics or anything else specific in any individual dog.

If training doesn't seem to work, the only option is medication. Especially if fear is supposed to be a factor. I don't know what you tried and I don't want to judge because I believe every owner loves their animals, no matter what.
> Search for "gun rights" in Google, and the Wikipedia feature box on the top-right of the results page is the Gun Control article.

That could have a very simple explanation: There is no Wikipedia page for "Gun Rights". There is however a Wikipedia page for "Right to Keep and Bear Arms" which is exactly what appears in the Wikipedia box on the right or as the first Wikipedia article when you search for "right to bear arms", "right to guns" and "arms rights".
I’m someone who is hyper sensitive to motion sickness. I’ll throw up after maybe five minutes of reading my phone as a passenger in a car. Mass transit is a boring hell, and it seems to be cumulative with a long recovery time. I went to Disney World last year and each day it became more difficult to ride the relatively tame rides without measured breathing and a lot of breaks.

With all that said, I can handle VR as long as it doesn’t interfere with my proprioception. That is, no movement of the camera independent of my actual head moving. As long as that holds true, and the system doesn’t lag (fixed by “time warp”, thanks John Carmack). As long as those conditions are true I can play VR without breaks for several hours at a time.
One can easily install firefox on windows...

That didn't work for Microsoft back then either
Call me underwhelmed by all of this.

I've never paid a cent for my EU € banking needs for twenty years. Decent web based banking. Real people in a branch a 5 minute walk away. Free SEPA € transactions, free debit and credit card.
American opera is suffering from the same problem faced by a lot of mainstream culture from the 20th century - it's too used to operating at scale and too expensive to cut back.

This isn't to say that art is dead, and I always hate the common complaint about audiences abandoning classical because schools cut back on music education. Music, like television, has become far more diverse in style and complexity. At the same time, audiences have become far more diverse in taste. The end result is that, in New York at least, the music world is thriving! Venues host musicians from a huge breadth of backgrounds and styles, and audiences can now choose from a huge variety of musical styles.

On the other hand, the scale of these productions has gotten smaller. Television shows that used to have audiences in the 10s of millions now get by with fewer than 1 million viewers. Savvy producers now know how to create TV shows on smaller budgets, and savvy content networks know how to build a breadth of shows to satisfy a wide range of audiences. The same must be true with music productions.

Ultimately, the Met is declining because there's more choice to be found elsewhere, and they're too big to slim down to the point where they can remain competitive.

Related, and worth reading: On 10 Years of the New New-Music Scene, and 30 Years of My Own - http://www.vulture.com/2018/06/ten-years-of-the-new-new-musi...
My point is that behavior problems in dogs are addressed through training (successfully), and problems with cats are most successfully addressed through modification of the environment. Both can benefit from medication, and cats do respond to training.

"My cat from hell" is an eye opener in that regard.
I wouldn't trust the battery
Yes, but that still does not get you what Safari does.
They Got 'Everything': Inside a Demo of NSO Group's Powerful iPhone Malware
>> I believe every owner loves their animals, no matter what.

I have run into a couple situations where this was not the case. We had an incident in Vancouver with a dogsled company (Whistler, post-olympics). Dogs owned for commercial purposes are often not "loved". Similarly, fighting dogs. There are many people in this world for whom dogs are not pets but a source of revenue, status, or fashion.
> I'm not a fan of Brave's hijacking of ad spaces so my preference is currently vivaldi

I'm not affiliated with Brave, but IIRC that requires opt-in from both the owner of the user AND the website. So it seems like a bit of a stretch to call it hijacking, when the website, ads are being "hijacked" from needs to opt-in to this.
One issue here, is that none of these are good cross platformers for mobile. iOS and Android both force you to use their render engine afiak. That's why Edge uses Webkit on iOS and Blink on Android...yet Edge (proper) uses...the Edge engine. Mobile is so much of the world's web usage now...it's basically impossible to decouple them from their root OSes. Imagine if Windows in the 90s or 00s forced every competitor's browser installed to use Microsoft's render engine.
If you are in the US Bing works perfectly fine - I have used it pretty much exclusively the last year and don't miss anything. Some things I like better, like the changing fun backgrounds, clearer results, less ads...

If you are not in the US- it's not good... I have had bad results being abroad. Wish they would step up their game internationally.
Yes. And apparently this effort can get by on a single subscriber who pays $20 per decade for his subscription,
> Governance-by-online-mob raises all sorts of questions, such as how many members does such a mob need to contain before it must be obeyed? What qualifications are required to wield such awesome power? How does the mob decide which opinions are correct?

Similarly, what qualifications are required to distinguish objectively between "political correctness" and actual righteous correctness? Does the author have one of those qualifications?
> there is no mathematical way to represent godhood

SHA3(x) == 0

If we agree that the hash function is secure, and find a value x that hashes to zero, then it might be reasonable to conclude that x was generated by a god.

Bonus points if x is human-readable text.
I don't know who you are or whether you have had conversations with the people who are responsible for the feature. All I can say is that that does not match my perception of the typical way of doing things at Google, as someone who has been working there for a while. That said, I do not sit close to where this feature was built, so maybe they do things differently over there.
Mr. Rogers vs. the Superheroes
You're correct with iOS, but Android allows browsers to have their own rendering engine (see: Firefox with Gecko.) Microsoft just didn't want to invest in porting EdgeHTML to Android.
Only iOS forces you to use WebKit which is why it's used by Chrome/Edge/Opera. It's not impossible to decouple them, you're prohibited by the license from using an alternative browser engine.

Android doesn't have any such restrictions so Firefox on Android are able to use their Gecko engine.
Note that Vivaldi is closed source. If you're looking for open source only, consider Firefox.
So carrying crappy weed might be good if you think you're gonna get Maxwell's Silver Hammer. Good to know.
Aren't most of our cities are glorified prisons? There are billions of people who are confined to their homes for their lives especially in developing countries either due to economic reasons and or social reasons (just saying I dont own or justifying keeping a bird in the cage )
Vivaldi is publishing its source at: https://vivaldi.com/source/

Its CEO announced more details about their source code:
https://jon.vivaldi.net/a-few-words-about-open-source-vivald...
What ever happened to pgadmin3? Why did development stop on it? It was definitely a beast, with a lot of weirdness to it, and some minor pain points, but it was good. It was lightweight resource wise.
The ability to replace most physical screens. Ultimately I want to get rid of my 5" phone, 27" monitor, and 50" TV, and just have my glasses project a virtual display at any apparent size and distance.
What a sloppy reporting! Most pictures do not have captions. They are not even related to this case. They are stock photos from the CMP lab. The caption under the first photo is made up "Remains and samples which were found at the scene where Ahmet Hergune was killed" (none of the other sources use this caption). The guy's last name is "Hergüner" not "Hergüne". Münür is his brother not his sister.
Thanks for the correction, either way, I view it as a problem that you can't (easily?) decouple in iOS. Some of these browsers listed have no mobile version, at least not ones fully baked. That alone forces people into the hands of the mobile defaults like Chrome and Safari.
Furthermore, a lack of evidence for gods does not mean that scientifically there are no gods.

True, but it implies the need for skepticism, especially given how many people have desperately attempted to find said evidence. Depending on your outlook it might also imply that a degree of disinterest in warranted, because the world of “things for which no evidence can be found or is required,” tends to be enormous and frankly, not that interesting. Unless we’re very specifically talking about a god who will damn you for a lack of faith, then ignoring the whole issue seems like a safe bet, and when you die you either learn the truth, or you’re just dead. It’s not like a human can do much either way, again, unless your assertion is about a specific and judgmental god.

Tl;dr I think the whole god thing is even less compelling and worthy of attention than the Bermuda Triangle. It’s just another thing that’s possible among an infinity of possible things lacking evidence for their existence. That’s pretty boring.
Like someone else said it costs big money to hire people and retain them over 10 years.

They have a reasonable startup objective where as your startup is taking advantage of naive investors that want to invest in X meets blockchain.

None of the copy on your site communicates that you have even a basic understanding of blockchain. You can't throw blockchain at "fake news" and expect a different outcome.
I can only imagine how bad the 3pm traffic would be if the soccer moms were allowed to drive M1 Abrams.

"I've got two kids, I neeeeed the space".
Startups that rejected acquisition offers but ended up worse off?
There will always be a selection effect here. You need hindsight to know with any accuracy what is old junk, vs. what is of historical interest.
My thing is the symbols. Stopped studying math in college, and every time I've tried to get back into it, seems like my options are either starting over from 4th grade or make sense of a formula that appears to be written in some form of ancient hieroglyphics. I think I can grasp the concepts if I could understand the syntax, but the best source I've found is the Wikipedia page on math symbols, which is little more than a list (and quite a few have a good half a dozen meanings).

It'd be cool if there was a good book focused on just understanding the symbols in as plain english as the concepts allow, and teaching you what context you need to look for when the symbols have multiple potential meanings. Maybe there is a book like that (and if so, please let me know, as that would be super exciting).
You can shutter windows when you like
Or get an ad blocker or use the browser being discussed. Regardless of your desire for websites to be able to serve ads, the users are mostly in control of whether they want to see the ads.
It was never fully dropped, just de-emphasized.

Silly: Thinking that Google wants to go do evil, but needs to drop a value statement first (to do otherwise, goes against the Code of Evildoers)
Google clearly considers Chrome to be a Google service and not just a web browser.
There is a "Gun Rights" page on Wikipedia (at least that's the slug,) Bing pulls it to the top of the results for that same query (along with advocacy groups.) While Google puts "Gun Control" at the top right. So, I see OP's point. I do have a hard time believing that is purely algorithmic.
“The Riemann Hypothesis” by Michael Atiyah – Preprint
How silent is installing an extension that clicks "dismiss" for you? It's like that argument where you can't be bound by the EULA because you put your cat's paw on the mouse and had your cat click "I agree". Good luck with that argument.
Thanks for this! Hoare (partially) answers a question I asked in the comments on "The Little Typer" (a good treatment of programming with dependent types).

That approach to dependent types brings our code closer to being verifiable. Unfortunately as a number of commenters testified it also makes software (currently) impossible to scale to complex algorithms, dependence on loosely coupled libraries, and so forth.

Since Hoare wrote 22 years ago, I'm now wondering if there's a fundamentally intractable problem with improving formal validation of complex software. Dependent types seem like a natural way of embedding the programmer's assumptions and reasoning into software, but clearly current technology in that area is still very very far short of helping with software at current scale.

Meanwhile our practical means of building complex software have improved considerably and we can develop systems that are reliable "enough", even at enormously greater scale than Hoare anticipated. The gap between viable software complexity and formal methods of describing software semantics has grown much wider since Hoare, rather than shrinking.

I wonder if we could step back from this style of formal methods, and look for an alternative approach. We need ways to capture the actual reasoning and methods that work for programmers building complex systems -- rather than trying to pretend they are mathematical objects.
It's not even a good joke. The song has two verses as well as the repetitive chorus, and he ignores them for the sake of the joke.