Viewing profile — amw-zero

You can use them for dev environments. You just have to finish development in 8 hours.

It would not, and you would know that if you actually evaluated the results.

It's not weird, since 99% of rentals are apartments, right?

I agree in principle, but I think the 2-5% estimate is extremely low. I could be sold on most developers spending ~25%, up to 40% of their time on code. But very few people are spe…

This is a really, really, really bad comparison. I used to say the same thing. But the semantic distance between compiling a for loop to equivalent assembly instructions is much sm…

Yes you're missing something: the snake oil.

I think so, yea.

Give it a shot

It 100% implies that it's looking for locally installed binaries.

So is human coding.

To say "Rob Pike wrote Unix" is completely inaccurate. He joined after v7, in 1980.

TLA+ is around 30 years old.

There is no such thing as a robust helm chart. Null was not the billion dollar mistake: templating languages were.

That’s literally what the post is about. I don’t see your point. The post is saying that formal tools currently do not handle performance and reliability problems. No one said othe…

I’m starting to think this take is legitimately insane. As said in the article, a conservative estimate is that Gen AI can currently do 2.5% of all jobs in the entire economy. A te…

Super interesting, but I think this will be very difficult in practice due to the gigantic effect of nondeterminism at the hardware level (caches, branch prediction, out of order e…

Who brought up static analysis? I think simulation is definitely a promising direction.

I think this is less about guarantees and more about understanding behavioral characteristics in response to different loads. I personally could care less about proving that an end…

This is the single most impactful blog post I've read in the last 2-3 years. It's so obvious in retrospect, but it really drove the point home for me that functional correctness is…

So... a specification.

So... a specification.

Let's say a new feature. Do you just type random letters, or do you have some kind of plan ahead of time?

When you go to write a line of code, how do you decide what to write?