Damus
Paul Everitt · 5w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqhxedrnr8366gz30xxuec5yl6t4xnywql4t5cqruk95rzu4am02xs4crfjk Here's the SDD article that got my brain lit up https://medium.com/@wasowski.jarek/sto...
Sheena profile picture
@nprofile1q...
(1)
I had to let this one stew a bit...

I'm not sure if I agree with the conclusion. I don't think that the fact that specs are non-deterministic is a problem, or even very surprising - the most precise way to describe what code should do is with code, and there are often many ways of achieving the same thing. That's alright, so long as the thing is achieved.
2
Paul Everitt · 4w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqhxedrnr8366gz30xxuec5yl6t4xnywql4t5cqruk95rzu4am02xs4crfjk I also needed to chew on it. In fact, I have the tab still open, to re-chew. I think I'm a bit more worried about the point being raised.
Sheena · 4w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq3s57k3vxf263ffpzfwjgupcr9e694agy74zkdekzd6ss5tfv3zeq0rxl2p (2) Facts, as described here, seem to be quite high resolution. They might miss some of the benefits of specs. Why not spec->facts? I do something like that - I use a little bit of BD...