마법 같은 코딩 면접: Prolog, Lisp, µKanren 이야기

2025-01-02

베테랑 프로그래머 Vidrun은 이례적인 면접을 보게 됩니다. 3년 경력의 엔지니어 Aisha는 전형적인 질문 대신 Prolog와 람다 계산을 사용한 코딩 대결을 Vidrun에게 제안합니다. Aisha는 Vidrun을 안내하여 Lisp 인터프리터를 구축하도록 하며, 마침내 Vidrun은 µKanren과 사용자 정의 매크로를 기발하게 사용하여 문제를 해결하고, 코딩이라는 공통된 예술을 통해 Aisha와 유대감을 형성합니다. 이 이야기는 기술적 능력과 마법적 리얼리즘, 인간관계 역학을 결합하여 프로그래밍의 독창성과 예술성을 보여줍니다.

더 보기

POSIX 시간: 당신이 생각하는 것과 다릅니다

2024-12-26

이 글에서는 POSIX 시간(Unix 시간)에 대한 일반적인 오해를 풀어줍니다. 1970년 1월 1일 00:00:00부터의 초 단순 계산이 아닙니다. 윤초의 존재로 인해 UTC 하루의 초 수는 항상 86,400초가 아니며, POSIX 시간과 실제 초 수 사이에 차이가 발생합니다. 이 글에서는 윤초가 시간 계산에 미치는 영향을 자세히 설명하고, 정확한 시간 계산이 필요한 경우 CLOCK_MONOTONIC이나 TAI와 같은 대안을 사용할 것을 권장합니다. 윤초로 인한 오류를 방지하기 위해 이러한 대안을 사용해야 합니다.

더 보기