home.social

#ewd340 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #ewd340, aggregated by home.social.

  1. Hacker News @[email protected] ·

    The Humble Programmer (1972)

    cs.utexas.edu/~EWD/transcripti

    #HackerNews #HumbleProgrammer #ProgrammingHistory #ComputerScience #EWD340 #1972

    #hackernews #humbleprogrammer #programminghistory #computerscience #ewd340
  2. Hacker News @[email protected] ·

    The Humble Programmer (1972)

    cs.utexas.edu/~EWD/transcripti

    #HackerNews #HumbleProgrammer #ProgrammingHistory #ComputerScience #EWD340 #1972

    #hackernews #humbleprogrammer #programminghistory #computerscience #ewd340
  3. Hacker News @[email protected] ·

    The Humble Programmer (1972)

    cs.utexas.edu/~EWD/transcripti

    #HackerNews #HumbleProgrammer #ProgrammingHistory #ComputerScience #EWD340 #1972

    #hackernews #humbleprogrammer #programminghistory #computerscience #ewd340
  4. Hacker News @[email protected] ·

    The Humble Programmer (1972)

    cs.utexas.edu/~EWD/transcripti

    #HackerNews #HumbleProgrammer #ProgrammingHistory #ComputerScience #EWD340 #1972

    #ewd340 #computerscience #programminghistory #humbleprogrammer #hackernews
  5. Hacker News @[email protected] ·

    The Humble Programmer (1972)

    cs.utexas.edu/~EWD/transcripti

    #HackerNews #HumbleProgrammer #ProgrammingHistory #ComputerScience #EWD340 #1972

    #hackernews #humbleprogrammer #programminghistory #computerscience #ewd340
  6. Teixi @[email protected] ·

    @mastobit

    » The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness.
    But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden... «

    Full #ACM #Turing Lecture 1972

    youtube.com/watch?v=0dGXRK8FUV

    Full #EWD340 text

    cs.utexas.edu/~EWD/transcripti

    #Dijkstra #CompSci #SoftwareEngineering #ComputerScience #HumbleProgrammer

    #acm #turing #ewd340 #dijkstra #compsci #softwareengineering
  7. Teixi @[email protected] ·

    @mastobit

    » The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness.
    But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden... «

    Full #ACM #Turing Lecture 1972

    youtube.com/watch?v=0dGXRK8FUV

    Full #EWD340 text

    cs.utexas.edu/~EWD/transcripti

    #Dijkstra #CompSci #SoftwareEngineering #ComputerScience #HumbleProgrammer

    #acm #turing #ewd340 #dijkstra #compsci #softwareengineering
  8. Teixi @[email protected] ·

    @mastobit

    » The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness.
    But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden... «

    Full #ACM #Turing Lecture 1972

    youtube.com/watch?v=0dGXRK8FUV

    Full #EWD340 text

    cs.utexas.edu/~EWD/transcripti

    #Dijkstra #CompSci #SoftwareEngineering #ComputerScience #HumbleProgrammer

    #acm #turing #ewd340 #dijkstra #compsci #softwareengineering
  9. Teixi @[email protected] ·

    @mastobit

    » The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness.
    But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden... «

    Full #ACM #Turing Lecture 1972

    youtube.com/watch?v=0dGXRK8FUV

    Full #EWD340 text

    cs.utexas.edu/~EWD/transcripti

    #Dijkstra #CompSci #SoftwareEngineering #ComputerScience #HumbleProgrammer

    #humbleprogrammer #computerscience #softwareengineering #compsci #dijkstra #ewd340
  10. Teixi @[email protected] ·

    @mastobit

    » The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness.
    But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden... «

    Full #ACM #Turing Lecture 1972

    youtube.com/watch?v=0dGXRK8FUV

    Full #EWD340 text

    cs.utexas.edu/~EWD/transcripti

    #Dijkstra #CompSci #SoftwareEngineering #ComputerScience #HumbleProgrammer

    #acm #turing #ewd340 #dijkstra #compsci #softwareengineering