andrepd

> I'm using frontier AIs to monitor every last one of them

The jokes write themselves.

This is not numerology, 13 and 22 are synonyms for Lula and Bolsonaro, used in common speech by every Brazilian.

Yarrrrrrr

You could also — get this — have people write a cross in a piece of paper, fold it and put it in a locked box, monitored at all times by delegates of the different candidates/parties.

Where does one even get decent ZDR provider? I'm wary of sending sensitive data but not at a scale where I would build my own machine.

Instantly reminded me of this: source code of the first big Portuguese www portal and search engine: https://github.com/celso/sapo

In a practical sense, what are the consequences of that? If you're careful about not installing random shit on your phone?

> transient LLM crappiness notwithstanding

Bold of you to assume.

Everything in that list except "install drivers" is also present in consoles.

Why should a report about crimes committed by the IDF write about crimes committed by Russia or by Hamas? That's the most ridiculous attempt at whataboutism I've seen in a long time.

You did not respond to the point.

> they're applying this argument asymmetrically to their allies vs. foes

If a law is on the books, but it's only applied to a specific set of people in a retaliatory fashion, then it's worse than not being applied at all.

On the contrary, I found it a nice piece of rethoric to reflect on how misaligned incentives can overrule each individual's preferences in order to induce the group to take the opposite path.

> Give it six months

Ah, the "six months till AGI" meme, but unironically :)

Also, before citing Terence Tao on LLMs maybe you should read what he has to say about it...

Then you don't understand the process at all. You will get something back, you will get an immense amount back. But (almost always) not directly. A mathematician will not suddenly solve a theorem that will enable a cure for cancer or better solar panels or whatever. But working in mathematics will build the gradual understanding that will enable those practical breakthroughs to take place. It's also the most important part of how the people that create those technical breakthroughs will be trained.

> AI math is happening and there's no going back.

> I suspect that this is in fact the source of much of the angst.

Your comment reveals that you absolutely did not read or understand the Field medalists' open letter... Please, why would you refer to their complaints and claim you disagree when you clearly aren't engaging with the arguments presented therein!?

Speaking in favour of peace in Palestine can get you thrown out of the country.

I know what you're going to say: not a citizen. But first they came for the foreigners, then...

This comment could not have been more stereotypically American. I stress "stereotypical", I'm obviously not saying Americans in general are like this.

> I don't like Trump. But how has he weakened privacy rights?

Attacks on rule of law and civil liberties have increased, and the right to privacy is one of those liberties. It's of course not limited to Trump, he wasn't in office when Snowden showed the world the scale of American mass surveillance on domestic and foreign citizens.

> Do you have any evidence to the contrary?

I'm totally unsure what you are attempting to imply. That mass surveillance by the American state stopped at some point in the last 10 years?

> Allies spy on each other. The Europeans do it to each other massively and have done since the dawn of Europe. Good lord, go read some history.

What does that even mean "read history" ahaha. Espionage != mass surveillance. You do understand the difference, do you not?

> thanks for the classic European condescension

> I consider Europe to be dominated by happenings in DE + FR + UK. I don't care what Latvia does.

l m a o. Oh say can you see...

> Like the surveillance state is insane. No e2ee chats, backdoors in everything.

?

I can't imagine anything more unappealing than exchanging AI generated images with my wife every time one of us cleans the kitchen or finishes reading a book on time. Goes to show, people really are different!

Which claims? The general feeling in the mathematical community was that significant progress towards Navier-Stokes was being made, and that the last "piece" to settle the question was imminent for some years now. Riemann Hypothesis seems virtually as unreachable today as it was 50 years ago.

RH would require completely novel insight and a brilliant original thought. Unlike Navier-Stokes it's not a gradual effort and you cannot piggyback off of other mathematician's works, so "AI" will not solve it anytime soon.

> "solve an open math problem" which has conclusively been done with Navier-Stokes (regardless of the controversy surrounding that).

In the same breath you recognise there is a controversy (there are actually several orthogonal ones!), and yet you call it "conclusive"... Very strange!

The bear tax is working

Damn, yet they still hire programmers, marketers, researchers like there's no tomorrow. I thought everything would be vibe coded and we wouldn't need to even understand code anymore. Which one is it?

The proof of the pudding.

Rust has a proposal for this, in the form of pattern types. It's on nightly, but quite far from being ready for prime time.

> The whole business with theoretical prices is why Georgism was dismissed as a form of communism

This (the calculation) is addressed by the author.

Even less good comes out of corpos doing it, yet we accept it as the status quo. The ubiquity and totalitarian control exerted by the big platforms is something even the media moguls of the 90s couldn't even dream of.

And it wasn't that long ago.

Algorithmic social media amplifies and promotes our basest, vilest impulses. Crowds were always worse than people, but now these "technologies" put that into turbo-overdrive, 5 billion people at a time, pushed and prodded by the engagement-maxxing machine. I don't see a bright future if we don't get a hand on this, and I don't see us getting a hand on this.

> my cognitive surrender to the model is increasing too. Why check it? It's obviously going to be correct.

I use "frontier" AI models daily at day_job. I can confidently say that anyone who is satisfied with the output of LLM code (enough to commit it straight off) is just an absolutely shit programmer. Sorry but I don't have any other way to put it.

The code is (with rare exceptions) atrocious on every level. It is only not atrocious if you take multiple iterations of "review and correct".

>If we find no flaws in the design whatsoever, will we be less careful about the second one? The third one? What about the ten thousandth one?

Like the saying goes, if my grandmother had wheels she would have been a bike. LLMs can't even produce quality maintainable code for a trivial web service or whatever. Why are we planning for what we will do when they can "design" 10,000 nuclear power plants without any flaw?

> If I post something on the Internet today claiming that I asked my agent to do X but it went rogue and did Y

But that's not even what happened! They told it to do X and it did X! I swear to god I don't understand the discourse around this.