이론상 지수 폭발해야 할 NP-완전 난제를 현대 컴퓨터는 어떻게 순식간에 풀어내는가: SAT 솔버, CDCL, 그리고 상전이 현상
카테고리
10 페이지
컴퓨터 과학
작은 글씨는 왜 뭉개지지 않고 선명하게 읽힐까: 폰트 렌더링, 베지어 곡선, 힌팅 가상머신과 서브픽셀 안티에일리어싱의 수학
잠금(Lock)을 전혀 쓰지 않고 어떻게 여러 스레드가 동시에 같은 데이터를 수정할까: 락프리(Lock-Free) 프로그래밍과 ABA 문제의 과학
프로그램을 단 한 번도 실행하지 않고 어떻게 '버그가 절대 없음'을 증명하는가: 형식 검증과 모델 체킹의 과학
'빠른 것'만으로는 부족하다? 데드라인 준수를 수학적으로 보증하는 실시간 운영체제(RTOS)와 스케줄링 이론
모두가 상대를 기다리면 왜 아무것도 진행되지 않는가: 데드락(Deadlock)의 수학적 이론, 은행원 알고리즘, 그리고 라이브락
오래된 게임기를 소프트웨어로 재현할 수 있는 이유: 에뮬레이터 아키텍처 — 인터프리터, JIT 동적 재컴파일, Fastmem, 그리고 사이클 정확도
따로 작성한 코드들은 어떻게 하나가 되는가: 링커(Linker)와 로더(Loader)의 심층 메커니즘
전원 버튼을 누르고 화면이 뜰 때까지: 컴퓨터 부팅의 마이크로초 대서사시
컴퓨터는 왜 0.1 + 0.2를 정확히 계산하지 못하는가: 부동소수점과 오차의 과학
