5,992 karma · joined August 11, 2021
The worst part of his premise is that they can be overcome by increased intelligence. He’s not describing fundamental limitations. Meaning that it’s inevitable that his examples will be “solved.” At least better than humans. Meaning the R&D is obviously valuable.
- Implementation-defined: the compiler documents its choice, e.g. sizeof(int).
- Unspecified: the compiler picks from options, e.g. argument evaluation order.
- Undefined: no requirements at all, e.g. signed overflow.
The notes take you through compilers deleting an overflow check and a kernel null check because of undefined behaviour.
There are also abstraction leaks. Spolsky’s Law of Leaky Abstractions says all non-trivial abstractions leak. SQL is one example. Logically equivalent queries can differ in speed by thousands of times.
Also, the translator must be trusted. [See this lecture.](https://www.cl.cam.ac.uk/teaching/2223/R209/Reflections-Trus...) It explains how behaviour can live in a compiler binary and appear in no source.
In other words, formal languages are no different to spoken languages. They exist on a spectrum of ambiguity, assumption, and implied meaning, depending on the domain. Human language has the potential to introduce more ambiguity, assumption, and implied meaning, but that's not a predetermined quality. You can be as detailed as you like in your communication with your AI. To a degree of precision equal to or better than a formal language. You reference this in your last sentence. The distinction is fairly obvious: being specific in English has a much lower skill bar than being specific in C.
One of the more interesting topics in research and philosophy right now is this question of alignment. To what degree to these models understand our meaning when we're not extremely detailed. We can see in research that they're becoming extremely competent at inferring meaning. They can often understand our intent with very few words.
But that's not today. Even if/when they do go public, those pension funds are choosing to invest. They're not forced to invest. People buy S&P500 indexes because they're convenient. They're not forced to invest in indexes.
Centralised curation will have its time but marketers will move to systems which are unique to each visitor. Think 30 second ads which are unique to each visitor, built on their shopping history, social media comments, search, etc. These systems are currently prohibitively expensive to build and deploy, but they won't be with cheap LLMs. YouTube is already experimenting with ads inside streams, for example. Those are very difficult or impossible to deterministically block. Sites will get very good at agentically evading deterministic adblocking software. This is where local LLMs will shine. Consider the case of YouTube in-steam ads. The LLM could probabilistically determine that the current frames are ads (even though this particular ad is 100% unique to that visitor, and has never appeared in any ad database before), then black out the section of the screen/audio while it plays. Or fast forward until it finds where the segment ends. All in real-time, locally determined.
It does become a strange cat and mouse game in the future, but I feel quite strongly that ad blocking will win. Users will have intelligent, autonomous systems on their devices which can curate and block content as desired.
That said, the core apps are still full of AI code. I don't see a reality where hand-written code can or will be curated and sequestered. It's unenforceable, too slow, and too expensive.
I don’t agree. This is determined by elasticity of demand. If they have more compute to offer, that means they could offer higher subscription limits, more features like Duo to more people, better API pricing, and better enterprise contracts. This leads to some degree of increased consumption and more revenue. The degree is determined by how responsive customers are to pricing and features and performance. It’s not zero, so there is some amount that revenue would increase. We can debate the coefficient and the amount of compute we’re talking about here, but the premise is correct.
Uber made it very clear who the terrible drivers were. It turned it into a real service industry where good service was expected. Suddenly scammers couldn't hide behind anonymity. To this day I would rather pay 2x as much for an Uber than take a regular taxi. That's how much they sucked.
I don't know what it is about Google models, but they are the worst at hallucinations. I don't understand how they can so consistently be this bad.
Something most people don't know is that Reddit now has a kind of AI partnership with moderators of the larger subreddits. If those mods ban a user from their sub, the AI can suspend or ban a user for "breaking the terms of service." Given the state of Reddit, and the kind of people who moderate the large subreddits, it's creating a fairly violent and polarised community.
Further, [we are getting much better at simulating drug interactions.](https://pubmed.ncbi.nlm.nih.gov/41155903/) I strongly suspect AI will offer new probabilistic models to funnel novel drugs into more targeted trials which are much more likely to succeed. If we had 90% certainty of success and high certainty of lower adverse reactions I think we could allow much less stringent human trials. That means much lower cost and much faster turn-around.
That’s because I didn’t make any claims about X’s financial performance. I was explaining to you why you were wrong on some important facts.
> This is objectively false. 2020 revenue for Twitter was $3.71B while 2021 came in at $5.07B.
First, you’re conflating revenue and profit, which is kind of unforgivable in this context. Second, I explained that in those years they made large profits. In my comment. Which you clearly didn’t read.
If this is just where you like to emotionally vent may I instead recommend Reddit? I like the interesting discussions here.
Einstein once said “compound interest is the eighth wonder of the world.” It’s very hard for humans to comprehend compounding returns.
Musk paid an absurd premium for the company. Far more than it was worth. It was intended to force the board to sell. So an 80% estimated drop (it’s private so it’s a very rough estimate and I won’t go into the various reasons you should not accept it at face value), sounds scary but it’s by design.
Twitter as a company was doing quite poorly leading up to the acquisition. It lost more than $1.3B in the two preceding years. A big downgrade from its previous $1B+ annual reported profits.
As for the 81% headcount reduction, Musk confirmed that, but if you think he’s lying about that for some reason, CNBC investigated it. Journalists examined internal Twitter records and reported approximately 1,300 actively working employees, with another 1,400 still receiving pay but no longer working. CNBC also interviewed two recent employees who corroborated the scale of the reductions. https://www.cnbc.com/2023/01/20/twitter-is-down-to-fewer-tha...
Prior to acquisition, Twitter's SEC filings confirmed more than 7,500 full-time employees.
I don’t see why this claim is so unbelievable. Twitter was famous for its army of social media staff whose entire day comprised two meeting between matcha tea and meditation. https://youtube.com/watch?v=buF4hB5_rFs
Musk just fired everyone who wasn’t an engineer and it turns out the engineers keep the lights on.