웹 항해일지, 2010-11-15

류광, 2010/11/15 23:47
웹 항해일지, 2010-11-15
  • 게임읽기 : 예술이 게임을 만드는가, 게임이 예술을 만드는가 - 게임과 예술에 대한 최근 논의를 엿볼 수 있는 글입니다. 게임이 예술로 인정받을수록 사전심의의 야만성은 더욱 극명해질 것입니다.
  • Retrospective: An Axiomatic Basis for Computer Programming - C. A. R. Hoare 교수의 회고담입니다. '검사(test)의 성공 비결은 프로그램이 아니라 프로그래머를 시험하는 데 있었다'라는 통찰 등 흥미로운 내용이 많습니다.
  • Ecology: A world without mosquitoes - 안타깝게도 모기를 완전히 박멸하는 것은 생태계에 위험한 일인 것 같습니다.
  • Can hot water freeze faster than cold water? 스펀지에 한 번 나왔을 법한 이야기... 따뜻한 물이 찬 물보다 빨리 얼 수도 있다고 합니다. 글 어디에도 april이라는 단어는 안 나옵니다. 이 현상을 탄자니아 소년 Mpemba가 (재)발견한 사연이 재미있습니다.
  • 서점의 변천사 - 재미있고 유익하고 정성이 넘쳐나는 멋진 글입니다. 도서관 블로그 답게 출처 표시도 확실하네요.
  • In Defense of “Beautiful Code” - 아름다운 코드가 무엇인지 명백하게 답하지 못한다고 해도, 세상에는 아름다운 코드가 있고 추한 코드가 있다는, 따라서 코드에 아름다움이라는 것이 존재한다는 점은 명백한 것 같습니다.
top
트랙백 0 : 의견 # + 2

Trackback Address :: http://occamsrazr.net/tt/trackback/238

comments powered by Disqus

(2013년 11월 10일자로 블로그에도 DISQUS 시스템을 도입했습니다. 기존 의견의 수정, 삭제, 댓글 추가는 여전히 가능합니다.)

  1. sloth 2010/11/16 03:59 PERMALINKMODIFY/DELETE REPLY

    software verification..

    static, formal 이런 수식어가붙을수있는
    software verification이 이루어질수있었으면 정말 프로그래머들의 삽질을 혁명적으로 줄일수 있었을텐데,
    결과적으로 현실에서는 아직별로 큰 효용성을 보이지못하는게 안타깝죠

  2. 류광 2010/11/17 21:49 PERMALINKMODIFY/DELETE REPLY

    그러다보니 삽질을 다른 사람에게 떠넘기는 방법을 찾는 데 주력하는 사람들이 생기나 봅니다...