Viewing profile — plaidfuji

I would be genuinely very impressed - but still not scared - if the Riemann hypothesis were solved. I suspect that we may require “new math” to make progress on that. If a new oper…

Any computable problem will eventually fall to computers. LLMs have made math proofs more computable, in the sense that a computer can both generate potential solutions and check t…

I think the manufacturing analogy is apt. If you consider both the need for minimal COGS and the large R&D expense, it’s kind of like… biomanufacturing. You spend a lot on R&D to d…

Right. It also makes it sound like they’re not using the Haber Bosch process… but then: > Electrolyzers are located on-site. They use wind energy to split water into hydrogen and o…

> I don't think most software is like solving a math problem or series of math problems. I agree with you when talking about high level software design. As you say it ultimately bo…

It seems like a solid set of criteria for how easily a task can be automated by AI agents is: - extent to which correctness of solution be easily specified and checked - extent to …

Does anyone really believe he’s doing all of this just to sell out and live on a beach somewhere? This dude sleeps at his own factories. He literally works like 24/7 and has no per…

As much as it’s tempting to read some kind of ulterior motive into this, I think the most reasonable explanation is that AWS, as perhaps the single biggest point of failure in the …

> The first requirement is that the computer program has a body (either physical or virtual) and sense organs Ok, deploy a local model on a lightweight edge compute device and stra…

To put that in perspective, if you assume a token is 4 bytes, that’s about 164 MB/s of traffic, which sounds a bit less staggering.

> Altman’s realization was born partially out of an experiment of his own. He tried delegating his Slack and email responses to AI, then began responding to some again manually. We…

There may be additional major leaps forward, and there may not. I kind of struggle to imagine what the next step actually is. Certainly there will be improvements in performance (s…

Our shop is forced to use Copilot on gov cloud, and it’s so useless I usually stick to manually coding. Its syntax is messy, it randomly combines lines together, flips order, or dr…

kind of sobering to realize that whether your job can be profitably automated away comes down to what $/token some hyperscale AI provider can deliver… I suppose it’s nice that this…

It’s the exact same mental gymnastics that cause people to accuse model providers of large-scale plagiarism. That is to say, not that much gymnastics. Like a cartwheel at most.

This comment couldn’t be more ironic given the content of the post

If I’m understanding this correctly, it starts by raising this question, then argues that it’s kind of a cheap and meaningless punch-down. I’m not sure I completely agree.. I think…

They offered him two free hour-long rides to their facility and back just to pick up the suitcase? Waymo trouble than it’s worth

It’s all moral relativism

> Teams is where most enterprise work happens: decisions get made, customers get answered, and projects move forward there. … and Teams is where it will stay! Microsoft’s piss-poor…

No, you’d remark that your house has appreciated in value over the past 20 years. But you wouldn’t have realized any of that gain until you sold the house - the point being that th…

> SpaceX's valuation only makes sense if It’s funny, I hear the exact same phrasing used when justifying Tesla’s valuation. “It only makes sense if…” … if you ignore what the actua…

Came here to quote the same sentence, but say the exact opposite - it seems to me that today’s LLMs are progressing far faster on the “thinking” front than the “doing”. I suppose i…