#designbycontract — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #designbycontract, aggregated by home.social.
-
Did I post my experiment with #ChatGPT and #DesignByContract yet? No?
Might be interesting to software types.
https://finkhaeuser.de/2026-04-10-outsourcing-thought-is-going-great/
-
@ceejbot I thinkered a little about my previous comment and I realized I have not checked how efficient and "well written" is the code produced by #VibeCoding. According to https://search.brave.com/search?q=vibecoding+produce+efficient+code%3F&summary=1&conversation=08d518070c52f18a7ed34de823520c1eb9f2 it's fast but flawed, fragile, or low maintainability with hidden bugs, poor performance, and security vulnerabilities:
- Sloppy or undocumented code,
- input validation, authentication are frequently missing.
Therefore #DesignByContract and testing are still required. -
@mfowler And not incidentally, #DesignByContract is a real thing in #SoftwareEngineering
https://en.wikipedia.org/wiki/Design_by_contract
Not only Bruce Schneier, but also Bertrand Meyer got that right.
-
@serizawa Object-Oriented Software Construction by Bertrand Meyer. For a limited time free here:
https://bertrandmeyer.com/OOSC2/
The standard work on #DesignByContract #DbC -
#DesignByContract literally saved my butt during my final PhD phase. Simulation results (for a waveguide) were not as expected for our novel method. I was pretty sure my code was correct because of #DbC. Dug deeper and found a relatively obscure theorem on integral representations I needed to apply. Applied the new math, and presto. Without confidence in my code, I would have probably abandoned the method and possibly the whole project.
-
If you're serious about #objectOriented programming, try to use #DesignByContract to the fullest extent your language supports it. Your future debugging self will thank you. At the very least, liberally use #assertions throughout your code to state what should be true at any given point in your code.
-
@xphentom Well, for one, you're missing regression tests. But more importantly, all of these, especially integration and unit tests will be greatly enhanced using #DesignByContract
-
@DeveloperMemes
Turn to #eiffel. No #curlybraces or indentation. Just do end. Or if then else end. Or from until (variant invariant) loop end. Plus you gain #DesignByContract in the best ad purest breed 😜 -
@DeveloperMemes
Un errore così è capitato a mia figlia quando ha fatto le simulazioni per le prove #invalsi . Non vi racconto la crisi di nervi: dover spiegare ad una tredicenne che l'errore di uno sconosciuto programmatore veniva considerato errore suo. Il #DesignByContract, questo sconosciuto!
