{"version":1,"pages":[{"id":"-Lmpa5sU_kOE6Z_m3wSL","title":"Introduction","pathname":"/","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LyiFUWYM1Q3GjDF4n3W","title":"Books","pathname":"/books","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LyiFUWZQpzmECvc7-qy","title":"Technical books","pathname":"/books/technical","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Books"}]},{"id":"-LyiFUW_PYaqW3pwzgie","title":"Elements of Programming","pathname":"/books/technical/elements-of-programming","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Books"},{"label":"Technical books"}]},{"id":"-LzOuk1wMqz6ZLgKG1Qz","title":"Psychology books","pathname":"/books/psychology","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Books"}]},{"id":"-LzOuk1xjeLI5s6Wo4td","title":"Mindset","pathname":"/books/psychology/mindset","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Books"},{"label":"Psychology books"}]},{"id":"-LogVfpYFUKdcbAaZw4H","title":"Computer Science","pathname":"/computer-science","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LogVfpZkdanjI75cyIN","title":"Data Structures","pathname":"/computer-science/data-structures","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"}]},{"id":"-LogVfp_Ucfn0XGgXvJr","title":"Skip Lists","pathname":"/computer-science/data-structures/skip-lists","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"},{"label":"Data Structures"}]},{"id":"-LogVfpafBuwkYvJjwqK","title":"Algorithms","pathname":"/computer-science/algorithms","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"}]},{"id":"-Loe2TK-y5BgsoNo5TA8","title":"Hashing","pathname":"/computer-science/algorithms/hashing","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"},{"label":"Algorithms"}]},{"id":"-M0hwYGaewlnZyjIYrrl","title":"Eller's Algorithm","pathname":"/computer-science/algorithms/eller","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"},{"label":"Algorithms"}]},{"id":"-LpA57PR4xnTxcmGO5wX","title":"Formal verification","pathname":"/computer-science/formal-verification","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"}]},{"id":"-Lp2gKhuvsCdid0JqlU-","title":"Coq","pathname":"/computer-science/formal-verification/coq","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"},{"label":"Formal verification"}]},{"id":"-Lp2gKhvGwnuc3hg1nH2","title":"Lean","pathname":"/computer-science/formal-verification/lean","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"},{"label":"Formal verification"}]},{"id":"-LpA57PUqwSNoI8chZaR","title":"TLA+","pathname":"/computer-science/formal-verification/tla","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"},{"label":"Formal verification"}]},{"id":"-Lw9h-DxVd2_ojLBk3rH","title":"Garbage Collection","pathname":"/computer-science/garbage-collection","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Computer Science"}]},{"id":"-LnN99-Twh2mvV3G6LgJ","title":"Programming","pathname":"/programming","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LnN99-UaYe6DQ4girud","title":"Functional programming","pathname":"/programming/functional-programming","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"}]},{"id":"-LnNBKcNmyOYwnPgW0q5","title":"Functional data structures","pathname":"/programming/functional-programming/data-structures","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-LoG8CDo0uu5kK3Fv3O7","title":"Algebraic Effects","pathname":"/programming/functional-programming/algebraic-effects","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-Lp-vVk9OW0HB5NR8hxK","title":"Dependent Types","pathname":"/programming/functional-programming/dependent-types","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-Lp-vVkAfzY1CvAN4npV","title":"Agda","pathname":"/programming/functional-programming/dependent-types/agda","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"},{"label":"Dependent Types"}]},{"id":"-Lp-vVkBjzu577ZQRI2f","title":"Idris","pathname":"/programming/functional-programming/dependent-types/idris","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"},{"label":"Dependent Types"}]},{"id":"-LwHYAM8ha7it5XqctIl","title":"Continuations","pathname":"/programming/functional-programming/continuations","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-LwyKUnNYqkMDMBjMKzi","title":"Category Theory","pathname":"/programming/functional-programming/category-theory","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-Lzw8zUe9LNbgQEjFPXG","title":"Total functional programming","pathname":"/programming/functional-programming/total","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-LzwpZC7a3xbUPTlV6m6","title":"Uniqueness Typing","pathname":"/programming/functional-programming/uniqueness-typing","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-M3c5V7VN2oxMnoOWNj7","title":"GADT","pathname":"/programming/functional-programming/gadt","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-M3c5V7WHZtFe0I-nrvQ","title":"Tagless Final","pathname":"/programming/functional-programming/tagless-final","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Functional programming"}]},{"id":"-LoYq9ZWf3R-FQsC-Y-P","title":"Concurrent Programming","pathname":"/programming/concurrency","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"}]},{"id":"-LpIjmhM5-4ayzrzMWtQ","title":"Mutex","pathname":"/programming/concurrency/mutex","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Concurrent Programming"}]},{"id":"-LpIjmhNv32X_fDRXb2J","title":"Semaphores","pathname":"/programming/concurrency/semaphores","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Concurrent Programming"}]},{"id":"-LoYq9ZVBYukeluJUSXI","title":"Parallel Programming","pathname":"/programming/parallelism","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"}]},{"id":"-LyXgm_k3fgAn0ou1Jgd","title":"Systems Programming","pathname":"/programming/systems","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"}]},{"id":"-LyXgm_l4wrliuoa3K8D","title":"Tagged pointers","pathname":"/programming/systems/tagged","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"},{"label":"Systems Programming"}]},{"id":"-LoLbrD-BokfnouP0ALB","title":"Unicode","pathname":"/programming/unicode","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming"}]},{"id":"-Loeei3gLlRpISqQPaRc","title":"Competitive Programming","pathname":"/competitive","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-Loa28Ml6I0msgDUWA1w","title":"Source control","pathname":"/source-control","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-Loa28Mmvxr8sHMZVRDA","title":"Git","pathname":"/source-control/git","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Source control"}]},{"id":"-LmymnCoMZ4h8SxARqej","title":"Programming languages","pathname":"/programming-languages","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LmymnCqTlMnl5vWZj71","title":"Java","pathname":"/programming-languages/java","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LwFoQFMQJRQsKrV1cyI","title":"Java Garbage Collection","pathname":"/programming-languages/java/garbage-collection","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"}]},{"id":"-LwFoQFNVOWQuj0ycBgD","title":"Java Performance","pathname":"/programming-languages/java/performance","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"}]},{"id":"-LxNNieqOLEzgWFqm9Yk","title":"Java Modules","pathname":"/programming-languages/java/modules","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"}]},{"id":"-LxgsUGpTVtcfZa5T8VP","title":"Graal","pathname":"/programming-languages/java/graal","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"}]},{"id":"-LwEi5gARhktiFmMWt_B","title":"Java libraries","pathname":"/programming-languages/java/libraries","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"}]},{"id":"-LwEi5gBWM3awyrQtcV8","title":"Spring","pathname":"/programming-languages/java/libraries/spring","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-Lp579u4rHnLypXUcidK","title":"Spring Cloud","pathname":"/programming-languages/java/libraries/spring/spring-cloud","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"},{"label":"Spring"}]},{"id":"-Lp579u5zqprzlD0CLLJ","title":"Guava","pathname":"/programming-languages/java/libraries/guava","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LmymnCsSzElUKpCYpPN","title":"JUnit 5","pathname":"/programming-languages/java/libraries/junit5","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LxNNiewFcmjpdnUshQ0","title":"Hamcrest","pathname":"/programming-languages/java/libraries/hamcrest","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LscRdor_jmwzLrUqp1O","title":"Logging","pathname":"/programming-languages/java/libraries/logging","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LscRdosAOdDcO7Gh-Sw","title":"Google Auto","pathname":"/programming-languages/java/libraries/auto","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LwEi5gHwKu6tNbVaPeh","title":"Lombok","pathname":"/programming-languages/java/libraries/lombok","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LwEi5gI-1NvZG2zOLi5","title":"JOOQ","pathname":"/programming-languages/java/libraries/jooq","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LyHrnZntsx-kyLqJX0P","title":"duct-tape","pathname":"/programming-languages/java/libraries/duct-tape","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LxS4wf9vNjK_kavzejg","title":"args4j","pathname":"/programming-languages/java/libraries/args4j","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-M-_kSiPkC5lTAskylud","title":"Netty","pathname":"/programming-languages/java/libraries/netty","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Java"},{"label":"Java libraries"}]},{"id":"-LmymnCtm0jNC9mgRtzi","title":"Scala","pathname":"/programming-languages/scala","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LoUsK7dcU3I-spfavER","title":"Dotty","pathname":"/programming-languages/scala/dotty","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Scala"}]},{"id":"-Lz1kA_PgPnXE6f2yMfO","title":"Specialization","pathname":"/programming-languages/scala/specialization","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Scala"}]},{"id":"-LmymnCusqQO-ULQ1r1S","title":"Benchmarking Scala","pathname":"/programming-languages/scala/benchmarking","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Scala"}]},{"id":"-LwtFft99uTCY-VkhgsP","title":"Scala libraries","pathname":"/programming-languages/scala/libraries","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Scala"}]},{"id":"-LwtFftA-BSi0_aWFaje","title":"ZIO","pathname":"/programming-languages/scala/libraries/zio","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Scala"},{"label":"Scala libraries"}]},{"id":"-LnOhDa_0HyhXJlHh03k","title":"Haskell","pathname":"/programming-languages/haskell","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LwQ-c2mKxVsE4d_hSOu","title":"Haskell tools","pathname":"/programming-languages/haskell/tools","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Haskell"}]},{"id":"-LwQ-c2n2zbZMyuAbWGa","title":"Haskell tools","pathname":"/programming-languages/haskell/tools/stack","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Haskell"},{"label":"Haskell tools"}]},{"id":"-LoPn7Y8smniiWK16KE6","title":"Lisp","pathname":"/programming-languages/lisp","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LoPn7Y9dPAQpoBYhPN8","title":"Lisp books","pathname":"/programming-languages/lisp/books","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Lisp"}]},{"id":"-LoLqWn9Use-nWZ9Mpxq","title":"Rust","pathname":"/programming-languages/rust","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LwFoQFeCfNt_wEsAYGH","title":"Rust Async","pathname":"/programming-languages/rust/async","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Rust"}]},{"id":"-LnOhDabvZBcC3Io3S0R","title":"C++","pathname":"/programming-languages/cpp","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LoUsK7lam3TXc9CVg2Z","title":"C++ libraries","pathname":"/programming-languages/cpp/libraries","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"}]},{"id":"-LoUsK7mtwEDBNVcpbMB","title":"Boost","pathname":"/programming-languages/cpp/libraries/boost","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"},{"label":"C++ libraries"}]},{"id":"-LoUsK7nMXuwuc1VoHnG","title":"Poco","pathname":"/programming-languages/cpp/libraries/poco","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"},{"label":"C++ libraries"}]},{"id":"-LoUsK7oNT_qGzBZgZFg","title":"Abseil","pathname":"/programming-languages/cpp/libraries/abseil","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"},{"label":"C++ libraries"}]},{"id":"-LoUsK7pP08jm9b8oB8o","title":"facebook folly","pathname":"/programming-languages/cpp/libraries/folly","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"},{"label":"C++ libraries"}]},{"id":"-LoZEPhtTnJ0r-L8O2zP","title":"Intell TBB","pathname":"/programming-languages/cpp/libraries/tbb","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"},{"label":"C++ libraries"}]},{"id":"-LnOhDacHu8YJ1sK7EiL","title":"C++ tools","pathname":"/programming-languages/cpp/c++-tools","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"}]},{"id":"-LnOhDadX07s9ZVGHs63","title":"Valgrind","pathname":"/programming-languages/cpp/c++-tools/valgrind","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"},{"label":"C++ tools"}]},{"id":"-Loe2TKNunTaT6wMPtWE","title":"CMake","pathname":"/programming-languages/cpp/c++-tools/cmake","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"},{"label":"C++ tools"}]},{"id":"-Loe2TKOu7VovTiuulB8","title":"Bazel","pathname":"/programming-languages/cpp/c++-tools/bazel","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"},{"label":"C++ tools"}]},{"id":"-LpA57Q6_zdRsaaJpvh0","title":"C++ books","pathname":"/programming-languages/cpp/books","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C++"}]},{"id":"-LoYq9Zt6zBdGxz_rXwC","title":"C","pathname":"/programming-languages/c","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LoYq9ZuC7ZMwYsBQUiD","title":"C libraries","pathname":"/programming-languages/c/libraries","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C"}]},{"id":"-LoYq9Zvnerc0UTY5sJg","title":"C books","pathname":"/programming-languages/c/books","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"C"}]},{"id":"-LnIpxHB_BqfYtO9pcA5","title":"Python","pathname":"/programming-languages/python","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-Lp579uUdfgmZMrLZt1h","title":"Testing","pathname":"/programming-languages/python/testing","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"}]},{"id":"-LoQKIzI12yombm5Zp8i","title":"Cython","pathname":"/programming-languages/python/cython","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"}]},{"id":"-LnIpxHClKlcieGwqh6K","title":"Python performance","pathname":"/programming-languages/python/performance","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"}]},{"id":"-LxNQLz5nzpjmVp27wBn","title":"Python libraries","pathname":"/programming-languages/python/libraries","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"}]},{"id":"-LnTD0rae63E37sPcVD5","title":"requests","pathname":"/programming-languages/python/libraries/requests","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"},{"label":"Python libraries"}]},{"id":"-LyOvpQ6AR4bK3z-2mR0","title":"httpx","pathname":"/programming-languages/python/libraries/httpx","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"},{"label":"Python libraries"}]},{"id":"-M-l0l1PlR_Aj01vqB2d","title":"boto3","pathname":"/programming-languages/python/libraries/boto3","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"},{"label":"Python libraries"}]},{"id":"-LxNQLz7ioQIPL2Jwa4a","title":"Python tools","pathname":"/programming-languages/python/tools","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"}]},{"id":"-M-Ve0NqLMTUqTJnym7z","title":"pyenv","pathname":"/programming-languages/python/tools/pyenv","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"},{"label":"Python tools"}]},{"id":"-LnIpxHDhFKD5HWAJee_","title":"Pipenv","pathname":"/programming-languages/python/tools/pipenv","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"},{"label":"Python tools"}]},{"id":"-LxS8eg5wQ-Ial_hVCUx","title":"mypy","pathname":"/programming-languages/python/tools/mypy","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"},{"label":"Python tools"}]},{"id":"-Lr-FPsf6ZMYtRgQ-_MQ","title":"Python Cookbook","pathname":"/programming-languages/python/cookbook","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Python"}]},{"id":"-Ln7NWiiSM5ibBef5vfC","title":"Prolog","pathname":"/programming-languages/prolog","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LpKmY2MvBWW85WnPvj0","title":"Prolog Cookbook","pathname":"/programming-languages/prolog/cookbook","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Prolog"}]},{"id":"-LnN99-f3AIyQ5Wfuz8f","title":"Clojure","pathname":"/programming-languages/clojure","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-LpKmY2OUYqtsFTt6XDR","title":"Clojure Cookbook","pathname":"/programming-languages/clojure/cookbook","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Clojure"}]},{"id":"-LnIpxHFX2huUaXOdueY","title":"Julia","pathname":"/programming-languages/julia","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"}]},{"id":"-Lz7EgZzEX5oeULTH0xy","title":"Julia libraries","pathname":"/programming-languages/julia/libraries","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Julia"}]},{"id":"-Lz7Eg_-IBDWDSY9miUf","title":"DataFrames","pathname":"/programming-languages/julia/libraries/data-frames","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Programming languages"},{"label":"Julia"},{"label":"Julia libraries"}]},{"id":"-LzpXpyhyzBRrvTCMWHj","title":"Networking","pathname":"/networking","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-Lzv3_uztN8SeYprlx91","title":"TCP","pathname":"/networking/tcp","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Networking"}]},{"id":"-Lzv3_v-WcsnHBS_ItVo","title":"UDP","pathname":"/networking/udp","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Networking"}]},{"id":"-LzpXpyiYMU4Du58eTL-","title":"QUIC","pathname":"/networking/quic","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Networking"}]},{"id":"-Ln7BihdImyT7JRWiHoP","title":"Mindfullness","pathname":"/mindfullness","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoUbnfBzDnVZBtl9gVa","title":"Mediatation","pathname":"/mindfullness/meditation","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Mindfullness"}]},{"id":"-LoUbnfCaPGD2n2he_-4","title":"Samatha","pathname":"/mindfullness/meditation/samatha","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Mindfullness"},{"label":"Mediatation"}]},{"id":"-LoUbnfDZSM7-dg77acp","title":"Vipassana","pathname":"/mindfullness/meditation/vipassana","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Mindfullness"},{"label":"Mediatation"}]},{"id":"-Ln7BihenXVkvf1WJ1pF","title":"Flow","pathname":"/mindfullness/flow","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Mindfullness"}]},{"id":"-Lo_O3NuHaEfCp6IW7_L","title":"LLVM","pathname":"/llvm","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-Lo_O3NvML4MyD1_Txvz","title":"Clang tools","pathname":"/llvm/clang-tools","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"LLVM"}]},{"id":"-LoZGeMKvRpmcLuoTQNj","title":"Operating systems","pathname":"/os","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-M0mNxLxDf561G3tZ3qp","title":"Securing operating systems","pathname":"/os/security","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Operating systems"}]},{"id":"-M0mNxLyQ7yX16QNy8DT","title":"Capsicum","pathname":"/os/security/capsicum","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Operating systems"},{"label":"Securing operating systems"}]},{"id":"-LoZGeMLZKH-LawRz-2N","title":"Linux","pathname":"/linux","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LxgrN3P6wayRLOGnevQ","title":"Packaging","pathname":"/linux/packaging","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-LxgrN3QUHjwJpv2gy19","title":"RPM","pathname":"/linux/rpm","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-LxgrN3RdO22hqQTo5mY","title":"Deblian","pathname":"/linux/deb","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-LoPn7YWYR8hG4En7Pog","title":"Linux tools","pathname":"/linux/deb/tools","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"},{"label":"Deblian"}]},{"id":"-LoLg_Jkp-3OMEk106Ft","title":"APT package manager","pathname":"/linux/apt","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-LnIpxHQn6POQNMVmy8C","title":"sxhkd","pathname":"/linux/sxhkd","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-Lo-kyuYBhUxTMsRYAby","title":"playerctl","pathname":"/linux/playerctl","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-Lo-kyuZ80zeg15vdylg","title":"fish","pathname":"/linux/fish","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-LoQRboUIJT-VSAInGNd","title":"w3m browser","pathname":"/linux/w3m","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-LoZGeMSja4NNMJT044J","title":"NixOS","pathname":"/linux/w3m/nixos","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"},{"label":"w3m browser"}]},{"id":"-LoLg_Jsm0Ou7LqHnsUF","title":"Nix package manager","pathname":"/linux/nix-env","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Linux"}]},{"id":"-LoZGeMUeUnZ3V_YdjYm","title":"macOS","pathname":"/macos","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoZGeMVM_zDuos_Hfrn","title":"macOS tools","pathname":"/macos/tools","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"macOS"}]},{"id":"-LnTD0rtGe9b37IfYWAj","title":"Hammerspoon","pathname":"/macos/tools/hammerspoon","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"macOS"},{"label":"macOS tools"}]},{"id":"-LoZGeMX7pECWoQOz-kk","title":"Windows","pathname":"/windows","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoZGeMYAY2QBphRxB1v","title":"Windows tools","pathname":"/windows/tools","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Windows"}]},{"id":"-LoZGeMZkhPTg-kNTFrk","title":"AutoHotkey","pathname":"/windows/tools/autohotkey","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Windows"},{"label":"Windows tools"}]},{"id":"-Lozj7XbbdZHArn5C_xx","title":"CLI","pathname":"/cli","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LpA242cpzckjK14tsA0","title":"tmux","pathname":"/cli/tmux","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"CLI"}]},{"id":"-LzNMQ_fCs3-I_0w306m","title":"screen","pathname":"/cli/screen","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"CLI"}]},{"id":"-Lozj7XcNrxOCp4aWNAk","title":"ripgrep","pathname":"/cli/ripgrep","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"CLI"}]},{"id":"-Lozj7Xdjqbe6KDZ-5Zf","title":"fd","pathname":"/cli/fd","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"CLI"}]},{"id":"-LpEEUAKQQVmTvRe-ORH","title":"bat","pathname":"/cli/bat","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"CLI"}]},{"id":"-Lp-b0lPPzUQLvKPTseO","title":"tldr","pathname":"/cli/tldr","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"CLI"}]},{"id":"-LxgrN3lVJYbfhVxyOeT","title":"install","pathname":"/cli/install","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"CLI"}]},{"id":"-LxgrN3mQIeBUUuhOJRk","title":"chflags","pathname":"/cli/chflags","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"CLI"}]},{"id":"-LoKcvV7BucxZGt24bVw","title":"Technology","pathname":"/technology","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-Loa66RHYUivVC_4MZKB","title":"Search","pathname":"/technology/search","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Technology"}]},{"id":"-LoKcvV9NHLUs53od0jA","title":"Google","pathname":"/technology/search/google","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Technology"},{"label":"Search"}]},{"id":"-LoKdGibGfTLw8XK67bX","title":"DuckDuckGo","pathname":"/technology/search/duckduckgo","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Technology"},{"label":"Search"}]},{"id":"-Loa66RKMgW8F39ym-I3","title":"Algolia","pathname":"/technology/search/algolia","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Technology"},{"label":"Search"}]},{"id":"-Loa66RL0q0gOegKAJLn","title":"Elastic search","pathname":"/technology/search/elastic-search","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Technology"},{"label":"Search"}]},{"id":"-LpOqnw-cdZl9Mdi4ef3","title":"Databases","pathname":"/databases","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LpOqnw0XumkP4HERdGf","title":"MySQL","pathname":"/databases/mysql","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Databases"}]},{"id":"-LpOqnw1kVto73ZEAaNN","title":"PostgreSQL","pathname":"/databases/postgresql","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Databases"}]},{"id":"-LpOqnw2sy45H0Vexsw0","title":"Oracle","pathname":"/databases/oracle","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Databases"}]},{"id":"-LoQKIzTbdpDtqBNLoaL","title":"Text editors","pathname":"/editors","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LnCjuFDiE13YlkxRmJd","title":"Emacs","pathname":"/editors/emacs","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Text editors"}]},{"id":"-LnD5OyHKOgDXlOhPH11","title":"Emacs plugins","pathname":"/editors/emacs/plugins","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Text editors"},{"label":"Emacs"}]},{"id":"-LprxX4BLk2JDlInhAx0","title":"Org mode","pathname":"/editors/emacs/org-mode","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Text editors"},{"label":"Emacs"}]},{"id":"-LnCjuFE1RuISnpkc4_n","title":"Vim","pathname":"/editors/vim","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Text editors"}]},{"id":"-LnD5OyJvN5_MfI8iL7M","title":"Vim plugins","pathname":"/editors/vim/plugins","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Text editors"},{"label":"Vim"}]},{"id":"-LzJmtd19CGisnLAxgxe","title":"Text objects","pathname":"/editors/vim/text-objects","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Text editors"},{"label":"Vim"}]},{"id":"-LoQKIzYLrsnj9EeixPO","title":"Sublime Text","pathname":"/editors/sublime-text","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Text editors"}]},{"id":"-LoQRboj2mDbNvUBeqa2","title":"IDEs","pathname":"/ide","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoQRboksJU2x0fjocZx","title":"IntelliJ IDEA","pathname":"/ide/intellij","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"IDEs"}]},{"id":"-LoQRbolA-wBasTDoUrn","title":"IDEA plugins","pathname":"/ide/intellij/plugins","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"IDEs"},{"label":"IntelliJ IDEA"}]},{"id":"-LoQRbomb-6cc3BWJ74c","title":"IdeaVim","pathname":"/ide/intellij/plugins/ideavim","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"IDEs"},{"label":"IntelliJ IDEA"},{"label":"IDEA plugins"}]},{"id":"-LoPWu959aEfwb1Kxj9X","title":"Philosophy","pathname":"/philosophy","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoPWu96FLnFGL6BSoG3","title":"Stoicism","pathname":"/philosophy/stoicism","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Philosophy"}]},{"id":"-LprxX4Ls1dv4QFvVeGE","title":"Parallels with Buddhism","pathname":"/philosophy/stoicism/parallels-with-buddhism","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Philosophy"},{"label":"Stoicism"}]},{"id":"-LoPWu97Wqqc6aPeueYA","title":"Buddhist philosophy","pathname":"/philosophy/buddhism","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Philosophy"}]},{"id":"-ML2oUdk3md9uPsFOJZF","title":"Learning","pathname":"/learning","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-ML2oUdlfoygwKW7yRX4","title":"Spaced Repetition","pathname":"/learning/spaced-repetition","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Learning"}]},{"id":"-ML2oUdmKwYloGzJI5Ey","title":"Anki","pathname":"/learning/spaced-repetition/anki","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Learning"},{"label":"Spaced Repetition"}]},{"id":"-LpYe5LzTGflxfSZvd3n","title":"History","pathname":"/history","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LpYe5M-9BnsSlKAfYWz","title":"People","pathname":"/history/people","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"History"}]},{"id":"-LpYe5M0XvzcYMmp5t6j","title":"Benjamin Franklin","pathname":"/history/people/benjamin-franklin","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"History"},{"label":"People"}]},{"id":"-LoPWu98sl_tm1AJlmbd","title":"Buddhism","pathname":"/buddhism","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoPWu99iDBFsY7lhdzH","title":"Theravada","pathname":"/buddhism/theravada","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Buddhism"}]},{"id":"-LpKmY3C7pHCKASGUG0a","title":"Dhammapada","pathname":"/buddhism/theravada/dhammapada","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Buddhism"},{"label":"Theravada"}]},{"id":"-LprxX4TXqp2jUIAWS4v","title":"Eight Worldly Concerns","pathname":"/buddhism/theravada/eight-worldly-concerns","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Buddhism"},{"label":"Theravada"}]},{"id":"-LoPWu9Au5WKd4o_XC9C","title":"Mahayana","pathname":"/buddhism/mahayana","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Buddhism"}]},{"id":"-LooLD0LSk7halueWDfM","title":"Zen","pathname":"/buddhism/mahayana/zen","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Buddhism"},{"label":"Mahayana"}]},{"id":"-LpD2_uOKkC2ntVPhKOk","title":"Zen Koans","pathname":"/buddhism/mahayana/zen/koans","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Buddhism"},{"label":"Mahayana"},{"label":"Zen"}]},{"id":"-LoYwT4EKDqF6lzIG6qN","title":"Psychology","pathname":"/psychology","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoYwT4FKA6p9i7rNfdt","title":"CBT","pathname":"/psychology/cbt","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Psychology"}]},{"id":"-LoYwT4G-xbX894XNGb4","title":"Cognitive biases","pathname":"/psychology/biases","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Psychology"}]},{"id":"-LoYwT4HZezBP5eZj7tU","title":"Logic","pathname":"/logic","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoYwT4IWD_3-A6R-5IY","title":"Classical logic","pathname":"/logic/classical","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Logic"}]},{"id":"-LoYwT4JrRvhNrR4x1Vh","title":"Intuitionistic logic","pathname":"/logic/intuitionistic","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Logic"}]},{"id":"-LoYwT4KDynW_rnVNQaj","title":"Logical fallacies","pathname":"/logic/fallacies","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Logic"}]},{"id":"-LoUbnflKBep2Z9JmnjP","title":"Literature","pathname":"/literature","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoUbnfmFpDFmVYN93IR","title":"Western literature","pathname":"/literature/western","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Literature"}]},{"id":"-LoUbnfnCb7WfvhHm3yI","title":"Oriental literature","pathname":"/literature/oriental","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Literature"}]},{"id":"-LqW-Bqk6i40dqKHPZnS","title":"Bhagavad Gita","pathname":"/literature/oriental/bhagavad-gita","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Literature"},{"label":"Oriental literature"}]},{"id":"-LoZEPitGRxmBQQBzPPH","title":"Mythology","pathname":"/literature/mythology","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Literature"}]},{"id":"-LooLD0XSxKZ-xQPoZdF","title":"Aphorisms","pathname":"/literature/aphorisms","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Literature"}]},{"id":"-LoZEPiucjqf5gg5Smos","title":"Research","pathname":"/research","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoZEPivXb1EX0S75i49","title":"Problem solving","pathname":"/research/problem-solving","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Research"}]},{"id":"-LoZEPiwSxetTys5W3GS","title":"Questioning","pathname":"/research/questioning","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Research"}]},{"id":"-LoZEPixeTxioXGIy7mk","title":"Blogs","pathname":"/research/blogs","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Research"}]},{"id":"-Lo_8iIydpmQhNtL5X_u","title":"Papers","pathname":"/papers","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-Lo_QkUrUfHJiBE3GbV7","title":"Computer Science","pathname":"/papers/cs","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"}]},{"id":"-LpEDTxccY-2tZlASzKW","title":"Higher-order logic programming in Prolog","pathname":"/papers/cs/naish95higher-orderlogic","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"},{"label":"Computer Science"}]},{"id":"-LxkjdAasUC3Z0lsd5GE","title":"The Rise of Worse is Better","pathname":"/papers/cs/rise-of-worse-is-better","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"},{"label":"Computer Science"}]},{"id":"-LyOvpRfngVuHArBNy6t","title":"Advantages and Disadvantages of a Monolithic Repository","pathname":"/papers/cs/monorepos-seip18","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"},{"label":"Computer Science"}]},{"id":"-LzcELPQUd0zCYvS9P2n","title":"Coccinelle","pathname":"/papers/cs/coccinelle","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"},{"label":"Computer Science"}]},{"id":"-M-0LoZRwKLZiaEIwL1_","title":"Total Functional Programming","pathname":"/papers/cs/total-fp-turner","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"},{"label":"Computer Science"}]},{"id":"-M0Cmn3RIOqigu7kEaIV","title":"Scalable Component Abstractions","pathname":"/papers/cs/scalable-component-abstractions","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"},{"label":"Computer Science"}]},{"id":"-Lo_QkUsioX-6tYrIuMA","title":"Psychology","pathname":"/papers/psychology","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"}]},{"id":"-LrdMkbaRZ_exAl6e2PA","title":"Literature","pathname":"/papers/literature","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"}]},{"id":"-LrdMkbb465XxUzL1iq1","title":"Euclid and Pāṇini","pathname":"/papers/literature/staal1965-euclid-and-panini","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Papers"},{"label":"Literature"}]},{"id":"-LpFZFG46PkrRrmm_Qt9","title":"Courses","pathname":"/courses","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LpFZFG5izfOAI129-75","title":"Computer Science","pathname":"/courses/cs","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Courses"}]},{"id":"-LoWlL_cCqMlF_5014m_","title":"Devops","pathname":"/devops","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoWlL_dL7zdw7YoI5e4","title":"Ansible","pathname":"/devops/ansible","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Devops"}]},{"id":"-LxwyCBTzaCNWEbl_QZS","title":"Puppet","pathname":"/devops/puppet","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Devops"}]},{"id":"-LxwyCBUTR2uDbaxEo26","title":"TerraForm","pathname":"/devops/terraform","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Devops"}]},{"id":"-Lyia5N9MxMzAWQeAZJX","title":"Life","pathname":"/life","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-Lyia5NAXv9Cg-6IsDVu","title":"Happiness","pathname":"/life/happiness","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Life"}]},{"id":"-Lyia5NBx5Khl3oLyLew","title":"Journaling","pathname":"/life/journaling","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Life"}]},{"id":"-LzlZkBuZHYeAb3PHEAA","title":"Meetups","pathname":"/meetups","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LzlZkBvRQtrU-cFIFaW","title":"Rust Meetups","pathname":"/meetups/rust","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Meetups"}]},{"id":"-LzlZkBwXeX0QbjbgA9_","title":"LDN Talks January, 2020","pathname":"/meetups/rust/ldn-talks-january-2020","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Meetups"},{"label":"Rust Meetups"}]},{"id":"-LzlZkBx9d5ydu2Rf8D7","title":"Scala Meetups","pathname":"/meetups/scala","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Meetups"}]},{"id":"-Lzv3_wkffv72L1ilP0M","title":"Scala in the City - January, 2020","pathname":"/meetups/scala/scala-in-the-city-january-2020","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Meetups"},{"label":"Scala Meetups"}]},{"id":"-LzlZkByCB9rKItcSF9s","title":"Papers We Love","pathname":"/meetups/pwl","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Meetups"}]},{"id":"-LzmJk6RxEV_vxAQmjWF","title":"CREST/PWL Special Event - January, 2020","pathname":"/meetups/pwl/crest-pwl-special-event-january-2020","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Meetups"},{"label":"Papers We Love"}]},{"id":"-Lmt4abTk2dbUzOFQVYX","title":"Sports","pathname":"/sports","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-Lmt4abUK6aKIf_1IOhR","title":"Running","pathname":"/sports/running","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Sports"}]},{"id":"-LnN99-w43_YjTVJhDyk","title":"Running books","pathname":"/sports/running/books","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Sports"},{"label":"Running"}]},{"id":"-LnN99-x6BySOjykoXb-","title":"Running shoes","pathname":"/sports/running/shoes","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Sports"},{"label":"Running"}]},{"id":"-LmtNQvIRYtJfdPHDO_B","title":"Chess","pathname":"/sports/chess","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Sports"}]},{"id":"-LyXn4tTzZgLqZ1aqR9s","title":"Chess openings","pathname":"/sports/chess/openings","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Sports"},{"label":"Chess"}]},{"id":"-LoPWu9LAARLQub26boa","title":"Hiking","pathname":"/sports/hiking","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Sports"}]},{"id":"-LzcvCO03-qTF0Mdyc7R","title":"Outdooraholics","pathname":"/sports/hiking/outdooraholics","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Sports"},{"label":"Hiking"}]},{"id":"-LzcvCO1yM9X1dUgjLPJ","title":"Box Hill, Surrey","pathname":"/sports/hiking/outdooraholics/box-hill","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Sports"},{"label":"Hiking"},{"label":"Outdooraholics"}]},{"id":"-LoLW7E2HZS-cR8kew_V","title":"Music","pathname":"/music","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoLW7E3eSELnUrWJw-d","title":"Classical","pathname":"/music/classical","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Music"}]},{"id":"-LoLW7E4Rb0f4a2LdOxg","title":"Western classical music","pathname":"/music/classical/western","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Music"},{"label":"Classical"}]},{"id":"-LoLW7E5UoByqMpbp7Ki","title":"Indian classical music","pathname":"/music/classical/indian","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Music"},{"label":"Classical"}]},{"id":"-LoUbnfsW7B3UNfLQHfH","title":"Popular music","pathname":"/music/popular","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Music"}]},{"id":"-LoUbnftgmRrJR_OeFB1","title":"Sinhala music","pathname":"/music/sinhala","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Music"}]},{"id":"-LoYq9_rcIqDD8YcsLNL","title":"Indian music","pathname":"/music/indian","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Music"}]},{"id":"-LofqbuS1WS_sRMOqDHe","title":"Podcasts","pathname":"/podcasts","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoZEPj6duY60Isz90-3","title":"Movies","pathname":"/movies","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoZEPj7UzZKxdclhqiU","title":"TV Series","pathname":"/tv","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoeELoy5Rf7gM-wDJ04","title":"Log","pathname":"/log","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LoeELozb9Ai-AvC5Q4t","title":"2019 logs","pathname":"/log/2019","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"}]},{"id":"-LoeELp-XayIssWbmafa","title":"September","pathname":"/log/2019/september","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2019 logs"}]},{"id":"-Lr-FmzURsESZhYmZf-d","title":"October","pathname":"/log/2019/october","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2019 logs"}]},{"id":"-Lw9h-GeueTZWCnkiS_m","title":"November","pathname":"/log/2019/november","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2019 logs"}]},{"id":"-Lw9h-Gf04i5Ig6wVVub","title":"December","pathname":"/log/2019/december","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2019 logs"}]},{"id":"-Lxgt1WM0Yp--m3zECgG","title":"2020 logs","pathname":"/log/2020","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"}]},{"id":"-Lxgt1WNiQFPMdwYQ5Sb","title":"January logs","pathname":"/log/2020/january","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2020 logs"}]},{"id":"-M-9gdjg7eUSAdhh7Cpg","title":"February logs","pathname":"/log/2020/february","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2020 logs"}]},{"id":"-M3c5VB3_yfotYXDYx5p","title":"March logs","pathname":"/log/2020/march","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2020 logs"}]},{"id":"-M9cXMP78iVddu7QhG_D","title":"April logs","pathname":"/log/2020/april","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2020 logs"}]},{"id":"-M9cXMP8RqstLsEu6RpH","title":"May logs","pathname":"/log/2020/may","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2020 logs"}]},{"id":"-M9cXMP9i1-Mj8-13dFQ","title":"June logs","pathname":"/log/2020/june","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"Log"},{"label":"2020 logs"}]},{"id":"-LyiFUZxsYvTfCoOaP1F","title":"TIL","pathname":"/til","siteSpaceId":"sitesp_39eyC","description":""},{"id":"-LyiFUZyklpv_CK6WwsF","title":"TIL in 2020","pathname":"/til/2020","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"}]},{"id":"-LyiFUZz76r3NwWjZjfe","title":"January","pathname":"/til/2020/january","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"},{"label":"TIL in 2020"}]},{"id":"-M-0MHl6TWgoXpyswMuc","title":"February","pathname":"/til/2020/february","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"},{"label":"TIL in 2020"}]},{"id":"-M1luD0DgxyxokYvufnw","title":"March","pathname":"/til/2020/march","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"},{"label":"TIL in 2020"}]},{"id":"-M5JCeTf5qkVnEUd84kC","title":"April","pathname":"/til/2020/april","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"},{"label":"TIL in 2020"}]},{"id":"-M9cXMPGu6TL4fUf8Aho","title":"May","pathname":"/til/2020/may","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"},{"label":"TIL in 2020"}]},{"id":"-M9cXMPHh-cBIzWh-ybt","title":"June","pathname":"/til/2020/june","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"},{"label":"TIL in 2020"}]},{"id":"-MK-rhQVhJe3pKMjGMl7","title":"October","pathname":"/til/2020/october","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"},{"label":"TIL in 2020"}]},{"id":"-ML2qfh9dvPa1_jgqcX8","title":"November","pathname":"/til/2020/november","siteSpaceId":"sitesp_39eyC","description":"","breadcrumbs":[{"label":"TIL"},{"label":"TIL in 2020"}]}]}