TGStat
TGStat
Type to search
Advanced channel search
English
Site language
Russian
English
Uzbek
Sign In
Catalog
Channels and groups catalog
Search for channels
Add a channel/group
Ratings
Rating of channels
Rating of groups
Posts rating
Ratings of brands and people
Analytics
Search by posts
Telegram monitoring
The Art of Programming
26 Nov 2020, 13:22
Open in Telegram
Share
Report
Software correctness is a lot like flossing • Hillel Wayne
https://www.hillelwayne.com/post/flossing/
Software correctness is a lot like flossing • Hillel Wayne
My work brings me though a lot of software correctness techniques, things like type theory, test-driven development (TDD), and formal methods. The surrounding communities all have the same problem: they can’t get people using these techniques. They all ask “Don’t people care about correct software?”...
116.7k
0
47
×
