skysight-inc/HackerNews huggingface dataset:
This has also been observed about Southern (i.e. Southeastern US) culture - it has an emphasis on "honor" and "face" that is much-reduced in other American regional cultures. These probably generally go back to historical social structures where reputation was important on a day-to-day level. (e.g. where personal relations took over some economic or legal functions that would be handled through more distant institutions in e.g. Northeastern US culture).
I don't want to change my original post, so I'll add to it here:

When you're on the streets with the protests, it feels extremely primeval. The micro-scale interactions of the protest movement is like looking into a microscope at microorganisms, blobs of life that just kind of move around and sometimes eat others but most of the time just float there.

It's a decentralized, rather polite mob. Angry, yes. Scary, sometimes. But otherwise, just a lot of yelling, a lot of "tactics" - like retreat, advance, wall off here, go here, go there, run. It feels like there's no real goal or direction of the protest except to exist, and I think the author captures that feeling very, very well.

The police also have that same feeling on a micro-level, not much thought or control, just an instinctual reaction or set of rules to follow.

One party existing to express concerns and vent anger. The other party existing to restrain and disperse.

Of course, on the real level, the two parties have deeply rooted goals and feelings. The police want the protestors to stop protesting. The political party wants the people to be absorbed into China. And the protestors want to preserve the unique individuality of HK and to allow it to grow and thrive.
>but they've already been around for ages and didn't yet revolutionise the world of software design.

I think it's mostly because languages with dependent types are awfully clunky to use. Perhaps dependent typing is even a dead end, but I wouldn't count out other ideas such as refinement typing just yet. I think it will take a lot of work and failed attempts (such as typestate in early Rust) to get fancy type theory into mainstream languages (just like it took a while for Java to get lambdas).

Case in point: static analysis tools for C++ are getting more capable and popular recently.
Be cause the checkbox only removed the validation error. Who know what other errors will be encountered when the cobol can't read the incoming messages, which might or might not be in the right order?
I don't think the AV receiver is going away anytime soon.

Just like what has happened to stereo amplifiers, what is happening is that the opportunistisk low end of the market is moving on. Cheap radios, turntables and amplifiers were replaced with cheap plastic mini/micro stereos, which were in turn replaced by all-in-ones, which were replaced by bluetooth speakers, and so on.

Cheap AV receivers and especially cheap home-theater-in-a-box type products have been replaced by sound bars, which I would say is actually an improvement in a lot of cases. Some of the low-end AV receivers that were on the market in the 90s and 2000s were unmitigated garbage and a waste of money.

Quality fifi separates live on, and you can still buy mini/micro stereos and all-in-one radio/media player devices. You can still buy AV receivers, but the worst cheap ones have disappeared. I'm not sure you can actually buy HTIB junk anymore, but good riddance to that rubbish.

The appreciation for good sound lives on, but the more complicated devices move to more of a niche role, sticking around for those of us who desire really good sound, and don't mind a bit of a complicated setup process. For everyone else, a sound bar with a wireless subwoofer gets them most of the way, with significantly less effort.

Listening on a computer is simply the next replacement for turntables, tape decks, CD players, DVD/Bluray players, standalone streaming devices and so on. My primary media source is an ultra small form factor PC streaming FLAC and DVD/BR rips from my NAS, hooked up to my receiver over HDMI. It's almost too easy to get amazing sound quality today.

Similarly a smartphone will produce great sound quality with decent source material. The playback device has become a footnote, they're all capable of great sound quality today, as long as you pipe it to something higher quality than a cheap soundbar/bluetooth speaker.
You missed Magic Transit that was announced few days ago: https://blog.cloudflare.com/magic-transit/
I live in HK, and frankly, it's quite strange. I remember having a drink with a friend, while watching the violence unfold live on TV, it felt quite surreal.

I live close to Victoria Park, where most of the large demonstrations have started from, I've seen them pass right down my street as well. All of this happening while I just go on with my life.
They need a citation to prove that Google is rich enough.
According to stats, they were getting 400 hours of new video every minute - and that was back in 2015, it's probably at least 600 nowadays, as more people have been getting online. How much would it cost, with all overheads, to review all that?
Recovery and USB Boot macOS Mojave
> you can’t really count this “requirement” and lawsuit risk as separate costs, since this is simply a policy companies adopt to mitigate lawsuit risk.

Mitigating lawsuit risks is costly.
Google Fails to Provide “One Account. All of Google.”
Of course you are, but it should be good.
They should add a button "Try this search on Google instead" at the bottom of the first page, then I would probably try them. Otherwise it's too much of a hassle, especially on mobile, tbh.
Ooops, I missed resveratrol. Same dosage, same timing, same rationale.
So one of the main criticisms is that there is no need for this to be a proprietary thing rather than an open standard. So, why hasn't someone made an open DB of 3 words?
Having a small sample and a large effect doesn't mean you're guaranteed at least some effect on a large sample. If anything, a very large effect is more likely to indicate a flaw in your method.
Without details this memo isn't credible. Just like he doesn't have to mention any details, we don't have to believe him.
Because it was, or because it wasn't?

I mean, I'd guess it was, but equally it could be "why do you care, it tastes good", so ...?
Question from the peanut gallery:

The gut bacteria in a cow digest components of the animal's food preferentially and excrete methane. If you knock those bacteria out, does the stuff the bacteria would have eaten get excreted by the cow? If so, do the organisms that digest it external to the cow emit greenhouse gases?
Japanese anime studio Khara moving to Blender
My prediction would be the same for humans who have a large salt intake. Cardiac problems for cows.
Sure, network effect and all that. OTOH, I distinctly recall being told of a new search engine I've never heard of, I think it was called "Google". Everything was new and unknown once ;)
On the other hand, even those messy real work horses have been adopting functional programming features at a rapid pace over the past decade or two. And many of those features originate from Haskell.
To be fair, this could go either way.

Some Cyber Sec professionals are all about the products, but often it's just a barrage of random crap that doesn't really do anything and no strategic planning used in an attempt to paper over the fact they have no skills in the area they're buying for.

Sometimes it's easier to just install it, but engineering budget _is_ a zero sum game, so wasting time adding random binaries, that sometimes actually increase risk, is something you can see being ignored.

Further, the specific attack didn't require any more monitoring tools that were already claimed to have been configured. They just weren't using them properly.

P.S. Given there was a high churn in InfoSec staff, I could totally imagine them all asking for their pet products and then raising concerns when they don't get it. This is typical in dysfunctional orgs.
> just stop eating meat?

For most people that's simply not an option. But, if all people were eating just a little less meat, that would be an incredible improvement already.

I believe we better fight down the meat problem with small steps, especially by creating more delicious plant based food for the mainstream, creating an alternative that is really hard to resist because it tastes so good.
> It has structure which is the same thing as saying it has 'shape'.

Not really. Shape is a distinct visual quality.

> Similarly the syntactic structure of Lisp source-code let's us see the structure of the program that is generated by that source-code.

I find that questionable.

> It is iconic. It is iconic to the thing it represents, the program, which in a sense is the same thing, just a different, but structurally isomorphic representation of the program itself. It is homoiconic.

No, 'iconic' is concerned with different things.

> but structurally isomorphic representation of the program itself

That has very little to do iconic representation. Seeing textual source code as an iconic representation of the machine representation is stretching the concept beyond its intended meaning (about shape, form, graphical representation, ...).
You are focusing on a mechanistic view.
My general point is we do not understand these systems well enough to take the risk to solve a non-essential issue, when we have the option to eliminate the risk altogether.

Let me try a metaphor:

Imagine you bought a new gadget for your car - you did not use it before, you're using it now and you like it. Turns out it influences the car so that your engine would die within 5 years instead of 20 years, and that it will die spectacularly (like explode). You don't know when but you know it's practically guaranteed to happen. You don't have the option to buy a new engine in the future, and you don't know what causes the gadget to impact your engine like this - you can kind of guess, but you don't understand it completely. You know that yanking out the gadget gives you a good chance to restore your broken engine, somewhat, and reduces the risk of implosion.

Do you go about tinkering with adding stuff to the gadget because you really like it and want to keep using it despite knowing the risks, or do yank out the old gadget and make your peace with the fact that it's not possible to have it with this car?

Replace car with planet Earth above.
If it's about experience, why not ask whether the person has an opinion on XYZ framework or other thing that you actually use?
Thank you very much for all the time taken to collate all those links. I hope one day I will have the headspace, time and patience to absorb all that.
You don't need to prefer one or the other. We should do both.
Formal methods in general are extremely clunky to use. Just see how much hate Rust gets for making it extremely difficult to make an intrusive linked list. And memory safety is only one kind of correctness assertion.

So I'm gonna be a pessimist here and say: nope, not gonna be the future, because programmers are lazy and "ship it now" is better than "prove the bugs don't exist".
I'm from Belfast. This is exactly the case. There is almost never total constant omnipresent conflict. Nor does it spread randomly. Almost all conflict is highly localised at any given moment.

I imagine even during the war in Afghanistan there were plenty of farmers and families going about their busines while Taliban, local and international forces were live firing mere miles away.

Even soldiers cannot sustain a continuous battle. Wars are a collection of separate battles with a shared end goal.
Is it a joke? In Poland, for example, Youtube, in wholesale, blocks channels which are criticize on LGBTQUERTY. The question is why the are able to censor content. I don't expect that my supplier turn off gas for me, if he thinks, that I use it to kill people; it's not his business, ot's the matter of law enforcement, the police, etc.
That's obviously the most elegant, best solution. But the time for such is long past. It's clear that humanity will not stop consuming, and expecting endless growth. At least for a few generations. In the short term, we need any win we can get, even if there are risks.
To be fair, at least that's computer science speak rather than category theory speak.
yes, this piece would not stand as a news article on its own (it's also not its goal).

I think the reaction we have to it is that it is willing to present aspects that might not resonate with most people, nor have any specific signification or symbolism attached to it.

Even a long form news piece would need to justify why some bits is in it, what role it plays in the piece, and get scrapped if it fails to justify itself. The advantage of this piece is it has none of these restrictions.

In its way it's a very good complement to cut and dry news.
It's "Telegrass", not "Telegram" drug ring leader
No sorry you fully miss the long term strategy. They want to raise the industry standard so any newcomers have to burn even more money to be able to compete with them. Apart from setting up business, onboarding new merchants, KYC, it is just another trick

Don't be fooled. This is just both marketing and long term strategy nothing to be considerd as altruistic. Marketing in the way how to be perceived as an interesting employer for the newgen and strategy how to make sure no one can threaten your role in the system (by raising the bars on each and every possible aspect)
Stuff like that exists - Google's Plus Codes, the old and reliable Maidenhead Locator system, etc. The business model here seems to be "we need to market the system aggressively (see article) - if we make the system open, we can no longer profit from it".

In other words, an open system will IMHO languish in obscurity due to lack of marketing funding.
>> significant innovations in per-transistor performance

What kind of innovation ? anything concrete - i.e. on research/dev ?
Let me know what do you think about it. Any feedback welcome.
It is inevitable - the military is a good source of funding for technology that can enhance human performance. More often than not, this tech ends up in consumer hands down the pipeline.
Zero Trust Is How We Keep Our Feet on the Ground When Our Heads Are in the Cloud
I'm not quite sure what you're trying to say. Are you discounting their efforts? Their motives?

You're not responsible for everyone else, or if you were, they'd not need to be for themselves.
Except its your 60 year old mum answering the call, and 'calling back' just made her absolutely sure she can trust the nice bank lady on the phone.
OOP language aren't explicit in what function is pure. If I'm working on a 10MLoC project and touching hundreds of methods while working I can't lookup the implementation of each one to determine whether they are pure. And no a comment saying they are pure is not sufficient. The above is trivial in FP languages.
> Lidar provide the same information (line of sight depth) as stereo cameras, just in a different way.

This is incorrect, the amount of parallax you need to get the same kind of accurate depth using camera is infeasible. Velodynes other common lidar now gets you points accurate at 150m+. Cameras can't do that, and if you use nets to guess you'll still make mistakes.

> The person you're responding to is talking about depth from stereo, not cognition.

You miss the point; saying human 3D reconstruction works because of sensors without world context is naive. The response was trying to capture that; human perception systems utilize context / background knowledge extensively.
What cows eat? Ah you mean soy. Nah we can’t use that. Would be a shame if the cow used 10x the amount of calories to grow before we eat it when we could eat the crops instead and make your comment look uninformed
Internet Archive copy: https://web.archive.org/web/20190816070112/https://idlewords...
It’s definitely a UK thing too (my frame of reference) and seems to be spreading: https://en.wikipedia.org/wiki/Freedom_of_information#Governm...
I'm inclined to believe it is driven by the economic situation and how power is consolidated. Where power and prestige creates strong economic advantages is where this kind of behavior wins out. And where innovation speed creates strong economic advantages is where you find more cooperative and negotiative cultures.
I read an interview the other day with a scientist who thinks life must have come from another planet based purely on how insanely complex even basic life is. He just said it happened much too quickly to have evolved here.

Apologies, can’t find the original article.
Yes, but effect sizes are relatively harder to hack/screw up (knowingly or otherwise) than p-values. My totally anecdotal impression is that findings showing large effect sizes seem to replicate better than findings showing highly significant effects.
> However, this wasn't due to people going to protests, this was due to increased violence, and even attacks inside the stations.

Yes, and it's legitimate from a business point of view.

But then, if the police wanted to shut down these stations, causing violences/attacks would also be a way to push MTR's hand (they've already hired mobs to stir the protests, trashing stations for strategic advantage wouldn't be out of character)
Impacts of colour masterbatches and additives in plastic processing
> there are equally disastrous bugs caused by intent - i.e. the programmer had no idea the code could fail.

At least some of these sorts of bugs (depending on how you define "fail") are captured even in Haskell today by things like Maybe. In fact, if Haskell was total (like Idris) you wouldn't even be able to write a function that searches a list for an element with this type:

find :: (a -> Bool) -> [a] -> a

Because there's no way for you to magic an a out of nowhere in the empty list case (whereas laziness lets you use bottom). You could however write a buggy find over known non-empty lists because you could always return one of the known elements, types aren't a panacea.

Dependent types go further and let you guarantee things like "zip only compiles for two lists of exactly the same length" which can be helpful in some circumstances (specifically in Haskell we use things like zip [0..] too often to want to change the function literally called zip, but you could imagine another name, perhaps zipExact as in the Safe library).

I suspect you probably already know this and meant a different kind of failure, such as mathematically invalid (which you could probably encode via a sufficiently powerful type system), or a simple misunderstanding of the requirements (which you—as the misunderstander—obviously can't).
Show HN: Lazy – Free Bootstrap UI Kit
In the last 1000 years, there have been only three earthquakes in Germany that were magnitude 6 to 6.5. (1356, 1756 and 1911).

That once-in-200-years magnitude 6.5 earthquake is 400x less intense than the 2011 Japan earthquake. And yes, without a sea there is no tsunami risk.
They're making the case that YouTube is a "public forum", which would limit the owner's ability to regulate speech in it. I don't think that claim has much of a leg to stand on, considering the recent Supreme Court decision: https://www.techdirt.com/articles/20190617/16001942415/supre... and a previous decision by a lower court against YouTube itself: https://www.techdirt.com/articles/20180327/14362539515/court...
I'd argue that "the cloud" makes traditional computing more efficient. Since their motto is "pay for what you use", it automatically aligns with motives for the most efficient use.

Not to mention that the usage of computers has reduced the need for much more power hungry methods. We can now efficiently calculate much stronger, lighter, easier to manufacture parts and building patterns.

There is no need to drive/ride/walk to a place to hear the message, radio broadcasting is much more effective, even though it itself consumes power.
In the Chinese media the violent part of the protest is what they mostly talks about, although I do believe most protestors are peaceful. Funny enough most western media don't talk about that at all, despite that they broke into the legislative assembley and beaten people from mainland China, and HK police of course. Isn't media great these days
HArga PVC Curtain
I'm honestly surprised that FTP is still supported in web browsers. FTP is as non-web as you can go without resorting to Gopher - plus the protocol is Anfient and Broken (and plaintext [shudder]). This shouldn't have been a part of any browser, ever.
Agree, I would rather a nicely flavoured vege pattie than a fake meat one.
i'm not familiar with these filings. where does it state the date of the IPO
The UK already has a well known system of coordinates called the British National Grid (BNG). You'd be hard pressed to find a map printed in the last ~80 years that doesn't have BNG coordinates in it.

Replacing it with a new proprietary, closed system that can only be accessed from app is a terrible idea.
Is it impossible to find suitable compounds that would degrade to a point of no longer working, with a reasonable half-life. So we could reapply or not as surprise to achieve the cooling needed.

[fwiw this seems a very high risk strategy to me]
The article mentions this could reduce Australias ghg emissions by 10%, figures I've found for the UK suggest 3%. That's a massive cut no matter how you cut it, and shouldn't be ignored.

You cant just say cows were domesticated before the industrial revolution, ergo cows are ok, and shouldn't be part of the solution. Animal husbandry has changed massively in the past 2/300 years, you are comparing apples and oranges.

My 2 orders of magnitude guess is conservative. Population has increased by well over one order of magnitude since the industrial revolution. Per capita meat/dairy consumption accounts for the rest.
Let’s replace China with X so there is no xenophobic rebuttals.

X is an authoritarian regime that has no rule of law, president has self declared perpetual status in the office, piracy is rampant, no respect for privacy of others, there is an app called ourchat that is effectively owned by the government and is increasing becoming a necessity, no media let alone any kind of investigative journalism especially against the government, your social score goes down if you buy a particular book, you cannot sue the government or even think about it, punishment can include selling your organs for arbitrary reasons, the list goes on and on.

If X were an impoverished country like Somalia, the tune would change and most people would condemn such a society. I want to do so fearlessly but sometimes people see it as an attack against the Chinese people. I’ve been to China and have spent many months there, made lifelong relations, etc. I have no room for any concession or bargain for the argument that authoritarian rule has benefits - yes it does but at aforementioned costs. China has risen above due to government’s iron grip over every aspect of the country. It is doing so at a cost. Fundamentals don’t change even if one sees the strategy panning out. An eagle in the world of doves can kill a lot of doves and have short term evolutionary imbalance. But soon, the marginal cost of turning into an eagle is so small so there are new eagles popping up in the population all of a sudden. This balance oscillates in the short term, but evolutionary pressure returns it back to an equilibrium. Fundamentals of eagle and dove dynamics don’t change even though the state of this system shows “success”.

I’m in the position to criticize any authoritarian regimes in the strongest way possible - be it China or any other country, it doesn’t matter. I don’t want to die seeing this world turn into a power grab for a few with a consequence of a dystopian society. I wish the next superpower would be a country such as Norway or Sweden, it would set such a utopian example for the world to move into the right direction.
Across the sea from Hong Kong, the Japanese take demonstrations a step further: https://www.youtube.com/watch?v=eXjd7GkHKfU