skysight-inc/HackerNews huggingface dataset:
> Anyway the point here is that we want to formulate a theory with the lowest amount of primitives and axiomatic concepts.

A theory makes only sense with respect to some logic. So first, you need to define what logic you are using. This logic is your theory with the lowest amount of primitives and axiomatic concepts.

Now, once you have that, you can turn your attention to other things on top of that. If you are interested in functions only, sure. You can for example study the lambda calculus.

But don't pretend that this is so that you can reason about computer programs better. Sure, learning more about functions is useful, but numbers are also very important for computer programs. So are trees. And graphs. Expressing all of these just in terms of functions can be a fun exercise (pun intended, Church numerals anyone?). But instead of trying to express the important concepts of your program as functions, and then studying them, maybe your time is better spent studying the concepts themselves directly.
But how does that sell ad space on my consumer attention spot market? And then they can't see the product they're about to buy! /s
Sure, but that would also eventually lead to a war between the US and EU, whose long-tail concequence is to wipe out all those gains.

The EU makes the explicit choice to live under the US security umbrella, not form a competitor power to the US, and gradually get rich.

Get rich quick schemes, as ever, lead to disaster.
The US economy is not growing through innovation which is what is always implied.
Its "growing" because we are 1) printing more money 2) replacing American workers with wage slaves from poor countries to work for peanuts and pocketing the difference.
We have an RFC for this that has fairly broad support that I just need to bug some people some more so we can approve it.

https://github.com/rust-lang/rfcs/pull/3243
The extra 4 are for ECC
I think a game is a good example, or anything that's kind of like a game in that it's modeling a world that's changing over time. Objects come and go, and they "target" each other or "require" each other or whatever sort of relationships the program wants to express. Those relationships end up forming a graph that might contain cycles.

I just put up a blog post about this actually :) https://jacko.io/object_soup.html

> promoting the shared state to a container object for the set

Yeah I think that's a good way to describe these "ECS-ish" patterns.
Again, you’re looking at your little piece of work that is a speck in an entire organization. Your CTO is working with your CIO, compliance department, finance department, product owners, the PMO organization, etc.

They are talking to the board about strategic decisions and what will give them a competitive advantage. He’s not losing sleep over whether you put a facade over your data access layer because in some distant future long after he is gone, AWS may raise prices.

If the spend is large enough, he’s going to talk to his dedicated sales rep to lower prices long before he comes to zmgsabt and asks him did he make his data access class “cloud agnostic”.

A dependency always slips in somewhere unless you are constantly testing and preparing for portability like Uber does.

Hell, I released code that was part of a major official open source “AWS Solution” and got complaints a few weeks later that it was dependent on a region and that’s not the first time I’ve seen that happen.

Let alone a dependency on all of the arns always having “aws” in them not thinking they wouldn’t work in China or gov-cloud. I hardcoded the partition.

https://docs.aws.amazon.com/AWSCloudFormation/latest/UserGui...

Another case is that “we are using MySQL to avoid lock in with AWS”.

Years later.

“Oh shit. The data team is loading data into the database using the AWS extension that lets you load data from S3 using a sql query”
Australian Government [to be] Exempt from Own Online "Misinformation" Laws
If you have an IAM with underlying IDP's it will legit be a stack of redirects with callbacks, sometimes deeper than 1 or 2. It's nuts.
This is not new. It has been done many times in Denmark, and it works.
I read the statement "people who have to make actual impactful decision" as being high-level government people. I assume they can get information untainted by their own government's propaganda and disinformation. (They can also probably get information less tainted by the other side's propaganda and disinformation, though not perfectly so.)
Or a permanent resident. Or a Danish or EU citizen.
What a fantastic analysis. I've loved the Trusting Trust paper for decades now, it's so short and sweet and mind-blowing. But I honestly assumed it was a kind of thought experiment, not something Thompson actually created. Amazing to see the actual code and also learn how it sort of got into the wild but didn't quite pervade. (At least, we don't think so.)
Regardless of how good the product is, are companies really going to trust a startup with 100% of their hardware, software and support dependencies with no outside ecosystem and no interoperability with any of their existing infra?
I definitely want to know more on their Kubernetes, this a software not designed for on-prem so i’m curious on their stack choice
That's what a full formal theory encompasses. We need to define the term formally. It can be done for software organization.

We've defined it for algorithmic complexity. Turns out it's two metrics.. speed and memory. Best means the lowest N, with primitives being algorithmic loops.

What are the primitive modules used in program organization? Given 3 of the smallest possible primitive modules we can define in computing and all the ways possible to compose those three modules. What composition would be best? What is the metric that fits most well with our notion of best? There may be several metrics here. These questions are the ones that are asked when formalizing a theory derived from intuition.

For the bridge it's likely balancing several metrics we already know. Safety, cost, length, etc. Once those metrics are quantified a theory exists to find the best. It's called optimization theory.
Petition Calls on Microsoft to Extend Windows 10 Support
'Bad for consumers [and] bad for the planet,' PIRG says of Microsoft's decision to end support for Windows 10 in 2025, even though an estimated 1 billion PCs can't upgrade to Windows 11.
5% GDP growth when inflation is 1% is quite different from 5% GDP growth when inflation is 10%.
I think it is the 2020 model (but unsure, I don't have the phone with me).

For Android: I have actually asked the repair shop a few minutes ago, and the answer ranges between 50€ and 400€ depending on the actual model, because the Android market is much more diverse (EDIT: for Android phones released around the same period).
It’s not VIM specifically, it’s the vim way, a language for editing texts. Actions are atomic and composable. And then you can add your own commands.

You could probably use VIM inside VSCode but the latter does not expose the necessary API. What you got instead is a very simplified version. Emacs does and evil-mode is a very good vim.
Pour One Out for the Banks That Invested in Musk's Twitter
Don't forget about ROPC!!

There is also an MFA bypass that I see often, it's the Resource Owner Password Credentials (ROPC) flow in OAuth.

Especially when you have an Microsoft M365/Azure tenant. Pretty much every client that I have ever tested had this issue. When ROPC is configured (which is the default) then you can just use a simple password to logon (and it bypasses MFA).

More details and a tool to test your own tenant:
https://embracethered.com/blog/posts/2022/ropci-so-you-think...

If you use M365/Azure test and see if you can logon without MFA, you might be surprised.
Hey, I want to disband NATO too. There was another guy that wanted to do that as well but we all hated him for it for some reason.
Probably because it ends in two dots which makes it look like you're being dismissive and rude.
> the goal is that 90% of people should be homeowners

yeah right - info welcome from those that read giant books on the 2008 credit events.. one thread in that is that it was a clumsy and heavy-handed, politics-origin set of decisions to make "sub-prime" mortgage rates available widely, in order to move the homeownership rates in the general population from sixty-something percent to the glory-lands of ninety-something percent.

Well, in fact lending policy at scale did not do that, and as a side-effect the entire US and possible dollar-based credit system cracked at the base. The strongest economy in the world, actually almost did choke on credit.

Meanwhile, a recent study echoed here on YNews said that "A million homes are being kept empty while housing costs soar" WSJ . How does one reconcile this?
“there must not have been any gold”
Now you can operate your own local cloud (Dokku, Rancher, Proxmox, VMWare, MinIO, k8s, you name it). This gives you all the simplicity of deployment and accountability, and some elasticity.

It adds a bit of ops complexity at the start though. But running your own rack starts to make sense when your AWS bill is at least the same order of magnitude as an SRE salary; at that point, you already have needs that are varied enough.
What happened to the bug-for-bug compatibly promise? Or was that just Rocky Linux?
So they can invest in developing a new product, release all the software, schematics, and firmware, and have a factory in China produce a perfect knock-off in a split second?

Why develop anything new when copying someone else’s work is so much more lucrative?

IMO the core of right to repair should be more focused on preventing anti-competitive artificial barriers to repair, not forcing companies to give away their secret sauce.
In the US, I’ve had to do this probably 5 times, and each time the retailer sent a replacement.
Integration, yes. Assimilation, absolutely not.
basically, I'm wondering if we'd go into a recession immediately if the government was forced to cut spending to sustainable levels. The debt is finally hitting a point of no return where we have to cut, next year we'll spend more on debt interest payments than our military

the main argument that the economy is doing well is that "the labor market is strong" and unemployment is low, but how many jobs are tied to government deficit spending via contracts or direct employment? If that spending is cut back, I'd imagine the jobs numbers will quickly start to decline
The majority of Americans are really struggling. Don't be too jealous.
It seems partial to encourage assimilation. The question remains as to what happens to those displaced but I think the Danes might have a satisfactory answer as this experiment is not being run by the right.
> The numbers I see coming out about the state of the economy just seem more and more out of sync with reality on the ground.

What are those numbers?
> "The law mandates that in neighborhoods where at least half of the population is of non-Western origin or descent, and where at least two of the following characteristics exist — low income, low education, high unemployment or a high percentage of residents who have had criminal convictions — the share of social housing needs to be reduced to no more than 40 percent by 2030"

A lot of countries have had problems with putting all the social housing in one place and then ignoring it while conditions worsen. Especially in big badly designed tower blocks.

But there's no need to tie it to immigration status, and there's especially no need to tie it to ethnicity! If there really is a crime problem in a place, then let that speak for itself. And of course the creation and suppression of ghettoes has a terrible history in Europe.

(Interestingly, Denmark managed to evacuate 90% of Danish Jews to neutral Sweden during WW2, far higher than other occupied countries)
That was a poor decision. Every other cloud provider has domain support. Just left my CTO role at a public company to do a another startup, GCP wasnt even in the running. It was between Azure and AWS.

Also the first company i didnt pick GSuite or whatever they are calling it now because they fail to innovate on it. Office365 has been beating it in feature launches like adding an AI copilot and AI generated meeting summaries. Spend less effort renaming products and more time building features.

Google needs to fire their leadership. They will be the next IBM if they dont.
ROPC – So, you think you have MFA? Common Azure OAuth misconfiguration
Imagine how much it will "grow" when we get involved in 2+ simultaneous wars.
Show HN: I wrote a book on language learning and released it free
As hard as I tried, I didn't find a modern language learning book that's either very academic, or like "master a language with my super-magic great method in 3 months".

So I dug into the academic research, tried many techniques myself, saw what worked, wrote a book for learners of any language and any level, and made it free without ads.

Today, finally, a 2 years-long project ends. I hope it helps anyone.

Book's here: https://thehardway.guide/

Cheers
Trying Tinned Fish
I can't answer that, but there's some companies that do all that in public:

- https://handbook.gitlab.com/handbook/total-rewards/compensat...

- https://www.checklyhq.com/blog/open-sourcing-our-pay-calcula...

- https://buffer.com/salary-calculator
Raise all prices by 4.9%, GDP grows by 4.9%, with no additional production. And we'll all effectively be poorer.
Not sure I understand why doing this in AR would consume more data.

What I’m proposing is you’d just have a “floating head” type call with someone else. The environment around you would be the real one that’s already there.
This number is inflation adjusted.
Vim allows the editing to be thinking.
“ It's appears they are convinced some meaningful part of the "Right to Repair" can't be stopped and of course as competent strategists they are, Apple can't be caught "of the wrong side of history" so they pretend to switch sides, or even paint themselves as on of the original supporters. I wonder how bad it gets until they use Steve Wozniak's name for this...”

I agree with your assessment. On the other hand, we should be open and accepting when large companies make policy shifts.

They will need to live up to the expectations of this new enlightenment, to be sure, and not run down the “Apple-certified” path you described. But I’m hesitant to immediately consider this is the way it will be.

I do recognize that optimism and my belief that people (and the companies they embody) can make substantial changes to their default behaviors has burned me before, so your pessimism is certainly warranted.
This is inflation adjusted.
>Even if Oxide goes bust, you can still salvage things in a pinch.

Is this true? Can you set your own root of trust for the firmware signing key and build and deploy it yourself?
Oh I see, I was confused because I didn't mention PPE in my comment, maybe you meant to answer to the other top level comment which does use this abbreviation!
Ask HN: What is common between a smartphone and a social network?
I have a strong feeling that the iPhone operating system has turned into a social network, just with closed profiles. We have a centralized service that supports communication between social network accounts, strict moderation and mandatory registration when purchasing the first device.
Accuracy of surroundings is absolutely something it could improve on. Adding a different modality (like lidar) would be like adding another sense. Seeing an 18 wheeler without under guards would be easier with an additional sense. It makes the intelligence part easier because the algorithm can be more sure about it's interpretation of the environment.
The thing is that those who want to integrate will put in a lot of effort in this direction and eventually will make it.

The reality is that the majority does not want to integrate. That's why you have places now that are immigrant only with little to no public order in Denmark, Sweden, France and the rest of the countries that received a large number of immigrants.

It is not about real-estate, it is about people not behaving like the host country expects them to behave and the end result will probably be mass deportations back to the places they came from or maybe other countries in the same region they came from.
The "social media" requirement with AR also sent us reeling in mil-spec-landia, where every little widget HAS to be insulated - or at least insulate-able - from wide area networks, and anything that needs a cloud to run is DOA.

Sure, I guess you can configure an image on GovCloud or one of the other ITAR cloud services but . . have you ever tried to deploy a consumer app image on a NIST-and-FEDRAMP-and-WHATEVERELSE-certified container? There's a reason the big vendors just give up and run on-prem. You end up with a whole other release of your software that you get to maintain, forever. Maybe this has gotten better in the last few years . .
4.9% is inflation adjusted. God, don't any of you RTFA anymore?
If they were serious, they'd build a phone with a user replaceable battery. As in, my battery died while standing in line at the store and I can swap it out right there without tools and 6 hours and a lot of anxiety.
GDP measures the value of goods and services produced in the country.

For the question you're interested in, you'd want to look at other measures like the deficit as a share of GDP. Which is trending badly in large part due to lower revenues (variety of non-ideological reasons).
Have you seen or been involved with overseeing the architecture of a large enterprise or state government? There is such a morass of built up complexity it takes years to complete a migration and many just give up and install a direct connect to their cloud provider and claim they always meant to be hybrid.
Can't expect people to hand $$ over peacefully.
They're selling a rack that hosts an entire virtual cloud. Nobody has done that yet. There have been servers with hypervisors preinstalled, but nothing like this.
*large businesses.

Plenty of small businesses sometimes act against their own self-interest because they genuinely care about their community and their workers. See: retiring restaurant owners who sell to someone who will keep the tradition alive rather than the highest bidder.
That's not really moot, it's a whole separate subsystem that you have to reason about. "Swap it with one that you know works" is a solid troubleshooting step that is completely ruined if you have to call a third party to do it.

Besides, maybe the big solar flare comes and you can't call Apple for a few months or years. Offline repair needs to be possible.
Malware does that all the time - return different stat() results, change the contents for anything which isn’t execution, etc. It’s detectable but fundamentally you’re in a nasty race since the attacker can use the same tools you do.
I'd argue that at some point in the past the empire understood that a strong Europe is in its interest, right now it's just devouring its vassal though. That cannot end well ...
I remember having a great time in physics classes in HS doing mechanics. Maths was definitely quite abstract but not as bad as you seem to describe. Maybe it changed or maybe being in a "top school" in which a good portion of the teachers are also agrégés is part of the issue?

The reforms I was referring to are the ones pushing sciences even further away for a good portion of the kids with the earlier specialties.

> I hire quite a lot of these and the general feeling is that the school does not matter anymore

I feel like it's still a good proxy to identify people who are going to have a more mature approach to their field earlier on. But nothing can replace passion I guess.
> Which sanctions are causing the problem?

Sanctions on Russia and the US refusal to allow Europe to buy cheap energy from Russia.

> Which US wars are impeding growth?

The US proxy war in Ukraine. The upcoming proxy war in Taiwan.
There has been plenty of innovation in microwaves. Commercial kitchens use speed ovens, a combination oven + microwave. The oven cooks the outside of food as expected, the microwave cooks the inside faster than normal. See your local Subway sandwich shop for an example.

And Instapot was killed by private equity.
what do you mean by this? that inflation is currently 1% or 10%? it's ~3.5% right now
You seriously don't get it, do you?

To talk in extemes: The Borg (which are not Swedish as we know) assimilate, the Federation integrates.
If the American left were being what it claims to be, it would have concern for the non-whites whose neighborhoods are being overrun by gangs, not just concern for not imposing white values and culture on non-whites.
They put themselves in this position, it isn't the first time they've come out in support of right to repair, only to push a maliciously compliant repair program. So everyone's going to be highly skeptical of them until they see the results.
this will get revised down; all the stats are optimistically released, then rounded down, then changed if still not good enough
I'm all for this personally, but it would inevitably lead to a repeat of early 20th century Europe
Founders write the stock agreements - so pricing, vesting, and voting class are almost always written in their favor
...for some reason. Yeah ok
US economic growth accelerated to 4.9% in third quarter
No it isn't and will never be here.

Whether it is AI or Crypto, Blockchain or whatever, please stop saying 'Web 3.0' or 'Web3' and trying to make this happen, this is getting very tired and cringeworthy.

Crypto opened a pandora's box for ransomware scams and OpenAI 'opened' a pandora's box for fake news, fake images and disinformation campaigns to amplify the scams.

Crypto created this mess and AI is just wiping the mess everywhere while at the same time both of them require mass amounts of energy and waste to function.
I have fantasies about extracting data out of this brain and recreating this man as a simulation. Could it somehow be possible?