skysight-inc/HackerNews huggingface dataset:
> Each year I think wether should I learn OCaml or not

Ask yourself if you want to learn OCaml for practical reasons, or because you want to satisfy an internal itch. Both are perfectly good reasons to learn a language.

When I went to evaluate OCaml, I realized I wouldn't get much practical use out of it despite my curiosity, and focused on learning skills that I would get practical use out of. I'm happy with my choice, and plan to revisit the language to satisfy my curiosity at some other point.
"don’t diminish Pollock’s hard earned technical ability"

What technical ability was that?

I view Pollock's success as more of a result of stumbling in to a bit of the art world's search space that hadn't been explored before, and his championing by a highly influential art critic that liked his work. After that there was a Life magazine spread that brought him to popular attention.

None of this had anything to do with his technical ability, and I would be very surprised if even Pollock himself claimed that his paintings were technically difficult to accomplish.
When I left the U District a couple of years ago, it was in part because the entire area was being razed and replaced by those things.
German-Japanese female names include names like "Hide", "Aili" or "Uta" which I have never heared in Germany. Is the criteria that the names can be easily pronounced by native speakers of both languages?
There's another problem with this. In the end, they're an auto parts company. Auto parts companies get hammered on price by automakers. Hard. They do not get to have high margins.

Silicon Valley companies are used to being able to sell things with essentially no warranty. Here's what a major auto company demands of its suppliers:

"Seller warrants and guarantees that the goods covered by this Contract will conform to all specifications, drawings, samples, descriptions and quality standards (i) furnished by Buyer, or (ii) furnished by Seller and approved by Buyer in writing, and will be merchantable, of good material and workmanship and free from defect. In addition, Seller acknowledges that Seller knows of Buyer’s intended use of the goods covered by this Contract and warrants and guarantees that such goods have been selected, designed, manufactured or assembled by Seller based upon Buyer's stated use and will be fit and sufficient for the particular purposes intended by Buyer. Unless otherwise set forth in this Contract, the duration of the warranty provided by Seller to Buyer for the goods will begin on the date of receipt of the goods by Buyer and end on the later of ... (b) expiration of any warranty applicable to the goods provided by Buyer to Buyer’s end customer for the vehicle into which the goods are incorporated.[1]

Yes, the parts supplier is on the hook for warranty costs during the warrantied life of the vehicle.

Oh, and as to liability:

In the event that any goods fail to conform to the warranties set forth in this Contractor the product specifications incorporated by reference in this Contract, or if Seller otherwise breaches any of its obligations under this Contract, Buyer will be entitled to recover from Seller any and all damages, including, without limitation, any direct, indirect, incidental and consequential damages and all legal and other professional fees and costs incurred by Buyer as a result of such breach or failure, including, without limitation, costs, expenses and losses incurred by Buyer ...

Right. If a LIDAR failure causes a car crash, the supplier pays. Everything. Complete reverse of typical Silicon Valley terms. There's a lot more like that, and it's all in favor of the buyer, the auto company.

[1] https://www.butzel.com/assets/htmldocuments/GM%20General%20T...
Fascinating. I speak Bengali and found a bunch of "English names that may also be Bengali words" are not Bengali words. Some of those are Bengali words, but not very flattering.
Ingress going GA seems big. I just read through the release notes but didnt see as much about Ingress Controllers. I always found it strange that Ingress Controllers are external components provided by the CSPs or 3rd parties (if you are going multi-cloud support as I am).

Looking at NGINX, Kong, Traefik, and the loose change of community-contributed extensions to NGINX, Kong, Traefik, I always wonder why it isn't just part of the core. Anyone know if that is the eventual plan? If so, what happens to the small companies building solutions, do their products just become 2nd class citizens?
I’d argue that it’s more similar than it seems, but with one caveat: Apple (rightfully) became the market leader, but is essentially running what should be a public market.

If one company took over all the physical land on the planet, and had everyone sign agreements to essentially pay taxes to them with every transaction, would we still argue that that’s not only legal, but morally justified?
Safety features in cars usually get invented before they become mandatory. Backup cameras took about a decade to become mandatory, too.
> Jobs originally said that the aim of the 30% was to cover costs of running the store. It is evident from the MASSIVE profits that this is no longer the case.

Steve Jobs no longer works at Apple.
Everyone has to park their car somewhere, and most people who don't have a garage (indeed, most people) have to park their car somewhere during work hours as well.

This is a problem which solves itself during the buildout phase: BEVs are less attractive to people without a garage, but for people with a garage, it's a no-brainer once they're cheaper than ICE.

Those people will want to charge during the day as well, and legislate for charge points in the downtown areas. Malls and other outlying work areas will want to add charge points as well: Malls in particular, anything which induces customers to spend longer at the mall is attractive.

A bit of government funding to induce cheapskate office parks to put in electric chargers isn't out of the question.

By the time we need them on city streets, it will happen.
We also have "optimization fuel" in Rust, https://camlorn.net/posts/April%202017/rust-struct-field-reo...

Which comes from http://blog.ezyang.com/2011/06/debugging-compilers-with-opti..., which cites a paper from 93.
Uta is not uncommon, the other two I haven't heard yet though.
Why can't attribution be solved by including a campaign ID in the links to the product the ad is selling, and then counting the number of purchases per campaign ID?

Is it because it's a manufactured problem by this scummy industry where they try to consider anything a "conversion" like "we showed this guy an ad 2 years ago and now he finally happened to look the right way at our client's shop while walking past it, this is definitely because of our ad and we should include this in our conversion stats"?
On some level I get it but aren't cash cards a thing? What actual level of identity and KYC do these cert companies do? How easy is it for someone without scruples to get another cert without revealing their identity? (Genuine questions: I do not personally know.)
That's one thing that was bugging me. I used to wonder why I missed playing video games and at the same time very few games were entertaining to me anymore. I think it's because what I am missing is the evening of care-free tinkering, of having good time with friends, of having a wide horizon ; I am missing that mood and ambiance, not the gaming part, I miss how I was looking at the world.
The point of the website is to find names that sound/look acceptable in both English and Spanish, not that they _are_ both English and Spanish.
It comes with a home charger, and it's charge speed differs quite a lot depending on where you live and what kind of power source you can give it. In the US it comes by default with an attachment for our normal wall plugs, but at 120v and 12A the charge rate is pretty slow, about 6 miles per hour. With a higher power wall plug you can get it to about 30 miles per hour of charging with just a $15 adapter.

If you buy a separate standalone charger, you can get that to around 45mph of charge speed, but I tell everyone considering it to wait a bit before getting it because the vast majority of people won't need the extra charging speed.

EDIT: I was VERY wrong about the charge rate of the default plug.
EGOT+N?
I don't believe that for a second.

In the UK where I live the government subsidise rail. Rail is very expensive, slow and unreliable especially compared to my diesel car.
I would rather cycle to the train station, get onto the train with my bike and then cycle the other side to work. However it costs me almost twice as much to do and takes me 3 times as long.

Even with all the taxes on fuel, emissions and the price of repairing what is now an old car (my Car is over 15 years old and has done many many miles). Driving is cheaper, generally gets me there quicker even when travelling across the whole country.

Rail tickets keep on increasing in price and the service never improves and the whole experience is unpleasant.

In the rest of Europe cars are just taxed heavily and people still buy them. This idea that people don't want cars just isn't true.
They started supporting 1.17 very recently, I think, because last time I checked when 1.17 was the latest stable kubernetes version, they were supporting 1.14 only. EKS is usually behind.

Edit: I stand corrected. 1.17 was officially supported on July, 1.16 on April and 1.15 on March. Those versions were released a long time ago.
I tried writing an answer to (almost) this exact question in non-technical language[0], starting from packets and working upwards.

The document ended up much longer than I intended and I am still not sure my answer is that helpful.

[0] https://sheep.horse/2017/10/how_you_are_reading_this_page.ht...
In your view, how do digital content creators such as artists make a living? I am honestly curious. Are you saying that the entire gaming industry should be open source and sustain itself purely on peoples' charity?
Completely agree. I was not aware they were doing this too.
I remember how shock I was that my legal copy of 98 was as buggy as my cracked one :D.
Don't the heads of state for the EU decide who the EU council president is? Should each head of state's vote be given equal weight considering the vast differences in population of each EU country?
> made in Photoshop in the mid-00s

Haha, so true. TBH I didn't care for the previous Racket home page ... too arty farty. But at least it felt clean and current. This one, by contrast, feels totally retrograde. I wonder who made it? Hard for me to imagine a front-end designer today who would turn in work like this.

Oh god I just noticed the drop shadows on the menus ... :facepalm:
I think it is fair to look at all possible root causes to identify all contributing causes.

It would be great if the solution they implement is to fix the broken bureaucracy and prevent the trafficking of high explosives.
Usually the solution is to use Windows, Mac or one of their supported devices[1]. I doubt Linux was ever on their radar.

For most people this is a non-issue and can be easily solved.

[1] https://help.hbomax.com/Answer/Detail/20
They paid for the ticket didn't they? And even if it was a projection room cam they could have offered a seat there and yet they didn't so no material loss to claim. You can't claim that my tree falling on your grass did damage to your hypothetical Porsche and claim losses of it.

They still got their share of the fixed pie. Theft isn't infringement.
No doubt the pivots and acquisitions were how Facebook stayed on top. My point was that it doesn't matter which company wins.

All breaking up Facebook would do is start the process over. No healthy market equilibrium can form when the winners benefit from increasing returns.

If it wasn't Facebook abusing the system it would just be someone else. The Chinese software market ended up the same way the US market did. Very different legal systems, almost identical outcomes.

If we want to solve the problem for good we need to correct what is causing the monopolies to form and we need to counter the strategies that monopolists use to stay in power.

Using free and open source software platforms that are built on top of open protocols is the way to solve both problems.

Linux's monopoly in the server market and the Internet's open protocols have been effective at preventing corporate monopolies. We just need to copy these solutions and apply them to social networks, consumer operating systems, and cloud services.
Paging bemmu as he seems to be the one who built the website https://news.ycombinator.com/user?id=bemmu
Here's my concern with that approach.

It implies to me that the absence of an error is a success. In other words, if you don't find the HTML you're looking for that represents an error, then it's considered a success.

The problem is that at some point it's possible for the page to be redesigned (or the entire site) such that the HTML you're looking for that represents an error is no longer there for a legitimate error.

IOW, the tests are not future proof. But this is the general problem with looking at HTML, it's fragile.

That doesn't mean I don't see the need, I understand the goal, I just don't agree with this approach.

I think if it were me I'd do 1 of 2 things.

1. rely on HTTP codes (403 is a reasonable response for what you've described), or

2. rely on HTTP headers. And I would argue it's better to set them on success and consider it an error anytime the header is missing.

Obviously redesigns don't happen that often so it's not a super large issue, probably not worth rewriting anything but I do think if I were about to implement that functionality I would try and use HTTP codes or HTTP headers.
I get the implications. It's not that I'm indifferent to them, it's that I'm actively happy about them.

I hope every company that makes a living by trying to spy on me goes out of business.
Second what you said about Anthony Lane's book. He still produces reviews almost weekly for the New Yorker, and they're a masterclass in writing.
"Certain disciples of the new school, much occupying themselves with the measured dividing of the tempora, display their prolation in notes that are new to us, preferring to devise new methods of their own rather than to continue singing in the old way. Therefore the music of the Divine Office is disturbed with notes of these small values. Moreover, they hinder the melody with hockets, they deprave them with descants, and sometimes they pad them out with upper parts made out of secular songs. The result is that they often seem to be losing sight of the fundamental sources of our melodies in the Antiphoner and Gradual, and forget what it is that they are burying under their superstructures. They may become entirely ignorant of the ecclesiastical modes, which they have already ceased to distinguish and the limits of which they abuse in the prolixity of their notes. The modest rise and temperate descents of plainsong, by which the modes themselves are recognized, are entirely obscured. The voices move incessantly to and fro, intoxicating rather than soothing the ear, while the singers themselves try to convey the emotion of the music by their gestures. The consequence of all this is that devotion, the true aim of all worship, is neglected, and wantonness, which ought to be eschewed, increases."

- Pope John XXII, docta sanctorum patrum, ca. 1324
I see brutalism as a response to WW2. If your civilization had just gone through the worst war in history, you'd feel a lot more comfortable in a fortress-like building than in a glass skyscraper.
Didn't eBay execs gang stalk a journalist? I'm not saying your point is invalid and I'm not validating gp, but I'm sure evidential gang stalking can exist outside of delusion.
It has had a minimal impact on our dark skies in Colorado, but an impact nonetheless. In the past it was fun to spot satellites, and we'd usually go 10-15 minutes between seeing them, depending on the time. Now its rare to look up and not see something in motion.

Around the fire at our last camping trip a couple months back, we had a contest to see who could spot the most satellites concurrently, and the record got up to 3. They still aren't very bright (many stars are brighter), but with more Starlink launches, that count will surely increase.
> I guess I missed that! I mostly see a lot of mental gymnastics or denial in the form of believe in an after-life.

I guess I don’t see the big distinction between some science-fiction fantasy of living for a quadrillion years and disproving the second law of thermodynamics and just believing in an afterlife. The alternative to either approach is discussed in OP :)
There was a wave of Pirate Parties about a decade ago, but they never gained even as much traction as the Greens. Onerous enforcement of intellectual property is just one of the many issues we face with the Internet today, next to the colossal monopolization of social media platforms, internet service providers, and browser vendors. Not to mention severe invasions of privacy driven primarily by global imperialism (alphabet soup intelligence agencies) and surveillance capitalism (Facebook, Google, Twitter, Reddit et. all).

The Internet is undergoing the same process of enclosure and capital accumulation as the rest of the world we live in. This is the fate it is consigned to, as long as people are unwilling to question the economic assumptions we take for granted. All of these decisions which negatively impact the Internet are made for one of two reasons: Accumulating capital, or protecting capital that has already been accumulated. Therefore, a broad anti-capitalist front is the only way something in opposition to this will have any teeth.

There is simply no way for a political movement focused on a specific niche issue like like net neutrality or free exchange of information to stand on its own, or make the state face any consequences for malfeasance. For the same reason we don't have a significant political party of librarians, even though it would really kick ass if we did.
Nice! Too bad they don’t include Hungarian. I’d like to see if they included the name my Hungarian friends gave their daughter. They picked Edith/Edit. The Hungarian version is pronounced ED-eet, which is pretty different from EE-dith, but at least the spellings are close.
Another interesting one is iWork on the web, which is Objective-C compiled to WebAssembly.
1) Apple is not the only one
2) If you offer a legitimate business you don't have to fear anything
3) #BLM
Computing freedom is a hippie dream. The castle in the air of "open source" will come crashing down once courts and scholars realize that open source licenses are bare licenses under copyright law. As such, they a) are difficult to enforce; b) can be revoked at any time by the licensor, presenting considerable risk to anyone who uses software under such a license without having paid monetary consideration to the authors of such software.

Special circumstances applied in the Jacobsen v. Katzer and Artifex v. Hancom cases. The rulings in those cases do not generalize to open source licenses in general.

Even without that unfortunate legal wrinkle, the response by the industry has been to close down hardware platforms and transform their existing software into SaaS. In a few years, for instance, Macs will run only macOS -- enforced by hardware and the DMCA. I have no reason to believe PCs won't follow suit shortly thereafter.
> Extreme altitude also means there's less air to hold the plane up which seems to require a lot of power for level flight.

There is also less drag, and both lift and drag are calculated using the same formula: Cl * A * .5 * r * V^2

- Cl (Cx for drag, Cz for lift) is a coefficient depending on the wing shape, among other factors

- A is the area (thickness for drag, wing surface for lift)

- r is the air density

- V is velocity

If you divide the air density by 4 by going higher, you get the same lift and drag by going twice as fast. Which is great, and a good reason for fast planes to fly high.

The reason it is so great is that in order to fly level, lift cancel gravity and thrust cancel drag. Because by going higher, we managed to keep the same lift and drag with higher speed, it means we got faster using the same amount of thrust.

There are certainly complications somewhere. For example at supersonic speeds you get shock drag but suffice to say, high altitude is good for speed.

Still there is a good reason why planes don't just get higher to get speed for free. And that's because planes are not rocket powered. Air breathing engines lose efficiency the faster you get, they are also designed to operate at specific speed ranges.
Tesla Insider Works with FBI to Foil Russia’s $1MM Attempt to Hijack the Network
To what extent is this really "tracking"? Apple's ads are served only in a few of their own apps, like the App Store and News. They're only tracking you across their own services, no differently than Facebook or Google could do in iOS 14, right?
Hangovers, or alcohol? I find a glass in the evening to be like a second wind usually. It can put me in a relaxed, unstuck state. But I also generally stop right there, at a glass.
Early in my life I met a former nuclear physicist who had worked explicitly on nuclear counter-intelligence against the Russians during the cold war immediately post-WW2. The story was that he was being considered for a nomination but declined because publicizing who he was would've created a security issue.
Ask HN: So how bout those Donald trump YouTube ads?
Why does alphabet choose to run them, plastered over the front page of youtube?
You're twisting the argument. Pirates aren't copying content in a sealed room, they are distributing it to people for free. If you kept making copies of Harry Potter and gave it to anyone for free, it's not delusional to argue that JK Rowling would be far poorer than she is now. Harry Potter is an exceptionally popular product so the reduced revenue may still be enough for JK Rowling, but less popular and more niche content may not work out well enough for their content creators.
> I can’t imagine people will start paying for email, search, music streaming...

There's absolutely now reason why these services can't all fit in a 5-10$/month allowance. E-mail is already ~2$/month with Office 365, and if everyone starts paying economies of scale would make even cheaper plans profitable.

Some of these services can just as well be provided by the ISP, like e-mail was back in the days. A lot of ISPs are indeed scum but there isn't technically anything forcing the users to use them (you can pay for a third-party) and I think the move away from e-mail being centralized around a few giants like Google (GMail), Microsoft (Outlook), etc would be a good thing.
The job of a certificate authority is to verify an identity, not to vet that the holder is using the certificate only for good.

As long as the CAs do that job (which is a separate issue), it's fine if John Doe can get 50 different CAs to certify that he is, indeed, John Doe.
Most of your examples are designed to prevent unqualified people from hurting others, the main exception being the regulated drugs one.

This raises the question of whether a similar system could exist for investments. Do you think there could be a "prescription" investment where you'd need a sign-off from someone with certain qualifications who'd consider your financial position and what you were planning to do?
Nice tool. We had a struggle with this too. When we solved it we added a layer of abstraction to what this tool does so now our kids names are the same but different in both languages. Native in both and staying with tradition. It worked out much better than I thought possible.
Why not at least link to the virustotal listing for said file? Perhaps someone else has it from the hash?

I doubt the CA would lie about the existence of such a file, although perhaps they are mistaken about the signature (it could be a case of a 570 MB file concatenated with a legitimately signed winrar executable - signatures don't always cover all parts of the file)