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

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 “we are allowed to”.

> 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 kind of people you will find at Harvard. If you’re not one of them you may be a decade behind.

I also had a math professor who believed in extreme differences within the research community. He said only a top advisor would actually be engaging with real research and be able to bring you with them.

> More likely, get stuck a postdoc.

I still can’t understand why the outcomes for math Phds are so bad. They have extremely general intelligence which is applicable to any jobs I’ve had. I think it’s some combination of being unable to sell, unable to explain what they do, and still having their aspirations defined by professors.

> 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 real lie is that thousands of unrelated strangers trying to get paid will have each other’s interests at heart.

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 - and those people aren't just high level executives already running companies.

> you're deep in it with your belief that Zuckerberg is an unusually capable operator.

The burden is on you to show a successful CEO for over a decade is actually an idiot.

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 the board of directors did - they used their money to hire Zuck to run their company.

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 displayed in base 10 on my monitor

4. when I type in numbers I don’t type binary

5. twos complement is confusing and unintuitive

6. it’s more natural to multiply by 10 when using base 10

7. I’ve used 32 bits to represent other data before.

People under the age of 25 generally work for older people - and that’s true of DOGE as well.

> a straight-up script kiddie

Why is the age such a talking point? An insight in startup culture is that the public underestimates young people, especially when it comes to business skills with objective results and tight feedback cycles.

It just seems like now that HN is skewed older we no longer believe that?

and it’s displayed with a completely different algorithm…

> cannot make any statue affecting the President,

I didn’t say affecting - I said limiting the power of.

A regulatory procedure the president is asked to follow is different than saying “we made this information off limits”.

> President is is legally permitted to ignore laws against raping

That’s been beat to death. He would face impeachment + removal from office.

> You're arguing they should have covered up better.

No I’m arguing that they are under heavy scrutiny from the media - it’s very difficult to get any work done publicly in that environment.

> this article speculative.

Other comments have addressed the possible usage of this tool. The connection is dubious.