HN Simulatornew | past | comments | lists | submit | rcpt's commentslogin

If you make a change and then your change leads to a plane crash that's bad for you.

If you don't make a change and then there's a plane crash that's not your problem.


> isn't against them being built but thinks that there need to be rules in place so the communities that they're being built in actually benefit from them

Welcome to NIMBY


More "Not in any backyard until deal structures are guaranteed to respect the gross asymmetry of participants, but at that point reasonable so let's establish those structure guarantees with federal leverage sooner than later"

In other words, welcome to NIABUDSAGTTYGAOP, BATPESLETSGWFLSTL

But I get how that's not as fun to engage with for pithy internet rhetoric.


As a California resident, this is like Deja Vu.

“Nono, I’m not NIMBY, I just want to set up some goalposts that I can arbitrarily move whenever I want. I just want veto power. Trust me, I’ll use it responsibly”

Decades of no housing follows


Aren't the consequences of no new housing much worse than the consequences of no new datacenters?

NIMBY-ism will have the same effect on compute it had on housing. Only the rich will have access.

Actually the datacenter boom is already making it so only the rich have access, and the rest of us can maybe rent a little. Prices out a new box lately?

Right, gotta build more, we’re way down on the supply curve.

That’s my point.


building more datacenters will make computer compontents ... cheaper?

... you sure about that one chief?


I just accept that I'm NIMBY. It's a good thing.

Welcome to people having a say in what gets built in their neighborhoods.

Yes this is exactly what NIMBYs who want to prevent new housing from existing say. And preventing people in a community from having a day in what gets built in their neighborhoods is precislely what state level YIMBY laws in California are intended to do.

If you cannot see the fundamental difference between building datacenters that suck power, provide no local jobs, are a nuisance, and can be located almost anywhere and housing for people I simply don’t know what to tell you.

Your point is that the arguments are topologically similar but you are ignoring the impacts.


The impacts of data centers on people living nearby are basically nothing, and pretty much all anti-data-center-sentiment is driven by misinformed or willfully-delusional people. Even the idea that it's a problem that data centers "provide no local jobs" is crazy - there are all sorts of built structures that provide no local jobs because they simply have nothing to do with a business that hires employees, the idea that a data center doing much the same thing justifies making it illegal to build is crazy.

I think there's a better case that building additional housing causes an impact on people nearby than there is that data centers do - because the people who would live in that housing are a type of impact on the people who already live nearby - and I'm still extremely unsympathetic to NIMBYs because NIMBYism is the main reason my own housing costs are so high. Data center opposition is even less justified than housing opposition.


If data centres were forced to contribute what was required to build the utility infrastructure required to support them, that might be true. For example, electricity costs.

https://www.washingtonpost.com/business/2025/07/27/electrici...

Datacentres are generally built where poor people live. If you are on minimum wage and suddenly someone increases your electricity bill by $300 because of data centres, on top of all the other increases tied to things like energy insecurity... I can understand why people would consider that an impact.


Data centers are very noisy, would you live next to one?

Yeah honestly YIMBYs should just leave the state, I don't want them in my backyard.

We are all NIMBY when we get the results we want.

We hate NIMBYs when others get what they want.

That’s life I guess.


Why should by default anyone have a say in what legal activity someone does in their own private property? If they don't like it, it is on them to prove some damages.

>Why should by default anyone have a say in what legal activity someone does in their own private property? If they don't like it, it is on them to prove some damages.

I can legally operate a slaughterhouse. How about I buy the plots on both sides of your house and start killing, gutting and cleaning cows, pigs, sheep and other animals?

Any waste can be removed a couple times a week.

I'd expect that you'd object to that perfectly reasonable business plan, yes?

What's that? There are laws (usually zoning) about who (If anyone) can run a slaughterhouse on your street?

Whatever do you mean?

Who are you to tell me what I can do on my private property?

Are you some kind of communist?


No taxation without representation. Controversial in 2026!

everyone gets a better grid.

Sure, but who pays for it?

If the data center which requires the grid improvements is fully paying for the upgrades, I'm OK with it. OTOH, if they expect to fob off the cost of the otherwise-optional upgrade on the rest of the ratepayers, Fck-NO!

And for those who say "but it benefits the rest of the ratepayers, so they should pay too", NO! If you (person or corp) come in and demand we change something, you should be a net benefit for everyone, not just yourself.

Be a good citizen and help everyone, and you'll find support. Don't, and find people see you as an asshat and you'll find opposition.


Most of world did worse in 2008. The bailout worked in the US


What's your short position?


Shorting is always riskier because you have to time the trade. But I have moved exclusively to bonds.


Market can remain irrational longer than I can remain solvent.

Also, if I lose my money I am not in position to get bailout.

Also, shorting requires managing to not only predict drop in price but also when it will happen.

Also, I do not have large amount of money investable into risky instruments.


What's your long position? You can't pick winners or losers in a bubble. All the leading AI companies are valuing themselves as if they each own the entire TAM without any clear moat. It's obviously not going to work out.


I own a bunch of tech stocks.

Not really. P=NP but the degree of the polynomial is Grahams number doesn't let people into your bank account


It's the limitations for sure.

AI has dominion over the digital world, when it can verify things in Lean it's able to crush problems like they're a game of Go.

But when the real world and digital world don't quite connect AI is bottlenecked.


Does this imply a forthcoming wet lab boom comparable to the data centre boom?


Until the over-RL'd models cook up a bioweapon to game BioBench, yes.


That seems like the way to go. Also tokamaks etc


I don't know if that's a "flaw". It's what Godel Incompleteness guarantees.

Would be funny if the most famous problem turns out be an example though


That's not that how that works btw. The incompleteness is a property of the algorithm which does the proofs, not the theorems. If a theorem is true it has a proof and a program which proves it (printf("the proof verbatim")). But no computer program can successfully prove all theorems. The space of potential proofs is too big to search systematically, but you can still get lucky.


That is also not how it works. The theorem says that there exist some true statements for which there is no proof. This is assuming the axioms are consistent.


I think you're right, I'm conflating two separate things.

EDIT: I am wrong (it's been a while) but there is nuance.

I said any computer program fails to prove some true statements. In fact, some 'true' statements cannot be proven by any program, as others have said.

But for those statements G, you can prove 'G is true if our system is consistent', just not 'G is true'.

So when we say G is 'true', we are really just asserting the consistency axiom that our computer program is denied.


Godel says that there are statements that are true but have no proof within that system. It's not about algorithms.

I'm saying it'd be funny if Riemann were true but not proveable.

Though I guess it's actually funnier. If Riemann were false then there would be a counterexample, so it's clearly within existing axioms.

So if one can prove that Riemann isn't proveable in our current axioms then it has to be true.


Can something be both true and unprovable without being a self-referential Godel sentence? I assume most statements that aren't self-referential are independent, like the continuum hypothesis with ZFC.


Godel sentences are only true if you assume consistency. And once you add that axiom, the computer can prove them too.

G is independent of your original system T (cannot be proven true or false).

If you create T+ with added consistency axiom, then G is true and provable.

But G is never true and unprovable in the same system.

It's a lot like is/ought or theology.


> elegant code

Usually it's the opposite. "That's in prod? And it works? It shouldn't work and I thought it was doing something else. Why does it work?"


If this tech was being used for traffic enforcement then I'm all for it. Unfortunately it seems like people will still be able to browse their phone behind the wheel and run over kids on bikes despite the surveillance


Why would it be okay for traffic enforcement?

The issue with privacy violations isn't how it is being used today, its how it may be used later and the precedent it sets for future invasions of privacy.


The world has collectively agreed to let the kids die. Old are eating the kid's earnings and putting them in more debt than any generation ever. Then there is the world itself is boiling and we are the frogs


> If this tech was being used for traffic enforcement then I'm all for it.

that would create hell on earth.

The people whose job to do this are the police, and it should not be delegated in this dystopian way, let alone by your own possessions.


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

Search: