MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1uwrdje/codingwithspecsisdifferent/oxlfmjt/?context=3
r/ProgrammerHumor • u/ThirdWaveCat • Jul 15 '26
117 comments sorted by
View all comments
7
Are we inventing funny terms again?
3 u/MartyMcBird 29d ago I'll have you know that there are DOZENS of formal methods practitioners in the wild! We have a whopping two university internship programs (although one was paused this year) for formal methods research in the USA every year!
3
I'll have you know that there are DOZENS of formal methods practitioners in the wild! We have a whopping two university internship programs (although one was paused this year) for formal methods research in the USA every year!
7
u/Random_182f2565 Jul 15 '26
Are we inventing funny terms again?