Viewing profile — grandempire

Russel builds a logical system - it just can’t ground mathematics. Gödel’s paper is about the system in Russels book.

My understanding is the first bit follows first order logic fairly close but then diverges as Russel builds different classes of sets etc, do you have line of sight of how it’s goi…

It looks like you just have a few pages written. Is that right? Which theorem are you trying to prove?

Good point. Is this article designed to feel for demand of a possible product?

So instead it has a buffer large enough to hold all the types? That’s what union does. Still waiting to hear the security concerns.

That’s for C++. And how is std::variant implemented?

> associated with so much bad shit Reputation vs harm ethics. > I’d also argue that it just means that Facebook was very successful at following all the trends Yeah foreseeing and …

No. This is how sum types are implemented. And from a runtime perspective it’s going to be a struct with perhaps more padding. You’ll need more details about your specific threat m…

When you have a big system many people rely on you generally try to look for ways to keep their code working - not look for the changes you’re contractually allowed to make. GCC pr…

> what’s the punchline, billions spent to add feet to the avatars? I think the metaverse imagery you are referring to was about 10 years ago.

Especially for smart kids who are used to getting in that positive feedback cycle of rewards and admiration.

Math can also be taught very young with compounding effect, but you’re very unlikely to be exposed to the coaching and expertise at a young age. Of course the few in the world who …

> only family members, family friends, or family co-religionists are of value to the owners; Every strength is also a weakness. Small groups like that can also very effective becau…

The title of this article is misleading. Nowhere in the article does Zuckerberg say "social media is over" or anything close to it.

> past attempted rapes You are spreading misinformation.

So you just want Meta to carry more cash - the concern wasn't actually about metaverse?

> This makes no sense in Zuckerberg's case: I already agreed with the correction - he has voting control. What is still incorrect is imagining that billions of dollars gets you adv…

Financial auditing does.

You’re right - but the example stands. The CEO is a professional advisor hired to make the rich people money.

Did you forget that apple also has an AR/VR product and doesn’t report that portion of their R&D separately so we don’t know how much it costs?

Should they be holding cash instead?

I know too many rich people to know this isn’t true. > hire top-tier advisors The circle of top-tier leaders who know how to manage giant tech companies is a tiny circle with Zuck …

Zuckerbeg’s super power is actually operating a giant tech company successfully, executing on multi-year visions, and just barely turning 40.