Archives 2026 03 Apr [알고리즘 Deep Dive #7] 외판원 순회 문제(TSP): 완전탐색에서 비트마스크 DP까지 21 Mar [Program Synthesis #14] Program Synthesis in the Wild: 실제 시스템과 응용 21 Mar [Program Synthesis #13] Deductive Synthesis: Specification에서 프로그램을 유도하기 21 Mar [Program Synthesis #12] Type-Guided Synthesis: 타입으로 탐색 공간을 줄이는 방법 21 Mar [Program Synthesis #11] 실제 시스템으로 보는 Synthesis: FlashFill, Sketch, STOKE 21 Mar [Program Synthesis #10] Constraint-Based Synthesis: 논리로 프로그램을 만드는 방법 21 Mar [Program Synthesis #9] Stochastic Search: 확률로 프로그램을 찾는 방법 21 Mar [Program Synthesis #8] Bidirectional Search: Top-down과 Bottom-up의 결합 21 Mar [Program Synthesis #7] Representation의 확장: FTA와 E-graph로 보는 프로그램 공간 21 Mar [Program Synthesis #6] Representation-Based Synthesis: 탐색 공간을 압축하는 방법 21 Mar [Program Synthesis #5] Search Prioritization: 어떤 프로그램부터 볼 것인가? 21 Mar [Program Synthesis #4] Enumerative Synthesis: 가능한 프로그램을 전부 만들어보면? 21 Mar [Program Synthesis #3] CEGIS: 반례로 프로그램을 찾아가는 방법 20 Mar [Program Synthesis #2] SyGuS 심화: SMT와 Grammar로 프로그램 합성 이해하기 19 Mar [Program Synthesis #1] SyGuS 입문: 프로그램을 자동으로 만드는 방법 18 Mar [Programming Languages #5] Polymorphism: 하나의 코드가 여러 타입을 가지는 이유 18 Mar [Programming Languages #4] Type Inference: 타입을 자동으로 추론하는 방법 18 Mar [Programming Languages #3] 타입 시스템: 프로그램이 안전하다는 것을 어떻게 보장할까? 18 Mar [Programming Languages #2] Structural Induction과 프로그램의 의미 정의 17 Mar [Programming Languages #1] 프로그래밍 언어는 무엇을 배우는 학문인가? 16 Mar [알고리즘 Deep Dive #6] 피보나치로 배우는 알고리즘 최적화: 재귀부터 O(log N)까지 16 Mar [알고리즘 Deep Dive #5] BFS 완전 정복: 숨바꼭질 시리즈로 배우는 BFS의 모든 것 15 Mar [알고리즘 Deep Dive #4] LIS(가장 긴 증가하는 부분 수열): O(N²)에서 O(N log N)으로 14 Mar [알고리즘 Deep Dive #3] 배낭 문제(Knapsack): 0/1, 분할, 변형까지 완전 정복 14 Mar [알고리즘 Deep Dive #2] 동적 프로그래밍(DP): 중복 계산 없애기 14 Mar [알고리즘 Deep Dive #1] 그리디(Greedy): 현재 최적의 선택이 전체 최적을 보장하는 경우 10 Mar AI 시대의 개발자 - Problem Solvers to Problem Definers 09 Mar 왜 웹은 자바스크립트로 만드나요? 07 Mar GitHub 프로필 README 꾸미기 06 Mar Paperprobe: RAG 기반 논문 Q&A 시스템 개발기 25 Feb Rise of the Half Moon: 달 위상 전략 카드 게임 개발기 24 Feb Stack Tower: 3D 타이밍 게임으로 배운 물리 엔진과 사용자 경험 11 Feb [양자컴퓨터 입문 #3] 양자컴퓨터와 보안 - RSA는 끝났나? 10 Feb [양자컴퓨터 입문 #2] 양자 알고리즘 - 어떻게 더 빠를까? 09 Feb [양자컴퓨터 입문 #1] 큐비트가 뭐길래? - 0과 1을 넘어서 2025 26 Nov HTLC: 라이트닝 네트워크의 핵심 메커니즘 완벽 이해 22 May [논문 리뷰] VOAPI²: RESTful API의 취약점을 똑똑하게 찾아내는 방법 2024 06 Dec [논문 리뷰] MasterKey: Speaker Verification 시스템을 무너뜨리는 실용적 백도어 공격 14 Mar [운영체제 Deep Dive #4] Virtual Memory 완전 정복 - Page Table과 MMU의 동작 13 Mar [운영체제 Deep Dive #3] Shared Memory는 왜 Pipe보다 빠를까? - Zero-copy IPC 13 Mar [운영체제 Deep Dive #2] ls | grep .c는 어떻게 동작할까? - Pipe와 IPC의 모든 것 12 Mar [운영체제 Deep Dive #1] ls를 치면 무슨 일이 일어날까? - Process 생성의 모든 것