Home

Interesting Resources

  1. Manuscripts written by E. W. Dijkstra. A few lectures by him can be found here and here.
  2. David Gries book The Science of Programming. Some of his articles can be found here.
  3. First chapter of this book (The Architecture of Concurrent Programs) by P. B. Hansen discusses qualities of a good program.
  4. Cut-The-Knot website devoted to mathematics.
  5. Youtube channel (Insights into Mathematics) by N J Wildberger.
  6. Our Curriculum Has Become Math-Phobic!.
  7. How the Boeing 737 Max Disaster Looks to a Software Developer.
  8. They Write the Right Stuff, an old article about NASA space shuttle's "perfect" software.
  9. A series of interesting lectures by Martyn Thomas on the state of software and software-development today.
  10. Hoare Logic and Dijkstra's Weakest-Precondition calculus for reasoning about program correctness.
  11. Frama-C's WP plugin which helps in proving correctness of C programs; it is based on weakest-precondition calculus and relies on external provers.