Viewing profile — kaashif

Why does being a compressed corpus of knowledge mean it can't discover things? What if it has knowledge of techniques to discover proofs? It does and that's what's happening.

Damn, looks like we have lower productivity than cavemen!

(1) Yes. (2) Are you saying that you think we're at the limits of computing in general, or that specific technology? We know, for example, that a human brain level intelligence is …

What if you forget to use that and just use let or const? It is better than plain try-finally or defer because you don't have to remember how to dispose of the resources but in ter…

If the idea of computers is that they remember stuff for you and do stuff for you, then both try/finally and defer seem like hacks to work around not having RAII like e.g. Rust or …

"The race condition snapped like a steel spring." I like the idea of the story, and cool ideas can be engrossing on their own. But well written this ain't.

Right, and if you come up with an efficiency gain that makes scaling better, e.g. a 50% reduction in required compute. Or even asymptotic improvements e.g. moving from quadratic to…

Someone is drowning and calls for help. I throw a bucket of chum into the water and walk away, putting my headphones on. Well I did take the time to help, better than nothing, righ…

I always have my phone with me so I can take a note in that. But when I'm meeting with someone I prefer taking notes in a little notebook I carry, I don't want the other person to …

Indeed. I guess we're talking about it, which is the point of marketing blog posts like this. If it weren't claudeslop, it would still have to be marketing corposlop.

I only even heard about Jennifer Pahlka from Tyler Cowen's podcast, I think there are still some podcasts worth listening to. Your point is well taken and very reasonable though.

Asking this question only a handful of years after a global pandemic... If the next pandemic is 50% deadly, not being able to make gloves is surely the canary in the coal mine prov…

I think it's great someone is working on a fun little project such as a smart fan but let's not kid ourselves, it's not supposed to be practical! I don't think anyone would claim t…

I like how every time a new technology is invented and becomes big, people start to think it explains everything. Like how in the 16th/17th centuries some people thought the univer…

Why? Are people actually using AI to do programmatic refactors over million line codebases directly? That is far more insane. Using AI to write ruff rules or clang-tidy rules with …

No, they are talking about refactoring, not adding new functionality to code. So it would be something like: Rewrite this Python code to use match/case instead of if/elif/else chai…

It does mean that the milk industry is a low value add commodity business where suppliers compete primarily on price and only survive due to protectionism and subsidies. Food is im…

You do realize that the person you're replying to is not making a value judgement and probably agrees with you. If you have two groups of people, one with a low but nonzero signal …

Some earnest, light feedback: to my ears, "kick butt" sounds about the same as one of those euphemistic substitutions for swears like "gosh we darn well try our darndest". It's jus…

That's not the problem governments are solving. They're solving the problem of convincing the public it's a good idea to end the anonymity of internet use.

Not necessarily true, more rehearsal isn't the key to fluent oratory. Many people can speak off the cuff fluently and confidently, avoiding "like", "um", and other filler words. An…

That's the reality China already lives in. Their weapon against US companies is commoditizing them, eliminating their moats and their profits by going open weights. Same thing Meta…

It would be extremely funny if putting things in space is cheaper and faster than dealing with zoning and local politics. It implies that China, which can cut through much red tape…

Doing that kind of thing over Zoom just always felt fake and not fun to me. Maybe some people are wired differently where that works, and I'm stuck having to meet people in person …