7,561 karma · joined February 26, 2017
I'm not sure why this is a surprise. Google most likely uses an efficient yet limited language model to give us search answers. When a search query does not have strong or specific enough context, the model will sample and find what most of the training material will cover. That is, the most likely average behavior covered in the training data. In this case, "hes never coming over dario" is such a generic sentence, so unless Google happens to have indexed what the author mentioned and ranked it high, the answer would appear natural to the AI. Or using the AI jargon, the answer appears to be properly aligned.
People say LLMs will let us build native apps instead of Electron, but is that missing the point? I thought people turned to Electron for a reason: building a fast, rich, collaborative Markdown editor on macOS is notoriously hard. Neither SwiftUI nor AppKit makes handling those rich interactions easy. AI can do wonders, but can it really overcome the inherent limitations of macOS's native UI frameworks?
I'm quite puzzled about why Anthropic is so hellbent on blocking other coding agents. It's not like Claude Code has any secret sauce, right? And doesn't Anthropic make monkey off API usage, and their magic is on the model side anyway?
Very true. Or further, access to capital is the moat. It is the very reason that we don't have a real open-source community that trains frontier models - individuals simply can't afford the training infrastructure, nor sufficient high-quality training data.
If it's true, it makes them evil. Especially Dario, who speaks about moral high ground and fate of humanity all day, yet it's not that different from a cult leader does.
Isn't this exactly what Dario wanted? He thought he knew what's best for the humanity...
This isn't unique to software engineering. In Renaissance Italy, mathematicians like Tartaglia and Fior hoarded cubic formula shortcuts like proprietary algorithms and challenged rivals to public math duels. Today, we solve cubic equations without a second thought. Special functions used to be a staple college course for physics and engineering majors. Are they still? The US military used to employ thousands of people just to calculate PDEs by hand. Do we need anyone doing that today?
Our only hope is that our society moves fast enough to create new demands and problem domains that genuinely require new systems and algorithms. Look at AI: it’s evolving rapidly, driving massive demand, and forcing the development of new systems and architectures. As a result, the lucky few[1] working at that frontier are having rewarding careers. Without frontiers like that, the rest of us risk becoming irrelevant.
[1] One unfortunate factor is that building AI now requires lots of capital for accessing GPUs, which means individuals in the open source community have a hard time working on it.
This is kinda vague. Correct at what scale? I wonder if there's a measurement on the correctness per scale, and hopefully the scale is not just CLOC.
Of course, I'm being naive here, as I've seen too many companies fail to achieve such basic ownership. So, curious what I have missed. Of if the ownership is not a clean DAG, well, it goes back to Gates, as he was responsible for both the org charts and the company culture.
It looks like our brains somehow have to experience the failures during a diagnosis and in gemerak perform this kind of pathfinding by themselves to truly understand the system. I don't know if this has to do with how our brains actually learn.
Take Anthropic for an example. Anthropic has successfully destroyed customer trust, at least for me. DHH in a recent interview mentioned that Claude refused to translate an article about immigration. Not summarize. Not editorialize. Translate! I think this reveals an unacceptable level of paternalism: Anthropic fundamentally believes that it possesses a moral authority superior to the people actually paying for the API. If such basic and mechanical translation is already too sensitive to touch, the goalposts have moved from safety into outright censorship. What prevents them from quietly deciding tomorrow that your proprietary business logic, financial data, or legal documents cross their invisible moral line?
Let alone how Anthropic treats Cursor and Figma - not that they are wrong as companies are free to compete legally, but nonetheless it shows that companies can't outsource their intelligence to a potential competitor.
I thought they could've bought just a single copy of each book and use the content to train their models. In that case, it falls into the fair use doctrine and they wouldn't need to pay the fine. And that will be way less expensive than the $1.5B price tag.
Remember we used to spend enormous amount of time in school and in our spare time studying computer science? Algorithms, operating systems, compilers, and etc. All kinds of insights. All kinds of fun. All kinds of hard engineering. Yet, how much time do we really need to spend in our day-to-day work implementing or using the algorithms and etc that we have learned?
Engineers have done amazing work of abstracting away the hard algorithms and data structures. In the meantime, there has been little progress or few new fields in the past 10 years or so in business that ask for implementation of new algorithms. In contrast, getting LLM to work is a new field, so it requires tons of new implementations: KV caches, speculative decoding, all kinds of variants of attention like FlashAttention, all kinds of parallel processing techniques, RL pipelines, post-training pipelines, and etc. It's just that the field is so concentrated that only luck few get to work on them.
So, maybe it's not LLM per se that removes the need of writing code. It is the maturity of the software engineering that has done so. It's just that LLM fills the last gap: making knowledge transfer so much faster and cheaper - if all that's left for most of us is slicing and dicing of what has been already been implemented, then LLM can reliably take over.
Boris: "I haven’t written a line of code by hand in, I think, eight months now… Claude Code, 100% written by Claude Code".
Boris: "There’s no manually written code anywhere at the company… All of the SQL is written by models. Everything is just built by the models... Claude instances communicate with each other (e.g., over Slack) in autonomous loops"
This does not sound like they review the code either. So, either the frontier labs like Anthropic have figured out something that very few companies could replicate, or they are being incredibly deceptive. I don't know which is true.
This is a big if, right? AI can still generate subtle or even silly mistakes that any normal human, let alone a mathematician, wouldn't make. Besides, math is more than just getting a conclusion but to understand and to generalize new ways of solving problems. After all, mathematicians are a curious bunch. To quote Hilbert's epitaph: We must know. We shall know.
A key reason is that so many CS concepts are already well packaged in very nice libraries or frameworks. And unfortunately many people do not have to use very advanced CS concepts. Look at the so-called top 10 algorithms or data structures for <your favorite area>, how many of them are invented recently, and how many of them do not have an amazing library of production quality? Note this does not mean that the CS field is not advancing. It's just that we have yet to find another hyper-growth area that demands novel algorithm, except probably the AI infra - except that only very few people get to work on that area.
Exactly! There's so much paperwork that a doctor sometimes need two assistants just for the paper work. There's so much cost for independent practice that increasingly more doctors end up joining big hospitals. Charges with and without insurance have a huge difference. Just to name a few.
> while Go forces channels for `select` whether they model your problem nicely or not, and they're very difficult (often impossible) to wrap without changing semantics.
I understand that Go's concurrency model is based on CSP and fork-joins and the primitives like locks, but they are not mutually exclusive with concurrency containers, right? It's okay if the Go team's core philosophy is that channels are the universal abstraction, but I don't get why the community didn't produce 3rd-party containers as robust as JCTools.