Viewing profile — munchler

Thank you. The OP's article is clearly AI-written.

It's not about immature people being unable to separate art from artist because it's difficult. The issue is whether it's the right thing to do. I feel pretty confident that I coul…

https://fstar-lang.org/tutorial/

The flip side is that we currently put programs into production without understanding how they will behave in those edge cases. If you're lucky, they crash and then restart cleanly…

Thank you for this. I probably don't have higher standards, but I do have way fewer than a million users!

Thank you for this explanation. It makes sense, but I don't really understand why it has become so popular. Professionally, my experience is that certain software components need t…

I appreciate the effort and I'm in your target audience, but that document didn't help me. It seems to dive into the details of installing and running k8s without saying much about…

Nobody knows what anything is going to be worth in 5 years.

(1989)

> "This action is irreversible and ensures that your data remains protected." This amounts to "We deleted all your data in order to keep it safe." WTF.

> Code is code. It either does the job or doesn't. Surely that is not the only dimension that matters when evaluating software. Maintainability and readability, for example, are cr…

I love the chatty tone of this utterly dystopian question.

If AGI is the goal and something like the Singularity is even a remote possibility, the difference between first and second place could be effectively infinite. Given China’s suppr…

> I can think of exactly one customer in two years who was surprised that software costs money I think you meant "I can think of exactly one customer in two years who was NOT surpr…

To expand on this a bit, I appreciate some audio overkill because, if I do hear sizzle or distortion, it eliminates one possible reason and helps me figure out what’s actually happ…

It actually extends to all automation, even before computers. Replacing oxen with tractors? Now you have to keep the tractors running.

This would create more chaos than any other suggestion so far. Well done.

> Once AI takes everything it can take, what is left for us? This is a good question, but is perhaps too abstract to address well. I think a better question for right now is: Once …

As a kid, I liked arithmetic function machines that "magically" force a particular output or allow one to quickly deduce the input from the output. These are usually based on non-o…

The classic I remember from childhood is the card game "War". Assuming neither player cheats or makes a mistake, the outcome is totally predetermined.

If, say, a certain version of Claude tends to be better at front-end than back-end work, that can be important for deciding how to use it in the future. Just like when managing hum…

> Disclose your "AI" tools in a merge request if needed but leave them out of the damn commits, those are for technical information and not for advertising. I think this is very po…

All types of problems. F# can do almost anything C# can do and with less ceremony. The quote I like is that once you get comfortable with F#, switching back to C# is like "having t…

Yes, all that stuff. I try to stick to F# where no special syntax is required for missing values (via Option ).