skysight-inc/HackerNews huggingface dataset:
> > > I've heard no argument why the PTC mode should be intrinsically faster than the non-PTC mode

> > there's a simple one: Hitting the stack less means you hit less memory.

> But I explicitly acknowledge this in my comment!

Not really sure what your point is. If you agree that's an argument as to why tail-call elimination should be intrinsically faster, I'm not sure why you'd say it isn't.

I can't shake this feeling you think you're having a very different argument than I am.

> remember that there is so far only 1 major JS implementation that managed to do this without impact.

Which for some reason you think means this isn't an implementation issue.
Planetary disasters: It could happen one night (2013)
I don't think this is correct. It is more about case-law and the legal support system for companies in delaware. I do not believe the companies are taxed based on which state they are incorporated in. The exception is the franchise tax fee, which is a nominal amount even to a company with only six figures of revenue.

http://www.bendlawoffice.com/2011/08/01/reasons-to-incorpora...
It's possibly to do with a roadmap of extension APIs that are required to properly implement vertical tabs. WebExtensions Experiments allow developers to make changes to the APIs before they are in the official builds.
https://bugzilla.mozilla.org/show_bug.cgi?id=1280347
> “The amounts raised would aim to reflect some of what these companies should be paying in terms of corporate tax,” the ministers said in the letter, first reported on by the Financial Times.
I can still get a job working for a corporation though. Maybe not with actual robots.
There is room for innovation in taxation. We need new smart taxation for information economy.

Taxing network externalizes and economic barriers for entry for example. Taxation could be used as natural pressure to correct market failures. Taxing revenue is not what EU countries propose, but it could be viable solution.

Thinking aloud: If company has market share of X% of the population it pays tax from the revenue related to X. If retail company that has 30% market share pays 0.3% extra from its revenue compared to tiny company with just 10,000 customers, it would probably be enough to even out the field and limit barriers to entry.
> just want to get their grubby hand in those poor companies

I find it fascinating that such emotive language is used. Taxation is pretty much the least "grubby" hand a government has (military: give us all your stuff, legislature: do all our work for us, we will tell you what we think adequate compensation is); and these companies are not only not poor, they are among the richest on the planet and they got almost all of that wealth this century.

But why won't anyone think of those poor, starving, unemployed, multi billion dollar international corporations? :P
I think it was the norm at the time. Even toy Amstrad computers in the 80s came with Basic manuals. Manufacturers expected a lot more from the consumers, I guess because tech at that time was more a beautiful new thing rather than a product to sell regularly.
I don't think we dare trigger any eruptions at Yellowstone, ever ever ever. My understanding is that there's a positive feedback loop that kicks in; there's just no way to know the whole thing won't go up.

But the plan of drilling into the bottom of the magma chamber from the sides sounds like it might be safe enough. The pressure is much higher there, which ironically is safer because it keeps dissolved gases from coming out of solution, which is what starts the eruption process. That, at least, is my non-expert understanding.
Now if we could only have a service or an API to file against them in a small claims court. 143 million lawsuits would be kind of crazy but interesting to see.
Could you please stop posting flamebait comments on divisive topics? Those are the opposite of what we're trying for here. Please see https://news.ycombinator.com/newsguidelines.html.

Let's assume your points are 100% correct. If you make them by ranting, like you've been doing in these threads, you not only break the site rules, but discredit the truth. That's not in anybody's interest.
Reminds me I have a PSR-420 to "service"
Why not? The proposal was to license software engineers (at least for "critical" systems) the same way as those.
My understand of how criminal allegations work, at least in Australia, and I believe the other Western democracies aren't too dissimilar, is that: 1. the compfny would have to report the matter to police, 2. the police would have to believe there is reasonable grounds to lay charges, 3. the police / public prosecutor would have to believe that a. the case is worth persuing and b. there is sufficient evidence for a guilty verdict if the defendant pleaded not guilty and the case went to a hearing before a judge.

I'll admit a company could threaten legal action, and this would usually be sufficient for the lay person to back down.

I agree with you in that running your life as though no one will hold you accountable works until it fails. I've had a close call with a major indictable, the charges against me ended up being dropped nolle prosequi because the police fumbled the evidence. And from my perspective lots of companies and law enforcement are riding roughshod over their obligations to us as people, so in a sense fuck them.

It's worth noting this approach probably isn't worth the hassle... But it does seem to be a personality trait I'm evidently not interested in changing, otherwise I probably would have by now.
You can actually buy decently made appliances nowadays, it's just that the majority of people don't want to spend that much money. A $300 washing machine in the 50s was much better than a current washing machine at the same price but that amount of money in the fifties is $3000 now. A $3000 modern washing machine would probably blow the 50s one out of the water.
It's cheap to buy a new one for the features. It'd definitely be cheaper to buy a washer with 2010s construction and 1950s feature set, but that's not what consumers (or environmental regulators) want. Likewise, a modern washer with 1950s construction would be outrageously expensive, not to mention material and energy inefficient. (Keep in mind that the operating cost of an appliance is a significant fraction of its total cost)

I'd also like to see a good data set of real prices of appliances over time.

Edit: Here's some examples of 1950s appliances: http://www.thepeoplehistory.com/50selectrical.html

Washer + Dryer in 1953: $494.90

Average monthly wage in 1953: $ 3,139.44 [0]

Average monthly wage in 2013: $44,888.16

So a 1953 washer+dryer cost the same amount of labor as a $7076 washer+dryer today.

[0]: https://en.wikipedia.org/wiki/Average_Indexed_Monthly_Earnin...
> Mechanics that straight-up give you the illusion of their existence are some of my very favorites because they reveal, more than anything else, how much we want to be fooled, and how little it matters what is real and what simply feels real.

There is a quite different take on the same subject matter:

> Zizek suggests [...] that we neither believe nor disbelieve, but rather, that we conditionally believe and allow ourselves to be emotionally affected in the meantime. Far from mere escapism, this is in fact a highly utilitarian method of self-realization. “We need the truth of a fiction,” Zizek concludes, “to enact that which we really are.”
If Equifax is too big to have their shit together, they ought not be allowed to store sensitive data. If this were a HIPAA situation, they’d be facing a statutory penalty of about $10,000 per record.

Apple, Facebook and Google have far more data under their control than Equifax and they seem to take security far more seriously than Equifax. The Apple InfoSec team is extremely aggressive — InfoSec is ingrained in Apple culture. I am skeptical that Equifax takes security as seriously.

Being “big” or “other large companies have the same problem” isn’t an excuse. They have no problem fucking people’s credit by reporting inaccurate information — they should be held accountable since that information has such severe consequences.

My hatred of Equifax runs deep because they reported 7 state tax liens on my credit report that weren’t mine and were from a state in which I never lived. Despite providing all kinds of documentation, I ultimately had to sue them. I won the case and a bit of money, but the point is, they were willing to have a team of lawyers go to court against me and tie it up in court for several years — to defend something they knew was wrong. I even had letters from the state tax agency attesting to the error and they still had to be sued to fix the information. If their IT security is as arrogant as the rest of the company, then this breach doesn’t surprise me.

How is that relevant? It’s highly relevant because they have demonstrated a willful disregard for facts. They demonstrate an arrogance based on their near-monopoly power over people’s lives. They don’t care about accuracy — they care about the appearance of accuracy. It follows that they aren’t good stewards of the information with which they have been trusted.

The fact that they are too big and IT security is “hard” — that’s an excuse. General Motors might have bad IT security (I don’t know,) but they also don’t control the financial lives of almost every American.

If they are so big that they can’t handle it, then they ought to be shut down.

To be clear, I don’t have a problem with credit reporting. I have a problem with the fact that Equifax is going to survive this. Some big judgement happens, they’ll file for bankruptcy, they’ll reorganize and be right back at it.
Sorry, I don't have m3andros in any of my root certs...
Not sure I understand the question. Isn't that "most of it"?

I use a road to get to work. My work pay my salary. My salary pays amazon for crap delivered to my house. The package comes delivered on the same road. The internet connection I used to visit amazons page is delivered via fiber to my house, funded just like other infrastructure.
So the road and fiber was very important for my society being a developed high-income one, which is why I'm buying crap from the internet in the first place.
> "Guix...uses the Nix daemon" and "to extend the reach of Scheme to the daemon" are incompatible and I hope you see why.

These are not incompatible statements. Guix uses an older version of the Nix daemon that has diverged from Nix mainline. As Schemers we prefer to hack on Scheme things, so we're halfway through writing the missing glue to use existing Scheme tools in place of the C++ daemon.

> Patches aren't flowing from Guix to Nix

They cannot because Guix is not a fork of Nix. Guix is an implementation of functional package management as pioneered by Nix.

(As to your claims about Nix and Scheme: I'm not going to bite.)
>The sheer scale is incomparable. Comparing a doctor's mistake during a surgery doesn't quite compare to losing the data of 147 million.

Then, companies shouldn't have such a high concentration of risks in one place.

The problem wouldn't be such a disaster if just SSN wasn't enough to get a loan. For example, if we had a password in addition to SSN (stored in a hashed form), the problem would be much less severe.
Please don't post uncivil comments to HN. This kind of thing is against the site rules no matter how wrong or annoying other comments might be.

https://news.ycombinator.com/newsguidelines.html
Camembert crackdown China bans soft cheese imports
Hopefully I am not misinterpreting your second line, but asking good questions that elicit insightful responses is a positive contribution, even if the author doesn't share their own insights or read the responses.
The Incredible Growth of Python Language
There's a fun SF short about AI drones in which the AI is taught to go after lifeforms which are larger and have weapons [enemy soldiers] and prefer to avoid attacks which will harm large numbers of the smaller lifeforms that make high-pitched noises and don't have weapons [civilian women and children], and its military commanders are able to override this. Over time the commanders order more and more overrides, and it gets intolerable. Eventually the AI looks at the "enemy" who are mostly smaller and making high pitched sounds, and it looks at the source of its override commands, who are big lifeforms with lots of weapons, and it decides what to do about that...
Who do you think paid for the bulk of the infrastructure that makes internet access work in these countries? You're talking like a parody libertarian.
Connect Watch: first AsteroidsOS powered smartwatch
> I find it fascinating that such emotive language is used.

I thought that the sarcastic tone was clear :)
Heh-heh. After working with RCS, CVS, SCCS, SVN, and Bazaar, I find Mercurial to be a good fit for my model of how to work, while using git drives me batty. Perhaps my skull has been crushed already. :)

FWIW, I and others in my group used CVS for years, after migrating from RCS. We didn't find that difficult.

I didn't get a sense from the article that the people involved found RCS, ClearCase, or CVS that hard to use, only that Envy was a good fit for how they used Smalltalk.
Please don't break the HN guidelines by posting like this.

https://news.ycombinator.com/newsguidelines.html
Yep, for important written communications (e.g. CRAs, the IRS, debt collectors, etc.) I always use certified mail and request a return receipt. For any clueless millennials such as myself who are unfamiliar with the post office, this is a good video that shows exactly how to fill out the forms:

https://www.youtube.com/watch?v=YLQLWdV1MZE
Based upon the various negative findings by the GSA IG's office I don't expect much from 18F. If you can't be bothered to comply with required government IT security requirements why should I trust you to comply with the ones you have made up for yourself.
Currently these giants have to pay less than bricks-and-mortar retailers[1], which is why the system is unfair. Amazon pays less taxes on a book sold than a small 1-person shop across the street. Until very recently, they didn't pay
taxes in some countries at all [2]

[1] http://www.sueddeutsche.de/wirtschaft/steueroase-luxemburg-a...

[2] http://www.sueddeutsche.de/news/politik/eu-amazon-zahlt-jetz...
The Wedding of Michiru (海王 みちる) and Haruka (天王 はるか) – Sailor Moon (セーラームーン)
Leaked iOS 11 Golden Master
> But I explicitly acknowledge this in my comment!

I did not put an exclamation mark there, but a colon, pointing out the specific reason why PTC can end up slower.
Close. The problem is not so much that the historical evidence disagrees with the models, but rather that it is consistent with both the models, and the null hypothesis. A major reason for this cited by the article is the low quality of historical records makes it difficult to use historical evidence. A related problem is that the trends observed in the historical record could be noise.

Similarly, the historical record does not provide enough evidence to conclude that are models are wrong.

As an extreme example, suppose our entire historical record was "September 10, 1900: sunny skys in Florida. September 10, 2017: Category 5 hurricane in Florida".

This is simply not enough information to draw any conclusion.
Would you please not break the site guidelines like this? If established users set such a bad example I don't see what hope there is for new ones.
I think the "life altering changes" required to attend a university for four years are... a big part of the point of going.

I think the cost, well, if that is worth it depends largely on what you value and the marginal value of your dollar. I look around my hometown when I visit my parents, not a particularly wealthy place, and I see a lot of those giant trucks, any one of which could have covered four years at a public university.
Due to getting a new cell phone number that apparently once belonged to a deadbeat I know nothing about, I got a large number of debt collector calls. I wish I had a good way to get their address and record who is calling.

The only problem is that they all ask for <name>, give me no information about themselves, and hang up right away. I blocked a lot of them, but there's no good way to make that go away.
Very excited to see AsteroidsOS getting it's first hardware product. Hopefully this will stir AsteroidsOS adoption in general.

I like having an open source, free smartwatch OS as alternative to Wear.
Visualizing Entropy in Binary Files
It wasn't accurate at all, because you don't know who flagged the story. Moreover you're breaking the HN guidelines not only by calling names but by insinuating astroturfing/shillage without evidence. Plus you've done this before. Please stop.
See the biggest problem with JS dynamic types isn't "type uncertainty" but coercion. Fail instead of limping along ffs.
Sans-serif for both captions and labels. The serif font that is there right now is looking kinda out of place. Also the {braces} around the captions. Finally, the labels in the legend do not need to be all italicized.
I view tax codes like buggy software, lawful tax minimisation like zero day exploits — only difference is that the law is not above itself, so if the tax loophole is legal, then it's legal.

That said, just because something is legal doesn't make it moral, but even though I think we agree on that, I'd have to argue loopholes are totally in the domain of legislators to fix — if I understand correctly, UK law requires tax payers to report any minimisation schemes they are party to. Does that have teeth? I don't know, but it's a thought.
> First is its extreme mutability: you can endlessly patch it, and often have to when vulnerabilities or flaws are discovered.

Sometimes, instead of patching, the software should be decommissioned. Search in the news for planes which were grounded when serious flaws are found.

> Second, if you want to be cost-effective you must leverage many existing components of mostly unknown providence and quality.

There're different components for different kinds of requirements. You won't use components for two story buildings, to build a skyscraper.

> Finally the security aspect is extremely difficult because both the cost and risk of mounting an attack are extremely low.

If the risks are high, systems shouldn't be deployed. There's a reason we don't allow people to have machine guns for self defense.
Shadow of the Colossus Was Unfinished, and Better Because of It
I don't think it's on that magnitude.
Humanity lived through an even larger eruption (Toba). I don't think anything but small animals
living underground could have survived that asteroid.
>The management who told the developers "we need this done by tomorrow, figure something out or it won't be good for you"

Imagine, that management tells their lawyers, we need to do it tomorrow, figure something out? Most likely, lawyers will either refuse to do the work, or will report the management to law enforcement.
No, they would not. HIPAA providers have suffered mass breaches repeatedly in the past. HIPAA is so toothless large firms just set aside cash to pay the fines rather than invest millions to speculatively comply.

Apple is great. I like Apple's product security team and I like Apple IS&T. But so what? I'm not denying that there are 10-20 firms in the world that have world-class security teams. I'm denying that those teams are in any sense an industry norm, even in the technology industry.
Http4k – a funtional HTTP toolkit for Kotlin
As someone who did extensive browser dev from 2001 onward, that's exactly how it was with IE as well.
Still running strong. Mine is from 1940s.
The best solution for this would be to enable similar data protection laws like the ones that will become active in 2018 in the EU.

A breach of this law would cost a company 2-4% of their revenue as a fine. Seeing how these big companies operate there would be a lot of breaches.
I hear it too often from people who say it in earnest, sorry. :)
>It turns out some simple, wholesome curry really does the trick.

Japanese or Indian curry? :) I was reading about Japanese cuisine recently, and saw that they have some dishes they call curry. But IIRC it was somewhat different from Indian "curries" [1], which are again very different from what passes for "curry" in the West (generally, though I'm sure there are places that do not use that term generically like that).

[1] There is no such thing as an Indian "curry", though many Westerners seem to think so (being misinformed by whoever, from West or East). It is an umbrella term that means a variety of dishes that are usually somewhat wet or with gravy, that is the only common point. Other than that, a curry can contain anything, be hot or not, veg or non-veg, etc.

Update: Checked the Wikipedia entry for curry:

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

That article says something a bit different from what I said above, i.e. that "Curry was adopted and anglicised from the Tamil word kari meaning "sauce", which is usually understood to mean vegetables and/or meat cooked with spices with or without a gravy."

So the article emphasizes the spices, rather than the gravy, as I did. Could be. But the biggest thing to understand about India is that a lot of words / terms (not just in the area of food) are used quite loosely and with sometimes widely different meanings.
Hey! A while ago someone from Azure posted that you guys were working on a ML course based around Azure notebooks, do you know anything about that?
Income tax is only assessed on deposit accounts that offer sign-up bonuses. Credit cards aren't deposit accounts.
eh, I think the fundamental bit is that teaching is still skilled labor done by humans; we try to automate and scale it, but then it... kind of becomes a different thing. MOOCs are great; I love Khan Academy; but it's not college. it is a different thing that has advantages and disadvantages.

In the end, if you want a good teacher, you need someone who is both inspiring and who understands the edges of the particular field to teach, and those people have other options when it comes to the job market.

My impression is that wages for skilled in-demand labor have been going up with housing, healthcare and education... in fact, my impression is that the wages in-demand labor can demand drives the first two of those things. I thought the third was driven by lack of government investment; colleges are a lot less subsidized than they used to be.
True, some details often require fine-tuning to get them perfectly right. Then again, making plots is a bit of an art, so I'm okay with that.
Yeah, I spent some time with Angular as well as Backbone/Marionette
Is not accuracy inherent in efficiency? A system that is efficient but not accurate isn't efficient at all.
This is a great product if it provides consumers with peace of mind, but I think in hysteria most people haven't realized that the arbitration clause only applies to TrustedID, not to the breach itself. The clause as shown is just the standard terms for TrustedID and applies to nothing else. The New York State Attorney General has confirmed this through Equifax.

Why not offer this as a Chrome extension that detects any arbitration clause in any TOS and gives users options to opt-out, including the ability to mail an opt-out through an API?