skysight-inc/HackerNews huggingface dataset:
Many protestors have been disappeared by imprisonment, and presumably shipped off to the mainland. Quite plausible a number of them have died, and this fact is being hidden because it would cause global outrage. China has historically been secretive about their extensive use of political and ethnic prisons and their use of prisoners for organ harvesting.

Body of a 15 year old female protestor was found floating naked in the sea. Many speculate she was raped and killed by police.

We do have evidence of torture: HK police (or mainland military acting as such) posing with an individual in a 'tiger chair' and mocking their suffering.
Oh man, I'm not sure if I'm imagining it, but that sounds like me in 2012.
My homepage from 1995/6.

https://blakespot.com/homepage_1996/
After all the dire news in May I'm very happy so see good content on a Make domain :)
As far as I'm aware from the IRC channel the primary maintainer is mainly busy moving.

I do concede it is annoying having to fold in upstream PRs to my own build of it.
Why the down vote?
I agree with you and to be honest this is something we get picked up on often when talking to people outside the (UX) design world... we're just so used to people using the term like that in our space that we forget!

> imho quality/easy docs are the difference between loving a job and burnout!

That's a great quote :)
I agree with the first part of this, but not the second. We (I'm a scientist more than a hacker, although both) do not have "very effective methods of communication". We have extremely inefficient methods of communication. (The traditional explanation for this is quality control, but it's been shown that this is mostly an illusion, and anyway there are more efficient means of QC than peer review.)
This is a tricky one, because there are a few different facets or domains relevant to the topic. Two major ones that immediately come to mind are public speaking and conversational speaking.

I'm very good at conversational speaking, and I think that it mostly comes from listening to a ton of podcasts. This has helped me gain curiosity across a wide range of topics, but has also helped me learn how to dig into those topics via conversation. For this, pick topics you're interested in (perhaps some in fields that you're not fully interested in yet, to broaden your ability to converse across domains!). Also, while listening, look for traits that you admire in conversationalists, and try to practice them when speaking with others (this is a similar approach that can be used to learning anything, really).

As for public speaking, from what I've heard, Toastmasters is as good as it gets. They provide a learning and training environment. Then it's up to you to try it out "in production" (at work, weddings, etc).

Remember that it's a learning experience, and it will only get better with time via analysis, practice, and persistence!
NSO hacked WhatsApp to spy on top government officials at U.S. allies
Yes there are dangers of people and companies with big pockets drowning out your voice. Its natural for Zuck to make his case as that is a huge revenue stream for him.

But the same holds true of the general use of public airwaves. If they are owned or controlled by a select group of people who sit on the boards, their voice and preferences are going to be a lot more powerful than your average joe on the street.
Already (kinda?) happened. A few years ago FB and Apple and Google and all the other major platform companies “nerfed” the gun emoji by reworking its appearance from a drawing of a realistic gun into a drawing of a water gun.
That might just be it too. People wind up doing most computing on their phones. A game I used to play as a teen now has most of their users on their mobile apps while old players use their desktops.
Stealing is the only sure way to make trickle down economy work.
Just as an anecdote / FYI, since I had an LLC registered, I signed up for Teltik which uses T-Mobile and got a 5MB/month hotspot plan through them. Got my dad a nice LTE hotspot (https://www.amazon.com/gp/product/B01N5ASNTE/) and that's what he uses for his home internet. Obviously his usage is modest - no streaming media (Netflix, etc.), but some YouTube. However, it is so much better than the previous FreedomPop / DataJack stuff we used before, although those were dirt, dirt cheap.

I ran a quick Speed Test check on his connection, and got 29 Mb/s down and 15 Mb/s up. https://www.speedtest.net/result/7621011424 (about 14 months ago.) Obviously this will vary by location!

When I had Comcast, I believe it showed me monthly usage, and I think it was something like 20 GB per month. That's with heavy Netflix/Hulu usage every evening. This wireless internet would probably work for us speedwise... but because I live somewhere that offers both Comcast and Verizon FIOS, I'm able to get 100/100 Mbps service for $40/month. And that's a wire into my home and no concern over hidden data caps (at my usage levels). I wouldn't choose wireless over that unless there was significant savings.
The post could be more shallow, but it would have to try hard...

A demotion 40+ years ago (which could have happened for whatever political reasons or intra-department vendettas), and a short firing 38 years ago based on what he said in an interview which was misconstrued and was recalled.

He might be good or bad at his job, but the article has zero substance.
Maybe that's why no matter how good my son got at the game, he always found himself with negative points in every session.
Sure, I thought it was obvious I meant : "in a perfect high-security cell where the goal is to keep the prisoner from killing himself before testifying"
I understand this line of logic, but are you suggesting you’d get the same approval to use, say, Dart?

(I am not talking down Dart - I think it’s underrated. But it’s a good counter example to the “it’s Google so it’s OK” logic. I suspect people say Google is the reason Go is OK even when it’s actually more word of mouth.)
Yes, it's already possible[1] with Coq. There are two strategies for that - lowering the CIC (Calculus of Inductive Constructions) to SMT[2] and employ SMT solvers like Z3, and employing Deep Learning[3][4]. For the Lean part, compared to Coq - there is an interesting discussion[5] why Lean might be not as good as they claim.

[1] https://coq.discourse.group/t/machine-learning-and-hammers-f...

[2] https://github.com/lukaszcz/coqhammer

[3] https://arxiv.org/abs/1907.07794

[4] https://github.com/UCSD-PL/proverbot9001

[5] https://github.com/coq/coq/issues/10871
A visual inventory/asset mapper for IT managers / SysAdmins
I had an issue with HotelTonight last year after the hotel I was staying at ended up charging my "incidentals" credit card for the entire room+tax for the night (vs what I paid HotelTonight for).

Between HotelTonight and the actual property (a Kimpton Hotel), it was resolved in under 90 minutes.

Look -- I've had issues with Hilton, Marriott, and HotelTonight -- that just comes with the territory when you spend 200+ nights a year in hotel rooms. How they deal with the issue is what brings you back (and honestly, it's why I'm lifetime diamond at Hilton, even though I did a LOT of work for marriot.com a few years ago).
> Polling someone about something implies one of the results is perfectly possible.

Both results of asking Catalonia whether or not it should start negotiating with Spain as to what independence would look like are completely possible. It's up to Spain to accept that possibility, though, not Catalonia.

> There are no "fair" negotiations to be had. Spain has nothing to gain.

Internal stability, an end to social unrest, and doing the right thing, by letting people govern themselves, is not something to gain?

You shouldn't block your spouse from divorcing you in a broken marriage, and you should generally not keep people who want to leave, in your country.

> What happens next time someone wants something illegal according to country laws and constitution? Negotiate every time?

Generally speaking, when there's a large demand in a democracy for an unjust law to be changed, the correct thing to do is to, in fact, change the law.

> What about the 40% (just to fit the math) that want the independence in Barcelona? Aren't they to Barcelona what Catalonia is to Spain? Should they splinter from Barcelona? How many times do you splinter? How long until you say "well I think we have enough"? And when you do isn't that arbitrary and hypocritical?

That's the whole point of going to the negotiating table, in good faith. To discuss the options, to figure out how edge cases will work. If Barcelona wants to remain in Spain, I see no reason for why Catalonian secession should have to include it. Catalonia can then make the choice of whether or not it wants to secede without Barcelona. It will probably choose to not do so, and you will solve your problem without turning to violence and repression.

Of course, this requires negotiating in good faith, which seems to be anathema.
They even parse/censor private/encrypted chat locally on the device, they cannot mind their own business.
I've been looking for a solution for something like this and not sure if Restic can do this, so please chime in.

Does anyone know of an open-source solution that acts just like Dropbox/GDrive where it detects for any changes in a specified folder and then once detected it automatically uploads to an S3 folder?
> > “[Content] will only be removed from Facebook and Instagram if it contains a sexual emoji alongside an implicit or indirect ask for nude imagery, sex or sexual partners, or sex chat conversations”

I was worried Facebook's contractors were reading the conversations with my wife! I'm sure glad to know that Facebook is reading them just to make sure an emoji isn't used inappropriately! /s
HN isn't typically responsive to jokes.
When mention the effect of marketing by users, I mean to distinguish that from choosing a language based on its technical merits. There's a certain amount of buzz and bandwagon effect that plays in to the success of popular languages, and, yes, languages like Perl, Tcl, and Python had it too.

That's a different sort of marketing, though, from the buzz created by having famous/respected names attached to the languges, like Go had in Google and Rob Pike.
I don't think it's simple, or easy, or inexpensive even, to achieve an en-masse change in global behavior. To me that seems like the most difficult, most expensive, and most costly way to try to solve the problem. Asking the world to "just consume less" is a very nice way of asking the world to enter a global depression. If the only answer is massively moderated consumption, the direct result is actually a lot of pain and suffering and destitution.

I am very much a technology optimist. I believe that technology is the route to providing sustainable solutions across the board in energy, transportation, agriculture, and materials. Even more, I believe that the only solution is for technology advances to make the sustainable solution to be the preferred solution. When going green is also cheaper, faster, better, then everyone goes green by default.

The role of government here is to align incentives and subsidize market-driven R&D efforts which result in technologically superior products that also happen to be sustainable which can win in a competitive marketplace on their own merits. The perfect example of this is EVs. EVs will totally supplant new ICE vehicle sales in the next couple decades because they will ultimately be a better vehicle in every possible metric.

I think we are seeing the same effects in terms of renewable energy that can now compete on cost even without subsidies, and we are in the beginning stages of where we need to go with agriculture (I'm sure actually much progress has been made, but I'm less familiar with that tech).

From a materials science perspective, we need better alternatives for clothing fibers, and better alternatives for plastics in our products and packaging. Cotton is biodegradable but takes far too much water to produce -- possibly something that further genetic modifications to cotton could reduce. Plastic blends in textiles are great for performance, but end up as microplastic in our waterways and oceans. The alternative isn't that everyone is going to switch to hemp. The alternative must be a better material developed that provides superior performance, longevity, texture, carbon footprint, and ultimately clean disposal or recyclability. Government's role is to align incentives for this R&D to occur by taxing externalities or subsidizing new products that present lower externalities.

As to the queston of controlling the effects of increased CO2, one of which is global warming, and another of which is ocean acidification, I think we will come to a point where we need ways to effectively reduce atmospheric CO2 independently of efforts to reduce CO2 emissions, and technology will ultimately afford us that.

I think it's an open question whether the timescale over which atmospheric CO2 may ever be brought back below, e.g. 300ppm, will require engineering a more direct solution to both ocean acidification, and global warming. Even if tomorrow anthropogenic CO2 emissions dropped to zero, how long would that even take? Solar shields and atmospheric CO2 extraction are technologies that warrant future research and discussion.
> and I think it's an unfortunate facet of HN as compared to, say, Reddit where Reddiquette [...]

You are not supposed to downvote when disagreeing. You are also not supposed to complain here about mod votes. You should read HN netiquette and email them instead.

Btw, down voting based on disagreement happens on Reddit just as well. Reddit is a bunch of smaller, semi autonomous communities where quality differs. You could even say quality differs per HN thread.
Cats seem unfriendly to us because they can't move their faces as much as dogs. They can't make as many facial expressions.

Cats do show affection for each other and humans, but their body language is more subtle.

EDIT: I also disagree that cats are asocial, as suggested by the article. They clearly form bonds with each other and with humans.
>For not allowing a comment on their platform? Really?

Huh, I thought it was obvious to folks as to what people are upset about. It's not about preventing a comment on their platform.

And of course they can limit whatever comments they like. I suspect blizz_ack would also not want racist, or other discriminatory language, displayed on their platform.

>Go boycott the company. Make sure to make it clear that bad actions will have consequences.

It won't work. To make a dent in a company of that size, a significant portion of their user base would need to cease buying products. That simply won't happen.

>But please, do not go bully random people.

Oh please..these are far from random people. There is no place on this Earth for folks that place greed over the greater good of the people.
Yes but that only works if they say something bad about someone or something. If they only tell positive lies or completely make up things it's hard for anyone to prove standing, much less show damages.

But it still has a negative effect on public discourse. It's like information pollution.
Some Deepmind projects got integrated into Google projects in the past:

- WaveNet: https://cloud.google.com/text-to-speech/docs/wavenet
- Data centre efficiency: https://deepmind.com/blog/article/deepmind-ai-reduces-google...

But yes, these are probably very small fraction of their research projects. Since Google declared to be an AI-first company, this is probably still a good investment to keep them on the bleeding edge.
And yet the conventional wisdom is that "a complicated system that works is almost always found to have been derived from a simple system that works".

But you're right, evolving code often turns it into a mess. The only way that doesn't is if, at each stage, the people working on it keep the architecture and code clean. That takes discipline, not just by the programmers, but also by management - they have to give the programmers time to do the cleanup that is needed, not just time to shoehorn something in.
restic is simpler than borg, because it doesn't require a special borg server (it just writes out to files - or block storage).
I'd say the group of people at the iOS App review board.
As best I can tell, a lot of the arguments here are something along the lines of (trying to steel man): letting politicians pay for ads in order to increase their reach reduces the competition to a question of who has the most money and gives an outsized voice to them, leaving the politicians with less money unable to compete. So in order to ensure a vibrant and fair democratic process and political debate, we shouldn't allow politicians to buy ads on social media platforms. (If I've misrepresented the basic argument, please correct me.)

But the thing is that the whole premise of free speech is the belief that sunlight is best disinfectant for bad ideas. We have this belief (whether warranted or not, though I'd argue it is) that _utlimately_ we will arrive at the good ideas and reject the bad ideas through public discourse. In other words, we have faith, from a holistic standpoint, that the polity will decide issues based on the substance of the ideas presented to them in the political arena (I understand well that this isn't the case in specific instances nor in every period of time, but it's still the belief broadly speaking). That being the case, increased reach - where reach simply = number of eyeballs you shove your message in front of - doesn't mean anything per se. The people who participate in the democratic process and public discourse still must sift through the ideas to determine which are good and which are bad.

Maybe the counterargument to my point is "well, yes, we do believe that ideas are ultimately what win out, but if the candidates with less money cannot reach an audience, then you never get to a debate in the first place."

I guess I do hear that argument and I'm unsure.

I think where this gets complicated is when you start to think not just in terms of hard cash and spending on political ads. What about when media outlets and other organizations are dedicated, for whatever reason, to a certain candidate. For example, when TYT clearly favors a candidate and spends an entire election season praising them, etc - should that be allowed? In some ways those are resources being used as well to increase the reach of a candidate. It's time, money, staff, resources, etc. It seems to me that it just gets very dicey when you look at things just in terms of cash. You end up having to effectively try to centralize the whole process and make sure that everyone's reach is exactly even, which just isn't possible without massive government intervention and coercion and flagrant violations of free speech. I just don't see how this works out well in the end.
He's always showing signs of making money before losing more of it. Personally I think TikTok is a paper tiger and wouldn't throw a dime of my money near them.
Please note that Y Combinator is an investor in Airbnb.

https://www.wired.com/2017/02/airbnbs-surprising-path-to-y-c...
Dogs would do the same thing
It's probably both, but for me, I follow a pretty non-political group of people, but Twitter will absolutely insist on presenting me inflammatory and polarizing tweets just because someone I follow or someone popular engaged with that tweet. Facebook does not do this, at least for me it doesn't.
Borg is great as well. I use both. Main difference to me is that Restic supports s3 natively but doesn’t have compression (last time I checked).
The hard part is the [nested] forms. Access and FileMaker have polished interfaces which would take a lot of man-hours to recreate. Maybe Electron or an SPA built in React.
I have the perception that Go is more optimized for meeting organizational needs than programmer needs: it's simplicity and limited abstraction make it more difficult to write complex, serpentine code which is difficult to understand without a deep knowledge of the codebases.

For an experienced developer that might feel a bit like handcuffs: like you have to write more redundant code and handle things at a more literal level than you could get away with in other languages.

However, it tends to result in a codebase that's more resilient to turnover: if someone new joins the team there's going to be less specific understanding about the inner workings of the codebase they need to sit down and understand what they're looking at. It also limits the damage a mediocre developer can do through overuse of bad abstractions.
> They also strictly govern guest interactions so you can’t provide a phone number or email address during negotiations to side step the system

In every single AirBNB I have stayed in, after the initial transaction the rest of the communication was done over phone or text.
from what i read restic has memory scaling issues for certain areas (large amounts of small files, pruning operations).

that said, i do use it personally for private and small stuff.
It’s a shame they don’t allow female nipples but allow male nipples. Clear cut sexism, and is there no way to sue them?
Political ads to influence elections with money that have global impacts on the entire world are fine, vegetable emojis... not acceptable!
But twitter and texting do teach it, and those are both very popular. Even reddit is mainstream now. People probably read more now than at any other point in history.

I'm very skeptical that the average reading and writing ability has decreased in the last 50 years
So Facebook - who controls your feed (and made said change) now wants to say that their right to prioritize (based on money) what stuff goes on your feed shouldn't be questioned?
Nextcloud is a different product. restic is for backup.
Some people would say, if a company sincerely took a political stance, it would encompass the CEO, purchasing, HR, hiring, service delivery, content and so on - rather than only being the purview of the public relations department.

If political stances are taken by the PR/marketing department in isolation, they risk finding the company's actions in contradiction of its words.
They usually don't:

In phony Facebook ad, Warren said most TV networks will refuse ads with a 'lie' but that’s wrong
https://www.politifact.com/truth-o-meter/statements/2019/oct...

'Section 315 of the Federal Communications Act of 1934 states:

"If any licensee shall permit any person who is a legally qualified candidate for any public office to use a broadcasting station, he shall afford equal opportunities to all other such candidates for that office in the use of such broadcasting station: Provided, That such licensee shall have no power of censorship over the material broadcast under the provision of this section."

It also specifically says licensees can’t censor "material broadcast by any such candidate."

Broadcasters are bound by that act and therefore can’t reject a presidential candidate’s ad, even if contains false information. (The candidates do have to abide by disclosure rules to make it clear who paid for the ad.)'
Book adjoining rooms?