skysight-inc/HackerNews huggingface dataset:
One of the reasons is that the driver also doubles as emergency person. With autonomous systems one has to have staff ready to reach each section of the tracks quickly to lead evacuation from a tunnel in case of fire etc. A driver is trained to do so.
Hard to continue reading an article starting with "Steep transaction fees" when fees are at historic lows...
Homebrew “python” formula migrates to Python3
All of them? There is a billion+ of them and they all agree?
Leader of the opposition literally saying "I'm not calling for the slaughter of white people.....yet" to the thunderous applause from his audience is most definitely a reason to be worried about the future.
Hayek was practically senile by 1973. It does not make sense to critique the legacy of someone who is mostly known for his work in the 1920s-40s with some of his more outlandish ideas many decades later.
I think its that console browser are more powerful now and can run standard websites now.
I just watched the video on Amazon for that, and I really like it. Thank you for the suggestion.
10000 casualities is the worst estimation around. Not saying it's false, it's just an estimation. Red Cross estimated ~2500 deceased while Chinese government numbers were below 1000.

The number of injuried people was very high also. And the arrests afterwards were numerous, too.
Why Our Postwar “Long Peace” Is Fragile
SAP is just as bad - at my last place there was a member of staff who worked 4 days a week - SAP could never get the rounding on their annual leave correct, often leaving them with 0.999 or 0.499 days left that they couldn't book. We had to just record it manually.
Better link with discussion of PR would be — https://github.com/Homebrew/homebrew-core/pull/24604
I’m assuming you can’t just look at the active process because the game might be in the foreground but the user is in a lobby. I would look at the bandwidth profile of the game over 30 second windows. I bet it looks way different while playing a game vs. sitting in the lobby, and you can watch the traffic without modifying the binary of the game (at least, you can watch the relative volume of traffic, and the IP addresses it interacts with).
This has always been the case to an extent - see the Esterhazy's patronage of Haydn and the Prince of Salzburg's sponsorship of Mozart.

The exception is the 20th century when the Soviet system pushed art as something for the people [though the incentives on who was sponsored was again skewed at the top], and the various publicly funded arts programs in Western Europe - driven by social democratic ideals.
New insight into nanopatterning diamond
> Universes in type theory correspond to inaccessible cardinals/Grothendieck universes in ZFC or object classifiers in elementary toposes, at least informally (I doubt there is published work here).

There is quite a bit of published work. For the connection between CZF and type theory (choice and excluded middle are orthogonal on both sides) see Benjamin Werner "Sets in types, types in sets" and Bruno Barras' (still unpublished but available) habilitation thesis. There is more work here, but the equivalence between universes in type theory and universes in set theory should be clear from these references.

As for the "equivalence" between object classifiers in Topoi and universes in type theory, which definition of object classifier are you referring to? There is a notion of universe in a (pre-)sheaf topos and indeed such universes can model universes in type theory. See the work by Hofmann, Streicher, and many others.

On the other hand, the "internal" definition of an object classifier in a topos is a higher-categorical concept. The statement that a universe is an object classifier is equivalent to the statement that a universe is univalent in type theory.

> It still boggles my mind why type theorists think that "function extensionality" and quotients, two entirely 1-categorical concepts, are best treated using homotopy coherent diagrams. And it is unclear since when proving theorems in less generality (because additional axioms are assumed) is considered progress.

To be clear, one can treat 1-categorical extensionality principles in an extensional type theory, see for example observational type theory which has functional and propositional extensionality as well as quotient types without compromising the computational character of type theory.

As for your question, think of it like this: You can easily treat 1-categorical concepts within an infinity-topos, but the other way around is very complicated and involves quite some encoding overhead. If you are in homotopy type theory you can model ordinary extensional type theory (with some caveats about the universes) by restricting yourself to working with sets. The other way around is, again, just as crazy as in set theory.

And progress in type theory and logic is not about proving things with less assumptions - you may have been thinking of reverse mathematics. Homotopy type theory is considered progress since it fully explains the behavior of intentional identity types, which already existed in traditional Martin-Löf type theory.
I'm right below the cusp where I think it will be more efficient to learn Latex.
Sellfy: An Ecommerce Platform to Sell Digital Downloads
Maybe I misunderstand you here, but

- Slavery was the norm before western countries got involved with it as well.

- Democracy didn't exist when the west was also active in the slavery market. I do not know too much about the US though.
I would consider the actions of Xi Jingping to be reviving the communist ideology in China. Certain moreso than under Deng Xiaoping
I think you misunderstood him: HE well be right in 2020, not his liberal friends, because there will be no democratization. That's his entire point: Capitalism has gotten a divorce from Democracy.
A sort of naive liberal narcissism. Or happy go lucky. If I'm nice then everyone else will be nice. And I'll take that smile at face value. Alas, the world's a big place.
Are you seriously trying to suggest that Chinese firms don't have their own racial taboos? Or gender issues? That directly contradicts every experience I've had or report I've heard. Aren't their crimes self-policing too?
Show HN: Add your HN comments to your GitHub contribution graph
The Future of Data Security Should Be in Your Hands
Podman – a tool to manage Pods, Containers without a daemon
The negative externalities here are (nonexhaustive)

* tax evasion (kindly fuck of with "it's legal so it's avoidance", it's evasion even if it's legal. Spirit of the law)

* money laundering for $CRIME_YOU_DESPISE/$DICTATOR_YOU_DESPISE

* shutting down/perverting the market for those that actually care about art (not me, but they
Nerdalize (nerdalize.com) | Delft, Netherlands | Onsite

Nerdalize is on a bold journey to turn the world into a huge sustainable data center by heating houses with our cloud servers. To make this happen, we need great people.

When you think of cloud you don’t think of the weather forecast but of price/performance, deployment, hybrid cloud, Docker orchestration and what amazing technologies the future will bring? Do you want to be part of revolutionizing the cloud? Then you might just be the rock star we are looking for!

Do you want to work with young, ambitious colleagues and together create real impact on the world? Then join Nerdalize and work from our office in Delft by contacting Thirza (people@nerdalize.com). Send your resume, links of work and a nice letter. We would love to hear from you: http://careers.nerdalize.com/
The ones that don't can't very well speak up, so people will keep claiming this.

Anyways, the amount of people who accept something doesn't change my judgement of the thing they accept, the quality of the thing they accept changes my judgement of those who accept it.
> Heck, Hayek, for one, a champion of capitalism, was in bed with Pinochet.

Where? Hayek said basically that there was more freedom under Pinochet than under Allende, which is not the same thing as being a supporter of Pinochet.

> Hayek: More recently I have not been able to find a single person even in much maligned Chile who did not agree that personal freedom was much greater under Pinochet than it had been under Allende.
Has anyone here recommendations for research papers on how advertisement works in practice? And how it affects different people?

While the argument used in the article (“you've seen it a lot = you'll buy it”) seems reasonable, it also hides many factors (I'm not gonna buy a new car if I don't know how to drive, even if I see ads for cars every day).
Cops using decoy to catch shooting at Apple and Google employee shuttles
For those who missed it there was a pretty good article/discussion here a few weeks ago about how the art market is systematically manipulated for profit, and nobody wants to fix it: https://news.ycombinator.com/item?id=16200100
The technical problem with Logan Paul
I'm talking about the scandal of the iPhone 4, which didn't have a fingerprint sensor. They just made an update, and the button started to act out, randomly. Community found out it was a software bug, while Apple said it was a hardware bug and recommended an update.

It was only a few years ago. It was so common that you could see a lot of friends using the "AssistiveTouch" to get around it.

It's crazy you already forgot that.

It makes me so mad.

Companies can literally get away with anything as long as they have good PR. For god sake it was on every single tech site at the time, and you already forgot that ?

This is excruciating to read.

I feel so hopeless.
The most expensive postage stamp was sold for more than 2 millions, and initially was worth a few cents. Antique items are also usually ridiculously expensive compared to the initial value. Even old legos are being sold for thousands of dollars. That's what collectors due, overpay for rare or otherwise "special" items, and of course, when there's money in the market there will be people turning it into a business. Art is just one (very lucrative) piece of that cake.
Capitalism is such a tricky word to use.

On one hand, we have Marx' definition, characteristics of an economy and polity: urbanism, bourgeois elites, private property, wage labour. It was good foresight. The world he described di more or less come about. More than at any other time we work in companies, for wages, in cities. Most of the important property is privately owned.

On the other hand, we have anglo-american ideological "capitalism." It's a variant of liberalism. The emphasis is on free markets, and a confidence that these produce an efficient self organizing market. But, the ideals (at least of the philosophers they refer to) are a little bit of awkward fit in 20th & 21st century settings, where the economy is made up of massive companies.

Adam Smith, the American founders, Locke, Hume... and others that form the basis of ideological capitalism... they idealized independent people, usually farmers. Entrepreneurs, maybe 10 person tin factories. Facebook or Unilever... Idk if an economy of mostly these is all that capitalist, by the proponents' definition.

Anyway, I think the ideological lens (neoliberalism, asian-capitalism) might be more obscuring than clarifying. In practice, the economic systems are the same. The ideological differences between the US & China do not impact the stucture of the economies more than (for example) geography or local cultural norms do. The Soviet centralised economies were different, but I'm not really sure how related that is to ideological communism. It's just what they did when all those commune projects failed.

..The actual differences are more in the legal systems and the political norms (which in China are still extremely strict). Here I think we agree.
The general mix has some potential for compression.

Looking at one machine available:

* / has 2.08 compression ratio,

* /var/cache 2.15

* /var/tmp 1.0

* /home 1.02

* /srv 1.10 (few web apps, pgsql instance for these web apps, svn repo, samba shares, local prometheus store).

If your server uses spinning rust, you can also increase the I/O by using compression. You are trading the CPU time for I/O bandwidth. Depending on your workload, it may be a sensible trade-off.
The current scientific consensus seems to be that if you add together effects from malnutrition and parasite load, especially during prenatal and natal periods, the remaining differences are very small. Malnutrition compromises immune system and leads to increasing parasite load so these two are connected.

Race and IQ hypothesis theory has correct observation that some areas in Africa have very low average intelligence. What they didn't take into account was that IQ distribution was skewed and it's not normally distributed. There are too many very IQ people for the reasons mentioned before.

Even after natal phase, it's possible to improve the IQ of children by supplying them nutrition and deworming them.

Decreased Parasite Load and Improved Cognitive Outcomes Caused by Deworming and Consumption of Multi-Micronutrient Fortified Biscuits in Rural Vietnamese Schoolchildren https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3144834/
That sounds dubious that he was senile in 1973 when he wrote this in 1980:

> Well, I would say that, as long-term institutions, I am totally against dictatorships. But a dictatorship may be a necessary system for a transitional period. At times it is necessary for a country to have, for a time, some form or other of dictatorial power. As you will understand, it is possible for a dictator to govern in a liberal way. And it is also possible for a democracy to govern with a total lack of liberalism. Personally I prefer a liberal dictator to democratic government lacking liberalism. My personal impression — and this is valid for South America — is that in Chile, for example, we will witness a transition from a dictatorial government to a liberal government. And during this transition it may be necessary to maintain certain dictatorial powers, not as something permanent, but as a temporary arrangement.
I’d rather have them spend their money on advancing mankind, rather than on the intellectual masturbation (and/o money laundering) that is modern art.
>and upload each of those chunks to S3 in parallel, using no more than N worker threads

Do you use a crate like Rayon for this? I'm just starting with Rust, and my current understanding is that without using a library, one can only spawn threads and distribute load by hand (as opposed to automatic scheduling a-la OpenMP). Is this correct?
This is a horrible and expensive healthcare system for any society.
> Capitalism is the ability of freely trade private property, among other things.

Wrong. Capitalism is about maximizing profits and accumulation of wealth. Free markets are essentially a very hostile environment to that. As soon as big players emerge in a field they will root for protectionism. Less competition leads to more profit. Free markets are something completely different.
China's economic success began with the transition to market economy, not the other way around.

Edit: Also, China is a very capitalist country compared with, say, EU.
This is what got me a proper intuition for why a blockchain can be useful.
What many people is this thread don't realize is that nuclear is by far the cleanest form of energy for the environment. It has no intermittancy problems like Wind and Solar. The process of building nuclear is extremely clean compared to building wind turbines and solar panels which devastate the environment due to the rare metals needed and production process.

Its also vastly friendlier for humans and animals. The number of deaths due to meltdowns, and accidents in nuclear palls in comparison to all those occuring due to wind turbines and solar.

If you're an environmentalist it behooves you to honestly look at the research and data that has accumulated over the past 40 years on this topic.
Java can, but Swift cannot, mostly due to issues of how to bridge C++ concepts such as templates, assignment semantics, etc. to the type system.
> I imagine that even the most racist HR person in the world would know to show more discretion

Only cause you mentioned "world", its pretty common for only women, or even women who have taken breaks to raise a child to be eligible for many jobs in India, including at companies considered "Big4" like Microsoft.

There is also a suspension of the right to equality in favour of certain castes, and 50-70% of govt jobs and govt college seats can only be occupied by people from these castes.
>well I tried but they dont have samples so I gave up, no point in spending hours in reading docs and setting up something for a build system that may be useless. It also seemed suspiciously identical to bazel with really no features that may be special in any way? I mean really, why use this and not just bazel. The webpage doesnt even say

I agree with this guy. It shouldn't be that hard to include an example of an advanced script.

https://www.gnu.org/software/make/manual/make.html#toc-Compl...
Book Taxi Online – UK
>it also hides many factors (I'm not gonna buy a new car if I don't know how to drive, even if I see ads for cars every day).

Well, that's kinda obvious. It works in making you more prone to go for a brand/product. It doesn't miraculously make you buy it every time.

That said, after having seen enough ads of happy people in cars, and more car ads, and yet more car ads, more people would be entertaining the idea "perhaps it's time to learn how to drive and buy a car" than before.
> Not having had their infrastructure destroyed by outside forces,

Different Islamic sects don't get along so well either.
Great! You can refer this one if you need any tech support https://bookdown.org/yihui/blogdown/
Hypocrisy. The west does not welcome China to make it become a democratic society. The West welcome because of its cheap workforce.
Sortix: small self-hosting OS aiming to be a clean, modern Posix implementation
>supported languages include C, C++, D, Fortran, Java, Rust

So it isn't general purpose?
> and expecting a good wage

Wait, you added that part just now.

I don't see why you couldn't drive a taxi for a living (though I don't know if that is all that was meant by "career"), but taking for granted that you will be paid well seems off.
These guys tried it out, I'll leave the interpretation of the conclusion to the reader

http://blog.interviewing.io/we-built-voice-modulation-to-mas...

(yes, its inconclusive, but)

> for technical ability, it appeared that men who were modulated to sound like women did a bit better than unmodulated men and that women who were modulated to sound like men did a bit worse than unmodulated women. Though these trends weren’t statistically significant, I am mentioning them because they were unexpected and definitely something to watch for as we collect more data.
What I don't understand is why someone would go to the problems of essentially spending a lot of time breaking their Firefox installation instead of using Tor directly when they care about privacy. Most of the tweaks boil down to turning Firefox defaults into Tor defaults, but without the benefit of actual anonymity, unless you're going to go ahead and install and trust the VPN provider which you also need.

The majority of these settings aren't the default because they cause significant site breakage (uBlock is maybe the exception). If they could have been enabled by default, they would have. Mozilla has been taking gradual steps in that direction, and backed off/reverted a few times when too much stuff broke.

Use Tor Browser. If a site breaks, at least you'll know why, and you have the choice of whether it warrants lowering your privacy.
Why are the examples in some horrible slide set instead of just on the website?
Or, to translate all that to HN-speak -- learn an industry, network, do marketing, and cultivate a brand, until some day down the road, your product becomes big, and all your backers take the lion's share of the exit.

How is all that any different than what the rest of us do to grow our business? Seems to me like the process of building a business doesn't differ by industry as much as people might think.

Now, if we think that art SHOULD be different, that is a completely valid (and possibly more interesting) question.
>it only controls requests within the webpage, so doesn't have access to it many requests the browser will make outside of that scope.

You also have the "behind the scene" settings:

https://github.com/gorhill/uBlock/wiki/Behind-the-scene-netw...

That's for uBlock Origin but I seem to recall it works similarly in uMatrix (can't check now).
Pi Zero GPIO expander tutorial
> Disagree, the reason why it is so popular is because of its slick UI.

I think you misunderstood my comment as being negative. I like TUI's, but it's a UI from 1990's, and the resource requirements for rendering such a UI has not increased since the 90's.

> Disagree. Did you read the other comments? An IRC client is not the same as a SaaS chat service that keeps history, video chat, infinite scroll, allows communication to happen even if a user is not online, etc.

You are missing the point entirely here. First of all, I am not saying that Slack should go away because it doesn't do more than IRC. I am, however, saying that I expect similar resource consumption.

But to tear the idea of there being a difference apart:

"SaaS" is irrelevant. It does not affect features, and Slack is just as much a service as freenode is. No difference there.

This client does not provide video chat, so that's irrelevant.

This leaves us with "history" ("infinite scroll" is just a UX decision) and "allow communication to happen even if the user is not online".

Communication to happen while the user is online is handled in IRC through an IRC bouncer. So, what you're saying is just that the Slack server has a built in bouncer. Not something that takes client resources, or differentiate it from IRC.

So in reality, the only fancy feature Slack has is synchronized history. This is a nice feature that IRC doesn't have, but it takes 0 client resources to implement. It just requires some storage on the server and a synchronization protocol, which could be as simple as "dump the history when the client connects".

> Sorry to sound so harsh but saying that slack is just an IRC client with a 1990s UI shows a complete lack of understanding for why it has dominated the market for business chat.

Sorry to sound harsh, but Slack does not differentiate itself through features. Just like Atlassian HipChat, it doesn't do more than IRC + 1 or two simple features (which in no way complicates the platform or increase resource consumption).

What it does is to wrap an entirely standard feature set in a package more easily consumed by the users in this day and age, that might be turned off by things like IRC. That in itself is an entirely fine proposition, and one which have had success. However, the features are indeed those of an IRC client, and the resource consumption should be thereafter, especially when you go full circle back to having a good old TUI.
A queue in localStorage for async tasks to run immediately before page unload
"Capitalism is the ability of freely trade private property, among other things."

Is it? IDK. There are different definitions.

Part of the problems is that opponents and proponents use different definitions. Opponents describe characteristics, or consequences. On the radical end, they use marxist definitions (really, the original) which are mostly about an urban, company-centric (wage labour) economy. Less radical ones use it to describe the power/wealth inequalities we have.

Proponents generally focus on "free markets," free trade, private property^ and such. IE, you could have bronze-age capitalism if people were free in certain ways. IE, the ideologies of anglo-american liberals (libertarians, neoliberals...and other derivatives).
FWIW, the Cantonese themselves say they eat anything with four legs except tables, anything that flies except planes, and anything that swims except submarines.