오토마타와 컴파일러 10 - 의미 분석과 타입 검사
파서가 잡지 못하는 오류를 의미 분석이 어떻게 잡아내는지, 그리고 타입 검사가 프로그램의 안전성을 보장하는 원리
나사들어간 이야기
데이터 파이프라인부터 프로덕션 모니터링까지, ML 시스템 운영의 기초
유한 오토마타와 형식 언어부터 컴파일러 구현까지
프로세스와 메모리부터 컨테이너까지, 리눅스 커널의 내부 동작 이해하기
내부 개발자 플랫폼, 골든 패스, 개발자 셀프서비스의 원리를 이해하기
깊이있게 배우는 Python 프로그래밍 강좌
파서가 잡지 못하는 오류를 의미 분석이 어떻게 잡아내는지, 그리고 타입 검사가 프로그램의 안전성을 보장하는 원리
플랫폼 팀이 관측 가능성을 서비스로 제공해야 하는 이유와 그 방법
여러 실행 흐름이 공유 자원에 접근할 때 발생하는 문제와 리눅스 커널의 동기화 메커니즘
ML 시스템의 CI/CD가 일반 소프트웨어와 어떻게 다르며, 무엇을 테스트하고 자동화해야 하는지
팀마다 파이프라인을 따로 만들면 왜 문제가 되는지, 그리고 표준화된 템플릿으로 어떻게 해결하는지
블록 디바이스와 캐릭터 디바이스부터 I/O 스케줄러, DMA, 페이지 캐시까지
파스 트리와 AST의 차이, AST 노드 설계, 그리고 컴파일러 프론트엔드와 백엔드를 잇는 다리
프로덕션 모델이 시간이 지나면서 성능이 저하되는 이유와 이를 감지하는 방법
내부 플랫폼에 제품 관리가 필요한 이유, 사용자 리서치, 그리고 자발적 채택 테스트