https://nahyun27.github.io/posts/os-process-part1/ 2026-03-11T14:35:22+09:00 https://nahyun27.github.io/posts/os-ipc-pipe-part2/ 2026-03-11T00:04:55+09:00 https://nahyun27.github.io/posts/os-shared-memory-part3/ 2026-03-11T11:26:27+09:00 https://nahyun27.github.io/posts/os-virtual-memory-part4/ 2026-03-11T14:05:51+09:00 https://nahyun27.github.io/posts/masterkey-paper-review/ 2024-12-06T16:00:00+09:00 https://nahyun27.github.io/posts/voapi2-paper-review/ 2025-05-22T18:00:00+09:00 https://nahyun27.github.io/posts/htlc-lightning-network/ 2026-03-09T12:25:24+09:00 https://nahyun27.github.io/posts/quantum-computing-basics-part1/ 2026-03-11T14:18:14+09:00 https://nahyun27.github.io/posts/quantum-algorithms-part2/ 2026-03-09T12:25:24+09:00 https://nahyun27.github.io/posts/quantum-security-part3/ 2026-03-09T12:25:24+09:00 https://nahyun27.github.io/posts/stack-tower-3d-physics-game/ 2026-03-11T13:10:14+09:00 https://nahyun27.github.io/posts/rise-of-halfmoon-development/ 2026-03-08T01:13:31+09:00 https://nahyun27.github.io/posts/paperprobe/ 2026-03-08T20:40:25+09:00 https://nahyun27.github.io/posts/github-profile-readme-guide/ 2026-03-08T00:12:01+09:00 https://nahyun27.github.io/posts/why-javascript/ 2026-03-15T18:38:43+09:00 https://nahyun27.github.io/posts/ai-era-developer/ 2026-03-13T14:29:50+09:00 https://nahyun27.github.io/posts/greedy/ 2026-03-15T18:53:55+09:00 https://nahyun27.github.io/posts/dp/ 2026-03-16T15:37:38+09:00 https://nahyun27.github.io/posts/knapsack/ 2026-03-15T19:39:22+09:00 https://nahyun27.github.io/posts/lis/ 2026-03-19T15:17:40+09:00 https://nahyun27.github.io/posts/bfs/ 2026-03-16T13:09:34+09:00 https://nahyun27.github.io/posts/fibonacci/ 2026-04-03T13:10:09+09:00 https://nahyun27.github.io/posts/pl01-introduction/ 2026-03-23T01:14:45+09:00 https://nahyun27.github.io/posts/pl02-induction/ 2026-03-26T14:13:26+09:00 https://nahyun27.github.io/posts/pl03-evaluation/ 2026-03-26T14:13:26+09:00 https://nahyun27.github.io/posts/pl04-type-inference/ 2026-03-18T00:00:00+09:00 https://nahyun27.github.io/posts/pl05-polymorphism/ 2026-03-18T00:00:00+09:00 https://nahyun27.github.io/posts/ps01-sygus/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps02-smt-grammar/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps03-cegis/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps04-enumeration/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps05-prioritization/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps06-representation/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps07-representation-advanced/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps08-bidirectional/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps09-stochastic/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps10-constraint/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps11-system/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps12-type-guided/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps13-deductive/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/ps14-in-the-wild/ 2026-03-22T18:30:56+09:00 https://nahyun27.github.io/posts/tsp/ 2026-04-11T19:12:45+09:00 https://nahyun27.github.io/categories/ 2026-04-11T19:13:12+09:00 https://nahyun27.github.io/tags/ 2026-04-11T19:13:12+09:00 https://nahyun27.github.io/archives/ 2026-04-11T19:13:12+09:00 https://nahyun27.github.io/about/ 2026-04-11T19:13:12+09:00 https://nahyun27.github.io/ https://nahyun27.github.io/tags/operating-system/ https://nahyun27.github.io/tags/linux/ https://nahyun27.github.io/tags/process/ https://nahyun27.github.io/tags/fork/ https://nahyun27.github.io/tags/exec/ https://nahyun27.github.io/tags/pcb/ https://nahyun27.github.io/tags/nsh/ https://nahyun27.github.io/tags/shell/ https://nahyun27.github.io/tags/ipc/ https://nahyun27.github.io/tags/pipe/ https://nahyun27.github.io/tags/dup2/ https://nahyun27.github.io/tags/file-descriptor/ https://nahyun27.github.io/tags/signal/ https://nahyun27.github.io/tags/shared-memory/ https://nahyun27.github.io/tags/mmap/ https://nahyun27.github.io/tags/zero-copy/ https://nahyun27.github.io/tags/shm/ https://nahyun27.github.io/tags/virtual-memory/ https://nahyun27.github.io/tags/page-table/ https://nahyun27.github.io/tags/tlb/ https://nahyun27.github.io/tags/copy-on-write/ https://nahyun27.github.io/tags/mmu/ https://nahyun27.github.io/tags/paper-review/ https://nahyun27.github.io/tags/security/ https://nahyun27.github.io/tags/backdoor-attack/ https://nahyun27.github.io/tags/speaker-verification/ https://nahyun27.github.io/tags/deep-learning/ https://nahyun27.github.io/tags/mobicom/ https://nahyun27.github.io/tags/restful-api/ https://nahyun27.github.io/tags/vulnerability-testing/ https://nahyun27.github.io/tags/fuzzing/ https://nahyun27.github.io/tags/usenix/ https://nahyun27.github.io/tags/blockchain/ https://nahyun27.github.io/tags/bitcoin/ https://nahyun27.github.io/tags/lightning-network/ https://nahyun27.github.io/tags/htlc/ https://nahyun27.github.io/tags/smart-contract/ https://nahyun27.github.io/tags/quantum-computing/ https://nahyun27.github.io/tags/qubit/ https://nahyun27.github.io/tags/superposition/ https://nahyun27.github.io/tags/entanglement/ https://nahyun27.github.io/tags/basics/ https://nahyun27.github.io/tags/shor-algorithm/ https://nahyun27.github.io/tags/grover-algorithm/ https://nahyun27.github.io/tags/quantum-algorithm/ https://nahyun27.github.io/tags/rsa/ https://nahyun27.github.io/tags/cryptography/ https://nahyun27.github.io/tags/post-quantum-cryptography/ https://nahyun27.github.io/tags/quantum-key-distribution/ https://nahyun27.github.io/tags/nist/ https://nahyun27.github.io/tags/threejs/ https://nahyun27.github.io/tags/physics/ https://nahyun27.github.io/tags/game-dev/ https://nahyun27.github.io/tags/cannon-js/ https://nahyun27.github.io/tags/webgl/ https://nahyun27.github.io/tags/javascript/ https://nahyun27.github.io/tags/3d-game/ https://nahyun27.github.io/tags/nextjs/ https://nahyun27.github.io/tags/typescript/ https://nahyun27.github.io/tags/web-audio/ https://nahyun27.github.io/tags/framer-motion/ https://nahyun27.github.io/tags/d3-force/ https://nahyun27.github.io/tags/react/ https://nahyun27.github.io/tags/tailwind/ https://nahyun27.github.io/tags/rag/ https://nahyun27.github.io/tags/fastapi/ https://nahyun27.github.io/tags/chromadb/ https://nahyun27.github.io/tags/next-js/ https://nahyun27.github.io/tags/d3-js/ https://nahyun27.github.io/tags/prompt-injection/ https://nahyun27.github.io/tags/github/ https://nahyun27.github.io/tags/markdown/ https://nahyun27.github.io/tags/profile/ https://nahyun27.github.io/tags/readme/ https://nahyun27.github.io/tags/shields-io/ https://nahyun27.github.io/tags/badges/ https://nahyun27.github.io/tags/web/ https://nahyun27.github.io/tags/browser/ https://nahyun27.github.io/tags/frontend/ https://nahyun27.github.io/tags/backend/ https://nahyun27.github.io/tags/nodejs/ https://nahyun27.github.io/tags/why/ https://nahyun27.github.io/tags/ai/ https://nahyun27.github.io/tags/developer/ https://nahyun27.github.io/tags/career/ https://nahyun27.github.io/tags/future/ https://nahyun27.github.io/tags/programming/ https://nahyun27.github.io/tags/productivity/ https://nahyun27.github.io/tags/algorithm/ https://nahyun27.github.io/tags/greedy/ https://nahyun27.github.io/tags/%EA%B7%B8%EB%A6%AC%EB%94%94/ https://nahyun27.github.io/tags/%ED%99%9C%EB%8F%99%EC%84%A0%ED%83%9D/ https://nahyun27.github.io/tags/%EB%B6%84%ED%95%A0%EB%B0%B0%EB%82%AD/ https://nahyun27.github.io/tags/dp/ https://nahyun27.github.io/tags/dynamic-programming/ https://nahyun27.github.io/tags/memoization/ https://nahyun27.github.io/tags/%ED%83%91%EB%8B%A4%EC%9A%B4/ https://nahyun27.github.io/tags/%EB%B0%94%ED%85%80%EC%97%85/ https://nahyun27.github.io/tags/knapsack/ https://nahyun27.github.io/tags/%EB%B0%B0%EB%82%AD%EB%AC%B8%EC%A0%9C/ https://nahyun27.github.io/tags/lis/ https://nahyun27.github.io/tags/binary-search/ https://nahyun27.github.io/tags/%EC%9D%B4%EB%B6%84%ED%83%90%EC%83%89/ https://nahyun27.github.io/tags/%EB%B6%80%EB%B6%84%EC%88%98%EC%97%B4/ https://nahyun27.github.io/tags/bfs/ https://nahyun27.github.io/tags/0-1bfs/ https://nahyun27.github.io/tags/%EC%88%A8%EB%B0%94%EA%BC%AD%EC%A7%88/ https://nahyun27.github.io/tags/%EC%B5%9C%EB%8B%A8%EA%B2%BD%EB%A1%9C/ https://nahyun27.github.io/tags/fibonacci/ https://nahyun27.github.io/tags/matrix/ https://nahyun27.github.io/tags/pisano/ https://nahyun27.github.io/tags/fast-doubling/ https://nahyun27.github.io/tags/%ED%94%BC%EB%B3%B4%EB%82%98%EC%B9%98/ https://nahyun27.github.io/tags/programming-languages/ https://nahyun27.github.io/tags/syntax/ https://nahyun27.github.io/tags/semantics/ https://nahyun27.github.io/tags/inductive-definition/ https://nahyun27.github.io/tags/inference-rules/ https://nahyun27.github.io/tags/formal-methods/ https://nahyun27.github.io/tags/structural-induction/ https://nahyun27.github.io/tags/evaluation/ https://nahyun27.github.io/tags/environment/ https://nahyun27.github.io/tags/type-system/ https://nahyun27.github.io/tags/typing-rules/ https://nahyun27.github.io/tags/type-checker/ https://nahyun27.github.io/tags/soundness/ https://nahyun27.github.io/tags/type-inference/ https://nahyun27.github.io/tags/unification/ https://nahyun27.github.io/tags/polymorphism/ https://nahyun27.github.io/tags/let-polymorphism/ https://nahyun27.github.io/tags/program-synthesis/ https://nahyun27.github.io/tags/sygus/ https://nahyun27.github.io/tags/sat/ https://nahyun27.github.io/tags/logic/ https://nahyun27.github.io/tags/synthesis/ https://nahyun27.github.io/tags/smt/ https://nahyun27.github.io/tags/first-order-logic/ https://nahyun27.github.io/tags/grammar/ https://nahyun27.github.io/tags/solver/ https://nahyun27.github.io/tags/cegis/ https://nahyun27.github.io/tags/counterexample/ https://nahyun27.github.io/tags/inductive-synthesis/ https://nahyun27.github.io/tags/enumeration/ https://nahyun27.github.io/tags/search/ https://nahyun27.github.io/tags/brute-force/ https://nahyun27.github.io/tags/search-prioritization/ https://nahyun27.github.io/tags/pcfg/ https://nahyun27.github.io/tags/probabilistic/ https://nahyun27.github.io/tags/heuristic/ https://nahyun27.github.io/tags/representation/ https://nahyun27.github.io/tags/vsa/ https://nahyun27.github.io/tags/search-space/ https://nahyun27.github.io/tags/symbolic/ https://nahyun27.github.io/tags/fta/ https://nahyun27.github.io/tags/egraph/ https://nahyun27.github.io/tags/equality-saturation/ https://nahyun27.github.io/tags/bidirectional-search/ https://nahyun27.github.io/tags/top-down/ https://nahyun27.github.io/tags/bottom-up/ https://nahyun27.github.io/tags/search-strategy/ https://nahyun27.github.io/tags/stochastic-search/ https://nahyun27.github.io/tags/local-search/ https://nahyun27.github.io/tags/cost-function/ https://nahyun27.github.io/tags/superoptimization/ https://nahyun27.github.io/tags/constraint-solving/ https://nahyun27.github.io/tags/sketch/ https://nahyun27.github.io/tags/flashfill/ https://nahyun27.github.io/tags/stoke/ https://nahyun27.github.io/tags/system-design/ https://nahyun27.github.io/tags/synthesis-systems/ https://nahyun27.github.io/tags/type-guided-synthesis/ https://nahyun27.github.io/tags/lambda-calculus/ https://nahyun27.github.io/tags/inhabitation/ https://nahyun27.github.io/tags/deductive-synthesis/ https://nahyun27.github.io/tags/specification/ https://nahyun27.github.io/tags/derivation/ https://nahyun27.github.io/tags/program-correctness/ https://nahyun27.github.io/tags/program-repair/ https://nahyun27.github.io/tags/llm/ https://nahyun27.github.io/tags/real-world/ https://nahyun27.github.io/tags/applications/ https://nahyun27.github.io/tags/tsp/ https://nahyun27.github.io/tags/bitmask/ https://nahyun27.github.io/tags/graph/ https://nahyun27.github.io/tags/np-hard/ https://nahyun27.github.io/tags/%EC%99%B8%ED%8C%90%EC%9B%90%EC%88%9C%ED%9A%8C/ https://nahyun27.github.io/categories/operating-system/ https://nahyun27.github.io/categories/process/ https://nahyun27.github.io/categories/ipc/ https://nahyun27.github.io/categories/memory/ https://nahyun27.github.io/categories/paper-review/ https://nahyun27.github.io/categories/security/ https://nahyun27.github.io/categories/blockchain/ https://nahyun27.github.io/categories/lightning-network/ https://nahyun27.github.io/categories/quantum-computing/ https://nahyun27.github.io/categories/basics/ https://nahyun27.github.io/categories/projects/ https://nahyun27.github.io/categories/game-development/ https://nahyun27.github.io/categories/rag/ https://nahyun27.github.io/categories/development/ https://nahyun27.github.io/categories/github/ https://nahyun27.github.io/categories/programming/ https://nahyun27.github.io/categories/perspective/ https://nahyun27.github.io/categories/algorithm/ https://nahyun27.github.io/categories/greedy/ https://nahyun27.github.io/categories/dp/ https://nahyun27.github.io/categories/bfs/ https://nahyun27.github.io/categories/math/ https://nahyun27.github.io/categories/pl-formal-methods/ https://nahyun27.github.io/categories/programming-languages/ https://nahyun27.github.io/categories/program-synthesis/ https://nahyun27.github.io/categories/graph/ https://nahyun27.github.io/page2/ https://nahyun27.github.io/page3/ https://nahyun27.github.io/page4/ https://nahyun27.github.io/page5/