인기 급상승 번역 아티클

코리 닥터로우가 워싱턴 대학교 강연 원고를 바탕으로 AI 거품과 독점, 노동, 저작권, 그리고 좋은 AI 비판자가 되는 법을 다루고, 함께 읽을 기사와 과거 링크, 출간·예정 도서, 출연 소식, 연재 정보 등을 정리한 글

지난 수년간 프로그래밍 언어 연구와 커뮤니티에서 활동해 온 필자가 열정의 변화, PL의 근본적 난점과 사회적 요인, 하스켈 커뮤니티에 대한 솔직한 소회, 지난 10년의 성찰과 앞으로의 방향을 정리한 글.

수학에서 증명, 지식, 이해, 믿음이 어떻게 상보적으로 작동하는지 비유를 통해 살피고, 프로그래밍에서의 Curry–Howard 대응과 ‘증명으로서의 프로그램’이 초래하는 함정을 논한다.

2013년 초 공식 러스트 튜토리얼을 바탕으로, 당시 러스트 언어의 문법·타입 시스템·스레딩·빌드 환경을 현재와 비교해 정리하고 변화 과정을 되짚어 본다.

컴퓨팅의 다음 반세기를 전망하며, 단순화, 비결정성의 수학적 취급, 형식적 방법, 그리고 ‘기호들이 일을 하게 하라’는 비전을 논하는 에츠허르 W. 다익스트라의 에세이.

Imprint에서 내부 LLM 도구 및 에이전트 도입을 추진하며 얻은 실전 메모: 전략 수립, 프롬프트·팁 공유, 표준 플랫폼 선정, 지표, 내부 에이전트 구축, Slack/Jira/Notion 연동의 난점과 해결책까지.

프로그래밍 언어를 왜 만들고, 어떻게 설계하고, 어떻게 구현을 시작할지에 대한 조언과 참고 자료를 정리한다.

해커 문화의 뿌리에서 시작해 LLM과 ‘바이브 코딩’이 장인정신, 설계, 팀 문화, 그리고 프로그래머의 정체성에 미치는 위협을 성찰하며, 도구가 아닌 인간 중심의 프로그래밍을 옹호한다.

AI가 형식 검증을 대중화하고 있지만, 자동 형식화·모델링·성능·피드백의 한계 때문에 테스트(특히 무작위 테스트)는 검증을 보완하며 앞으로도 핵심 역할을 한다.

터미널의 복잡한 내부와 현재 한계를 짚고, Jupyter식 프런트엔드·셸 통합·장기 프로세스 관리·데이터플로 추적·영속성 등을 기반으로 단계적으로 구축 가능한 ‘미래의 터미널’ 청사진을 제안한다.

니클라우스 비르트의 2005년 논문 ‘Good Ideas Through The Looking Glass’를 바탕으로, 프로그래밍 언어의 ‘=’ 사용, 소프트웨어 위저드, 표현 스택 등 세 주제를 중심으로 비판적 논평과 보완적 관점을 제시하는 서평입니다.

tmux를 C에서 Rust로 이식한 과정을 소개합니다. C2Rust 사용 경험, 빌드 과정, 버그, C 패턴을 Rust에 적용하는 방법, 개발 도구 등에 대해 다룹니다.

Rust의 기본 호출 규약이 지나치게 보수적이어서 비효율적인 코드를 낳는 문제를 짚고, LLVM의 능력을 활용해 레지스터 중심의 빠른 호출 규약을 설계·구현하는 방법을 상세히 설명한다. x86을 중심으로 ARM·RISC‑V에도 일반화 가능한 설계, 히ュー리스틱, IR 예시, 그리고 최적화 의존적 ABI까지 다룬다.

Zigbook이 Zigtools Playground의 WASM 바이너리와 자바스크립트 코드를 라이선스 고지 없이 가져다 쓴 정황과 이에 대한 Zigtools의 입장을 정리합니다.

프로그래밍 패러다임의 종착지를 수학적 DSL과 런타임의 분리로 전망하고, 사용자 영역의 다양한 관심사가 런타임(혹은 타입 검사)으로 이전되는 흐름과 그 파급효과를 논한다.

Remix Jam 2025에서 공개된 Remix v3의 방향성을, 현대 React가 안고 있는 복잡성과 대비해 살피며 프런트엔드/백엔드 모델, 라우팅, 이벤트·시그널 기반 상호작용, 웹 플랫폼 중심 접근의 의미를 정리합니다.

대형 투자 은행에서 사용되는 특이한 Bank Python 생태계에 대한 심층 리포트. 고유한 데이터베이스, 가격 산정 시스템, 잡 러너, 테이블 라이브러리를 중심으로 투자 은행 내에서 Python이 어떻게 변형되고 있는지 탐구합니다.

제품 책임자와 개발자의 관점에서 소프트웨어 개발에서의 일정·작업 추정의 필요성과 문제점, 기술 부채, 데브옵스와 흐름(Flow)의 역할을 다룬 글

Haskell을 처음 접하는 사람들이 더 즐겁고 효과적으로 배우기 위한 동기 설정, 학습 태도, 타입클래스 사용, 실용적인 프로젝트 선택에 대한 조언을 정리한다.

아이를 갖는 것에 대한 두려움, 직접 경험해보고 느낀 변화, 그리고 아이와 함께하는 삶의 장단점에 대한 개인적인 고찰.

논리학 입문을 위해 겐첸의 시퀀트 표기법과 시퀀트 계산법, 자연 연역, 단측 시퀀트, 직관주의 논리, 그리고 단순형 람다 계산과의 대응을 개관한다.