skysight-inc/HackerNews huggingface dataset:
From Wikipedia: "Lam suspended the extradition bill on 15 June and declared the bill "dead" on 9 July, but fell short of a promise to withdraw it until 4 September. However, she refused to concede to any of the other four demands, namely an independent inquiry on police brutality, the release of arrested protesters, a complete retraction of the official characterisation of the protests as "riots", and her resignation along with the introduction of universal suffrage for election of the Legislative Council and the Chief Executive."

How do you justify continuing violence and destruction by "law" enforcers?

Seriously though, I think that protests against extradiction law transformed into protest against China's illegal claim over Hong Kong.
I think it's far more agnostic than that.

As long as an entity has enough money and a wish, there will be someone willing to grant it.
But what if I'm not qualified to admit that?
Maximizing survival goes beyond "simply just trying to survive"

What we are trying to do is accomplish our goals we have for our short lifetime. We are certainly not the only species in the world who does things for pleasure that aren't neccessary for our survival.

> but that is usually due to human influence in the first place

That all depends on perspective. If you look at a big enough time frame- humans can be considered almost irrelevant.
How did they neglect to acknowledge? They did not mention it in their examples, but framing that as non-acknowledgment seems quite wrong. There’s a lot of terrible shit happening across the globe. One cannot reasonably expect every instance of that to be exhaustively mentioned every time a person mentions a couple of examples.
Just looking for suggestions on how to deploy headless chrome. I want to use go and I don't want it in the cluster. It will be mostly idle but very important once needed. I don't want to assign compute resource to it in my cluster and I don't want to use it un-sandboxed in the cluster. I have seen the seccomp option and the configurations here (https://github.com/Zenika/alpine-chrome/blob/master/chrome.j...). The config solves the no-sandboxing issue but like I said, it will mostly be an idle thing and I don't want to worry about whether its healthy in the cluster.
Research Guide: Advanced Loss Functions for Machine Learning Models
Nature, as a whole, is full of equilibrium, but single species try to maximize their survival in any way possible. We are not that different. We are only conscious of what we are doing.

Someone fucking up the environment to garner an extra $100K or two on that annual bonus isn't doing it for survival. Wolves aren't taking down entire herds of deer they'll never eat so that they can say they have more rotting deer meat than the other wolf packs. Domestic house cats are the only animals that I can think of that demonstrate such behavior, with the modifier "domestic" being emphasised; i. e., we made them like us. (Yeah, that last bit is a stretch.)

I'm sure there exist other species that hoard, just because...well, we can't be the only ones. But we're the ones with the mechanized means to do at destructive scale.
Relearning to Type
It certainly isn't. If you are active on social media and post something you care about only for it to get no likes the majority of people would feel significantly worse than simply enjoying something and not posting it on the internet for praise/approval from strangers and acquaintances. I'm very happy to have not had instagram, twitter, facebook, etc. for the majority of my early education
You've pretty much got it, but a paper receiving either of the "accept" outcomes in the first round is extremely rare. I know of zero. Your third, "rejected pending resubmission after modifications" is the normal path for papers that go on to be accepted. Often this is called a "revise and resubmit" or R&R.
I think maybe not everyone outside the US thinks of "manifest destiny" the same way? In the US we learned "Manifest Destiny" as a part of US history, and very specific time in our country's history. It's the name of a time period, not just someone thinking about "manifest destiny".

(at least that's the feeling I get from reading the comments here, I could be wrong, just hoping to clarify)
> After reading this, are you really any wiser now on the topic of quotients in Lean?

Only a little but I'm hoping that some weekend reading up on Canonicity and Subject Reduction (now that I know these are the issues at play) will shed some light.

I'm interested in both Lean and Coq but what I'm most excited about is the (Lean-based) Mathlib project.

I can believe that Lean may have made the wrong call on quotients (I guess with `quot.sound`) though I am not qualified to decide. If this is so, I imagine that it will manifest in terms of a natural limit on how far a project like Mathlib can push its borders before it reaches some sort of natural limit (maybe where the complexity of formalising what we want to say dominates the inherent complexity of the statements themselves).

However from what I've seen, Mathlib is by far the most successful formalisation project in terms of what seems to matter most sociologically right now: attractiveness to mathematicians. Whatever its fate, I think it will help make formalisation of mathematics much more mainstream, and will teach us a lot. I still think that a univalent type theory looks like most promising candidate, but we'll have to wait and see.
The people who are qualified to answer say this:

"Coral reefs, for example, are projected to decline by a further 70–90% at 1.5°C (high confidence) with larger losses (>99%) at 2ºC (very high confidence)."
https://www.ipcc.ch/sr15/chapter/spm/

(We're on track for at least 3°C warming.)

In other words: It is extremely unlikely coral reefs will survive at all.
It sounds like they did the design locally and manufactured the boards and case and other such mid-level components. Presumably the highest-end components like displays, processors, and other ICs are imported.

So it's not really manufacturing the entire device locally, but it's a good first step. You gotta take these steps to build local expertise before you can think about building stuff like IC manufacturing that's local in a meaningful way. It sounds like they're on the right track, and I wish them the best.
Apple's walled garden is a double-edged sword.

If Apple would allow users to easily* sideload applications like Android, protesters can easily bypass these types of bans.

*telling someone to install Xcode or Cydia Impactor and resigning a certificate every 7 days is too much for the average user
Sikander-E-Azam Plus Capsule
Erectile dysfunction, weak stamina
Sikander-e-Azam Plus capsule is the best and safest herbal alternative to Viagra. Sikander-e-Azam Plus power booster does not give instant results such as Viagra but it gives far better results. It makes the user independent in its efforts and so there is no need to look for temporary enhancers at the time of intercourse.
If the code is open source one could compile it and run it directly on their device. But they would need a Mac to build the code on Xcode.
From Twitter's original information and ads website: https://help.twitter.com/en/information-and-ads

> We’re very sorry this happened and are taking steps to make sure we don’t make a mistake like this again.

Well, this just means that you really can't take Twitter or any internet company seriously when the mention the buzzwords 'privacy' and 'security'.

They might as well have been sarcastic about this 'apology'.
I've been using Android since the beginning, and I think Google is making it worse and worse with each passing day. I was thinking of switching to Apple. I really like where they're going with this privacy stuff. But, no, not a chance. Fuck Apple forever over this decision. I will never buy an Apple product in my life unless they make this right.
The responsibilties and attachments of a superorganism like a society differ too much from that of an individual's. It is so easy to let communcation break down when people discuss both of those things at the same time.
The building I currently live in has carpeted stairways with painted walls. It's far from an art gallery, but I think it still demonstrates that you're right; stairways in commercially viable buildings do not need to be nearly so ugly.
Websites aren't free, they're mining your data just that average Joe doesn't know or doesn't care as long as it's free.
Impossible in the Apple ecosystem without jailbreaking your device. Which hasn't been viable for at least 6 years.
Bazel (and Bazel-derivatives/alikes) is not unique in fixing all of these problems. For example, there is build2, which is arguably a lighter-weight and closer to make (in spirit, not in syntax) solution (no Java dependency, etc). Here is an intro, if anyone is interested: https://build2.org/build2/doc/build2-build-system-manual.xht...
International Space Station Orbital Outhouse Team:

http://www.collectspace.com/ubb/Forum18/HTML/000603.html
Perhaps the view is different from outside vs inside, but it's always seemed to me that the biggest 'belief' in the USA is the quest for financial profit. So I don't see any 'sacrificing our beliefs' here, I see perusing them. :(
There is no reason you can't do both. Yes, this does mean not buying next year's iPhone model, suck it up or stop pretending you care so much.
State Birds May Be Forced Out of Their States as the World Warms
This always tends to surprise people, which is encouraging - most mom's probably do not bully their children - but it might also be an unrecognized issue.

I would describe it differently, so I don't think I had it as bad as you, but I would say that my parents did not adequately prepare me for responding to bullying, and I likely did the exact wrong things as a response. I cried. I showed weakness. And the bullying continued for a long time - most of my elementary and secondary schooling.

I would say that I eventually formed a self image that went outside how my peers treated me, but then again, decades later, peer interactions can trigger strong emotional reactions.
There is one piece of information, I think, that isn't obvious and needs to be communicated. Since I am anonymous, I am not embarrassed to ask even on HN.

If you copy a file using this method from host B to host C by issuing an scp command on host A, do the bits go directly from host B to host C? or do they go through host A on their way to host C ?

I suspect the latter is what happens on Windows network fileshares, because it takes significantly longer to perform a file transfer from \\hostB to \\hostC while in \\hostA than just doing it direct from \\hostB or \\hostC.

What happens in linux behind the scenes for such 3-party scp transfers?
I am pleasantly surprised that this wasn't about the daft Collapse OS.

I understand where he is coming from and why he may have gotten that impression but it is more like "accubus ergonomics" essentially for reasons I will explain at the end.

The point of the command line is that the shell is very transportable, efficient, and powerful. Compare updating a syatem - you can just write or pass about a single shellscript to do what woukd otherwise require clicking through a ton of menus, watching bars grow, and waiting for it to need clicked. Not that big a deal for one person one system, a bigger deal for 5000.

Its main weakness is the required experience and knowledge to use so if you already have those capabilities the added costs are marginal.

This the name - it is like dealing with decimals or integers with an accubus vs a calculator and scratch paper. Surprisingly despite a millenia gap the calculator is slower - the user needs to read symbols and enter them one at a time with a hunt and peckish sort of mechanism.
Meanwhile a skilled user will have its operation essentially in muscle memory and only need to read the end state. The accubus is rare in comparison because it generally isn't worth it on its own vs the easier alternatives. Plus the paper has a less volatile storage format than bead position.

Command line operation isn't for everyone and in most cases and that is okay but it still has a valid purpose.
The cottage industry is already springing up. There are a few firms offering Bazel consulting and training.
https://bazel.build/experts.html
> And.. what is the gopher's name?

William
You're trying to rationalize it (understandably). There is a word for what we've done, and it's the Holocene mass extinction.

Locust are part of nature, as are elephants. Locusts eat everything and then all die. Elephants slowly reach the carrying capacity of their environment. There is also a word for that each type of reproduction strategy: locusts with exponential growth are r-strategists, elephants with logistic curve growth are K-strategists.

r/K is slightly dated and it's not completely binary, but there is truth to it. And humans, because of technology, have all the population dynamics of a r-strategist. We have the collective intelligence to observe this, but not to act on it. Even though they are part of nature, the life of r-strategists individuals is brutal and short. And a locust swarm can be highly detrimental to life in their area. Since we are ubiquitous and the world dominant species by far, we are very, very badly harming biodiversity and it only has the chance to get worse.

I'm glad you are finding peace, but you definitely have the possibility of dying from global warming direct (famine) or secondary effects (war) in what would otherwise be your lifetime, as does everyone under the age of 50. That is perfectly natural and in tune with nature. Nature is brutal and amoral.
I meant the claim that most politicians are middle class.

That being said... I’m no genetic expert but I’m pretty sure these papers are garbage. They keep referring to genetic influences but as far as I can tell, do not use any genome data. It’s true that twins share genes. That doesn’t mean that is the only thing they share. There’s incredible potential for confounding effects.
We should do whatever we can to preserve the coral reefs, but as usual, cataclysmic forecasts from scientists proved to be wrong yet again, and nature is a lot more resilient than expected.

Put me firmly in the camp of "we need to protect the environment at all costs" (ex. I believe that companies that pollute our waters should get shut down, I believe boats that produce massive amounts of pollution should be sunk by our navy, etc), but I also tend to no longer believe the click-bait headlines that our entire society is rife with. These headlines produced by journalists, not scientists, are the information that gets propagated and that is poisoning our society with misinformation.
My spider sense when reading the headline was “this is going to be some reinvented BS that ultimately could be replaced by just using scp” so I’m also disappointed but simultaneously pleasantly surprised it’s just good ol scp.
I may be wrong...

Isn't it that according to the law, the refugees are allowed to get the shelter in the first country they manage to get to? In this case it's Turkey, right?
One could always send video files to their own cloud. Nextcloud instance, sftp, rsync, etc. Rsyncd supports write-only. SFTP could write to an append-only directory (via xattrs) so even if they figure out how to use the ssh key, it won't matter.

I also would never use the ring doorbell. Not only is that a security risk, but it also provides eyes on neighbors across the street. Legal, sure, but dodgy.
I have personally done this.

- You are going to screw things up a couple times. The documentation for Bazel is not always clear, but you can usually find examples or explanations of complicated stuff on forums somewhere.

- Start with a leaf dependency, something in your codebase that doesn’t depend on anything else. Then work your way up. Just write a WORKSPACE + BUILD.bazel in your root, and then put a BUILD.bazel in the directory for the dependency you are going to work on.

- Look at examples like Tensor Flow, especially for how to handle third-party dependencies (although Tensor Flow is going to do it in a more complicated way).

- Migrate your tests as you go.

- Just run "bazel build //...:all" or "bazel test //...:all" from your project root as you go to make sure things don’t break.

- Undoubtedly it will take a while to develop a good mental model of how Bazel works. For fun, try looking around in the output directories, or look at the sandboxes it creates.
If Apple didn't comply, what would be the direct consequences? Some Apple executive in China goes to jail and never comes back?
Even better example would be Hawaii state, previously the Hawaiian Kingdom. I doubt America would let Hawaii go.
Puerto Rico is a 'foreign colony', so to speak, that the US 'acquired' in the first place following the war against Spain in 1898. Hongkong is a core part of China that was wrestled away by a foreign power.

There is no analogy within the US for Hongkong because the US have always been sucking in territory since they were founded, and never had any territory taken away.

A similar situation would be if the Japanese Navy had forced the US to sign the Cape Cod area, or parts of Long Island over to Japan, and then imagine what Americans would think of that.
Polyglot build system (a la make), designed by Google for large code bases with:

* Assured reproducibility via sandboxing

* Distributed caching

* Distributed execution (experimental)

* Support for long-lived worker processes

* Static analysis of build dependencies

* Uniform CLI for builds and tests

Build definitions and extensions are written in Starlark, a subset of Python.

If you work in a large repo, especially one with multiple languages, you should be interested in Bazel.

Many of Google's OSS projects now build with Bazel (TensorFlow, K8s, Angular).

Buck and Pants are similar tools by Facebook and Twitter respectively, inspired by Bazel's closed source predecessor Blaze.
My understanding is that the pay sucks because the company takes almost all of the income. On the other hand your expenses are also very low because the company provides everything. Housing, food, clothes, etc... Many of which are sponsored so forget about making your own choice.

The fame and fun factor are certainly a big reason why people willingly do it, but that's about it for compensation.
Isabelle allows the user to define symbols. So, those two operations are represented by different symbols in the source (the *.thy files) but the presentation layer renders them both as "+". You may want to look at the corresponding IsarMathLib source at [1] on GitHub.
Isabelle/ZF uses only two types: set ("i") and prop("o").

[1] https://github.com/SKolodynski/IsarMathLib/blob/master/IsarM...
Baltimore is a funny one, because I was reading about it and it's actually in one of the wealthiest, most educated parts of the US. But the city itself is a dump. What's going on there if you've got all these wealthy, educated people around, and yet the place is a kip. Is everybody just sitting in their gardens in their leafy suburbs while the world around them burns?
Many school districts in the US don't have middle schools. Elementary schools going up to 8th grade are fairly common as are combined Jr/Sr high schools (7-12 grade, occasionally 6-12 grade).
What you keep ignoring is that the nutrients we get from meat they get from plants we can't eat. Unless you've developed a second stomach, or mammalian chlorophyll.

B12 only comes with veggies if you don't clean them, i.e., if you risk food borne diseases. Otherwise you need supplements.

Meat is optional if you eat enough unwashed veggies. Veggies are optional if you eat enough meat. Societies have survived for centuries with both diets, but the thriving societies were all omnivorous.
GitHub issue: https://github.com/golang/go/issues/27026. Marked as
[help wanted], so if you're a JS/CSS wizard, come send some
CLs/MRs/PRs/what-do-they-call-patches-these-days.
How do you define and measure self-determination? What level of aggregation does it apply at?
Not at all (last commit to master 11 hours ago): https://sourceforge.net/p/zsh/code/ci/master/ (beware of the commit dates: they aren't necessarily in chronological order).
Yup, this article is from today.
The article title is obviously click-bait-y.

I don't disagree with any of the technological solutions discussed: I think vertical farming seems neat, and hopefully promising, and I believe local farming with special care given to rotating crops and maintaining soil health is also important.

Given that I personally eat eggs and honey on a semi-regular basis, and am not fully vegan like my wife, I also agree with the idea of buying local eggs. But the article's actual contents do very little to support the title, since everyone knows no one thing is going to save the planet.

TL;DR Not just one change is going to magically save the planet, but let me take this technicality as a chance to call out veganism for more clicks.
Google got a lot of government funding at the outset too I heard ...
Patriots vs. Giants Game Live
https://www.motorsport-safety.org/forum/ask-ambassador/nflstreamsnew-york-giants-v-new-england-patriots-live-free-10-oct-2019

https://www.motorsport-safety.org/forum/ask-ambassador/new-york-giants-vs-new-england-patriots-live-stream-thursday-night-football-0

https://www.motorsport-safety.org/forum/ask-ambassador/freetvgiants-vs-patriots-live-stream-free-nfl-football-game

https://www.motorsport-safety.org/forum/ask-ambassador/matchthread-giants-vs-patriots-live-streams-reddit-nfl
You don't need a data scientist
I have found the best source of information about Brexit, although it certainly has its own bias, to be eureferendum.com . They have long advocated for Efta/EEA membership as the first move for the UK before gradually disentangling from EU directives.

IMV (I'm not British) the only sane option was some form of soft Brexit. Which was the only way to avoid most of the economic damage and also prevent hordes of Leavers with pitchforks. But the damage was done at Lancaster House which made immigration a red line. Theresa May concluded that Leavers wouldn't consider anything without immigration control to be a real Brexit, thus implicitly agreeing with the idea that the referendum passed because of immigration.

And now you have a neverending shitshow as a result. So I mostly agree, but there was a window of opportunity for TM to sell a soft Brexit. She opted not to.
I've suspected that cartilage regenerates ever since I learned that long term knuckle cracking doesn't cause long term damage, despite the audible crack coming from cavitation (which can be very destructive to things like ship propellers, eroding the metal over time.)

If it didn't, my hands would probably be crippled by now.
He could've also just, y'know, stopped consuming garbage lactose.
Well actually no. Kings and Dictators also gain power by being opportunistic in the same way as Musk. They begin by amassing social power, and then at the right moment they take over. See the Medici family of Florence, or the East India Company. War is not the only means for domination.

Also, the only difference between war and commerce is the level of violence applied. War is an exchange, just as commerce is. The only difference is what is being offered in the exchange. In commerce "I will give you this for that." And in war, it's the same: "I will give you my bullets for your surrender."

Lastly, Elon Musk didn't just get rich through selling things people want. No one believes that this works. Henry Ford even said as much: "If I had asked people what they wanted they would have asked for faster horses." Musk gained his power by being opportunistic. He jumped into opportunities at the right time, competitively fought to get the engineers he needed, and punched his way through almost every problem he faced. The product quality is a byproduct of his ruthlessness as a capitalist. Don't forget it.
The Taiwanese issue is super interesting since Apple manufactures their silicon in Taiwan and their commodity hardware in China.