https://pkm-public.pages.dev/ https://pkm-public.pages.dev/blog https://pkm-public.pages.dev/topics https://pkm-public.pages.dev/formal-verification https://pkm-public.pages.dev/formal-verification/notes/software-foundations https://pkm-public.pages.dev/formal-verification/notes/specifying-systems https://pkm-public.pages.dev/formal-verification/notes/topic https://pkm-public.pages.dev/formal-verification/notes/java-refined-type https://pkm-public.pages.dev/category-theory https://pkm-public.pages.dev/category-theory/notes/category-theory-for-programmers https://pkm-public.pages.dev/category-theory/notes/topic https://pkm-public.pages.dev/category-theory/notes/video-notes https://pkm-public.pages.dev/category-theory/notes/category https://pkm-public.pages.dev/category-theory/notes/functor https://pkm-public.pages.dev/category-theory/notes/functor-category https://pkm-public.pages.dev/category-theory/notes/cartesian-closed-category https://pkm-public.pages.dev/category-theory/notes/f-algebra https://pkm-public.pages.dev/category-theory/notes/free-monad https://pkm-public.pages.dev/category-theory/notes/video-i-1-1 https://pkm-public.pages.dev/category-theory/notes/video-i-1-2 https://pkm-public.pages.dev/category-theory/notes/video-i-2-1 https://pkm-public.pages.dev/category-theory/notes/video-i-2-2 https://pkm-public.pages.dev/category-theory/notes/video-i-3-1 https://pkm-public.pages.dev/category-theory/notes/video-i-3-2 https://pkm-public.pages.dev/category-theory/notes/video-i-4-1 https://pkm-public.pages.dev/category-theory/notes/video-i-4-2 https://pkm-public.pages.dev/category-theory/notes/video-i-5-1 https://pkm-public.pages.dev/category-theory/notes/video-i-5-2 https://pkm-public.pages.dev/category-theory/notes/video-i-6-1 https://pkm-public.pages.dev/category-theory/notes/video-i-6-2 https://pkm-public.pages.dev/category-theory/notes/video-i-7-1 https://pkm-public.pages.dev/category-theory/notes/video-i-7-2 https://pkm-public.pages.dev/category-theory/notes/video-i-8-1 https://pkm-public.pages.dev/category-theory/notes/video-i-8-2 https://pkm-public.pages.dev/category-theory/notes/video-i-9-1 https://pkm-public.pages.dev/category-theory/notes/video-i-9-2 https://pkm-public.pages.dev/category-theory/notes/video-i-10-1 https://pkm-public.pages.dev/category-theory/notes/video-i-10-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-1-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-1-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-2-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-2-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-3-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-3-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-4-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-4-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-5-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-5-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-6-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-6-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-7-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-7-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-8-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-8-2 https://pkm-public.pages.dev/category-theory/notes/video-ii-9-1 https://pkm-public.pages.dev/category-theory/notes/video-ii-9-2 https://pkm-public.pages.dev/category-theory/notes/video-iii-1-1 https://pkm-public.pages.dev/category-theory/notes/video-iii-1-2 https://pkm-public.pages.dev/category-theory/notes/video-iii-2-1 https://pkm-public.pages.dev/category-theory/notes/video-iii-2-2 https://pkm-public.pages.dev/category-theory/notes/video-iii-3-1 https://pkm-public.pages.dev/category-theory/notes/video-iii-3-2 https://pkm-public.pages.dev/category-theory/notes/video-iii-4-1 https://pkm-public.pages.dev/category-theory/notes/video-iii-4-2 https://pkm-public.pages.dev/category-theory/notes/video-iii-5-1 https://pkm-public.pages.dev/category-theory/notes/video-iii-5-2 https://pkm-public.pages.dev/category-theory/notes/video-iii-6-1 https://pkm-public.pages.dev/category-theory/notes/video-iii-6-2 https://pkm-public.pages.dev/category-theory/notes/video-iii-7-1 https://pkm-public.pages.dev/category-theory/notes/video-iii-7-2 https://pkm-public.pages.dev/bookshelf https://pkm-public.pages.dev/blog/from-side-effects-to-effect-systems 2026-09-04 https://pkm-public.pages.dev/blog/nrepl-starter-tenx 2026-09-04 https://pkm-public.pages.dev/blog/there-is-no-fork-java-fetch 2026-09-04 https://pkm-public.pages.dev/blog/raft-effects-as-data 2026-09-03 https://pkm-public.pages.dev/blog/redash 2026-09-02 https://pkm-public.pages.dev/blog/war-chest-imperfect-information-mcts 2026-07-28 https://pkm-public.pages.dev/blog/hex-grid-coordinates 2026-07-27 https://pkm-public.pages.dev/blog/war-chest-hex-grid-primitives 2026-07-27 https://pkm-public.pages.dev/blog/change-ready-knowledge-workers 2026-06-30 https://pkm-public.pages.dev/blog/ai-agent-task-coordinate 2026-06-11 https://pkm-public.pages.dev/blog/alphazero-mcts-search 2026-06-11 https://pkm-public.pages.dev/blog/bitboard-method 2026-06-11 https://pkm-public.pages.dev/blog/skillopt-skill-as-taste 2026-06-04 https://pkm-public.pages.dev/blog/understanding-is-projection-not-translation 2026-05-11 https://pkm-public.pages.dev/blog/agent-as-runtime-system 2026-05-07 https://pkm-public.pages.dev/blog/context-assembly-not-transcript 2026-05-07 https://pkm-public.pages.dev/blog/intentional-compaction-stage-gate 2026-05-07 https://pkm-public.pages.dev/blog/llm-is-not-agent 2026-05-07 https://pkm-public.pages.dev/blog/memory-is-not-context 2026-05-07 https://pkm-public.pages.dev/blog/natural-language-to-tool-call 2026-05-07 https://pkm-public.pages.dev/blog/permission-is-part-of-context 2026-05-07 https://pkm-public.pages.dev/blog/smart-read-layer 2026-05-07 https://pkm-public.pages.dev/blog/subagent-as-context-isolation 2026-05-07 https://pkm-public.pages.dev/blog/what-is-context 2026-05-07 https://pkm-public.pages.dev/blog/why-manage-context 2026-05-07 https://pkm-public.pages.dev/blog/networked-concepts 2026-05-06 https://pkm-public.pages.dev/blog/how-to-learn-with-ai 2026-02-11 https://pkm-public.pages.dev/blog/necessary-unnecessary-difficulty 2026-02-11 https://pkm-public.pages.dev/blog/agent-guardrail-necessity 2026-02-04 https://pkm-public.pages.dev/blog/pure-functions-ui-testing 2026-02-04 https://pkm-public.pages.dev/blog/agent-autonomy-decision-boundary 2026-02-03 https://pkm-public.pages.dev/blog/agent-self-reflection-trace-analysis 2026-02-01 https://pkm-public.pages.dev/blog/beads-agent-memory 2026-02-01 https://pkm-public.pages.dev/blog/writing-eval 2026-02-01 https://pkm-public.pages.dev/blog/agent-questioning 2026-01-31 https://pkm-public.pages.dev/blog/ai-eval-system-introduction 2026-01-31 https://pkm-public.pages.dev/blog/ai-eval-system-scorer 2026-01-31 https://pkm-public.pages.dev/blog/long-running-agents 2026-01-31 https://pkm-public.pages.dev/blog/malli-cljkondo-type-export 2026-01-31 https://pkm-public.pages.dev/blog/strong-vs-dynamic-types-ai-codegen 2026-01-31 https://pkm-public.pages.dev/blog/library-framework-tool-sdk-ai-era 2025-07-01 https://pkm-public.pages.dev/blog/open-source-in-ai-era 2025-02-09 https://pkm-public.pages.dev/blog/design-system-linter 2025-01-31 https://pkm-public.pages.dev/blog/tailwind-design-system-linter 2025-01-31 https://pkm-public.pages.dev/blog/links 2024-09-20 https://pkm-public.pages.dev/blog/java-mess 2024-09-14 https://pkm-public.pages.dev/blog/information-source 2024-09-10 https://pkm-public.pages.dev/blog/work-fulfillment 2024-09-09 https://pkm-public.pages.dev/blog/writing-environment 2024-09-06 https://pkm-public.pages.dev/blog/blog-standard 2024-09-05 https://pkm-public.pages.dev/blog/decompose-task 2024-09-03 https://pkm-public.pages.dev/blog/rocketmq-disk-full 2024-09-03 https://pkm-public.pages.dev/blog/how-to-do-shadowing 2024-08-20 https://pkm-public.pages.dev/blog/postmortem-bahasa-project1 2024-08-06 https://pkm-public.pages.dev/blog/astro-blog 2024-07-10 https://pkm-public.pages.dev/blog/third-time-work-postmortem 2024-07-10 https://pkm-public.pages.dev/blog/rocketmq-delay-msg 2023-02-23 https://pkm-public.pages.dev/blog/mqbrokerexception-14 2023-02-08 https://pkm-public.pages.dev/blog/distribute-tracing-conceps 2023-02-02 https://pkm-public.pages.dev/blog/messagechannel 2023-01-23 https://pkm-public.pages.dev/blog/build-language-in-clojure 2023-01-21 https://pkm-public.pages.dev/blog/tagged-types-for-ids 2019-04-25 https://pkm-public.pages.dev/blog/lens-iso 2019-04-18 https://pkm-public.pages.dev/blog/functionk 2019-01-02 https://pkm-public.pages.dev/blog/mutex-in-akka-1-1 2018-12-25 https://pkm-public.pages.dev/blog/out-of-core-sorting-rust 2018-12-07 https://pkm-public.pages.dev/blog/string-search-1 2018-12-07 https://pkm-public.pages.dev/blog/profunctor 2018-12-05 https://pkm-public.pages.dev/blog/map-reduce 2018-11-30 https://pkm-public.pages.dev/blog/at-most-once 2018-11-29 https://pkm-public.pages.dev/blog/function-value-2 2018-11-29 https://pkm-public.pages.dev/blog/out-of-core 2018-11-29 https://pkm-public.pages.dev/blog/applicative 2018-11-22 https://pkm-public.pages.dev/blog/lens 2018-11-22 https://pkm-public.pages.dev/blog/kleisli 2018-11-20 https://pkm-public.pages.dev/blog/contravariant-intuition 2018-11-19 https://pkm-public.pages.dev/blog/hardware 2018-11-13 https://pkm-public.pages.dev/blog/ft-vm 2018-10-29 https://pkm-public.pages.dev/blog/gfs 2018-10-29 https://pkm-public.pages.dev/blog/raft 2018-10-29 https://pkm-public.pages.dev/blog/network-layer 2018-09-03 https://pkm-public.pages.dev/blog/database-storage 2018-08-30 https://pkm-public.pages.dev/blog/agent-development https://pkm-public.pages.dev/blog/clojure-add-lib https://pkm-public.pages.dev/blog/clojure-as-framework https://pkm-public.pages.dev/blog/database-instead-of-fs https://pkm-public.pages.dev/blog/datalevin-max-reader https://pkm-public.pages.dev/blog/dev-speed https://pkm-public.pages.dev/blog/generate-selector https://pkm-public.pages.dev/blog/incremental-UI https://pkm-public.pages.dev/blog/infinite-canvas-with-pixi https://pkm-public.pages.dev/blog/integrant https://pkm-public.pages.dev/blog/language https://pkm-public.pages.dev/blog/nix https://pkm-public.pages.dev/blog/setup-sos-mod https://pkm-public.pages.dev/blog/setup-sos-mod-clojure https://pkm-public.pages.dev/blog/songs-of-syx https://pkm-public.pages.dev/blog/songs-of-syx-data-class https://pkm-public.pages.dev/blog/static-site-generator https://pkm-public.pages.dev/blog/virtual-table https://pkm-public.pages.dev/blog/what-is-ui https://pkm-public.pages.dev/blog/workflow_system https://pkm-public.pages.dev/blog/writing-article-and-program