2026년 8월 1일 캐퍼빌리티 하드웨어는 실패하지 않았다. 40년 일찍 도착했을 뿐이다. 1970년대부터 하드웨어 수준에서 메모리 안전성은 가능했다. 캐퍼빌리티 아키텍처가 평면 메모리 모델에 계속 패배한 이유와 CHERI가 마침내 판도를 바꾸는 이유를 설명한다. hardware-assisted-safetycapability-hardwarecherisoftware-history
2026년 7월 26일 IBM의 Zero-Defect Process는 KLOC당 0.1개의 Bug를 달성했다. 업계는 그럼에도 불구하고 이를 포기했다. IBM의 Cleanroom engineering은 업계 평균보다 100배 나은 defect rate를 달성한 뒤 사라졌다. 사라진 이유는 그것이 작동했는지와는 아무런 관련이 없었다. cleanroom-correctnesszero-defectssoftware-historyprocess
2026년 7월 17일 Donald Knuth는 프로그램을 문학처럼 읽히길 원했다. 컴파일러는 다른 생각이 있었다. Literate programming은 코드를 먼저 인간을 위해, 그 다음 기계를 위해 작성해야 한다고 약속했다. 40년이 지난 지금, 거의 아무도 그렇게 쓰지 않는다. 소프트웨어 문서화에서 가장 우아한 아이디어가 우리의 작업 방식을 바꾸지 못한 이유는 다음과 같다. literate-programmingknuthsoftware-historydocumentation
2026년 7월 12일 Fagan Inspections는 테스트 전 90%의 결함을 찾아냈다. 그리고 우리는 그것을 멈췄다. IBM의 Michael Fagan이 개발한 구조화된 검토 프로세스는 코드가 컴파일러에 도달하기 전에 거의 모든 결함을 포착했다. 동시에 총 프로젝트 노력의 15~20%를 소비했다. 소프트웨어 역사상 가장 효과적인 리뷰 방법이 사라진 이유와 팀이 실제로 놓친 것은 무엇인지 알아본다. fagan-inspectionscode-reviewsoftware-historyprocess
2026년 6월 10일 NASA는 같은 프로그램을 27개 복사해 실행했다. 버그들은 한 묶음으로 투표했다. N-version programming은 독립적인 팀이 독립적인 실수를 할 것이라 약속했다. 1986년 Knight와 Leveson의 실험은 정반대임을 입증했고, NASA는 조용히 물러섰다. n-version-programmingnasafault-tolerancesoftware-history
