Hacker Newsnew | past | comments | ask | show | jobs | submit | d3ckard's commentslogin

No, you don’t. It only sounds nice. In practice this enables all kinds of spontaneous prosecution with any possible motive.

This is particularly funny if you consider petrodollar to be a bad deal for US, not a good one. Ironically, if yuan becomes new petroleum currency, it might hurt Chinese long term.

Petro-yuan =/= reserve currency.

USD reserve = print USD for everything liquidity to sustain debt financed existence where Triffin hollows out industry, and financialize everything because having stupid amount of liquidity incentivizes certain behaviors.

Petro-yuan = PRC gives swap lines to trusted partners to buy oil denominated in yuan in exchange for things like resources. Hormuz ships ~1 trillion USD worth energy that needs "swapping" - incidentally PRC imports around ~2-3 trillion, more than enough to cover.

So think petro-yuan = PRC gives trusted countries with resources that PRC bonds credit lines to buy yuan denominated energy (possibly at discount), in return they guarantee PRC resources or other commercial/geopolitical arrangements. It will be narrow, not like USD brrrting reserves.

This benefits PRC because get to have leverage over "need" transactions (countries need energy to survive, it's no negotiate) while US keeps supporting "want" transactions by reserve debt servicing blackhole that US cannot extricate itself from until it debases / technical defaults. PRC best game plan is... assume privileged part of exorbitant privilege, while leaving US the exorbitant.


The problem with that plan is that no one wants to trade hard commodities for a currency that can’t be spent. One part of the dollars appeal is that it spends the world over. The sanctioned countries frequently have more liberal access to dollars than to unsanctioned yuan.

So no one is going to take up a lot of yuan trade unless that changes or they are forced to.

But that puts China in a bind. Liberalizing their currency is going to require very careful and slow actions, China threads this needle now in a very fraught way. If they openly start trading oil at any real size in yuan that will break their peg as you’ll be able to trade through the oil markets.

This is the main reason there isn’t more petro yuan already, it’s bad for China.


> The problem with that plan is that no one wants to trade hard commodities for a currency that can’t be spent. One part of the dollars appeal is that it spends the world over.

> So no one is going to take up a lot of yuan trade unless that changes or they are forced to.

Related on the “forced to”point, this is where Russia is stuck with its crude oil sales to India where the payments have been made to it in Indian Rupees. There’s almost nothing that Russia can do with the Indian Rupee. This is a huge and growing problem because India’s imports from Russia eclipse its exports to Russia by more than 10 times. [1]

[1]: https://www.financialexpress.com/india-news/india-russia-sum...


Unlike China, a country whose exports to other countries dwarfs their exports. The yuan is much more valuable than the rupee (which is turning to trash with each passing month as a net effect of trade wars and oil crises).

You can buy from China though. And China is the largest import trading partner for the majority of countries in the world. They literally don't need to do anything to prop up a "petro-yuan".

You can’t largely. At least not with offshore yuan. To do that you have to go through the controlled settlement channels to get onshore yuan. That’s tightly controlled to protect the peg.

So no one is going to use a controlled currency for a hard liquid commodity. So if China wants petro yuan they have to liberalize that, which will break their peg.

China could have more international trade in the yuan before all of Americas recent misadventures. But that has cast consequences for their economy, and possibly the ruling elites power structures.


Saudi Arabia was literally negotiating with China for payments in yuan for petroleum way before the war started, in 2023. The Gulf countries' largest trading partner is China - such a transaction is effectively a barter enabling programme. Russia and now Iran already accept yuan.

The mainland vs offshore renminbi restrictions disappear in Hong Kong, Singapore, etc. where most mainland Chinese trading companies and otherwise have offices anyways. Trading offshore to onshore renminbi becomes their problem, one that they are fairly accustomed to.


The negotiations were literally about how to manage the currency risk to Riyadh. And none of the offshore trading houses are handling the currency transactions at the size necessary to handle large oil transactions.

This is as near an iron law as there is economics, you can’t keep a peg and have a large trade in a large liquid commodity market. China is trying to slowly thread this needle and they can get away with it with Iran and Russia because they are approaching vassal status because the petrodollars are closed to them. Everyone in the world can see this and wants to avoid it.

If you are an oil producer what you want is to diversify your currency risk. Right now China is _preventing_ this, because there is no way for them to become a major player in that market without huge impact on their economy and probably their political system.


Very interesting, 2 different yuan’s!

  - offshore yuan
  - onshore yuan 
Do you have more details on this? A book, a blog, an article?

Do a google search for “cnh vs cny forex”

> The problem with that plan is that no one wants to trade hard commodities for a currency that can’t be spent

You can't spend US dollars either, in 99% of the world.


> a currency that can’t be spent

You can spend it in China, right?


If they let you when you want to.

One big thing that has prevented CNY from becoming a reserve currency is that China has explicitly said it wants to preserve its ability to heavily and suddenly restrict capital flows in and out of China. If all of a sudden you can't redeem CNY outside of China inside it that makes it a very poor storage of value.



To be clear cnh is a convention while cny is the iso standard.

Literally buy from PRC... most of worlds largest trade partner. That's why the system should work, it's closed loop. And we know world aktually fine with yuan denominated trade since PRC increased yuan settlement from 10 to >50% in a few years after US went sanction happy. PRC basically super costco, apart from chips and commercial aviation (both coming) they sell everything country needs for modernity, at discount.

They do not need to liberalize currency. They just need to have stuff people want, and leverage to force them to transact in PRC preferred currency. Previously this was hard, PRC had goods, and affordable prices = reduce friction/switching cost vs USD liquidity, but USD liquidity still made USD transaction preferred. PRC had no leverage for others to transact in yuan.

But in persistent high global energy environment, if PRC controls basically global supply of cheap renewables... and 30% of GCC oil vs Iran enforcing petro-yuan, they have stupid leverage to snow ball system. Again key is this for 30% of GCC oil exports if Iran locks down (big if), it's not global petro-yuan, it's Costco membership only access petro-yuan.

30% of global oil is inelastic existential survival leverage, if PRC wanted to charge in blowjobs countries would pay in blowjobs, currency liberalization doesn't matter when selling water in desert.


For that 30% control number to make any sense you have to believe that: the gulf states are going to allow Iran to control their existential oil trade long term, that they will do so in the face of a currency getting manipulated adversarially against them, that no manufacturing bases can be built up to be alternatives and that none of that is going to have major impacts on the economy or political elites in China.

All of that happening with the worlds biggest oil producer, its second biggest manufacturer, who is food independent and has the worlds most powerful military just lets it happen. And no shooting war breaking out between them.

I’m betting on slow currency liberalization and a transition to a multi currency petroleum industry and subsequent inefficiencies in global trade. But feel free to bet how you want.


I am not betting on one or other happening, I am simply stating, the downstream effect of Iran being able to hold onto Hormuz, i.e. by outlasting US political will create conditions for GCC petro-yuan. Which may not be out of question because we're not in nothing ever happens world anymore.

> make any sense

GCC petro-yuan scenario is predicated on BIG IF that Iran can control Hormuz oil. Rest is the downstream logic for ~10 years, i.e. before any alternative buildout/pivot by GCC states to some how insulate... which apart from Saudi, they might not (too small). This also why PRC hasn't exactly enthusiastically signed up despite IR offer, because it would burn GCC bridge when IR fate uncertain. But if alternative is IR can hold hormuz hostage, PRC would rather participate in petro-yuan than not, at which point having priority access to energy, possibly at discount is net win. Note in this case IR as SLOC guard dog actually has leverage over PRC, gating energy access also offer PRC cannot refuse.

> US

Hence big if, if US has appetite and capability to break Iran, and it matters US settlement/conditions, because if US reasserts control over Hormuz oil and tries to throttle PRC oil as victory, then PRC may go all in on Iran support. Situation is fluid, the wild card is in fact US or ISR deciding to simply break GCC oil. There is still plenty of room for escalation and shenanigans.


Yes, but for a consumption addicted society like the US, an abrupt end to the petrodolar would be an incredibly traumatic event.

Think about it, every single mother fucking year, the US roughly buys 1 trillion dollars more on services and goods from the rest of the world, than it sells.

It has this privilege/curse basically because the US dollar IS the world's global commerce and finance currency.


The petrodollar confers a huge advantage to the US, which is the whole point of it. It soaks up liquidity and allows the US to export inflation which allows it to be in the insanely profitable business of printing money. An argument could be made that this is corrupting and economically distorting to society resulting in a net negative but there is no guarantee that the same corruption would undermine China in a timely manner. I think the effect would be rather muted provided that the US remains world hegemon but if the US would lose the petrodollar and credible force projection at the same time we will shift from the current looting stages of collapse to the free for all stage of collapse. Or put another way, from a managed decline to an unmanaged decline.

It's not advantage, it makes for artificial demand for your currency, which completely screws up all the relevant metrics and makes you unable to actually inflate the currency when getting less competitive.

It's resource curse on steroids.


We are assuming a resource curse on steroids, the ability to sell the ‘resource’ is used to distort the economy and pay for the cost of running an empire. The US chooses to do this because it is controlled by those who benefit from this not for the long term benefit of the country.

Saying it’s not an advantage is to assume those in control want to have manufacturing in the US, while such noises are made there is very little action beyond capricious crony capitalism tariffs that no normal business can possibly rely on.


They very much want to have manufacturing, since it’s a requirement for war. They just don’t realize it. Plus, it is a conflict between all the extra money to spend and long term state welfare.

These two statements don’t mesh “They very much want” and “They just don’t realize it.”

It seems both you and I agree that manufacturing is an essential component to war-fighting and the health of a nation, but I think it is safe to say that you and I have effectively no control over what the US does.


>Ironically, if yuan becomes new petroleum currency, it might hurt Chinese long term.

Agreed. Which is why the Chinese do NOT want their currency to become the Petrodollar or world's reserve currency. They know that that is what destroyed US Manufacturing. China wants to maintain their manufacturing dominance. They've seen what de-industrialization has done to the US.



>Xi Jinping calls for China’s renminbi to attain global reserve currency status

"Kill all the sparrows"


"jim crow laws"

How are you connecting the petrodollar and US manufacturing? US manufacturing was destroyed because companies closed their factories in the US and used factories in China because labor was cheaper and they were less regulated.

Under normal conditions, when your economy becomes less competitive, your currency gets depreciated, increasing competitiveness.

Unless of course everybody is forced to buy your currency to get an essential resource. This causes: - the currency to maintain value better - puts you in position of other countries having to maintain a trade surplus with you so they can actually purchase said resource - the oil producers end up with great amounts of your currency, which they have to spend, getting a political foothold in your country.

Petrodollar almost certainly was devastating to US economy. And like most resource curses, it's like a drug - you need to stop taking it to get better, but it will hurt as hell.


Petrodollar creates demand for dollars. This is demand that no other currency gets. That's why US production is expensive vs other countries. China labor is cheaper and it is less regulated, but the petrodollar exacerbates the problem.

Because it increases US workers relative (to other countries) wage. Though with current automation levels this may be a lesser problem.

Or not. It depends on policies other than just being reserved currency

Why?

long term in a sense of centuries? i think they can afford this.

Yes, especially murdering a school full of girls during the first days seems like a perfect example of extensive planning and preparation.


Has anyone ever claimed that wars don't involve mistakes. That wars are not hell, that wars are somehow a good phenomenon associated with the human species? But has anyone not naive argued that wars are not sometimes necessary to achieve objectives?

I genuinely wonder what point you have here other than to remind us of these fundamental human truths. And if so thank you. But I would ask you what would you be doing if you were making the policy decision?


How about not starting a war? Especially as a sudden attack during negotiations? With a country that has been historically bending backwards to find some kind of diplomatic solution?

And since when murdering the leaders repeatedly is a valid war strategy?

Not even mentioning that Chamenei was killed together with a daughter, son in law and a grandson. But who cares about accidental casualties, right? Just one more kid.


It should be investigated as a war crime.


It’s very disputable whether BEVs are industry’s future and your entire thesis depends on it to be true.


    > It’s very disputable whether BEVs are industry’s future 
As a technology, ICE is pretty much close to its peak. It's very hard to imagine significant improvements in ICE as far as efficiency, weight, and power output goes.

The same cannot be said for batteries and electric motors. We are still quite far from technological limits for the platform. It doesn't seem disputable at all that a platform that can still evolve and improve with significant room for growth will eventually overtake one that has peaked.


Also, oil will only get more expensive in the long term, and electricity is going to get cheaper, with more and more solar panels generating electricity locally "for free".


> oil will only get more expensive in the long term

Will it? Oil price will reach an equilibrium because lower demand due to electrification will lead to lower prices, which will increase higher consumption.

There are enough low cost oil producers like Saudi Arabia to keep the pipes filled with oil at whatever the prevailing market price is.


The price of gas is $9 per gallon in Germany right now.


Oil (prior to the current pointless war) was pretty cheap, though. Adjusted inflation cheaper than e.g. it was at any point between 1975 and 85.


> As a technology, ICE is pretty much close to its peak. It's very hard to imagine significant improvements in ICE as far as efficiency, weight, and power output goes

What makes you say that? Jet engine manufacturers are constantly making improvements, and one of the biggest recent breakthroughs has been around using proprietary alloys in the construction of some parts to make them lighter and able to operate at hotter temperatures, thus increasing efficiency. I'm not working on any engines, but from a layman's perspective I don't see why there couldn't be material science improvements made to combustion engines.


Your example is from a high-value engine where the switch to proprietary alloys has significant savings in a jet engine.

ICE for cars? Do you think the same constraints apply?


No, but I think if material science improvements can be made in jet engines, there is no reason to think combustion engines for car are "complete" and nothing around them could be improved. They're much less expensive, but at a much larger volume, and they have at least a few decades of future - even if we assume all of the developed world moves to EVs in the next decade or so, which is unrealistic already, there is all of the rest of the world. Most African countries don't have stable power for all of their populations, EVs are simply not going to work there as the main vehicle type. Then add in trucks, where the weight of the batteries makes them impractical for heavy duty long distance trucking. There are improvements, but it will still be many years before they are available, and decades before they've replaced everything already existing.


    >  They're much less expensive, but at a much larger volume
It is precisely because they are much less expensive that they've reached a realistic ceiling of advancement. If you're going to produce an ICE that yields a 10% improvement in efficiency, decreased weight, increased reliability, decreased maintenance effort -- but at a cost of an extra $xxxx per unit, then it may as well never happen.

As a logical exercise, let's consider what are some of the top technological advancements in ICE and ICE drivetrain components over the last 20 years. CVTs? Nissan's VVEL? What do you think are noteworthy automotive ICE technological advancements we can look forward to in the consumer space? Where exactly do you see automotive applications of ICE advancing in the next 10 years?

On the other hand, it seems pretty easy to see the exact opposite with electric/hybrid drivetrains. Many innovations and advancements. It's also easy to see the roadmap for advancements (see what the Chinese are doing). Battery swaps? New chemistries? Solid state batteries? Compact axial flux motors? Faster charging electrical architectures? Endless space for technological advancement and growth because it's so early.


False dichotomy. What ICEs are or aren't has zero impact on whether BEVs are the future.


You can pretty much see the writing on the wall; sure, one can bury one's head in the sand, but it is almost certain that in say 15-20 years, BEV will become the majority of vehicles on the road even if the US and Germans fight to the very end to keep ICE alive.


Yes, Betamax is undoubtedly the future.


Until recently (and probably with some pressure from VW) everything else was supposed to be phased out in Europe within a decade: https://www.spglobal.com/automotive-insights/en/blogs/2025/1...


Not my entire thesis: It's the content of the article and otherwise well known.


Not to mention, those same carbon emission regulations/targets they are lobbying/fighting against did not come about in a vacuum. The regulations were intentionally cranked up to "unachievable" levels for ICE vehicles from groups pushing other technologies.


The temperature of the atmosphere is not amenable to lobbying.


No it is not. Anything combustion related certainly isn't, as has been proven ad absurdum. All non BEV non combustion alternatives are, optimistically phrased, in their infancy. So yes, BEVs are the future for the next 20-40 years at a minimum.

Edit: clarity


I'm curious, what do you think the future of the car industry is, then?


>It’s very disputable whether BEVs are industry’s future

It is not disputable (unless you're including Old Auto lobbyists I suppose). Without government imposed restrictions keeping the public from buying Chinese BEVs without an outrageous markup (or at all) the ICE industry would already be imploding. The government could and should require that all vehicles be under full control of their owners with no remote telematics required, or even allowed necessarily (and heavily restricted even then). That'd resolve concerns about Chinese kill switches or gathering intel data or whatever. But of course the Western industry hates that too because they want to fully enshittify cars next and turn them into locked-in subscription revenue and advertising data sources. So they can't even compete on trustworthiness. Total embarrassment and also long term ruin.

The present gas price mess and global instability Trump has kicked off is just going to draw an even bigger line under both the personal and the national security value of not being tied to any single source of energy for mechanized transportation. BEVs are simply fundamentally superior particularly in a risky world.


Not to mention, regenerative braking. It recovers something like 30% of energy that was previously just wasted, so in terms of having energy independence, it's worth mentioning.


The main issue IMHO is the monopolization of the industry, especially in the US. Once the giants do layoffs, the rest of the market can't absorb the people effectively, which leads to oversaturated job market.

We can of course discuss how many people got into industry during COVID heyday and whether they should have, but mostly I think it's about those behemoths having disproportionately high impact on the entire labour market.


I would argue effectiveness point.

It's certainly helpful, but has a tendency to go for very non idiomatic patterns (like using exceptions for control flow).

Plus, it has issues which I assume are the effect of reinforcement learning - it struggles with letting things crash and tends to silence things that should never fail silently.


> has a tendency to go for very non idiomatic patterns (like using exceptions for control flow).

It tends to always write Java even if it's Elixir. Usage rules help: https://hexdocs.pm/usage_rules/readme.html


Personally I believe static allocation has pretty huge consequences for theoretical computer science.

It’s the only kind of program that can be actually reasoned about. Also, not exactly Turing complete in classic sense.

Makes my little finitist heart get warm and fuzzy.


I'm not an academic, but all those ByteArray linked lists have me feeling like this is less "static allocation" and more "I re-implemented a site-specific allocator and all that that implies".

Also it's giving me flashbacks to LwIP, which was a nightmare to debug when it would exhaust its preallocated buffer structures.


This is still a more dependable approach with resource constraints. Fragmentation is eliminated and you can monitor pools for usage in a worst case scenario. The only other risk here versus true static allocation is a memory leak which can be guarded against with suitable modern language design.

LwIPs buffers get passed around across interrupt handler boundaries in and out of various queues. That's that makes it hard to reason about. The allocation strategy is still sound when you can't risk using a heap.


Personally, I see dynamic allocation more and more as a premature optimization and a historical wart.

We used to have very little memory, so we developed many tricks to handle it.

Now we have all the memory we need, but tricks remained. They are now more harmful than helpful.

Interestingly, embedded programming has a reputation for stability and AFAIK game development is also more and more about avoiding dynamic allocation.


Also not a game dev, but my understanding there is that there there's a lot of in-memory objects whose lifetimes are tied to specific game-time entities, like a frame, an NPC, the units of octtree/bsp corresponding to where the player is, etc.

Under these conditions, you do need a fair bit of dynamism, but the deallocations can generally be in big batches rather than piecemeal, so it's a good fit for slab-type systems.


I think most software is like this if you sit and reason about the domain model long enough. It's just easier to say "fuck it" and allocate each individual object on its own with a lifetime of ???.

Also, is easier to refactor if you do the typical GC allocation patterns. Because you have 1 million different lifetimes and nobody actually knows them, except the GC kind of, it doesn't matter if you dramatically move stuff around. That has pros and cons, I think. It makes it very unclear who is actually using what and why, but it does mean you can change code quickly.


> AFAIK game development is also more and more about avoiding dynamic allocation.

That might have been the case ~30 years ago on platforms like the Gameboy (PC games were already starting to use C++ and higher level frameworks) but certainly not today. Pretty much all modern game engines allocate and deallocate stuff all the time. UE5's core design with its UObject system relies on allocations pretty much everywhere (and even in cases where you do not have to use it, the existing APIs still force allocations anyway) and of course Unity using C# as a gameplay language means you get allocations all over the place too.


Preciselly because C# uses GC is common to just allocate everything in a chunk to not trigger the gc later.

Aka you minimize allocations in gameplay.


This is far from common in practice and it is only applied sporadically. Something like allocating formatted strings for the HUD is IME much more common (and done in UE5/C++ too, so not even a C# forcing GC excuse).


> It’s the only kind of program that can be actually reasoned about.

Theoretically infinite memory isn't really the problem with reasoning about Turing-complete programs. In practice, the inability to guarantee that any program will halt still applies to any system with enough memory to do anything more than serve as an interesting toy.

I mean, I think this should be self-evident: our computers already do have finite memory. Giving a program slightly less memory to work with doesn't really change anything; you're still probably giving that statically-allocated program more memory than entire machines had in the 80s, and it's not like the limitations of computers in the 80s made us any better at reasoning about programs in general.


Yes, but allocations generate ever increasing combinatorial space of possible failure modes.

Static allocation requires you to explicitly handle overflows, but also by centralizing them, you probably need not to have as many handlers.

Technically, all of this can happen as well in language with allocations. It’s just that you can’t force the behavior.


Sure, but let's be clear: it's a tradeoff. If every program reserved as much memory at startup as needed to service 100% of its theoretically-anticipated usage, the amount of programs we could run in parallel would be drastically reduced. That is to say, static allocation makes OOM conditions dramatically more likely by their very nature, because programs are greedily sitting on unused memory that could be doled out to other processes.


You don't need to go balls to the wall and allocate 100% upfront. The typical split we see is either "allocate all the things" or "allocate every object, even if it's 16 bytes and lives for 100 microseconds".

Most programs have logical splits where you can allocate. A spreadsheet might allocate every page when it's created, or a browser every tab. Or a game every level. We can even go a level deeper if we want. Maybe we allocate every sheet in a spreadsheet, but in 128x128 cell chunks. Like Minecraft.


> It’s the only kind of program that can be actually reasoned about.

What do you mean? There are loads of formal reasoning tools that use dynamic allocation, e.g. Lean.


i think you mean "exactly not Turing complete"


Nice correction :)

It’s actually quite tricky though. The allocation still happens and it’s not limited to, so you could plausibly argue both ways.


I’m confused. How is a program that uses static allocation not Turing complete?


A Turing machine has an unlimited tape. You can’t emulate it with a fixed amount of memory.

It’s mostly a theoretical issue, though, because all real computer systems have limits. It’s just that in languages that assume unlimited memory, the limits aren’t written down. It’s not “part of the language.”


If we get REALLY nitpicky, zig currently (but not in the future) allows unbounded function recursion with "theoretically" assumes unlimited stack size, so it's potentially "still technically theoretically turing complete". For now.


What about IO? Just because I have a statically allocated program with a fixed amount of memory doesn’t mean I can’t do IO. My fixed memory can just be a cache / scratchpad and the unlimited tape can work via IO (disk, network, etc).


Yes, good point.


It's not, if it can do Io to network/disk..?


Technically, your computer is not Turing Complete because it does not have access to infinite memory. Technically, once all the input has been given to a program, that program is a finite state automaton.

That "once all the input has been given to the program" is doing a bit of heavy lifting since we have a number of programs where we have either unbounded input, or input modulated by the output itself (e.g., when a human plays a game their inputs are affected by previous outputs, which is the point after all), or other such things. But you can model all programs as their initial contents and all inputs they will ever receive, in principle if not in fact, and then your program is really just a finite state automaton.

Static allocation helps make it more clear, but technically all computers are bounded by their resources anyhow, so it really doesn't change anything. No program is Turing complete.

The reason why we don't think of them this way is several fold, but probably the most important is that the toolkit you get with finite state automata don't apply well in our real universe to real programs. The fact that mathematically, all programs can in fact be proved to halt or not in finite time by simply running them until they either halt or a full state of the system is repeated is not particularly relevant to beings like us who lack access to the requisite exponential space and time resources necessary to run that algorithm for real. The tools that come from modeling our systems as Turing Complete are much more practically relevant to our lives. There's also the fact that if your program never runs out of RAM, never reaches for more memory and gets told "no", it is indistinguishable from running on a system that has infinite RAM.

Technically, nothing in this universe is Turing Complete. We have an informal habit of referring to things that "would be Turing Complete if extended in some reasonably obvious manner to be infinitely large" as simply being Turing Complete even though they aren't. If you really, really push that definition, the "reasonably obvious manner" can spark disagreements, but generally all those disagreements involve things so exponentially large as to be practically irrelevant anyhow and just be philosophy in the end. For example, you can't just load a modern CPU up with more and more RAM, eventually you would get to the point where there simply isn't enough state in the CPU to address more RAM, not even if you hook together all the registers in the entire CPU and all of its cache and everything else it has... but such an amount of RAM is so inconceivably larger than our universe that it isn't going to mean anything practical in this universe. You then get into non-"obvious" ways you might extend it from there, like indirect referencing through other arbitrarily large values in RAM, but it is already well past the point where it has any real-world meaning.


> It’s the only kind of program that can be actually reasoned about.

No. That is one restriction that allows you to theoretically escape the halting problem, but not the only one. Total functional programming languages for example do it by restricting recursion to a weaker form.

Also, more generally, we can reason about plenty of programs written in entirely Turing complete languages/styles. People keep mistaking the halting problem as saying that we can never successfully do termination analysis on any program. We can, on many practical programs, including ones that do dynamic allocations.

Conversely, there are programs that use only a statically bounded amount of memory for which this analysis is entirely out of reach. For example, you can write one that checks the Collatz conjecture for the first 2^1000 integers that only needs about a page of memory.


Common misconception IMO.

High marginal taxes and high inheritance taxes do not affect the rich - they eliminate competition for them.

I do agree on antitrust and antimonopoly though.


If they don't affect the rich, why have the rock didn't so much time, effort, and money eroding such taxes over decades?


Eroding them is beneficial to other groups of society, not the rich.

It's like with corporations. Corporations love complex legal systems, as they are the only ones with money to deal with them. Simplification actually benefits smaller enterprises.


How is high marginal taxes and high inheritance taxes not simple?

If complexity is the problem then close the loopholes that let people get out of this.

America was not supposed to be a country of monarchs and wealthy dynasties, and high inheritance taxes helped towards that goal.


Because only poor people need income. If you have enough assets, income is optional.


How come they eliminate competition? What if inheritance taxes are progressive?


Yeah, it seems like most people assume there is a reach and scope of taxation that isn't really possible. Wealth can be expatriated, it can be in non-fungible objects (paintings, &c), it can be in goods held in common such that no transfers occur (for example, a house that people live in together and jointly own).

There isn't anywhere an index or lookup table of all legal rights a particular person has to wealth (or, in truth, to "things", since anything can be worth something and contribute to wealth). There are things they may have a right to that they don't even know about.


They can hide wealth (at their own risk) but it prevent them from extracting money from the country:

The cannot own houses, factories, monopolistic contracts o media. It makes harder to influence politics ( in a legal way).

The housing issue is specially important because city space is limited and the demand is very inelastic


I am not talking about hiding wealth. How do you find all of a person's wealth in a principled way? There isn't a central clearinghouse of this information.

People can own houses, factories, &c, in indirect ways, or in other jurisdictions, and these are all basically legal and make it hard to say what, exactly, people own.

The easiest people to tax are people whose inflows are simple wage income, who own a house and a car in their own country, and don't have a business. In other words, ordinary people. They make up a bulk of the financial activity in a country and the bulk of the tax revenues (most of the time).

It is easy to imagine that the way to capture greater tax revenue from wealthy people is simply to scale this system up -- tax the wealthy people more on their income, their expensive car, &c. However, wealthy people are also wealthy in structurally different ways from ordinary people.


Money is important as a vector for power. It doesn't matter that much whether a person has a bunch of paintings in a Swiss vault when they're an institutional investor directing a substantial sector of the economy. And that industrial power is relatively easy to divest them of, as compared to vault paintings.


That's true, but most of those can be cracked down on simply by saying that any undeclared wealth is forfeit. Also, the great proportion of most rich people's actual wealth is in forms that are easier to trace (e.g., shares of corporations, real estate).


There is no country where a person has to declare all their possessions or they are otherwise forfeit. That is transparently bad policy. Possessions are one important basis of wealth.

This is, I think, another example of people's intuitions about tracking wealth just not being very robust.


Problem does not lay in not declaring wealth.


I'd be curious to know more, this is quite unintuitive


Generally, there are no systems that are 100% bulletproof. This applies to everything. So, the more power you have, the more likely you are to exploit the existing loops.

Who is actually affected? Those less powerful. Progressive tax system hits the middle class (actual middle class, la petite bourgeoisie, not the modern bullshit redefinition of the term) hardest, making it harder for them to make it rich and compete with actual rich people.

As the effect, rich protect inheritance by trusts and avoid taxes by not having income (plenty of tricks available with borrowing), while people like doctors, lawyers, small business owners fund the state and hit hard limits on what can they make.

Don't believe me? Check how much of the tax income comes from top brackets. You may be surprised. Pro tip: system is very skewed to the top.


If the problem is that the system is very skewed to the top, then isn't the solution to be found in addressing that skew? In closing those particular loopholes?

Shouldn't everyone pay their fair share of taxes? Warren Buffett and others seem to think that they should.


You don’t get it. Tax system is already very skewed to the top, as in majority of the income comes from a few.

The problem is that the top paying those taxes are not the rich people.


Exactly. Income taxes hit those with high income like baseball players and doctors and such.

Super-wealthy can take the time to figure out ways to have no income.

And if you do inheritance taxes and similar things, you get more “universities” and other non-profit “finagling”.

IKEA is an example.


If no system is bulletproof then you're not really arguing against progressive tax, the same way "there will always be murderers" is not an argument against policing.


Honestly, have been excited about Zig for quite a while, dabbled a bit a while back and was waiting for it getting closer to 1.0 to actually do a deep dive... but that moment doesn't seem to come.

I don't mind, it's up to the maintainers on how they want to proceed. However, I would greatly appreciate if Zig news was a bit clearer on what's happening, timelines etc.

I think it takes relatively little time to do so, but optics would be so much better.


My biggest gripe with your reasoning is a hidden assumption that everything humans do is easily encodable in what we call AI today.

I don’t think this is the case.


AI and technology is already replacing jobs.

The way this manifests isn’t mass layoffs after an AI is implemented, it’s fewer people being hired at any given scale because you can go further with fewer people.

Companies making billions in revenue with under 10k employees, some under 5k or even under 1k.

This is absorbed by there being more and more opportunities because the cost of starting a new company and getting revenue decreases too as labor productivity increases.

Jobs that would otherwise exist get replaced. Jobs at companies that otherwise wouldn’t exist get created.

And in the long run until it’s just unprofitable to employ humans (when the max their productivity is worth relative to AI falls below a living wage), humans will continue working side by side with AGI as even relatively unproductive workers (compared to AI) will still be net productive.


> AI and technology is already replacing jobs

I don’t think this is true. I think CEOs are replacing people on the assumption that AI will be able to replace their jobs. But I don’t think AIs are able to replace any jobs other than heavily scripted ones like front-line customer support… maybe.

I think AI can automate some tasks with supervision, especially if you’re okay with mediocre results and don’t need to spend a lot of time verifying its work. Stock photography, for example.

But to say AI is replacing jobs, I think you’d need to be specific about what jobs and how AI is replacing them… other than CEOs following the hype, and later backtracking.


> (when the max their productivity is worth relative to AI falls below a living wage), humans will continue working side by side with AGI as even relatively unproductive workers

This assumes that humans will be unwilling to work if their wage is below living. It depends on the social programs of the government, but if there is none, or only very bad ones, people will probably be more desperate and thus be more willing to work in even the cheapest jobs.

So in this overabundance of human labor world, the cost of human labor might be much closer to zero than living wage. It all depends on how desperate to find work government policy will make humans.


We can't prove why people are being replaced, and the people who claimed to have replaced people with AI don't have a lot of good outcomes. Now there is some success but... it is bespoke to that environment often, so, your reasons would be sound if the premise was. We need more information.


I've seen AI replacing a lot of jobs already in regulatory/consultancy business making billions. A lot of people producing paperwork for regulative etc purposes have been replaced by language models. My question – should this business really exist at all?


> because you can go further with fewer people

Can you though? From my experience this is just a wishful thinking. I am yet to see actual productivity gains from AI that would objectively justify hiring less or laying off people.


This is pretty obvious when you know what to look for.

How many people did it take to build the pyramids? Now how many would it take today?

Look at revenue per head and how it’s trended

Look at how much AUM has flowed into asset management while headcount has flatlined


How about a concrete example. What jobs at Bank of America will humans have?

I can not imagine a scenario other than complete model stagnation that would lead to the current workforce there of 213,000 people still having jobs to do.


Also it’s such a strawman to assume that “absolutely everything” needs to be covered by systems to basically eliminate office jobs from humanity. In this context they only need to do enough to make hiring humans pointless at most businesses. Even if say you need some strategically important humans for a long time, I don’t see an incoming world where huge job loss doesn’t happen. David filing HR paperwork at Big Corp is not suddenly going to be doing strategy work.

Like it’s a strawman to assume I’m arguing that your nanny or the local firefighters are going to be replaced by an AI soon.

And it also seems like people expect some normative assumption when taking about job loss. I’m not making a normative claim, nor a policy one, just pointing out it seems stupid to not prepare or expect this to happen.


It will be encodable in what we call AI tomorrow


Except not literally tomorrow, of course. So you might as well say 1 million years from now...


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: