Conversation

Oleg

@oleg008

Feb 20, 2020

Software with zero bugs? I think I found God through twitter ads.

Quote Tweet

SoftwareDesign&Dev

@sddconf

Feb 6, 2020

Want to write reliable software with zero bugs? Learn how to, by spending an intensive day with programming expert Jules May. This is just one of 18 all-day workshops at SDD 2020 (London 11-15 May) - if you register by Fri 21st Feb you'll save up to £300. sddconf.com

Reported.

Replying to

there is a way to almost do it, but I bet they won't talk about formal verification (agda/coq/idris)

Replying to

even in that case, there are so many external reasons for software to have bugs, or do they call it defects or something?

Replying to

and

Errors during the creation of the formal specification are common. There are also typically assumptions, and these assumptions can be a vast attack surface.

4:30 PM · Mar 5, 2020Twitter for Android