Hacker News Reader

Math isn’t known to rm -rf your drive or exfiltrate your private keys and secrets

This is dangerous advice on so many levels.

“Is math” and “Either works or not” is only true with formal specifications and formal verification, which dwarfs the cost of producing said software.

Code is, but running application aren't "math". They have side effects - like uploading your private keys to hostile servers - which "math" conveniently ignores.

This is a bit of an uncharitable take. "It either works or it does not" is an oversimplification when you consider that code often doesn't work in the way it was intended - that's what bugs are. Are vibe coded apps inherently more buggy? Not necessarily. But the I'd argue there's more surface in a vibe coded app that requires blind trust.

Not really, something can work and be full of security holes.

> It either works or it does not.

It also matters how it works.