I want to do my vibe coding in a dependently typed language, so that at least I can tell what the inputs and outputs are. I say Idris is the future!

Or... I want to only write the tests. The implementation is... an implementation detail!

I wish we didn't use LLMs to create test code. Tests should be the only thing written by a human. Let the AI handle the implementation so they pass!

Humans writing tests can only help against some subset of all problems that can happen with incompetent or misaligned LLMs. For example, they can game human-written and LLM-written tests just the same.

Not property-based tests. Either way, the human is there to tell the machine what to do: tests are one way of expressing that.

> Keeping updated libraries is a good practice

First, the "good practice" argument is just an attempt to shut down the discussion. God wanted it so.

Second, I rather keep my dependencies outdated. New features, new bugs. Why update, unless there's a specific reason to do so? By upgrading, you're opening yourself up to:

- Accidental new bugs that didn't have the time to be spotted yet.

- Subtly different runtime characteristics (see the original post).

- Maintainer going rogue or the dependency getting hijacked and introducing security issues, unless you audit the full code whenever upgrading (which you don't).

It's true that you can satisfy the audit just by running dependency scans and updating the ones that come back vulnerable. Unfortunately, in a lot of ecosystems, that ends up looking the same as keeping all your libraries updated.

You can instead document exceptions for why all those vulnerabilities doesn't apply to your app, but that's sometimes more trouble.

> In the last years writing SQLAlchemy or Django ORM the teams I was on would write queries in SQL and then spend the rest of the day trying to make the ORM reproduce it.

Ah yes, good times! Not Django for me but similar general idea. I'm not a big fan of ORMs: give me a type safe query and I'm happy!

I've managed to make good use of 32GB of RAM. But I wonder, what does the NAS need 24GB RAM for?

I work for a small local company. There's ten people, basically all working some kind of part time. The work is interesting, the pay is peanuts, the atmosphere is great. Thank god it's Monday tomorrow!

This is not the right context to try to push your religious views on others.

Mine does too. I make sure there are no ads on the screens, but ads in print are harder to adblock. She hasn't seen too many, yet at four years old could distinguish an ad in a kid's magazine in under a second.

I think literally just no longer means literally. Him thinking that literally blew my head. (I'm sorry, I had to!)

If someone cares about this so much to make a website, why not include an explanation? There's mention of dignity. I don't feel my dignity lessened when my bathroom has no door. Perhaps the door is useful to keep the heat and the steam inside the bathroom?

If you only stay in hotels alone, it probables doesn’t matter that much to you. Quite apart from questions of dignity, when sharing a hotel room, there are practical conveniences: it’s nice to keep odors contained, and to be able to turn on the bathroom light at night without waking anyone up.

What is there to explain? Bathroom needs to be isolated.

Do they also have to explain why there are walls around your bathroom and it's not just a commode next to a bed?