I definitely think that's the approach going forward. We need to invest in things that increase the leverage of human attention on code verification. I've been thinking for a while that current unit tests frameworks don't have that good of a ratio

Google is having their Meta moment where they failed to stay at the frontier

> We don't want to be ripped off with paying for assets we don't own.

You do know that PS is literally stopping physical games? You will not own anything.

Not so sure on the advertising front. B2C is now mostly social media, and Google doesn't own any. That's why the pivoted hard to YouTube shorts to try and capture that segment, but it is nowhere near TikTok or Instagram. Case in point, Meta's advertising revenue is predicted to surpass Google's this year.

You underestimate that YouTube has become what TV was for the majority of young people. Premium is relatively lucrative - but the ad revenue is insane. If Google can succeed in building an AI to generate slop to hold eyeballs fixed on the screen and cut out creators it will be a highly profitable dystopia. Facebook is similarly positioned (via Instagram - not Facebook itself) while TikTok is in a highly unpredictable state with the recent acquisition. Oracle may stay hands off and treat it as a golden goose but that hasn't been the recent track record for anyone with the surname Ellison.

It is already happening. Generative Engine Optimization.

They spam HN with their slop-coded tools and websites.

This already happened and I believe there's even new site policy about it...

My client paid 5 digit consulting fee for that shit.

The thing is that you paid that debt once. The mappings are well defined and deterministic.

The whole purpose of an abstractions is to not have to look underneath it to make sure what you did with the abstraction is still correct. You can make sure because you, or someone you trust, did the work of paying that debt once.

With LLMs you always need to verify the output, for every generation you need to pay that debt. So it is not an abstraction.

Exactly, well said.

"The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise." -- Edsger Dijkstra

I come from a math background so it’s a bit surprising when software engineers don’t have such basic that systems modeling vocabulary. Everyone should give Thinking in Systems by Meadows a read

Tesler's Law

He probably is. There’s no sane person that can defend what is happening in Venezuela. I’m Venezuelan and had to immigrate due to the countries condition. Out of more than 7 million that left only around 200k could vote from Outside. The want for change was such that even disbarring 7 million people they still lost.

I come here to get my tech news and encounter people doing government propaganda.

As a Venezuelan it baffles me how there can be people trying to support a regime that is only recognized by other authoritarian regimes. A regime with clear violations of Human Rights. Hinterlaces is government funded. There were many exit polls that showed the 60/40 split in favor of opposition. Even if you ignore those we are in an age when you can clearly see the government violently repressing and kidnapping as they are recorded and posted in twitter.

The Carter Center praises Venezuela voting process before. Even if you ignore that the fact is the opposition has published the tallies they have collected while the CNE is still busy doing who knows what (fabricating them).