Radical centrist Ed Sheeran

Calque is

A word or phrase in a language formed by word-for-word or morpheme-by-morpheme translation of a word in another language.

For anyone else wondering.

But I am the the law

Link: https://www.kitklarenberg.com/p/cia-proxy-unravelling-saudi-arabias

Yeah they saw the writing on the wall and are coming up with excuses. The only think I am not sure of is whether they are trying to fool the masses or their investors.

From CNN: OpenAI rules out IPO this year as Altman, Musk & Amodei warn AI is moving too fast

Understood

Oh so that’s why the chair isn’t in the closet

Why is that?

Wow

Anytime I see people with a hundred tabs open (which is surprisingly often) I wonder if people know bookmarks exist.

The Chile one is the bad one

What do yall use to share files?

We don’t have a way to share files. If you want something straightforward you can use a file hosting service.

About ProleWiki you should try asking on their site or their discord. I am not certain but I don’t think any high level member is active here anymore. If you are able to upload it there that would probably be best way to share the file here.

Also thank you for going through the process. It’s good work that requires to be done since PDFs are hard to read digitally.

Does the game have a coherent story? Or is it just fellas hanging out in The Lands Between.

Uncle Ben nooooo

Rain storm mechanic? Is that like fortnight? Also what does the mod do exactly?

if it actually makes a difference

The encryption part only works if the other person you are messaging with also uses this app.

Apart from that nothing looks wrong at first glance. I wouldn’t use it yet only because it seems a little bit new (first git commit was in July). But that doesn’t mean I think there is anything shady about it.

My opinion is that this time is a little different. AI industry is so massive capital-wise it’s hard to talk about AI as just a tool and not wonder about its broader ramifications. But mathematicians like Terence Tao have been providing free PR for AI even after they all fucked over the International Math Olympiad. Separately, the Lean community really likes AI. They use it heavily in Lean itself and in deriving proofs using it.

You can say that they are just showing a neutral and scientific temperament which I think is fair. But I wonder how much more they are going to be fucked over by it. Maybe this trend of brute forcing proofs as a PR strategy will die out and things will be less bad for them.

That’s interesting information that I didn’t know. I’m sorry but I don’t know what your point is.

Already on it 👍

Mr. Trump is helping me find five thousand dollars.