웹 항해일지, 2010-11-15
웹 항해일지, 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” - 아름다운 코드가 무엇인지 명백하게 답하지 못한다고 해도, 세상에는 아름다운 코드가 있고 추한 코드가 있다는, 따라서 코드에 아름다움이라는 것이 존재한다는 점은 명백한 것 같습니다.
예전 댓글(읽기 전용)
-
sloth, 2010-11-16 03:11 :
-
그러다보니 삽질을 다른 사람에게 떠넘기는 방법을 찾는 데 주력하는 사람들이 생기나 봅니다...
software verification..
static, formal 이런 수식어가붙을수있는 software verification이 이루어질수있었으면 정말 프로그래머들의 삽질을 혁명적으로 줄일수 있었을텐데, 결과적으로 현실에서는 아직별로 큰 효용성을 보이지못하는게 안타깝죠