2 stories from 2 submitters
  1. 21
    Coding as a tool of thought formalmethods practices surfingcomplexity.blog
    hwayne avatar via hwayne 2 months ago | cached | 9 comments
  2. 4
    How did software get so reliable without proof? formalmethods practices surfingcomplexity.blog
    minimax avatar via minimax 8 months ago | cached | no comments