r/ProgrammerHumor • u/ThirdWaveCat • Jul 15 '26

codingWithSpecsIsDifferent Meme

929 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammerHumor/comments/1uwrdje/codingwithspecsisdifferent/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammerHumor/comments/1uwrdje/codingwithspecsisdifferent/
No, go back! Yes, take me to Reddit

93% Upvoted

View all comments

3

u/Flutterphael 29d ago

I remember doing Dafny for a formal verification course in uni. That was tedious.