grandempire

5 ms·

1.
by grandempire 1y ago
Russel builds a logical system - it just can’t ground mathematics. Gödel’s paper is about the system in Russels book.
2.
by grandempire 1y ago
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?
3.
by grandempire 1y ago
It looks like you just have a few pages written. Is that right? Which theorem are you trying to prove?
4.
by grandempire 1y ago
Good point. Is this article designed to feel for demand of a possible product?
5.
by grandempire 1y ago
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.
6.
by grandempire 1y ago
That’s for C++. And how is std::variant implemented?
7.
by grandempire 1y ago
> 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.
8.
by grandempire 1y ago
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.
9.
by grandempire 1y ago
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”.
10.
by grandempire 1y ago
> 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.
11.
by grandempire 1y ago
Especially for smart kids who are used to getting in that positive feedback cycle of rewards and admiration.
12.
by grandempire 1y ago
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 w
13.
by grandempire 1y ago
> 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 tha
14.
by grandempire 1y ago
The title of this article is misleading. Nowhere in the article does Zuckerberg say "social media is over" or anything close to it.
15.
by grandempire 1y ago
> past attempted rapes You are spreading misinformation.
16.
by grandempire 1y ago
So you just want Meta to carry more cash - the concern wasn't actually about metaverse?
17.
by grandempire 1y ago
> 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 peop
18.
by grandempire 1y ago
Financial auditing does.
19.
by grandempire 1y ago
You’re right - but the example stands. The CEO is a professional advisor hired to make the rich people money.
20.
by grandempire 1y ago
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?
21.
by grandempire 1y ago
Should they be holding cash instead?
22.
by grandempire 1y ago
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 direc
23.
by grandempire 1y ago
Zuckerbeg’s super power is actually operating a giant tech company successfully, executing on multi-year visions, and just barely turning 40.
24.
by grandempire 1y ago
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.
25.
by grandempire 1y ago
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 o
26.
by grandempire 1y ago
People under the age of 25 generally work for older people - and that’s true of DOGE as well.
27.
by grandempire 1y ago
> 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
28.
by grandempire 1y ago
and it’s displayed with a completely different algorithm…
29.
by grandempire 1y ago
> 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”. > Preside
30.
by grandempire 1y ago
> 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 comm

More ›