skysight-inc/HackerNews huggingface dataset:
Formal methods.

It took me nearly a decade of working in distributed systems to be introduced to TLA+ and other tools in this space. Until then my knowledge had been built from textbooks describing the fundamental data structures, algorithms, and protocols... but those texts take an informal approach with the mathematics involved. And since I was self-taught I was reading those texts with an eye for practical applications than for theoretical understanding. I had no idea that a tool existed that would let me specify a design or find potential flaws in systems and protocols, especially concurrent or parallel systems, with such ease.

I think type theory and category theory have also been great tools to have... but I think mathematics in general is probably the more useful tool. Being able to think abstractly about systems in a rigorous way has been the single-biggest booster for me as a practitioner.
From a consumer perspective, definitely, the next billion and the billion after that are all getting online, and that is genuinely amazing.

From a producer's perspective, though? It's a disaster! There's a huge pressure to shape content in a specific way, to post it to specific sites. Even something as simple as sharing a non-image or a non-video file with somebody is a lot harder now than it was a few years back. File hosting sites are going dark left and right, cloud storage services are shuttering direct file access capabilities, the new types of devices have limited options for simple file management, and so on and so on.
IMHO the manufacturers will come up with some type of safety certification for the software to run and part of that will be having a complete service history from authorized service centres. Self driving cars will be the end of self repair.
Eh I mean, I think there's a certain discipline that comes with studying any branch of math to a certain degree of rigor. But yes, linear algebra and discrete math are probably the most useful. I think control theory and optimization are under appreciated amongst programmers though.
This thread began with the statement that insurance is "to protect you when something unlikely nonetheless occurs", like getting ill.

Obviously, if a person already has some condition, then they're buying health insurance for a very different purpose, and none of this applies to them.
Per the article, $3.5 trillion in US healthcare spending per year is an average of $28,000 per household.

US average household income is ~$75,000 so to pay for that as a flat tax, that would be a rate of 37%, just for health insurance.

But state/federal governments already pay for about 40% of all healthcare, and charge a good deal of taxes to pay for it. If they were paying for all healthcare it would mean adding a new 22% payroll tax to make up the difference.
Common sense doesn't need research and long form writing, it just needs to be implemented.
As a society, we can allocate resources to both of these problems in order to ensure the longevity of the human species. This kind of defeatist attitude is what's holding us back.
Research on repetitive worm behavior may have implications understanding disease
I think a more accurate title might be "Apple Pay announces support for NFC tags", as NFC in general has been supported since the iPhone 7, but read-only.
I was thinking same & commented.
It's correct. In the case of Uber, the company withheld shares according to the supplemental wage withholding rules (22%) at the federal level. Employees would still be liable for the extra 10-15% of the IPO price if taxed in the highest tax bracket.
Shrinking moon may be generating moonquakes
https://news.ycombinator.com/item?id=19899374
Try to understand: Kavanugh and the people he is aligned with are like that incompetent manager in your office who took your successful project using their influence. Now they want to shake down Apple. After that google just watch.
Agreed. I guess my point, more succinctly is that this will always be the case, regardless of from whom folks obtain their insurance. A better question might be "does employment-based insurance make medical care MORE or VERY inefficient / unfair".
Show HN: Transform Google spreadsheets into a ready-to-embed widget table
Rustam does whatever he likes with his own domain(s). I do use Cloudflare for jgc.org but not for every domain that I own. Shrug.
What magic beans does Uber and/or Lyft possess where Amazon would need to buy the company instead of just rolling their own system?

They could probably crank up an Uber-style service quicker than anyone else, do it 100% internally, and be instantly integrated into Alexa and whatever else they have going on.

Then the service speeds on Uber's AWS instances start to slowly drop...
California may go dark this summer, and most aren't ready
Please don't post in the flamewar style to HN. Escalatory snark and jabs like "Don't gaslight" don't belong here.

https://news.ycombinator.com/newsguidelines.html
I'm addressing your comment of worker being exploited (not being paid enough).
That cuts both ways though, particularly in this context.
Even without the categories ordering the items in descending value with the accompanying graphic representation make a huge difference in the ease of parsing where your money went. Those two changes alone would achieve much of her goal.
If only there were some system of international law by which a country could decide if they found the other country's laws to be compatible with their own, both in the definition of crimes and their punishments, and could then decide whether they wanted to comply with an individual extradition request on a case by case basis.

It's such a shame that any country in the world can issue an extradition request to any other country in the world for any reason, and that other country has no choice but to immediately comply with it.
> Maybe. Or maybe they'll be just like regular tractors with a side module for your AI of choosing.

We can't even get interop between instant messaging platforms, and video calling platforms. Why would we anticipate that companies manufacturing $200,000+ pieces of equipment are going to work together when they have the option of lock-in?
Hi HN, I'm the developer of Colordrop - an advanced color analysis app for iOS. The app originally launched in 2015, and was featured with the launch of the App Watch. Colordrop 2 is a completely redesigned version, and offers more features for creative professionals.

Unlike similar color picker apps, Colordrop provides integration with Adobe Creative Cloud, and provides the most detailed color information compared to any other app. You can view values for over 10 different color spaces, as well as similar colors from palettes such as RAL and Material Design.

The app also has an accessibility focus, featuring a WCAG contrast checker, as well as a color blindness simulator.

Take a look and let me know what you think!
>Do you think with less regulation suddenly trucker will be more careless ?

I believe with less training and lower standards there will be more accidents?

Historically there were less regulations and more accidents. Licensing is only one component of the safety regulations enacted, but again historically yes without these regulations truckers engaged in more risky driving behaviors.

Again it sounds like you are unfamiliar with the industry.
I possibly put it badly. I have no problem with courts questioning people or even the detainment for questioning (as long as it does not become a pattern of harrassment). What I am against is ongoing detention outside of what is neccesary for the purposes of attempting to ask someone questions. If they do not speak, then you have to keep asking, but you cannot ask all the time. Locking someone up, especially in solitary as it appears they have done in this case, as a punishment for not speaking, is pretty barbaric.
For shits and giggles, I installed Snapchat just to play with this, after seeing some friends having fun with it.

For background, I am guy, but with long hair and a beard. I wouldn't look out of place in a mosh pit at a heavy metal show. I've also been told I look like Jesus.

To my amusement, my beard and hair seem to break the female face filter. I take picture with it, and nothing changes. Conversely, if I use the male face filter there's quite a difference. My hair gets trimmed, my beard is darkened and my jawline made more square than it already was. The male filter still gets confused by my hair and fails to remove all of it much below my jawline; I can still see my natural hair transitioning back into existence about my neck and shoulders.

This makes me think that the filters are mainly working on hair length, or perhaps me already having hair short-circuits the filter and it forgets to address my cheekbones, jawline, lips, nose and brow.

Scratch all of that. It just worked properly. Compared to the male filter, it did soften my jawline, blur away my beard, and kept my natural lighter hair color (though it took away my natural curls). It could have stood to reduced the size of my nose. Still in the uncanny valley for me, but much closer to crossing that threshold in than some other filters I've seen in the past.
I had more in my last paragraph but removed it so I wouldn’t confuse anyone. I’ll just give the marinade I like the most, that one and the one where you just use pickle juice overnight.
Broccoli sprout compound may restore brain imbalance linked to schizophrenia
No, not at all. Look at Kaiser Health System and other subscriber networks, those are clear cost innovations. Also, urgent care centers, which are vastly cheaper than ERs. And CVS, Kroger minute clinics.

edit: Also, in the future, maybe we'll have AI doctors, and we're presently seeing remote health care through apps. I'm not talking specifically medical treatment technology, but so many other methods of health care which would greatly be encumbered by heavy-handed government regulations.
Amazon had a 5-10% pricing advantage for years over everybody else because nobody was paying sales tax on their purchased items.

Uber and Lyft do not have that kind of advantage.
Just in time for NYC subway electronic payments!
Note that as long as you keep the bureaucracy mostly at state level, the argument of scale doesn't apply to the US - seen from the state level, the US is really just 50 small countries in a federation.
Frequent user of argo/argo tunnel checking in. As far as I know, the network/lower level parts are not yet in the open, but the tunnel bits are:

- Tunnel (cloudflared): https://github.com/cloudflare/cloudflared

- Argo as ingress (k8s): https://github.com/cloudflare/cloudflare-ingress-controller/
Are you sure that they extradited him for the removing condom thing? Because that was one of the lesser charges in Sweden but he was also charged with rape due to the sex with the sleeping woman without a condom. I assume he was extradited because of that charge.
Show HN: Beunto: A general purpose, ad-hoc, application builder
And if setting up Multi-Account Containers just for the one scenario of sandboxing Facebook sounds too complicated, Mozilla have put together a Firefox extension that does all the setup for you: https://addons.mozilla.org/en-US/firefox/addon/facebook-cont...

(Which, don't get me wrong, I think MAC is a great feature and use it myself for all sorts of sites. But it can be complicated to get your head wrapped around, particularly if you're not a professional nerd. Which is why this kind of set-it-and-forget-it alternative has some value.)
It's not a "monopoly," technically. It's an oligopoly. John Deere having 53%; CNH (International Harvester, New Holland) having 35%, AGCO 7%, and miscellaneous players fighting over the last 5%.

Article: https://www.farm-equipment.com/articles/15962-manufacturer-c...

Image: https://www.farm-equipment.com/ext/resources/images/issues/2...
Hi Hn'ers,

I making this posting to show you a personal project of mine that I've named Beunto (it's an app builder for single page web apps).
I've chosen to link a blog post first since I feel there needs to be an understanding of what you are looking at. The post does link to a proto-type app [1], built with Beunto, that I've deployed for just the HN community to take a look at. With that said, there are some issues I want to highlight, in addition to the posts overview, that I think will help frame the current state:

* It is largely experimental at this stage.

* It requires js and I would consider it intensive.

* Currently has a large js payload (842kb minified, which I should be able to get to 500kb or so in the future)

* You don't need to create an account to check it out (that's only for persistence and search capabilities).

* It's not open source (at least not yet, as I've not decided on its future path)

* It has only been used with Safari, Chrome and FF on Mac OSX, so I wouldn't expect much outside of that set-up.

* Everything is very custom and I know there are HNer's with strong opinions against some things I've decided upon, so try to keep an open mind as it can and will change, evolve and continue to develop.

Thanks for checking it out.
Tim

1. The Goal Tracker App: https://beunto.com/my/goals
I disagree. I would prefer to shop at a place that showed me this. It would increase my loyalty to that grocer. The downside to the grocer is that I might be less inclined to buy meat, but maybe that still works because I instead gravitate to expensive veg options and look at my percent spend and celebrate my good decision making.

The only way this would drive me to use a different grocery is if it did a price comparison vs other grocers and I discovered I was getting screwed...but even then, if it was marginal, I’m not sure I would change grocer.

Edit: currently, as a shopper, you are most likely to just look at the bottom line. I think you are right that grocer adoption would be complicated from a business decision perspective, but I think implementation of this would hit “brand names” more than anyone else. It’s in both the grocers and shoppers best interest.
The bleeding example makes costs seems like random accidents, but most spending is on genetic illness and the elderly.

A lifetime supply of insulin is much more expensive than setting a broken bone. We are not all equally likely to have cancer or respiratory disease.
Amazon has very specific rules about affiliate links. You have to be providing what they consider a significant amount of content unrelated to the link. The site you just pitched sadly wouldn't qualify.

Two real examples:

If you have a site where you show a graph of all the IMDB ratings for a TV series, that isn't enough added value and they will ask you to remove the links.

If you have a site where you post the reading-orders for various short series with short introductions, that is enough value.
Yeah, there's also general morale among the rank and file.

Everyone's locked up for six months (except a few directors who are selling into the greenshoe). You can tell people to not even look at or think about the price for six months but human nature is what it is. Everyone's going to look at the IPO price and mentally anchor that as the minimum that they'll be able to cash out their options for. Most people will mentally come up with a range of IPO price as the min and some much larger price as the max.

To have the price immediately start dropping like this is not great for employee morale.
My theory is that no matter what there will be things that are unfair or inequal in healthcare any time folks have more resources than others to apply to treatment. I agree with you that based on overall spending and outcomes something needs to change a great deal. I admit that even after reading the original article I don't really understand why employer-provided care is creating these asymmetries except to say that typically employer provided care is more reasonably priced to the employee than comparable coverages to a private citizen, because of course it is. It's an incentive.
There is no "general rule"; stop trying to make it seem like there is.

Additionally, many companies learned the hard way that forcing an employee to use your products or services over those they want to use will do nothing but lower morale and cause frustration. Let people use what they want and already are using and they'll be much happier because they don't feel stifled by their employer. That's why most companies have a BYOD policy for things like phones, because nobody wants to switch if they don't have to.

Finally, it's frankly none of your business what products a person, any person chooses to use for their own personal projects. That's their decision to make, not yours, and they don't have to justify it to anyone but themselves.
It's a first person risk for men too. The only difference is women have viable options.

"What about men comment" - what misandrist ignorance. Men need rights and they currently have none.
Good luck sir. And to anyone here who is reading in similar circumstances.
Simple Hack Disables Most Samsung Phones
Please don't take HN threads on offtopic flamewar tangents.

https://news.ycombinator.com/newsguidelines.html
Profiling, period
That's a good point. The optimal strategy, not knowing the future but assuming the most likely outcome is for nothing terrible to occur, is to buy no insurance for just under 2 months, and then buy COBRA (if something occurred and you need to retroactively cover it), or then buy an individual plan (to have basic coverage going forward).
Yeah. A few cities flood, then infrastructure fails. Looting and violence. Panic.

People move out ... to where?

Now multiply this by a few cities every ten years. It's going to be nasty.
No, that's not true. Uber's losses in 2018 were about the same as 2017, if you take out the income they raised from shutting down Russia and SE Asia and selling (merging?) those operations to Yandex/Grab.

This is quite clearly a one time event.
I've never seen a law in the US that would make it so, but I'd be happy to see one.
Debugging without the console is like flying blind
You make it look like nuclear is a all case solution across the world. It never was and it never will be so it's definitely not the best option available.

And yes it as an yes or no question. Especially if you consider building a new reactor today and investing into that. It doesn't look like many people consider to vote "yes" on that now with the alternatives growing. It's also not a bridge technology. A gas or even oil power plant would be better then a decade long involvement in a nuclear plant.

It's done and we just can hope now that what's still there won't fall apart before it gets demolished.
Lots of people have commented on this impacting retention of current employees negatively, and that this will make it hard to invite new employees to Uber.

Aren't both assertions off base?

If I'm a current employee, I'm underwater. And my tax implications are scary. So, am I not motivated to stay and let things recover, rather than walking away when I vest after six months? Like golden handcuffs, but made out of feces or something?

Given the alternative, for Uber management, isn't this moment of the stock going down a good thing generally for retaining the big fish at Uber?

And, for new people, isn't the calculus for the recruiter pretty easy: hey, jump in now, the stock is really low, get in while you can?

Long term this has big implications for Uber if they need to raise a few more billions, but that's a big problem no matter what, right?
Author seems to use gentrification to describe a shift in power dynamics: those who are on the internet now have more rules governing their behavior and those in charge of the internet are now more interested in corporate profits than the public good.

Now I disagree with using gentrification to describe that, and I don’t totally agree with the authors point anyway, but I think that is what he’s trying to say.
Seems like a lot of effort to get one umvi to shop at their store. They will likely have to push this out across an entire chain.

I see your point, but I don't think the average user will care about this, and it would be a huge cost to get a handful of like minded people.

The cost will be huge because nothing like this would ever be free/cheap.
I think it's quite likely, but unknowable, that folks would accept the income:cost of living ratio of the US if it came with the associated sociological benefits. I think you're underestimating how disproportionately impoverished many people around the world are.
You can do this today, though. Retire now and your income will drop to the level where you can qualify for the ACA.
Water/ Not Water – Hacking the Google Maps API
Did they do it on their first attempt?
Same way it pays for car wrecks, house fires, ships sinking, satellites lost, etc etc. The world is awash with examples of the free market correctly pricing insurance. Give people cash vouchers for insurance, ramp up the tax rate so that the rich have to pay it and then some back. Let people buy their own insurance. Do some government re-insuring for companies that get hammered with too many sick people or go under. Done.
> I'm fairly certain that building compatible equipment is totally legally protected in the US

Once software is involved, this isn't true. And software is rapidly involved in every device.

Sure, you could go back 100 years and use equipment from then - but yields are increased since then for a reason, and variable-rate-seeders, planters that adjust depth based on soil type (from data), charting your harvester yields and planting density, a crap ton of interactions with fertilizer application/herbicide/fungicide, etc, are a part of that reason. Farmers are perfectly savvy enough to know this, but their options are (1) get the new equipment with the restrictive terms, (2) not get any of that new tech, or (3) change into a new field and try to build what they would want, taking on the big giants that are perfectly willing to Embrace/Extend/Extinguish, etc. Of those options, the savvy person will do #1.

Your listed proposal of adaptors isn't legal if software and EULAs are involved, which is where the whole right-to-repair movement gets involved.
If I could choose which hospital to go to based on available data, pricing, luxury levels, outcomes, etc so that I understood the costs I would incur (at a high level) to get that care, and then get quotes from different places, I think that would go a long way to ensuring at a minimum that folks understood what they were getting, rather than being forced toward outcomes due to lack of information.

As for "efficient" and "fair" I would also be interested in a better definition there, one the article didn't quite provide to my satisfaction based on its question.
Interesting seeing so many people asking for digital receipt data.

Cooklist lets you connect your loyalty cards and automatically download all your past and future purchases into one place. (like Mint.com for grocery)

You can see aggregations of all your grocery spending across retailers plus see recipe ideas to cook with the groceries you bought.

We've thought about introducing more advanced visualization of grocery spending or an export tool if anyone is interested.

Disclaimer: I'm a cofounder at https://cooklist.co
Yes, that's bad. I've marked those subthreads offtopic and collapsed them.
My Indian experience is quite limited (I almost never go anywhere but Hyderabad), but I was under the impression that locals mostly don't drink the water either? Something like 20% do, if I remember correctly (which is questionable). Certainly none of the developers in our office there admit to it. For whatever that's worth, which ain't much. The limited research I've seen from Indian sources suggests that, at least in Hyderabad, it remains a problem. Some of the contamination is related to human feces, but some of it is non-biological and probably not something you can really develop a tolerance for. May not make you immediately ill, but not something to drink if you don't have to.