amw-zero

6 ms·

1.
by amw-zero 8d ago
I totally agree. I have this nagging feeling that LLMs push things like this past the breaking point. Effects and contracts are _obviously_ useful to humans as well, we've just gotten by without them for a long time. But when you have
2.
by amw-zero 3mo ago
You can use them for dev environments. You just have to finish development in 8 hours.
3.
by amw-zero 3mo ago
It would not, and you would know that if you actually evaluated the results.
4.
by amw-zero 4mo ago
It's not weird, since 99% of rentals are apartments, right?
5.
by amw-zero 4mo ago
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 spending 2% of their time on it. Unless you're some sort o
6.
by amw-zero 4mo ago
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 smaller than the distance between "I'd like a web ap
7.
by amw-zero 4mo ago
Yes you're missing something: the snake oil.
8.
Bug Bash 2: Attack of the Clones(concerningquality.com)
2 points by amw-zero 5mo ago|0 comments
9.
by amw-zero 5mo ago
I think so, yea.
10.
by amw-zero 5mo ago
Give it a shot
11.
by amw-zero 6mo ago
It 100% implies that it's looking for locally installed binaries.
12.
Analyzing round trip query latency(datadoghq.com)
3 points by amw-zero 6mo ago|0 comments
13.
by amw-zero 6mo ago
So is human coding.
14.
by amw-zero 6mo ago
To say "Rob Pike wrote Unix" is completely inaccurate. He joined after v7, in 1980.
15.
by amw-zero 6mo ago
TLA+ is around 30 years old.
16.
by amw-zero 8mo ago
There is no such thing as a robust helm chart. Null was not the billion dollar mistake: templating languages were.
17.
by amw-zero 8mo ago
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 otherwise.
18.
by amw-zero 8mo ago
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 technology that is really only a couple of years old. This is
19.
by amw-zero 8mo ago
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 execution, etc.)
20.
by amw-zero 8mo ago
Who brought up static analysis? I think simulation is definitely a promising direction.
21.
by amw-zero 8mo ago
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 endpoint always responds in less than 100ms say, but I care ver
22.
by amw-zero 8mo ago
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 only the beginning. I personally had been over-in
23.
by amw-zero 9mo ago
So... a specification.
24.
by amw-zero 9mo ago
So... a specification.
25.
by amw-zero 9mo ago
Let's say a new feature. Do you just type random letters, or do you have some kind of plan ahead of time?
26.
by amw-zero 9mo ago
When you go to write a line of code, how do you decide what to write?
27.
by amw-zero 9mo ago
How do you or the client know that the software is doing what they want?
28.
by amw-zero 9mo ago
Compare the spec with the application here: https://concerningquality.com/model-based-testing/ I think we've become used to the complexity in typical web applications, but there's a difference between familia
29.
by amw-zero 9mo ago
Half of the world uses Apple products, how is that not the maximum possible impact?
30.
by amw-zero 9mo ago
that's a fantastic point.

More ›