skysight-inc/HackerNews huggingface dataset:
How much simpler would OCaml or Standard ML be if there were no type inference? I'm perfectly happy to never use type inference (maybe only for local variables).

It feels like people get distracted by H-M inference and forget that there's a pretty nice high level language in SML or OCaml anyway (although I'd rather have modular implicits).

Am I wrong in thinking implementation would be much simpler without type inference?
Yeah, that's because LRIT (long range information transponder) is always a paid subscription, while AIS is free. Something to do with security.

Evohe looks great! If they're ever looking for crew, let me know. If you've got any questions about Mercy Ships, feel free to ask - I'm sockysock79 at gmail dot com

I can't get home to NZ 'til the borders reopen, so I'm volunteering on a ship in the meantime. I'll touch base next time I'm in Dunedin :)
Devs and engineers are good at learning and using complicated tools to do complicated things. The general public is less willing to put in a lot of work or research alternative software that would be good enough.
So Rackspace(RAX) went public in August 2008 and then when they could no longer compete against AWS and Google in the cloud provider space they spent years seeking someone to acquire them, which Apollo Global Management did in 2016 for $32.00 a share and took them private[1]. They then laid off a substantial portion of their workforce and decided to become an IT shop to provide support for customers who are using the cloud providers that put them out of business. And now their re-listing for $12.00 a share?

Why would anybody buy this? What is the play here? Is Apollo somehow making out here?

[1] https://www.rackspace.com/newsroom/affiliates-of-funds-affil...
Can't speak for the UK but Tokyo seemed to do pretty well with privatized subways: https://www.bloomberg.com/news/articles/2011-10-31/why-tokyo...

Singapore has a pretty good quasi-public-but-transparent-and-subsidized healthcare system: https://www.vox.com/policy-and-politics/2017/4/25/15356118/s...

I think the jury's still out on if privatization is the primary factor for success or failure or if other complex factors determine the success/failure of these programs (I would guess the later).
Might I suggest looking into Hugo.
Man, people are really concerned that their freedom to be dicks to other people is going to be infringed.
Definitely. In environments where there's clearly a form of competition (most business environments), brainstorming often turns into a silly exercise of ego and political play more than a judgement free arena to generate ideas and offer true constructive criticism.

If you're in a business environment where you have a team where everyone isn't trying to make sure they have an opportunity to get paid more than you, receive a promotion before you, have their idea "win" for RDD, or have more job security when resourcss are tight, then count your blessings.

I've worked in these environments and you can truly innovate, it's marvelous and fun even if the work is challenging. It requires teams who are understanding of one another, have humility, and are shielded by some manager or business policy who/that allows for this sort of dynamic. It's pretty rare, unfortunately.
Extra pressure on the LCD cover glass.

On my MBA there's a small metal lip around the lid and the LCD is recessed into that. Something thicker than the lip sitting on the glass would negate the relief the lip provides.
The government shut its doors involuntarily - essentially blocking the revenue (donations) received. The government should have to provide compensation for 'taking away' the ability to minister to people and receive donations, according to the 5th amendment of the Constitution.
Isn't this just an extension of one of those dumb brainteasers people sometimes ask in interview questions? (You have N rats and K vials, P of which contain poison. Can you determine which vials contain poison?)
I'm not clear what you're describing with "flexbox scrolling"?

My reasoning is that I want to prevent elements from overlapping and obscuring important information. CSS is generally designed to avoid that, which is what the "CSS is awesome" memes like to illustrate.
Kernel is building a neurome – quantified cognition, emotion, and behavior
Graz is far more beautiful than Vienna. Also, most Austrians despise Vienna's arrogance, intrigance and dirtyness. But foreigners do love Vienna.
If you are interested in this subject, I highly recommend checking out Joel Salatin and Polyface Farm. They are doing amazing work.
http://www.polyfacefarms.com/
https://vimeo.com/125404937
An initiative worth looking at :

The Complete What, Why & How of Agroforestry

https://isha.sadhguru.org/us/en/blog/article/complete-what-w...
Probably a simliar reason as why I won't normally give an up-front price when doing contracting work.

For better, or for worse, "enterprise" folk are trying to sell "solutions" and not services. This usually works out well for them, because the people who they're selling to don't usually understand the technical minutae, and will often get the details wrong or incomplete.
I agree that online bullying of individuals is bad.
Does 'value' mean what people would pay for the thing? They paid lots for those 'fake' paintings. Ergo, they had value. The value was destroyed by looking a little too carefully at their provenance.

I simply observe that the value was destroyed not by the artist that created them, but by the investigator. That much seems obvious.

But whom to blame? That's a human moral issue. I suggest we could reasonably blame the investigator.
A similar relationship exists in the US between ease of getting loans for college and houses and the price of colleges and houses. I don't know if causation is fully established but they do tend to go up together.
There is a significant difference between a person deciding to not buy a product or listen to a show than an outrage mob trying to get amazon to not sell a product at all or a network to cancel a show.
I agree with this, also based on my experience working at an ad agency. Particularly the part about team members with different expertise finding better ideas and execution strategies.

I'll buy that on average, brainstorming is an inefficient way to improve the quality of a product, especially if all members of the team are reasonably knowledgeable about the subject. But as the article mentions, that's often not the case.

It may not always or even often result in a better product, but there's definitely value in finding those outlier projects where you can save time and money with an approach that would be obvious to someone with more familiarity with the subject. It's hard to know if this is the case beforehand, so it may be a sensible default to hold a short brainstorming session for any project so your team at least has the opportunity to identify areas for improvement.

Edit: formatting
It seems fishy to me as well knowing that most farmers operate at a loss each year. Whatever profit a system like this might generate would have to be enough to offset those losses whilst still providing enough to keep the farmers happy along with the investors?? Seems pretty damn unlikely that this "agroforestry" is capable of doing that.
If I saw a poop badge on anything, I would assume that it's a pile of crap that's not worth my time
Was Damore a bigger guy?
Can you check the top paid news chart now? Thanks to the HN support we are back up to #8! I'd be curious to see if it is at #8 for other people as well.
Genuinely curious, what is "oppressive puritanism"? For example, would you add this to your repo if you decide you won't change of a product like Rubocop to remove references to "cop", because:

> Apologize or give penance for perceived moral transgressions, especially those involving nothing more than words.

https://github.com/rubocop-hq/rubocop/issues/8091
> inaccurate claims

What is inaccurate about the claims. The English are an ethnic minority in London. That is a fact. You can say oh Englishness isn't the same as the Ethnic English, but to do that you are stripping English people of their ethnic identity and their culture.

> nobody says he shouldn't have the right to make such claims

Yes, please do believe that. Lots of them. It may shock you but in much of the world there isn't free speech. Imagine that. Do you think in China you can go around criticizing the government?

> people have less tolerance for such inaccurate and unfunny claims and will call him to task for such nonsense is a bit silly

No, they are claiming the speech itself is unsafe and trying to cancel people. There is a huge difference which you don't seem to get. And it's not silly. It's primarily about intimidation and fear that if you say the wrong thing you will lose your job, get cancelled, ect. Tolerance to intolerance is not tolerance.

I sometimes wonder, do people who think like you actually know how many people died in the so called "cultural revolutions" around the world (such as in China and Russia) which happened during just the last century. It's in the tens of millions. Intellectuals and dissidents rounded up to be killed or put in gulags. People forced to pledge loyalty to causes and leaders and to be re-educated.

The cultural revolution leaders in our country have already started to get rid of any kind of meritocracy (racist tests they claim). UC schools functionally banned the tests just recently. My brother was telling me that UCSF med school removed standardized testing from its admissions and in one year the Asian population went from 60% to 20%. Across academia now your ability to get in will be based on your ability to show how you contribute to the goal of diversity (via skin pigmentation of course).

But I guess to some it's all silly.
This is great if you hate virtue signaling so much that you want to virtue signal about it.
Amen. If you're not paying me to be on-call, I'm not putting any work info on my phone. Whatever's going on can wait until 9 tomorrow morning.
Because from an enterprise point of view they want to negotiate and arm twist vendors. Large players can and do use their weight to get pretty hefty discounts.
In regards to naming, why not call it "LibreOffice Community Edition" instead of "Personal"?
I'm starting to understand why HMTI, and OCaml/Haskell et. al., struggle from such obscurity despite its fanboys swearing by it. The problem is that it's a crap technology in both easy mode and hard mode.

- easy mode: beginners just want to learn how to program as quickly as possible, something like python is fantastic for that. And the side-benefit, you can do amazing stuff with it, like bypass whole of symbolic AI of 80s and 90s (including HMTI, OCaml/Haskell) and go straight to deep learning, BERT, GPT what not.

- hard mode: mathematicians would love a helpful computing system that'll make them more productive mathematicians. When they attempt to explore stuff like Coq, and HoTT etc, the first thing that's thrown at their face is that they have to give up law of excluded middle, non-constructive logic and what not. I'm sorry but the tail does not wag the dog. If your theorem assistants and checkers require the mathematicians to turn their world upside down, most won't give a rat's ass about what you have to say about propositions-as-types and programs-as-proofs.

There is a medium mode, or shall we say mediocre mode, whereby you fall in love with type-theory and type-based languages, you want to live in your own bubble and not be bothered by what's happening in the outside world. And that's were the users of these systems live.
You've lost me. I was aware of both those definitions, and used them as I intended, I believe?
Oh, its the tool issue. Its reasonable to value a tool for its inherent usefulness - that's intrinsic to the tool. Extrinsic value is just the market value. That one seems clearer.

Anyway I imagine the intrinsic value of a piece of art is, the joy it gives in interacting with it. Kind of the entire point of art after all. And notice, nothing in that about "who made it".
If the camera cover is too thick it's very easy to crack the display itself by closing the lid too quickly
This is the kind of libertarian drivel I thought would be out of fashion by now. This isn't the naive early 2000s internet anymore. In the real world labor markets are not perfectly competitive, from non-compete clauses, to no-poaching agreements, to skillset mismatches, to a dozen other major factors increasing employer market power.
You can get it to infer the sum type by giving tags to your values with backticks, like `A 1.23 and `B "foo". This will be inferred as "`A of int | `B of string" without you having to declare any type. Without those tags, the system assumes you have made a mistake in returning values of separate types. If it didn't do that, you would not get type errors in many/most (all?) of the situations where you want the type system to help by indicating the inconsistency to you.
With all these clever people coming up with products to solve problems only to have it not sell well makes me think the best idea is to just open a bodega or dry cleaners or something.
Just a few days ago, TikTok was banned in India (a huge emerging market). I’d say it’s imploding.
After reading this help article by Apple I will sell all my Apple devices and never buy anything again from them.

This post by Apple is confirmation to me that they were spying though the camera. In recent years I have seen more and more people do this with nearly every single Mac owner I know doing this (and that's a lot of people). I don't think it's Apple conducting the espionage but rather LEAs of totalitarian undemocratic country (US, China) performing economical espionage.

It makes sense that Germany is the country that is by far most affected by industrial and economical espionage. And it makes sense that nearly all of the spying is conducted by the US and Chins whether it be industrial economical scientifical or political.
Boundaries should always have constant slopes. The best example I'm familiar with is the benefits that kick in for a US employee who works full time. This results in companies doing a number of actions to get their workers to work near enough to full time without crossing that line. 11 people working 36.5 is much cheaper than 10 working 40.

If the law instead was sloped, offering a partial benefit equal to hours/40, this wouldn't happen. (To avoid creating an incentive for mass overtime, the law would allow for over 100% benefits.)
This comment offends me. I suggest you delete it. If you disagree, then I think you might support people's "power to be dicks"?
> I was able to spectate active looting in my own city's downtown when the protests first came to us via various livestreaming instagrammers and while it was mostly a curiosity for me I imagine it would have been useful to a dispatcher who had to decide where to send officers

We all watched the same thing in our cities. And we watched as the police chose to launch projectiles into crowds of protestors instead of doing anything about the smashing and looting.

On the first night of large protests (May 29), I found myself in my city of Portland, OR, on SW 3rd and Yamhill. On one side of me (to the East), where a small group of matching black-clad people had gone, were the unambiguous sounds of windows being smashed and building alarms going off. In other directions, especially South and West, there were huge groups of protestors, simply occupying the area.

The police engaged, without a single exception that came to my awareness, in the latter group, breaking them up into smaller and smaller contingents as the night went on, while doing nothing about the much smaller group going around smashing.

I described my experience in detail the following morning.[0]

The same story has emerged from streamed video throughout the USA.

So I don't think there's any evidence at this time that the police view stopping rioting or "active looting" as a goal.

0: https://www.reddit.com/r/Portland/comments/gtj1zm/what_i_saw...
Canoo's rentable electric cars could be the Netflix of EVs
npx seems to be resolving dependencies for 10 seconds at every single launch; that's pretty annoying. Is there a way to turn that off?

Apart from that, I like the idea! I'd say this has a lot of promise, and as a frequent user of wttr.in, I could see myself use something like that.

Are the total cases, deaths, recoveries something people actively look at, though? I find it really hard to derive insight from them, it feels like there is a lot more value in measures of change of those numbers over time, as with Covid19, the really big danger lies in spread getting out of control. Maybe there could be some sparklines, using something like this [0] maybe?

Also, I'd really like to see an easy way to filter the list of countries (I could grep, but that would wreck the presentation I guess) – actually, being able to get raw values for, say, total cases in Germany, like via command line arguments, that might be handy for use in scripts.

[0] https://github.com/holman/spark
I despise racial discrimination in all its forms, and the Dutch.
Don't take my word for it but I don't think you can implicitly unify[0] two base type in HM.

https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/le...
LibreOffice Base is an Access-type program
Yeah, this is either terrible marketing by people that support standing up to the mob; Or brillant marketing by the mob to get their opposition to label themselves as POOP.
MacBook Pro screens have gotten cracked due to camera covers: https://www.macrumors.com/2020/07/10/apple-macbook-camera-co...
The first novel that I'm aware of is Apuleius' "The Golden Ass"[1], which was written in the 2nd Century AD.

It's highly entertaining, and sounded very modern to my ear.

When I read of the novel form being invented more than a thousand years later I'm at a loss as to whether the people who claim that are simply ignorant of Apuleius' work or if I'm missing something.

[1] - https://en.wikipedia.org/wiki/Golden_Ass
The nut industry around Sacramento is a true tragedy of the commons.

Billions of wallstreet speculative dollars to pump water out of the ground as fast as possible.

No one wins, but a percentage gain on a balance sheet.
Thought Transformation of Uyghurs
Yes, there is some guy on Twitter, who recently grew his followers (like 100x) now he sells courses on how to grow your Twitter audience
Ask HN: Reasonable terms for spin-off startup
Hi,

I am currently building a MVP for my employer. If this product is successful, the plan might be to spin off a new company that would develop and sell this product from then on. My hope is that I would take over the lead of this company. What would be reasonable terms regarding equity, voting rights for me? I did all the early research and am leading all the efforts regarding the MVP. My employer paid all the expenses so far and employed me with the goal to work on innovative product. Any resources on how I could go about figuring this out would be appreciated.
It's like the halting problem. It's hard to decide whether a given switch works in the general case. But it's possible to design an obviously correct breaker.

Edit: the gnarly thing might be ensuring it doesn't harvest power through data wires or store power in covert capacitors or batteries.
That looks like the exact kind of scenario POOP is talking about.
The very way that value is looked at by most people is incorrect and it shows. Not just through rates of bankruptcy and overspending even when circumstances are clearly far outliers in their favor.

There are a lot of old myths believed on a deep level like the idea of a universal fair price, fair profit margin, and zero sum benefit from trades where if anyone is making a profit it must be doing so at somebody's expense. All of them are wrong.

If operating under those fallacious zero sum models companies always look parasitic if they survive, regardless of what they contributed and what would or wouldn't have occurred in their absense.
You're going to have to spell this one out for me. To my (admittedly poor) judgment, the above comment does not violate the guidelines. I provide relevant examples of behavior that reasonable people would consider far worse than hacking some rich dude's iPhone.
I was with you up until here.
Are you claiming that France does not have progressive income tax rates? This is certainly not the case. France has both a higher average tax wedge, as well as proportionally higher tx for high incomes.

French income tax maxes out at 45% on income above €157,807, while US federal income tax maxes out at 37% above $518,401
>They have a music streaming service that makes sense. They're a major player in the podcast space. They've long sold digital music, TV, and movies.

The transition from a music store to a music streaming platform made sense. "Hey, you know the music that you could have bought so far? Well, now you can stream it."

Not so much for the movie/TV show business. "Hey, you know the TV shows and movies you could rent and buy? Well, fuck those, we have ten original titles that you should watch instead."

Apple TV+ doesn't feel like it builds on top of the experience and connections made with the movie/TV show renting/selling business. I just opened up the Apple TV application on my iPhone and the What to Watch list is rather sad. First one is USS Greyhound, which might actually be a decent watch. Next one is "Greatness Code", doesn't really look like my cup of tea, but probably it's probably not crap. In third there's "The Gentlemen" - oops, only available for purchase at 13.99 euro!
As opposed to a virtual token?
One Straw Revolution changed my life. It inspired me to learn permaculture first hand. It's such an enjoyable book to read
>>> you don't believe that they are internment camps

> I don't

Why not? They're officially intended to hold and re-educate violent terrorists and extremists who have been determined to be a danger to society, among other groups. http://www.xinhuanet.com/politics/2019-03/18/c_1124247196.ht... (Search for 社会危险.) Of course they're internment camps.

> muslim majority countries all over the world including UAE, Eritrea, Sudan, Pakistan, and Algeria, among others

Think that interning Muslims in camps is perfectly justified by the "war on terror", and they're doing it quite often themselves. Of course they're not bothered when China does it.
Do you have any suggestions for guitar lesson sites?
Ask HN: How do you push config to microservices
Let's say you have dozens of microservices that live in their own code repositories with config to deploy them to something like AWS. how do you manage boilerplate updates to all of them?

Current process is a template repository that gets checked out for new services, however updates to config are made manually to each repo, or copy/pasting boilerplate (which can create havoc if there's an error in the copy/paste)
Show HN: How to Deploy a State-of-the-Art PyTorch Model to iOS via Core ML
Wuhan tested in batches of 10.
If you've got an iPad and don't mind dropping $150/yr, Simply Piano is pretty damn great. Strong focus on playing recognizable music, which helps keep interest up. No affiliation, just very happy with it. Nb as you get farther along you'll want a MIDI-out-capable digital piano because the (surprisingly good) microphone-based input can't keep up with more than ~3 notes played at once.
Doesn't matter.

For many people the trust in integrated laptop cameras has been thoroughly eroded especially in case of Macs. (From my experience by interacting with people not having much tech experience, limited to Germany, maybe also limited to the social cycle(s) I interacted with.)

The paradox thing is that the same people who often don't trust webcams in Apple Laptops or Apple All-In-One PCs do not bother or even think about weather or not the camera in their iPhone could spy on them or weather or not they microphone in webcams could still spy one them...