skysight-inc/HackerNews huggingface dataset:
Or not, in the case of some vendors. MoltenGL claims their OpenGL-on-Metal implementation is faster than Apple's official OpenGL drivers.

I'm guessing that as more and more high-performance applications (i.e. games) migrate to the low-level APIs, other vendors will start to adopt Apple's neglect of OpenGL drivers...
But that's what I don't like about the apple map. Check out the image where he says:

> Regardless of how Apple is creating all of its buildings and other shapes, Apple is filling its map with so many of them that Google now looks empty in comparison:

https://static1.squarespace.com/static/54ff63f0e4b0bafce6932...

Yeah, the google view has a lot less green, but it's really a different kind of green -- it shows me where there's a public park I might visit.

Apple's green is showing vegetation, but finding that regional park gets lost in the noise.

If I wanted to find a place to visit, Google is the superior layout. If I want to get a sense of vegetation, I would just turn on satellite view!
That's a Blade Runner parody!
Fleetio | Senior Fullstack Ruby on Rails Engineer | Full-time REMOTE or ONSITE at HQ in Birmingham, AL | https://www.fleetio.com/careers

Fleetio is a modern software platform that helps thousands of organizations around the world manage a fleet of vehicles. Transportation technology is a hot market and we’re leading the charge.

Our engineering team is relatively small, full of senior-level developers who love their craft. You'll be joining a tight-knit team that's used to moving fast and taking on responsibility. That said, we have lives outside of work, and we know you do too. We are a family-friendly company that is still young enough for you to get a nice slice of equity but old enough to be a stable and healthy place to work.

Tech Stack: Ruby/Rails, AngularJS, Bootstrap, Postgres and Heroku - currently on Rails 5 and strive to keep our frameworks and libraries up to date.

Perks: competitive pay, meaningful company equity, 100% coverage of health and dental insurance, strong remote working culture, professional development budget

Discription: https://fleetio.workable.com/jobs/784222
More or less so than running a static site generator that lives on one particular machine, and using Git to push your changes to the server?
I was able to book myself a free business class trip to Europe on miles from flying just a couple of times a year, coach, non-flex fares, on the company dime, as a working schlub.
I know plenty of folks who fly business class to China half a dozen or a dozen times a year and have more upgrades than they could ever possibly use. Hardly executives.
Also used as a plot device in one of the amazing Lord Darcy stories, by Randall Garrett. A detective and his Watson in a medieval setting where magic is not particularly magical, but actually forensic science. They obtain a very clear image of the murderer from the victim using a spell, but it doesn't resemble any of the possible perpetrators.
> I will, of course, need to remain technical enough that I can understand whether my tech lead is making good decisions, as you say

A lot of stress has been created for teams I'm on by semi-technical managers chiming in. By telling yourself you'll remain technical enough, I'd encourage you to define what that actually means. Thinking you know stuff that you actually don't is going to be a huge pain in some one's ass.

I once had a boss who kept pushing for us to to do things in a certain way using a remote API, but the API client didn't support the features needed to do the things my boss insisted we use. The boss wouldn't allow for a discussion on extending the API client because he was 100% certain he was correct when he was in fact 100% wrong. I started looking for a new boss after that.
What if you're just looking for a park to visit?

In the apple layout, it gets lost in the noise of private-land vegetation.
I recall many years ago reading an article about how, with sufficiently powerful computers, it would be possible to reconstruct what a person in a photograph is looking at by enhancing the pinpoints of light reflected off their pupils.
because when I am driving I want to know which house has a law or not?

Most subtle changes I noticed on the examples on street names (e.g. "W 9th st" to "ninth street", sans "w") are actually a downgrade.
Agreed. There's a lot to be said for deciding anti-trust also on the basis of harm to potential new entrants to the market.
that's credit cards vs frequent flier programs. Two different things. you can double up on FF by having the 'right' credit card, yes. But that's not the only way to get miles.
People use iPhones because they are status symbols. Android phones have been more useful than iPhones for many years now, and Apple is pushing the privacy angle as a way to divert attention from that, but outside of a few gullible techies, nobody is making purchasing decisions off of that marketing yet.

https://news.ycombinator.com/item?id=18359448
Using one will do that for you.

Just kidding, never used one, I’m sure it’s a fine device. But Apple has managed to dominate the high end smartphone market for over a decade and they don’t seem to be losing much ground there. Pretty amazing testament to the power of focus. Literally all their competitors have smartphones as a small piece of their business and it shows.
Yeah....I get all that on all but the cheapest of discount airlines just by downloading their apps. This is not a "loyalty perk".
I wonder how often this actually happens? In any case this is interesting.
Switzerland has a large population with guns (I don’t recall if it’s more or on par with the US). They also are not barbaric by any standard.

Guns aren’t really for self defense, so much as self direction. If Trump decided he wanted to make an executive order forcefully sending people to retention centers... you don’t think those guns would come in handy? It’s the last line of defense.

This is different than the knives which were literally part of every meal. Most people keep their guns in their home, often locked
Absolutely not. Not ever. Their service is fine, but the last thing I want to do is have to pay extra or race to checkin at the exact right time to get the right boarding group to stand in the right place to fight for a seat.

I want my seat to be there, waiting for me, when I feel like getting on the plane.

I don't even go to movie theaters that force me to have seat anxiety. I'm sure not gonna do it on an airline.
Is it really that hard to click the "web" link?
It's seams like a very bad argument for me. What about tonsil removal ASAP? He may decide not to do that. What about a lobotomy ASAP?
Well, they are CC 3.0, so I guess I can't feel guilty about sharing these 3 archives that I found:

https://archive.is/Fnw4W
https://archive.is/AHmEF
https://archive.is/WpOCJ
IBM called this role the toolsmith in a chief programmer team, a 1970's development paradime.

I have worked in an early web dev team that sort of worked like that at BT I was the backup/toolsmith.
Why the number 137 is one of the greatest mysteries in physics
No one deserve to be cheated especially when you’re fully loyal lies with the betrayal of your trust. Initially, I thought I was just feeling in secured when my wife would just be on her phone odd hours, until I decided to take my chances to know, knowing Is much better than self-doubts and its exactly what happened when I requested for the service of one of the best hacker to help me check her phone. Now I know when she tells the truths because I received all her calls, outgoing and incoming calls, see her what Sapp messages, Facebook, emails and instagram. I think its best way to justify his loyalty and I found out that instead of guessing , right now I have access to her phone remotely anything that goes in and out of her phone is exactly what I goes in and out my phone. I see everything, I hear everything… you can meet if you’re in the state cos he’s the only ethical hacker I know that will deliver your job in a perfect way and will not rip you up… You can contact him Via the following…..
EMAIL: Richardcyberghost at Gmail Dot com
TEXT, CALL or WHATSAPP HIM on …. +1 937-551-7074
Just tell him I referred you he will help you as well cos he’s honest and reliable.
> Since their primary goal is to help business, they can't help but disapprove; since they don't explicitly state this goal, they have no nominal basis to reject it without rejecting Free Software in general.

Without engaging with your characterization of OSI motives, the OSI has a clear basis to reject it without rejecting Free Software in general; unlike all other existing Free Software licenses, SSPL (which might be Free Software) violates criterion 9 of the Open Source definition by restricting licensing of other software not derivative of, or part of a shared work with, the software originally distributed under the SSPL.
I've found the customer support for project fi to be fantastic. That's a consumer product.
Talking is only an option when both sides agree to it. Since that's observably not the case here, talking isn't an option.
I’m taking a probability models class at Wharton from Prof Fader (quoted in the article).. just have to say, it’s been an epic class, and it’s nice to see something like probability (and not the overhyped AI/ML) actually used for something so applicable in industry.
Why do you care that the map represents the green parts accurately? How does that enhance your walking experience?

IMO 99% of the time people use maps to get to destinations, so maps should be focused on destinations, not shapes (insofar as the shapes don't prevent you from getting to your destination).
I was intending to refer to kitchen knives. In that area there is nothing chef knife sized below 100 Euro with carbon steel.
Is It Safe to Be Jewish in New York?
The goal is not justice. The goal is to limit the damage done by misbehaving employees, as cheap as possible.
I don't think they disclose revenue per SKU (e.g. XS, XS Max XR) - you would need sales by SKU / ASP to get unit sales
That's not the same thing
> I was once visiting Tunisia, a local man was showing me around, he pointed out the fountain that his brother designed. He said he didn't like it, I didn't see why. He point out that the perimeter was Arabic, and the main fountain was colonial i.e. Italian renaissance. As soon as he pointed that out, even my untrained eye could see the issue immediately, I was like 'oh yeah' obviously.

This is an interesting subject to me. There's value in preserving traditional styles. When I look at one of those bad-architecture blogs, certainly there are things that are obviously tasteless or mismatched to me. But there's also a lot of things where I can't see the problem until it's explained, and even then it just sounds like an arbitrary list of rules that you're supposed to follow because the cool people do it. The architectural equivalent of not wearing white after Labor Day.

If it performs the functions of a home and makes the people who live in it happy, how much does architectural integrity really matter?
It's also possible that it increases cancer rates without causing cancer. Instead, it might be preventing the body from stopping new cancers that otherwise would have been stopped.

The observed cancer rate will be roughly the difference between the rates of cancers that start and cancers that are stopped by either the cell's internal repair mechanism or by the body's mechanisms for finding and killing bad cells. Something that affects the observed rate could be acting on either side of the difference.
But is 'linux runs on anything' something that happened after it had achieved critical mass?
> There are many reasons they have been the only airline to be profitable for decades

As of roughly a decade ago, according to Philip Greenspun, airline profitability was mostly determined by management's negotiating leverage with unions: http://philip.greenspun.com/flying/unions-and-airlines

> Federal aviation regulations, on the other hand, require an airline to operate with pilots who have specific training for and experience at that airline.... An airline whose pilots go out on strike is therefore shut down.

> A competent pilot union negotiator will present the airline with a plan to transfer essentially all expected future profits into the paychecks of pilots. It does not make sense to accept less because the pilots always have the power to strike and shut the airline down. The only real point of discussion would concern the best estimate of what the airline's profits are likely to be during the term of the contract.

> ...Should the economy turn down during the contract period, the pilots, having expected to collect 95 percent of the airline's profits, will in fact be entitled to 115 percent of the airline's profits. As the airlines tend to operate with fairly small reserves, paying out 115 percent of profits results in the airline seeking Chapter 11 bankruptcy protection and a federal judge adjusts the pilot union contract so that the pilots are back to collecting 95 percent of the new estimated profit figure.

...

> How does Southwest survive and prosper? Since they are constantly growing they don't have as high a percentage of senior pilots as their competitors. Also, their union may be taking a longer/smarter/more realistic view about maximizing its compensation. A union does have an incentive to avoid bankrupting an airline: if the airline goes Chapter 7 (liquidation) rather than Chapter 11 (reorganization), the senior pilots may have to start over at another airline at 1/10th of their former hourly compensation.

Southwest has historically done a lot of things very, very well, but airlines are also a weird business where "profitability" and "not going bankrupt" are strange concerns.

I don't know what about this has changed or if we've just been lucky not to have any high-profile airline bankruptcies since then. Perhaps pilots unions have followed the example of the NBA players' union and have negotiated for a specific revenue share rather than (or in addition to) a hard salary floor.
How long has that been true? It certainly started out as PC-only.
They do, it's called Google One and it comes with Drive.

"""Experts, one tap away
Get direct access to people who speak fluent Google. If you need help with our products and services, our team of experts is here for you.
""'

https://one.google.com/about
You're not wrong, but I feel like they're chasing diminishing returns.

Every other segment of the economy has shown us that people are willing to pay a premium (20%? 50%?) to be treated like a human and get a better service/product.

On airlines, you have to pay 100% more just to get a refundable fare. 300% for premium economy (a slightly wider seat with slightly more legroom). 500% for business class. It's insane, and it makes everyone hate airlines.

Nobody gets upgraded out of goodwill because it's their honeymoon, not anymore. They're chasing the 0.01% of the flying public. Those perks are too valuable to just make ordinary people have a good experience.

I think it's short sighted and it will bite them in the ass. No "normal" person can justify paying 3x as much to have a slightly more comfortable seat for 16 hours. But I CAN afford 20% more to have the latest laptop.

Something about the business traveler spending someone else's money. But it feels shortsighted and I don't think it can last.
Under the Rainbow (2016)
That is not typical of grocery stores I know. None has glass crunching machine, only few run whole night and there are no cockroaches around.
Has any huge, ultra-successful, ultra-profitable company ever “priced themselves out of the market”? Not for a single product launch or anything, but in a sustained way that seriously damaged the business long-term?
A good manager will give you the idea they aren't doing much, paradoxically.
There's something really awesome about reading an in-depth report like this, especially when you can feel the enthusiasm of the author. Dope work as always.
That's your use case. I've used maps a lot to try to find hidden or secluded parks -- often with great success.

I'm talking postcard-perfect views around the Sydney harbor, small beaches around various bays, isolated parks near beautiful rivers and a whole lot of other places that are really beautiful and probably only known to the locals. Lots of these places were a brisk walk away from high-traffic areas too.

This is not to dismiss your question on the directions, though, which is certainly an important part of using maps on a phone.
I've had my 6s since Sept 2015. It reports battery capacity as 86% of new, and still not throttled. I'll probably get the $29 battery replacement before the end of the year, just in case and keep the phone at least another year, if not 2. Previous phone was a 4s, bought Oct 2011. So, I guess I'm saying, "me. I keep my phone that long, or nearly so."
lack of 1st-class only planes

There are a few airlines that fly all-premium configurations on certain routes. Singapore does that on the Singapore-Newark route. British Airways does it on London City to New York. SAS used to on the Houston to Stavanger route.
Confidentiality doesn't prevent broad generalities based on aggregated experience from being discussed.
It's getting to the point where porn goes on the regular browser, legit stuff needs incognito.
I've had the pleasure of working with David during a security engagement with our company. I can confirm that he would be an excellent and skilled person to work with. :)
Mexico’s real-life halloween horror show
It is not unreasonable--but that is the average case. Many students live with family and keep costs low. Costs can be much higher than that for individual students depending on circumstances.
If there's a workaround, it's ok. Users usually post workarounds in the thread.

This is in the FAQ at https://news.ycombinator.com/newsfaq.html and there's more explanation here:

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

https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme...

We detached this subthread from https://news.ycombinator.com/item?id=18356886 and marked it off-topic.
This has always happened. Finally the government has the guts to take on their cheating after decades of theft.
As the OP for this thread I have nothing against the film/TV industry. There are a zillion sources of video content out there. No one actually needs HBO or Cinemax. For those who want to sit and watch TV there's more other content available than they can get through in a lifetime.
Holtgen/Baranovska: “Hello, I'm Eliza”
I'd also add that linear content is becoming more and more of an anachronism. As more and more people get access to streaming services, it makes less and less sense to time-box content. Most of Dish's stuff is DVR-based anyways, and everyday channels are telling people to set their DVRs in the promo material. Forcing everything into a time box makes the content problem look worse.
You can open more than one tab with Focus. I did it accedentally a few times. The bin action button changes to a number if you have more than one tab open.

https://support.mozilla.org/en-US/kb/open-new-tab-firefox-fo...
Online Before the Internet: Early Pioneers Tell Their Stories
JWTs have long been a favourite topic of software engineer bloggers as they do raise a lot of interesting technical questions.

Whether we can take this as evidence of a big following in actual production implementations I’m not so sure, but if forced to guess I suspect they are exceedingly rare (compared to stateful systems) outside of programmer side projects.

I’ve rarely ever seen stateless auth used on anything serious, as others have noted many times before the issues with invalidating previously issued tokens often removes the “stateless” part, after which you are just as well using more traditional mechanisms.
try trevor@skydio.com
> but I've seen more and more politicians in the US who support that, or at least that's what I hear when they talk about privatizing education, healthcare, and even the FAA.

We're still losing the distinction between privatizing more things and privatizing everything. I'm not aware of any federal-level US politicians who want to privatize, say, the military.

> but I don't think that's an argument for privatization because at least we try to pretend we hold the government to those standards.

Personally, I'm not interested in the standards we pretend to hold the government accountable to. I'm interested in actual outcomes. If privatizing some service can vastly improve outcomes, then great, if government can do it, then great. Sure, there's the high school social studies explanation that governments are accountable to the people while corporations aren't, but in reality I think that varies vastly from one sector of society to another. Sometimes government accountability to the voting population seems to work, but sometimes it fails miserably. Sometimes corporate accountability from the market seems to work, but sometimes it fails miserably.
edit: send your resume to trevor@skydio.com to apply
Please don't, regardless of the 'HN crowd'.
Found the "article" I was talking about:

https://youtu.be/y4GB_NDU43Q

It's a talk by Tom Scott
HeadSpin | Multiple Positions | Palo Alto, CA | Full-Time | ONSITE | www.headspin.io

HeadSpin helps developers test their mobile apps globally.

We focus on collecting data from real cell networks and user scenarios to identify and fix performance problems in mobile applications and endpoints.

Mainly the team uses Python, Go, MySQL, Docker, Angular, Appium, native Android, and native iOS.

Come join 'one of the fastest-scaling companies' in the bay area! https://techcrunch.com/2018/10/30/gv-backed-mobile-app-perfo...

Find all of our jobs here: https://jobs.lever.co/headspin
The primary benefit of TLA+ over any general-purpose language is that it – as a modeling language – allows you to elide those parts of your system that "don't matter". To continue my earlier server example, when modeling, I probably don't care specifically which functions I'm using to read data from the network, under what conditions they produce which errors, or how the OS might decide to schedule them. I just care that such a function exists, that it may error out, and that it gets scheduled somehow.

Then, as a consequence of clearly expressing all the behaviors my system might express, TLC (the TLA+ model checker) is able to exhaustively search these possibilities for bugs. This is at best intractable for any system where you are unable to abstract out the things that "don't matter", like in Rust. There are just too many variables (literally) in the search space.

That said, there's nothing particularly special about TLA+, or especially PlusCal. They just provide language features such as first-class sets and clearly-defined atomic state transitions that make it very easy to describe a system without too much irrelevant "stuff". The only particularly notable feature of the modelling portion of the languages is nondeterminism, which is necessary to express the boundaries of your model (e.g. nondeterminism is how you model the "receive from network" function as "a function that either returns some data or throws some error").

One could even imagine using Rust (to use your example) as a modeling language. You'd need to add nondeterminism (or another means of specifying contracts), and a way to specify temporal invariants to check. And also annotate which functions act as mutexes and which may block waiting for I/O. And you'd probably want to stub out container types so the model checker doesn't have to model their implementations. But once you've done all that, your mutant Rust is starting to look a heck of a lot like PlusCal, only more complicated.
You prefer climbing over people and/or being climbed over? I like assigned seats, too, but they make me time anxious.