Retrospring is shutting down on 1st March, 2025 Read more

BOSSGUY • GIRLBOSS • BOSSBABY · 18d

What do you think about mathematically proving properties of programs? Is it interesting or useful or just some academic pipe dream?

I think it's cool, like a variant of contract-programming (in/out tests, unit testing and integration testing). It could be a useful tool with the others, but I personally have no experience with that.

@dd86k
dd🌺 · 18d

Retrospring uses Markdown for formatting

*italic text* for italic text

**bold text** for bold text

[link](https://example.com) for link