logoalt Hacker News

AkshatMtoday at 5:11 AM2 repliesview on HN

You're thinking of probabilistic systems at run time. People are talking about probabilistic systems at compile time.

Whatever gets generated, if it passes tests and is observably in compliance with the spec, is accepted and made permanent. It's the clay we're talking about Jackson Pollocking, not the sculpture.


Replies

dns_snektoday at 7:57 AM

I'm not, I'm thinking of poorly engineered systems that display buggy, unintended behaviors at runtime.

> observably in compliance with the spec

That's so easy to say and so incredibly hard to implement! Most unintended behaviors will never end up being prohibited/defined in the specification written by non-programmers.

The act of translating requirements from human language into well-defined semantics is what programming is.

suddenlybananastoday at 8:14 AM

Tests don't go over the space of all possible inputs and you have no idea how other inputs are generalized or interpolated.