Elektrine lite

โ† Feed

@RonJeffries@mastodon.social

Post #1816499

2026-04-24 17:00 UTC

RE: https://functional.cafe/@chris__martin/116460722561583481 Dude, if you wrote really good specs, we'd just compile and run them. ๐Ÿ˜€

Replies (4)

  • @RonJeffries@mastodon.social stop reducing my posts to tautologies!

    Open ##2712416

  • @jmht@theatl.social 2026-04-24 17:22

    @RonJeffries@mastodon.social Exactly!

    Open ##2712417

  • @SenseException@phpc.social 2026-04-25 09:37

    @RonJeffries@mastodon.social If they write really really good specs, then why couldn't they do it for human devs? ๐Ÿ˜

    Open ##2712418

  • @esap@noc.social 2026-04-26 19:06

    @RonJeffries@mastodon.social If you could compile and run the specs, then it follows that P=NP, because then verifying the spec is same as implementing it. But there are good reasons that specs omit important details such as user passwords that are required for actually executing them.

    Open ##2712420