What about pharma and for-profit healthcare employees?

What metrics are these?

I don't blame Knuth, he's talking about focusing on micro-optimizations, but a lot of devs nowadays don't even care to get basic performance right.

LLMs have a couple major problem, they hallucinate and make mistakes. So the ideal way to use them is to constrain them as much as possible with formal methods. Rust's type system is a formal proof of some forms of correctness, this will let "vibe-coding" work to a much higher degree than with other languages.

In the very long run, I suspect that all vibe-coding will actually occur in a language with dependent types and we'll push as much as possible into being proven correct at compile-time. Since the cost of generating code is plummeting, and thus the sheer volume of code will be exponentially rising, this is the only way to prevent an unsurmountable mountain of errors.

Formal methods and LLMs are a match made in heaven.

You can really sense the SF-centric bubble HN lives in.

Of course there's a balance that has to be struck so that police are empowered enough to act. So perhaps something like settlements against the police being 30% borne by the police pension fund and 70% by taxpayers is sufficient. I think this will also make police very enthusiastic about bodycams and holding each other accountable.

The downstream effects of something being open source might acquire users, but being open source in of itself doesn't do anything except for a very tiny slice of the population. I'd say (in the US) more than half of the software developers I know use an Apple phone despite Android being much more open.

Whenever I'm on HN I feel like most of the posters here live in a bubble where they think most people are anywhere near as tech literate as they are. (You can really feel how this forum is SF-coded).

I really like how flix.dev looks, but there's always a little nagging at the back of my head that something like rust will always produce more performant software.

Doesn't mean it's not worth studying this kind of stuff, but this conclusion is already so "old" that it's hard to say it's valid anymore with the latest batch of models.