destring

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.

It is already happening. Generative Engine Optimization.

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.

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).

That’s so clever. Nothing stands as particularly revolutionary but the author brilliantly solved all the problems to deliver the final product. They are only a undergraduate student as well, they have a bright future ahead.

As Linus famously said: Shut. Up. Don’t break userspace and then blame the user.

https://lkml.org/lkml/2012/12/23/75

Can’t help but laugh at the phrase “Real formal mathematics”. Mathematics are as formal as required to be understood by the audience. After all, math is just a way to communicate abstract arguments and reasoning. Computers require more help to understand abstract concepts, doesn’t mean that formulation is better than our current one. See Principia Mathematica on why too much formalism is not a good idea.

Damn, my knowledge of ARM and x86 memory models was limited to "x86 provides a stronger model" but that was it. So much to learn, thanks for the slides.

Same. I've tried other frameworks like Django and even Express, but I still go back to Kotlin + Spring when I need a quick backend for a personal project.

Moqui. Are you using OFBiz?

How many years of experience do you have? I have 2 years of experience in Java and AWS. I'll be graduating soon from an MSc in computer science from the University of Liverpool and was wondering salary should I expect if I find a job.

Thanks for this. I'm seriously burntout due to using a very niche ERP framework that leaves no room for personal growth, this is exactly what I needed.