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 going to translate?
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 executing on those trends is the hard…
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 model to explain why that’s bad.
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 probably has a better justification than…
> 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 combine aptitude with exposure are the…
> 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 because their trust runs deeper than work.…
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 advisors who know how to run a company -…
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 being one of them. In fact that’s what…
Zuckerbeg’s super power is actually operating a giant tech company successfully, executing on multi-year visions, and just barely turning 40.
It doesn’t seem entirely separate from age - as several other reply’s to this comment are about age. I also think your description applies well to many startup founders.
Every response in this thread rephrased as a reply to “an integer is a 32 bit binary twos complement” 1. there exist other ways to represent an integer 2. An old computer uses a different representation 3. numbers are…
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 going to translate?
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 executing on those trends is the hard…
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 model to explain why that’s bad.
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 probably has a better justification than…
> 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 combine aptitude with exposure are the…
> 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 because their trust runs deeper than work.…
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 advisors who know how to run a company -…
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 being one of them. In fact that’s what…
Zuckerbeg’s super power is actually operating a giant tech company successfully, executing on multi-year visions, and just barely turning 40.
It doesn’t seem entirely separate from age - as several other reply’s to this comment are about age. I also think your description applies well to many startup founders.
Every response in this thread rephrased as a reply to “an integer is a 32 bit binary twos complement” 1. there exist other ways to represent an integer 2. An old computer uses a different representation 3. numbers are…