skysight-inc/HackerNews huggingface dataset:
I think that's also about the time Apple started making some cheaper phone variants, which opened them up to more of the world in terms of being affordable to a wider audience. Apple always had the upper-end crowd and "prestige", but Android had a lot of the upper end and everything below, which is why they had 70+% market share. If Apple makes cheaper iPads/iPhones/iWatches, it will directly take away from Android in those spaces.
Right? And why point it out immediately the first time? Everyone messes up occasionally. No need to be habitually breathing down their neck. Rebuking an apology just makes you sound like an asshole.
If only one person has 25Gbit, it's not a drastic impact. But if 25Gbit becomes the norm, it means all new use cases can be delivered. 8k video streams at 15bit color ranges, games streaming assets over the wire, mounting file systems that live directly in the cloud, etc.

I can't even think of it all probably. Maybe VR streaming and other things.

Maybe we can finally have higher resolution gifs?
Only some networks. I'm not worried that 3G will stop working where I live anytime soon.
Her PhD work on reflection and Smalltalk is one of the most insightful papers I have read.
But even if you look past the technicals, the example of the AP being a trusted source for who won the super bowl has issues. What if the AP announces team a won, but then 2 months later it comes out that team a cheated and the NFL retroactively changes the winner (similar to lance armstrong getting wins taken away, or in some years the tour determined there was no winner because there was so much doping.). Is the expectation that the AP will update their page which says who won?

While I will concede the example I give above is an extreme edge case, I would also argue that “who won the super bowl” is also an overly simple example.
No matter where FAANG host their infrastructure, if a particular set of states want to tamper with, censor, or surveil that infrastructure, they will be able to do it.

The legal structures and the ability to identify ultimate beneficiaries guarantees this for pretty much any legal corporate structure organised under a state. The only chance this has of not being true is a blockchain, the ultimate beneficiaries can't be identified, the infrastructure is not linked to a particular legal structure. There is no guarantee the state can identify the appropriate necks to apply the appropriate boots to.

If an organisational unit is to exist that will destroy the state, at the moment the only candidate for its infrastructure is blockchain.
Can you share your game?
You haven't given a stronger plausible interpretation than spreading FUD. Your only defense so far is that it was a non-representative fact bordering on a non-sequitur.
Facebook, Netflix, now Google - eventually the bs (unethical practices) catches up and bites you back.
Most floors are far more hygienic than an open piece of ground outside.

We evolved to have the ability eat food that has dirt on it without problem.

Therefore, in 99.9% of cases, it's perfectly OK to eat food that has been on the floor and/or is dirty.

It just goes against our learned knowledge that it is unsafe to do so, that's all. Look at your toddlers and babies. What do they put in their mouths? How many of them die from doing so? Why is that so?
Researching it now, I think Asimov actually had aphantasia, he talks about how he can't visualise at all:

> IA: "I have no talent whatsoever for writing movie scripts."

> Interviewer:"How can this be."

> IA: "Easy. The requirements are different."

> Interviewer: "Writing character or..."

> IA: "Well you have to have a picture in your mind. You can't just tell a story. You have to at all times know what's on the screen."

> Interviewer: "Visual medium."

> IA: "And it's useless to ask me to do that. I never see anything that I write, I only hear it. Conversations, all that I'm aware of. That's why my books are so "talky". One of the reviews of Nemesis says it's talky (oh what do they know) but it's true. It's great talk but he wouldn't know that."

> Interviewer: "But what you talk about is visualizable."

> IA: "I suppose, but that's purely accidental."

From this Reddit comment: https://www.reddit.com/r/Aphantasia/comments/euvz05/apparent... although the video linked appears to be dead.
It's also a lot cheaper if you don't have to install a keyboard and all kinds of stops.
Pretty dumb if you ask me. You're taxed on your income, then internet services that you buy though it (physical) and now virtual.
Also known as the difference between accomplishing something and talking about it.

Amazon has total domination in the enterprise cloud business and is the largest player in online retail.

But you know in the world of contraries , winning is a huge liability because it means you arrived at the end of the road, whereas failing to achieve more than 1.5% of market share in 20 years is a huge success because it allows people to daydream of infinite curves which go up & to the right forever after slouching for 20 years /s

If you are good, you are good from the get go.
I'm not in the business to know feasibility...but I've lived all over. Out west, depending on area, it seems there's -too- much sun and everyone has solar panels. Back east(and potentially PNW, but I've never lived there) it rains so much people tire of it.

Is there no way states can like...organize a trade? Clean power for clean water? Or is piping that much water around not realistic? I know it's a naive take, just felt weird seeing and living on both sides.
Have you ever seen someone talking as the sun hits them in just the right way to get the droplets expelled from their mouth to catch the light and glow? That's what masks are stopping, tiny spit drops with a covid payload. It's not perfect but it helps.
Whatever the immediate calculation, I can see the argument for clamping down on password sharing from a brand perspective. If Netflix continues to have a reputation as something you can just mooch from someone else, it ends up devaluing it in people's perception, and the longer they let it go on, the worse it gets (even if they've probably left it too long already).

So I think you're right that their doing it based on emotion, but it's probably more about overall strategy than just the math of how much money they'll lose in the short term.
> Since the package comes from a PPA unattended-upgrades will not upgrade it automatically, unless you enable this origin

For anyone still on 18.04 or 20.04 and not yet ready to upgrade or move off of ubuntu, you can add firefox to the "Unattended-Upgrade::Package-Blacklist" list in /etc/apt/apt.conf.d/50unattended-upgrades

https://askubuntu.com/questions/1279041/disabling-firefox-ba...
> your greater system model has to assume it can die at any instant for any reason

Correct. This is something I have to design for in the system anyway, because in practice anything can (and does!) die at unpredictable times. It's typically an inevitable fact of life that a machine/kernel/program will occasionally die, and your system has to survive that.
Slightly off topic, but have you heard of Utopia? They’re a municipality in Utah. They run the fiber for a flat fee to customers and let any ISPs sell on it. Currently ~10-15 ISPs. Your guys pricing would absolutely stomp these ISPs. Have y’all considered jumping on these kinds of opportunities? No need to run cable and can just start accessing 100k+ Utah customers. Ripe for disruption.
That you think it's useful isn't relevant; he doesn't wanna use it and yet nevertheless has continuously been nagged about it. That's not a good experience.

Fwiw I don't use Apple Pay either. There's a lot of things I don't use, for various reasons, and "you should just give in and use it" isn't the right response.
You might start to understand more about it if you read Cage's writings. He's at least as significant as a writer as he has been as a composer.
Dead reckoning is not appropriate for modern warfare and may result in death. Recent example would be Russians getting lost in Ukraine because the locals changed all the road signs.
It’s $10k/yr/EIN, too. So if you perhaps have a family trust or a single-member LLC, disregarded on your taxes as Schedule C, that LLC or Trust can create an “entity account” at TreasuryDirect. It has slightly stricter restrictions than an account for a natural person, but certainly has the ability to purchase and hold and sell Treasuries too, including I Bonds.
How many John Cage fans have you actually had a drink and talked with?
It’s interesting to me that most people, even when renovating their kitchen in a home they never intend to sell, don’t bother adjusting the counter heights to that most compatible with the user.

Multiple heights are appearing in more designs now.
> The frequency was chosen because it was not only able to beam even in heavy rain with a loss of power of under five percent, it's also safe to use under international standards in the presence of birds, animals, and people.

What frequency is this specifically? I'm curious to know how people-safe it is in practice.
Simple.

1. Russian anticipated the sanctions - this isn't the first time - so Russian had some plans in place. They've been dumping US Fed Treasuries and hoarding gold. That's part of removing USD dependence.

2. Russian has plenty of internal resources with plenty of industry to replace enough (not all) of the sanctioned imports.

3. Russians support Putin at nearly 80%. Sanctions have electrified Russian patriotism. A funny set of Tweets are Russian women tearing up the expensive Coco Chanel products. That's thousands of USD worth torn up because patriotism.

4. Russian has the EU by the balls because Green Energy doesn't and won't replace the Russian exports of oil and nat gas; compounding that is Germany shutting down nuclear power plants exactly when they can least afford it. The next play: demanding payment of the same oil and gas in Rubles rather than USD. The assumption that the USD is supreme is wrong and provably so now with the Ruble rebound.

5. Russian has plenty of allies who leak past the sanctions - like 2/3rds of the world's countries by population - it's LITERALLY only the West who is sanctioning. This is akin to how Cuba was/is embargoed ONLY by the US but not Canada or Mexico.

6. By doubling down on sanctions the US has primarily weakened the Petrodollar which is the ONLY REASON the USD is as strong as it is and the only reason we have the lifestyle levels we have today despite having very low economic production - we'd be closer to Portugal in effective economic strength without having USD reserve currency status. It's a subsidy that has made and still makes us super lazy and entitled.

6a. The US is still living in the delusion of being unipolar and "indispensable". That is no longer reality and sanctions accelerated the move to multipolar.
I only recently became aware that my brother and I sharing an account with two "screens" watching at the same time is password sharing. Looking at the plans page (https://help.netflix.com/en/node/24926). They don't define "screens" as being on the same network do they?
> it’s possible; certainly the NASA and NRL personnel knew each other and contributed to each others’ programs

Yes, it is possible, but for military programs very typical, program running in 1980s forgot knowledge of 1960s.

Example, Lockheed SR-71 used stealth technologies (even U-2 used), but insiders said, all these achievements was lost, when worked on F-117.
That's not what containerization is about as can be easily demonstrated by simply running your container on a kernel that's built without some config option you rely on.
You're right. Self-inflicted was the wrong term to use here. I just meant that Canonical themselves, in some part, have been pushing the desktop crowd away, even if it's a feedback loop between Canonical and the community like you allude to.

I just wish they had followed a similar approach as Red Hat have, where they're still able to place a significant amount of effort into the desktop side of things thanks to their enterprise offering and specialized focuses, like embedded systems for automobiles, which I believe is where much of the Pipewire work came about for example.

That's not to say Red Hat is perfect or a crowning example of a Linux company "done right". Rather, it's just an example.
To cause developer pain?
> Almost every psychiatric diagnosis is problematic, and articles questioning any's validity can be dug up

That’s true, but this seems one of the more problematic ones. See for example https://en.wikipedia.org/wiki/Dissociative_identity_disorder....

Because of that, I don’t think it is problematic for anybody to say its controversial whether this disorder really exists.

This goes a bit further, though, claiming it probably doesn’t exist.

IMO, that isn’t saying the patients are faking having problems. It’s saying we don’t know much of mental illnesses, and that creating this label doesn’t help the world.

I think most in the field will acknowledge the first part of that statement. That’s why this is called a disorder (“a functional abnormality or disturbance”) and not a disease, a term we reserve for cases where we know what causes it.

As to the second part: I think a new label only makes sense if its definition groups people together not only because they have similar abnormalities, but also because they are helped by similar treatment. That’s very hard to judge for disorders, because “doesn’t respond to the standard treatment” can easily lead to a conclusion “diagnosis was incorrect”. That also is what those writing the DSM struggle with.

A problem, though, is that patients prefer hearing “you have foo” to “we don’t know”, even if there is no difference in treatment between the two.

I think that’s why those claiming “most people claiming to have foo don’t” (which I would say currently is true for such things as autism and ADHD), the stronger “foo is rarer than diagnosed” or the even stronger “foo doesn’t exist” are met with much resistance.

But again: I think the last two are statements about the state of psychiatry as a science, not about patients.
Fascinating Things You Probably Didn't Know PostgreSQL Can Do (2020)
GP is referring to Elon’s allegations that he did in fact have funding secured, but the SEC and banking sectors for some reason blackmailed him into falsely “admitting” he didn’t. It’s in that TED interview he did on the day of the TWTR takeover offer.
To this point, if US prison labor isn't "slavery" or "involuntary servitude", then removing the words between "except" and "shall" would be noncontroversial.

Similarly, if there was political consensus that US companies shouldn't own or hire slaves overseas, then the bit starting with "within" would be easy to remove as well.

None of this has had any chance of happening since the thirteenth amendment was passed (not even during BLM). It's pretty clear that a big chunk of the US's leaders are pro-slavery.
What is "abandonware"? Software does not have an expiration date. If it runs, if it does everything it does originally, I don't see the point for "patching support" for the sake of it.
I don't have a number handy but I'd guess fewer than 10%. That's not so bad, and titles are often better with needless words omitted.
The Pressure to Conform Is Enormous
What is your thinking/reading experience like then?
Exactly. When it comes to water, Colorado comes first. Colorado gets all the water it needs and wants. If there is anything left over, then lower areas can have some of the water. If not, they don't get any.
Formal methods have been a holy grail for the decades I've been programming. Back in the day, they were utterly useless. If you define the goal as producing software that is guaranteed to fulfil it's requirements, they are still are hopelessly distant from achieving that goal. It's just too hard to formally prove everything.

However, we are making progress. Strongly typed systems are formal proofs your code adherers to some invariants. Compared to traditional format proofs (which largely consist of long complex mathematical statements about preconditions, post conditions, and invariants) they are delightfully simple and low overhead. It used to be that your strongly type system guaranteed you little more than you the arguments you passed matched what the method was expecting. But now Rust's type system gives you strong memory guarantees - there shall be no dangling points in Rust, and no two threads shall stomp over each others working memory. To me, this is am amazing advance. I never expected to see it in my lifetime.

Strong static type systems are the formal methods programmers actually use today. They are getting stronger, proving more and more. They are so good now they are invading areas that used to dismiss them as useless overhead - like Javascript with Typescript, and Python's and PHP's type annotations.

I'd be stunned (and almost certainly dead at the time) if formal systems ever got to the point proved a program exactly met it's requirements. Strong type systems don't try to prove that. But they do go a long way toward proving a program is internally consistent, but which I mean you don't add an float to a pointer, you don't access memory in an undefined state, and you don't have resource leaks. The end result is, as a Rust programmer will tell you, once you get the thing to compile (which can be a major hurdle) there is a good chance it will work.

For all the criticism crypto attracts here HN, it looks to be the area that will lead this drive. You see headlines about the costs of crypto bugs every week at least - because they exceed $10M. For every $10M bug, there must be hundreds that "only" lose a few $100k that we never hear about. The pressure to get it right the on the first release is immense.

Interestingly, and it seems completely lost on most HN commentators is crypto is at it's heart about building a world where all laws are written in software, assertions and promises the laws operate on aren't on paper and memories but rather can only be recorded in a blockchain, the judges are VM's executing code, and the jails have been replaced loss of crypto currency. The original article was about introducing formal methods to our existing law. I'd lay long odds this other mob, who is trying to replace out existing law with something else entirely, will beat them at delivering formally proved contracts between parties.
Got kids? Look up “minor” accounts.

Got an LLC or a family trust of some sort? Look up “entity” accounts.
Maybe so but that POV probably has zero bearing on their global market share. Affluent users have chosen iphone by huge margins forever. Android got market share by owing the low end of the market, especially in developing economies. The driving factor is probably just increasing affluence in China and India.
This opinion is terrifying to me. Why has our culture become so authoritarian?
Ask HN: Thinkers that have greatly influenced your way of thinking?
What are some of the thinkers that greatly inspire or influence your work or your way of thinking in general? Or maybe the people you look up to, or aspire to be, etc.

And I mean "thinkers" in the broadest sense (eg writers, artists, bloggers, people in your field, etc.).

I think the HN crowd is super smart and would really love to learn about your influences!!

A list of multiple people (with explanations if you'd like) would be even better :)

PS. This is a repost of https://news.ycombinator.com/item?id=31092008

There were a few really lovely comments which makes me even more curious to see what others have to say!
Human-Readable Blockchains
I don't think it sounds like me when I hear my own voice - either when I speak or hear recorded snippets.

I'm not sure what voice it is - but when I read or type I hear it, and I can ask questions internally and kind of look up things to recall a bit. No visualization it it's like a key value lookup.

It's a bit hard to explain but I was bummed when I found people can actually visualize things internally
Pfizer no longer have trust. For anything. Just read the documents they were forced to release this year (rather than 75 years in the future) - you figure out pretty quick why they wanted it covered up for 75 years. It's horrific.
The best guide is probably Cage's book, "Silence". Contains a lot of Cage's interaction with Zen, random change procedures, silence, form and time in music, and all the ideas that are contained within his various experiments.

It would be hard to explain in an easy sentence or two on here. If I thought I could do it, I'd try. It might end up looking like a Zen koan. :)
I'd be thrilled to find something like this that's self-hostable, even if you gotta use their app and the updates are binary blobs or w/e-- anything that I can run offline, but I think that's a looong ways off.
you don't need to graduate with an academic degree to work as a software engineer. however, unless you go through considerable self-study of computer science theory, you won't be a computer scientist. a computer scientist does not necessarily write software just like a brick layer or master craftsman is not necessarily an architect.

i think that one of the main issues we have today is that all of the above is treated the same, and the main focus is on hiring people to write code (i.e. brick laying), and the this is done by first putting them through irrelevant coding interviews to make sure they can write code (something that a good academic education / degree will require you to do anyway, if you want to graduate). the interviews optimize for memorizing optimal solutions to problems you are unlikely to encounter in practice and which you can find in a book if you need them.

computer science / software engineering is still a young field, so there are no trade organisations yet. given the situation it is unavoidable that they will be created sooner or later.
And incredibly dumb.
If you want to do embedded I would kind of agree(But C is low level enough), otherwise... I'm not so sure.

Low level languages teach a lot of habits I don't like, and they don't teach as much about working in a modern high level environment on complex software.

Everyone should probably be vaguely competent with C, but I wouldn't call it a top priority.

If you're thinking about the underlying machine stuff when coding in Python, you're kind of just accepting leaky abstractions. If you're in the habit of first principles thinking, leaks seem normal.

C doesn't really seem to layer all that well. Whenever I code in C, I usually have to dig down to the SDK API level, and I wind up reading 10 other files to make a change in 1.

High level languages make it clear when something isn't DRY, or an abstraction leaks, or something isn't usable without modification. It's unusual, you notice right away, and you want to fix it because it obviously doesn't fit.

Low level languages make everything feel totally patched together. Encapsulation just isn't a big thing in most of it. It's almost like looking at an old point to point wired TV set compared to a rack of servers.

You might be able to write some amazing ASM code that feels as modern as some top notch Kotlin... but I'd call that an expert, not just a competent person.

And worst of all, the compiler can't catch many bugs. It's not like Rust. Or even Python. Low level languages don't teach the art of making sure that the computer has your back, the way Rust might. They normalize just entirely relying on your own skill, to the point where some C devs don't even seem to want the compiler to eliminate large classes of bugs for them.

High level languages teach a real appreciation of abstraction and safety, and standardization, that I don't feel like I really learned with C.
Ask HN: Can someone explain the chip shortage affecting Auto Industry?
Can someone explain how it boils down to a supply-demand issue? Pardon the naivety, but can car designs not use a computer processor instead?
Banks are some of the most highly regulated entities in our entire economy. They can't do really anything without asking for permission or following exact steps spelled out in FDIC/OCC/Fed rules.