skysight-inc/HackerNews huggingface dataset:
This is not just a problem with Apple. It is a problem with many large scale platforms. It seems that often the problem is caused by automated systems that disable accounts that fall outside of normal parameters to prevent fraud. I've had it happen to me with Discord and Tinder. In the case of Tinder, I know it happened because I uploaded a picture holding a yellow pepper from my garden, it wasn't sexually suggestive at all, but I'm not surprised that an AI could categorize such a phallic yellow shape as a violation of the terms of service. I wasn't able to get Tinder to manually review or reactivate my account. In the case of Discord, I'm not sure what triggered the system, probably something with my VPN or other privacy measures that I take. I wasn't able to get a manual review or a reason from Discord. I tried to make a request for my data under EU and US laws (I'm a dual citizen), and Discord actually denied my data request a few times. Finally I filed a complaint with the relevant authorities in the US and Europe, and wrote a polite but firmly worded email to their legal team about their legal obligations. Under EU law at least, they are obligated to send you all of the data they have about you, including any data that led to an account being disabled, and it is a violation of the law to refuse a manual review of an account disabled by an automated system. I am not a lawyer, but I think the law stoped short of them being required to explicitly state the reason that the system disabled your account. Anyway, within a couple hours of my email, I got a password reset request, and magically, my account was re-enabled. I made another personal data request and got a packet of obscure, JSON files with invalid syntax, that I was able to fix up and examine. I still wasn't able to determine the exact cause of my account being disbled, but from everything I can see, it seems to have been an automated action related to me joining a new server.

Anyway, there are already some laws about this kind of disabling accounts, but there needs to be a better solution for recourse for people who wrongly have their account disabled. Perhaps mandating manual reviews upon request that must state explicitly how the terms of service were violated would be a good step. And perhaps there is a market for lawyers or legal experts to persue and resolve these cases.
A proposal to start “llvm-libc” (2020)
> Some of the stuff you mentioned seems to cover computer to computer, but isn’t relevant to computer to mobile scenarios.

no, the things I listed are how I sync my linux machines with my mobile phone.

I wasn't talking about computer to computer sync, but the methods I listed (maybe except kdeconnect, which is built for computer to phone sync) apply to workstation to laptop sync aswell.
Ask HN: Framework to explore multiple topics of interest?
Hey all! I'm starting my first swe job out of grad school soon. From a few internship experiences, I found myself going all out on the project at hand while not doing anything else.

Now that I have a permanent job, I want to keep my job time restricted to 9-5 and outside of it, I'm interested in learning about multiple topics unrelated to the job like Natural Language Processing, Topics in Economics/Finance/Management, Information Retrieval, etc.

How do you all go about choosing what to read/learn when you have many options to consider? Do you employ any framework for doing this? How have you been able to keep your job time separate from personal development time? Thanks!
Good to know, thank you. It is still doesn't cancel my point that producing "self-hosting in a box" devices is possible and profitable.

Also there used to be "Windows Home Server" thingy.
That's why I don't have books with DRM in my digital library. It would be unacceptable to me that my books are no longer accessible to me by somebody blocking my Amazon account.
ICE has thousands of uses, they aren't just for cars.

An example? Up above the treeline, there are communities relying on diesel for power.

Solar is a no go, with months of darkness. Wind turbines are hard to maintain at -50C, and snow and ice can impede them.

Even electric cars can only cover some of car use-cases, both due to range and refuel time issues.

Expect ICE in 2050 still.

And in most places, electric cars take petrol out of the car, and instead, see things like coal or natural gas burned, to make the electricity to charge them.
oh sweet. this is nice. yeah

https://arstechnica.com/science/2014/05/nasa-hands-space-ent...

this is probably the exact one. well not quite a decade but it is close
I wonder whether you could apply this analogy to physics and science in general. If so it seems like we haven't reached the peak/middle yet.
Computability is not the same thing as proof. “Not computable” means “no program which is known to halt can answer this”.
> Then you continue happily and put in even more of your time/money/whatever in this lovely setup.

Yeah, no, that's when I start self-hosting my partner.
I fiddle with my dumb thermostat all the time.

The problem? One of the discomforting things about living inside houses is when the air doesn't move. Yes, you can use a portable fan or ceiling fan to move air around, but that's normally at a speed which is TOO fast. If you sit in a room for any period of time and the air temperature coming from the vent doesn't change, then you may not even feel it blowing, which is almost as uncomfortable as being too warm or too hot.

I feel a better solution would be to set a temperature threshold and allow the thermostat to have a bit of wiggle room to increase the comfort level of those who are in the house by moving the air around longer and altering the temperature slightly, which is what would happen were you outdoors.
Omicron Data – another month away
Yeah, so? They won, deal with it.
and what do you know... http://spacecollege.org/isee3/isee-3-is-in-safe-mode.html

links to https://www.spacecraftforall.com/
which is now a vpn site
nix already has something similar with pkgs.buildFHSUserEnv
it creates a regular liking environment that can run regular binaries
I thought the same thing as you at first, but you need to read more carefully.

The proof is showing that it is true for n=1, and then showing that if it is true for n (the part where we "suppose it is") then it is true for n+1, proving by induction that it is true for all n >= 1.
> Buddhism stuff

As a Buddhist myself, have you read / learned about the four noble truths? That teaching is so OP to me.
At least in China, the land area for cities is quite substantial. Land area of Shanghai is 2448 square miles, so it covers more of the case where people move to outlying neighborhoods for more space, as opposed to San Francisco's 47 square miles.
It serves its purpose
Creating a Solaris 10 zone on OpenIndiana
> IIRC you can't even see the songs in a playlist and it's fixed on shuffle for the mobile version.

I don't know what you're referring to here. In general you've always been able to see the songs in a playlist by pressing it. The big play button is shuffle, which is annoying, but pressing the first track will play the whole album/playlist in order (unless you've turned on shuffle already).

I do agree that the UI could be better and their data seems to be a complete mess[1] but it generally works really well for my everyday needs.

[1] I recently went to a big artist's page and clicked
the list of their top tracks. After a few tracks it started playing tracks by a different unknown artist with their own page but the same name.
Coronavirus FAQ > Omicron vocabulary : https://text.npr.org/1061219646
You're living in the shadow of someone else's expectations!

Of course you're going to feel this way -- You don't deserve that, and emotions are going to ensue. That is the human in us, and that is the human in you.

> Can’t make myself do anything anymore

Your motivation is tapped out from carrying these weights you never asked for. It's not your fault you feel this way.

> Im not achieving anything, no matter how hard i try

And you never will in the land of unreasonable expectations. Your work ethic isn't the issue, it's the impossible bar set before you.

> On my 6th month of doing barely anything and it’s already December

You're burnt out. It's okay to sit with that feeling for awhile. It takes time to realize it.

> I’m regretting that i didn’t use the time to achieve something meaningful

Regret comes from a decision. This wasn't a decision, you simply were not able to use the time as you imagined.

Mental health can be just as serious of an obstacle as broken bones. When your legs are sprained, you can't regret the run you couldn't take. When your brain is clouded by emotion, you can't regret the work you couldn't make.

> I have money, but i’m miserable and unhappy

There is an expectation placed upon you that money should make you happy.

It sure does not! And you are the living proof. There's nothing wrong with you. The expectation is wrong.

Shelter, security, and fulfillment make us happy. Money cannot help you acquire all these things.

> I feel ashamed of being that guy who is always depressed, angry and sad

You deserve to exist as you are. There is no shame in feeling this sadness and this anger. Emotions are part of the human experience. They do not ruin our value.

It's also natural for some people to have trouble with emotional company. Frequently people are taught to suppress emotions and that is projected onto others, perhaps this is happening to you.

I'm happy you're here today. I feel no shame or disappointment for you.

> All i dream of to make a contribution and somehow make an impact

You are on a quest for glory! If this quest is your own, and not from an expectation set before you, you will find your way.

You must take care of these feelings first however. It's all part of the quest or, if you prefer to see it this way, a prerequisite. You cannot conquer your dreams with this fog.

> Yet i struggle to find anyone who needs my help

I know one person who needs your help. It is the person who said this:

> I’m trying all my best to be a good person, yet i’m still not good enough for myself

You have to put on your own oxygen mask before you help others. Your wellbeing matters!

> I’m thinking my (dead) grandparents would be embarrassed of me being such a looser

To be embarrassed of you means they had expectations of you. This is the shadow.

You are not a loser. This life is yours. You may do as you please with it.
The one-child policy ended officially in 2015, and had never really found universal application. There's absolutely no reason why it would have a strong negative influence on China's fertility rate today. What is your point, exactly?
Why would anyone want to have their metadata be in a blockchain where they can't have it be deleted? If we never get stricter GDPR laws + enforcement the next best thing for me would be to be able to pay a service to delete all existing metadata on me out there + subscribe to preventing it from being recorded it the first place.
Are Mathematicians Scientists? (2012)
> Don't Design for Multiple Cloud Providers

Some industries legally require you to plan for the case where a cloud provider cuts you off. So sometimes you don't have a choice.
This is why I never read articles. I could spend 15 minutes reading and in the end I'd have learned nothing of substance.
> but you won’t see them unless you’re looking for them.

I was looking for them when I had an EV over an extended weekend. Availability of chargers, especially fast chargers is grossly overestimated.

> (There’s about 5 within a 10min walk of flat in London, that are hardly used)

So, I zoomed in on Trafalgar Square (using PlugShare). Within a 10 minute walk from there:

- there are ~40 available plugs

- of those 40, 9 are fast chargers

- of those 40, 12 are non-Type-2/non-CCS compatible (1 is fast ChaDeMo, so if you're type 2, it's one connector less)

So, yeah. Whichever "10 minute walk" you chose situation will be the same.

> Certainly it can be tricky in more rural areas,

Define "more rural areas". I live 20 minutes away from Stockholm. I'll let you guess how many chargers there are within a "10 minute walk" from a suburb which is mostly apartment buildings.

Here's a representative suburb: https://www.google.com/maps/@59.2855172,17.9568074,3a,75y,21...

And it's the same everywhere. Here's Coulommiers, 1 hour outside Paris. Population, 14 thousand people: https://www.google.com/maps/@48.8206163,3.0939561,3a,75y,115...

There's definitely plenty of space to "install own chargers", right? ;)

Right now EVs are in the same place where cars ini general where over a 100 years ago: toys for sufficiently rich early adopters who can afford to deal with all the issues.
Why does its logo evoke the SNES if it’s converting images to an 8-bit style?
Yup, but when the age has been (let's say) 23 for an year and becomes 13, the software should smell a mistake.

Of course I have no idea about the actual UI. It's a bad idea to ask for the age because it doesn't update after the birthday. A birth date is much better but it's also personal data and maybe not necessary. If all a site wants to know is if you're 18, just ask it and store a boolean. If you suddenly declare that you're not >= 18 anymore, especially after using the site for a while, smell a misclick on a checkbox, ask for confirmation and explain what's going to happen.
Elon Musk’s Starlink to apply for licence to offer satellite services in India
Please list these books and sources. An 8000 year old timeline is quite a leap over the current consensus which is 3500 years (the Rigveda, whose earliest inscriptions are found way outside the subcontinent all the way over in Syria).

Also what is the Saraswat Valley Civilisation? Are you referring to the Indus Valley Civilisation?

I’m sorry but the Out of India hypothesis is not accepted in the scientific and linguistic consensus in any way. The migration is believed to be in the other direction.

Also, Panini himself distinguished between different forms of Sanskrit as I understand.
I don't think it's laziness, it's just delegation of a time consuming process. In a similar vein, most of us no longer wash clothes using a washboard, grow our own food etc. Modern society is pretty much built around us not doing everything for ourselves and, as a result, we generally have a better quality of life.
Then the inputs and the outputs are fixed. A much easier problem.
Hi ciarlill, thanks for saying it's a Cool project :) credits are always due, if you look at the references cited there are from the first commit. All the best
I don't know what you mean about the mobile experience. I've never really been a fan of shuffle and whether I'm listening on mobile or not doesn't affect that. Especially since I often use my phone connected to my stereo to listen to music in the kitchen.

My mother on the other hand uses Spotify on the PC connected to her TV in the living room or on her phone with headphones and mostly uses shuffle in both modes.
> and all my purchased media is gone

Stolen by Amazon. They have no incentive to get it back. Amazon hopes that you purchase it again.

Call the consumer protection services. Big tech companies are not the law, they cannot steal things from you. Even if you committed fraud in one transaction, they cannot take away your property. (Amazon will call it 'service', but accessing your property is not a service)
You make no sense. The proof is obviously not coded in C because C is not a language you can write proofs in. But all of the instructions executed when running L4 were emitted by a C compiler.

(This is not to suggest that I would ever advise coding anything whatsoever in C.)

Unless... maybe you are saying all the C code in L4 was not actually coded by anybody, but was rather emitted by programs written in these other languages, and L4 is properly a program coded in those languages, with just a transitory C representation on the way to machine code?
Black mirror episodes are either really good or absolutely terrible.
Show HN: Dfeed – a feed reader you can use without an account
They can make it illegal and call it a day. The successful crackdown of BitTorrent usage is a good illustration of that. The protocol is still here and you can use it, but the general public doesn't anymore. In the case of torrent, it causes seeding issues and severely limit the availability of non-mainstream stuff (finding non-Hollywood movies is hard for instance).

In the case of bitcoin should the public don't use it anymore, the price would collapse, making the current mining unsustainable, and as the mining difficulty declines the robustness of the protocol reduces sharply, especially if state actors start buying the unused mining devices…

BTW, the sneakernet is unsuited for most uses of bitcoin transactions: you don't just want to be able to transfer the token from one address to another. Most of the time a transaction is an interactive process: you send the money and I give you something in return after I've checked that I actually received the funds. This usage simply doesn't work well on the sneakernet, because of the very high latency.
I think you'll find that quite a few senior execs don't actually handle their own email inbox. Just as they have an executive assistant to jealously guard their calendar and book all their meetings, someone is actively fielding their emails, dealing with the trivialities and junk, and only escalating the important stuf to the exec's attention.
When I get enough sleep my mind goes in overdrive and I'm very restless. Yet when I don't get enough sleep, I feel depressed because I lack the willpower to not spend hours browsing or gaming (and lose more sleep).

I want to combat the restlesness by forcing myself to do physical exercise (running, doing stuff in the garden,...) and meditating. But it's hard to keep up and not fall back into a downward cycle of sleeping less and a numbing feeling of depression.
This article doesn't actually get into what the idea is. Instead, it explains the entire history of the world hoping you don't notice the idea is missing

"Although Goodenough will not spell out his precise new idea, he thinks he is on to something."
There are things you can do remotely. This happens all the time.

I once sued a company in New South Wales in small claims court. It was done entirely online from the US, and if there had been a hearing, it would have been by phone. The company paid up within 24 hours of the filing.
Ask HN: How to decide whether to spin off a [micro]service?
Services. Micro, macro. Love 'em, hate 'em. The topic is not new on HN. A recent article prompted some good discussions ( [https://news.ycombinator.com/item?id=29379926](https://news.ycombinator.com/item?id=29379926) ). Let's continue this conversation.

How do you decide whether to spin off a service, and how will it connect and interact with the rest of the system?

A service is a capability. It's something that allows you achieve a behavior in a system. Functionality should be broken into a service only in places where it makes sense, and provides clear benefits to the system and the team. You can have good service-based architectures that are a pleasure to build and maintain. And yet, there are countless stories of teams breaking their system up into services, and then deciding to go back to a monolith.

How do you decide when to develop something as a service?

How do you decide when to refactor a system and split some functionality out into a service?

Are there any key questions that you must ask your team before deciding to do so?

What will make a service-based architecture pleasurable to build and maintain?

Can you share any short-form (articles, presentations) or long-form (books, courses) resources to learn how to do this well?
From Oct 26 2021
ceo's at this level have teams of executive assistants that cover all communications 24x7x365, for personal, work, and government liason. You don't think they actually read their own emails do you?
> Singapore is ranked as Asia’s most environmentally sustainable city.

The provided link is dead. I find this hard to believe. Singapore imports almost all of its food and all of its energy (mostly not sustainable) and much of its water. Practically speaking, the land is fully developed with relatively little in the shape of parks and reserves.

I'm currently living in SG, I love SG. But (and I had to look this up), sustainable, in this context means: "involving methods that do not completely use up or destroy natural resources." I don't see how Singapore is #1 (If you told me Singapore was literally the least sustainable country in the world, I'd more likely believe that)
What makes it not as coercive?

If I'm not allowed to have 2, was it less coercive because there was a way around it or something?

> It certainly did work though, it's very unusual to meet Singaporeans with more than 2 kids today.

I'd guess the lack of space and longer working hours would be more of a contributor.
I always knew these as "detachable" chairlifts, and I guess at some point as a kid I figured out that the chair must actually detach from the rope, based on the name.

I probably never would have even thought about it, if it wasn't for the name!
No, the induction step works for n>=3. The induction step fails for n=2.

For n=2, you can't prove h1 is the same colour as h2, because you don't have a h3 to compare it to.
I believe it's normal in commercial buildings to have CO2-sensors which are connected to the control of the HVAC system, activating/increasing the ventilation when the CO2 levels are too high. It seems like this solves the problem you're describing.
This sort of thing is why I go to the trouble to have an Android phone without a Google account or any Google services. It takes about an hour to set up a new phone, though.
To start the conversation, I want to share these questions:

- Can this service be completely isolated from the other services, interacting only through well-defined interfaces? Does it need to share a DB? Do deployments need to be coordinated?

- If a service can be completely separate (DB, deployment, code), is now the time to spin off the service?

- If the service must share a common DB, what things should teams consider?

- If things should a team consider when deciding how the service will be deployed, relating to other parts of the system?
I think there are Christian artists who could make it in the mainstream, but who focus on Christian themes out of devotion/passion, in spite of the smaller audience.
I've seen Python CLI apps for internal tooling being very maintainable and setting up a Makefile with an "install" task makes it easy for everyone in the team to get started.

> Simple, you get the secrets very rarely: at deployment.

Do you mean writing custom scripts to get secrets? Where do you store secrets in such a scenario? What if you need to change secrets at runtime.

Vault is nice in that you can fine grain access:

- ACLs which allow some team members to be responsible for setting secrets and other team members for using them,

- temporary credentials for well known DBMSs which helps secure logs from leaks,

- PKI Management,

- temporary SSH keys.

And more. Not sure how you'd get that with a deploy time script.
The base case is not n=2, it’s clearly stated as n=1 in the proof.

The inductive step works fine if you introduce the premise n>=2. It is not valid to introduce that premise. The inductive step is therefore wrong.

The proof in the post is saying the base case is P(1) and the inductive case is that for all n, P(n) => P(n+1)

“P(1)” is true.
“For all n, P(n) => P(n+1)” is false.
The inductive step is wrong

A completely different proof not present in this post could be:

Base case: P(1) and P(2)
Inductive case: for all n > 1, P(n) => P(n+1)

In that completely different proof, the inductive step would be correct and the base case would be wrong. That proof is not in the original post.
Hello mionhe welcome, that you mentioned It has been there since the first commit (103 days ago) :)