# wiki ## wiki - [Introduction](https://wiki.dewaka.com/master.md) - [Books](https://wiki.dewaka.com/books.md) - [Technical books](https://wiki.dewaka.com/books/technical.md) - [Elements of Programming](https://wiki.dewaka.com/books/technical/elements-of-programming.md) - [Psychology books](https://wiki.dewaka.com/books/psychology.md) - [Mindset](https://wiki.dewaka.com/books/psychology/mindset.md) - [Computer Science](https://wiki.dewaka.com/computer-science.md) - [Data Structures](https://wiki.dewaka.com/computer-science/data-structures.md) - [Skip Lists](https://wiki.dewaka.com/computer-science/data-structures/skip-lists.md) - [Algorithms](https://wiki.dewaka.com/computer-science/algorithms.md) - [Hashing](https://wiki.dewaka.com/computer-science/algorithms/hashing.md) - [Eller's Algorithm](https://wiki.dewaka.com/computer-science/algorithms/eller.md) - [Formal verification](https://wiki.dewaka.com/computer-science/formal-verification.md) - [Coq](https://wiki.dewaka.com/computer-science/formal-verification/coq.md) - [Lean](https://wiki.dewaka.com/computer-science/formal-verification/lean.md) - [TLA+](https://wiki.dewaka.com/computer-science/formal-verification/tla.md) - [Garbage Collection](https://wiki.dewaka.com/computer-science/garbage-collection.md) - [Programming](https://wiki.dewaka.com/programming.md) - [Functional programming](https://wiki.dewaka.com/programming/functional-programming.md) - [Functional data structures](https://wiki.dewaka.com/programming/functional-programming/data-structures.md) - [Algebraic Effects](https://wiki.dewaka.com/programming/functional-programming/algebraic-effects.md) - [Dependent Types](https://wiki.dewaka.com/programming/functional-programming/dependent-types.md) - [Agda](https://wiki.dewaka.com/programming/functional-programming/dependent-types/agda.md) - [Idris](https://wiki.dewaka.com/programming/functional-programming/dependent-types/idris.md) - [Continuations](https://wiki.dewaka.com/programming/functional-programming/continuations.md) - [Category Theory](https://wiki.dewaka.com/programming/functional-programming/category-theory.md) - [Total functional programming](https://wiki.dewaka.com/programming/functional-programming/total.md) - [Uniqueness Typing](https://wiki.dewaka.com/programming/functional-programming/uniqueness-typing.md) - [GADT](https://wiki.dewaka.com/programming/functional-programming/gadt.md) - [Tagless Final](https://wiki.dewaka.com/programming/functional-programming/tagless-final.md) - [Concurrent Programming](https://wiki.dewaka.com/programming/concurrency.md) - [Mutex](https://wiki.dewaka.com/programming/concurrency/mutex.md) - [Semaphores](https://wiki.dewaka.com/programming/concurrency/semaphores.md) - [Parallel Programming](https://wiki.dewaka.com/programming/parallelism.md) - [Systems Programming](https://wiki.dewaka.com/programming/systems.md) - [Tagged pointers](https://wiki.dewaka.com/programming/systems/tagged.md) - [Unicode](https://wiki.dewaka.com/programming/unicode.md) - [Competitive Programming](https://wiki.dewaka.com/competitive.md) - [Source control](https://wiki.dewaka.com/source-control.md) - [Git](https://wiki.dewaka.com/source-control/git.md) - [Programming languages](https://wiki.dewaka.com/programming-languages.md) - [Java](https://wiki.dewaka.com/programming-languages/java.md) - [Java Garbage Collection](https://wiki.dewaka.com/programming-languages/java/garbage-collection.md) - [Java Performance](https://wiki.dewaka.com/programming-languages/java/performance.md) - [Java Modules](https://wiki.dewaka.com/programming-languages/java/modules.md) - [Graal](https://wiki.dewaka.com/programming-languages/java/graal.md) - [Java libraries](https://wiki.dewaka.com/programming-languages/java/libraries.md) - [Spring](https://wiki.dewaka.com/programming-languages/java/libraries/spring.md) - [Spring Cloud](https://wiki.dewaka.com/programming-languages/java/libraries/spring/spring-cloud.md) - [Guava](https://wiki.dewaka.com/programming-languages/java/libraries/guava.md) - [JUnit 5](https://wiki.dewaka.com/programming-languages/java/libraries/junit5.md) - [Hamcrest](https://wiki.dewaka.com/programming-languages/java/libraries/hamcrest.md) - [Logging](https://wiki.dewaka.com/programming-languages/java/libraries/logging.md) - [Google Auto](https://wiki.dewaka.com/programming-languages/java/libraries/auto.md) - [Lombok](https://wiki.dewaka.com/programming-languages/java/libraries/lombok.md) - [JOOQ](https://wiki.dewaka.com/programming-languages/java/libraries/jooq.md) - [duct-tape](https://wiki.dewaka.com/programming-languages/java/libraries/duct-tape.md) - [args4j](https://wiki.dewaka.com/programming-languages/java/libraries/args4j.md) - [Netty](https://wiki.dewaka.com/programming-languages/java/libraries/netty.md) - [Scala](https://wiki.dewaka.com/programming-languages/scala.md) - [Dotty](https://wiki.dewaka.com/programming-languages/scala/dotty.md) - [Specialization](https://wiki.dewaka.com/programming-languages/scala/specialization.md) - [Benchmarking Scala](https://wiki.dewaka.com/programming-languages/scala/benchmarking.md) - [Scala libraries](https://wiki.dewaka.com/programming-languages/scala/libraries.md) - [ZIO](https://wiki.dewaka.com/programming-languages/scala/libraries/zio.md) - [Haskell](https://wiki.dewaka.com/programming-languages/haskell.md) - [Haskell tools](https://wiki.dewaka.com/programming-languages/haskell/tools.md) - [Haskell tools](https://wiki.dewaka.com/programming-languages/haskell/tools/stack.md) - [Lisp](https://wiki.dewaka.com/programming-languages/lisp.md) - [Lisp books](https://wiki.dewaka.com/programming-languages/lisp/books.md) - [Rust](https://wiki.dewaka.com/programming-languages/rust.md) - [Rust Async](https://wiki.dewaka.com/programming-languages/rust/async.md) - [C++](https://wiki.dewaka.com/programming-languages/cpp.md) - [C++ libraries](https://wiki.dewaka.com/programming-languages/cpp/libraries.md) - [Boost](https://wiki.dewaka.com/programming-languages/cpp/libraries/boost.md) - [Poco](https://wiki.dewaka.com/programming-languages/cpp/libraries/poco.md) - [Abseil](https://wiki.dewaka.com/programming-languages/cpp/libraries/abseil.md) - [facebook folly](https://wiki.dewaka.com/programming-languages/cpp/libraries/folly.md) - [Intell TBB](https://wiki.dewaka.com/programming-languages/cpp/libraries/tbb.md) - [C++ tools](https://wiki.dewaka.com/programming-languages/cpp/c++-tools.md) - [Valgrind](https://wiki.dewaka.com/programming-languages/cpp/c++-tools/valgrind.md) - [CMake](https://wiki.dewaka.com/programming-languages/cpp/c++-tools/cmake.md) - [Bazel](https://wiki.dewaka.com/programming-languages/cpp/c++-tools/bazel.md) - [C++ books](https://wiki.dewaka.com/programming-languages/cpp/books.md) - [C](https://wiki.dewaka.com/programming-languages/c.md) - [C libraries](https://wiki.dewaka.com/programming-languages/c/libraries.md) - [C books](https://wiki.dewaka.com/programming-languages/c/books.md) - [Python](https://wiki.dewaka.com/programming-languages/python.md) - [Testing](https://wiki.dewaka.com/programming-languages/python/testing.md) - [Cython](https://wiki.dewaka.com/programming-languages/python/cython.md) - [Python performance](https://wiki.dewaka.com/programming-languages/python/performance.md) - [Python libraries](https://wiki.dewaka.com/programming-languages/python/libraries.md) - [requests](https://wiki.dewaka.com/programming-languages/python/libraries/requests.md) - [httpx](https://wiki.dewaka.com/programming-languages/python/libraries/httpx.md) - [boto3](https://wiki.dewaka.com/programming-languages/python/libraries/boto3.md) - [Python tools](https://wiki.dewaka.com/programming-languages/python/tools.md) - [pyenv](https://wiki.dewaka.com/programming-languages/python/tools/pyenv.md) - [Pipenv](https://wiki.dewaka.com/programming-languages/python/tools/pipenv.md) - [mypy](https://wiki.dewaka.com/programming-languages/python/tools/mypy.md) - [Python Cookbook](https://wiki.dewaka.com/programming-languages/python/cookbook.md) - [Prolog](https://wiki.dewaka.com/programming-languages/prolog.md) - [Prolog Cookbook](https://wiki.dewaka.com/programming-languages/prolog/cookbook.md) - [Clojure](https://wiki.dewaka.com/programming-languages/clojure.md) - [Clojure Cookbook](https://wiki.dewaka.com/programming-languages/clojure/cookbook.md) - [Julia](https://wiki.dewaka.com/programming-languages/julia.md) - [Julia libraries](https://wiki.dewaka.com/programming-languages/julia/libraries.md) - [DataFrames](https://wiki.dewaka.com/programming-languages/julia/libraries/data-frames.md) - [Networking](https://wiki.dewaka.com/networking.md) - [TCP](https://wiki.dewaka.com/networking/tcp.md) - [UDP](https://wiki.dewaka.com/networking/udp.md) - [QUIC](https://wiki.dewaka.com/networking/quic.md) - [Mindfullness](https://wiki.dewaka.com/mindfullness.md) - [Mediatation](https://wiki.dewaka.com/mindfullness/meditation.md) - [Samatha](https://wiki.dewaka.com/mindfullness/meditation/samatha.md) - [Vipassana](https://wiki.dewaka.com/mindfullness/meditation/vipassana.md) - [Flow](https://wiki.dewaka.com/mindfullness/flow.md) - [LLVM](https://wiki.dewaka.com/llvm.md) - [Clang tools](https://wiki.dewaka.com/llvm/clang-tools.md) - [Operating systems](https://wiki.dewaka.com/os.md) - [Securing operating systems](https://wiki.dewaka.com/os/security.md) - [Capsicum](https://wiki.dewaka.com/os/security/capsicum.md) - [Linux](https://wiki.dewaka.com/linux.md) - [Packaging](https://wiki.dewaka.com/linux/packaging.md) - [RPM](https://wiki.dewaka.com/linux/rpm.md) - [Deblian](https://wiki.dewaka.com/linux/deb.md) - [Linux tools](https://wiki.dewaka.com/linux/deb/tools.md) - [APT package manager](https://wiki.dewaka.com/linux/apt.md) - [sxhkd](https://wiki.dewaka.com/linux/sxhkd.md) - [playerctl](https://wiki.dewaka.com/linux/playerctl.md) - [fish](https://wiki.dewaka.com/linux/fish.md) - [w3m browser](https://wiki.dewaka.com/linux/w3m.md) - [NixOS](https://wiki.dewaka.com/linux/w3m/nixos.md) - [Nix package manager](https://wiki.dewaka.com/linux/nix-env.md) - [macOS](https://wiki.dewaka.com/macos.md) - [macOS tools](https://wiki.dewaka.com/macos/tools.md) - [Hammerspoon](https://wiki.dewaka.com/macos/tools/hammerspoon.md) - [Windows](https://wiki.dewaka.com/windows.md) - [Windows tools](https://wiki.dewaka.com/windows/tools.md) - [AutoHotkey](https://wiki.dewaka.com/windows/tools/autohotkey.md) - [CLI](https://wiki.dewaka.com/cli.md) - [tmux](https://wiki.dewaka.com/cli/tmux.md) - [screen](https://wiki.dewaka.com/cli/screen.md) - [ripgrep](https://wiki.dewaka.com/cli/ripgrep.md) - [fd](https://wiki.dewaka.com/cli/fd.md) - [bat](https://wiki.dewaka.com/cli/bat.md) - [tldr](https://wiki.dewaka.com/cli/tldr.md) - [install](https://wiki.dewaka.com/cli/install.md) - [chflags](https://wiki.dewaka.com/cli/chflags.md) - [Technology](https://wiki.dewaka.com/technology.md) - [Search](https://wiki.dewaka.com/technology/search.md) - [Google](https://wiki.dewaka.com/technology/search/google.md) - [DuckDuckGo](https://wiki.dewaka.com/technology/search/duckduckgo.md) - [Algolia](https://wiki.dewaka.com/technology/search/algolia.md) - [Elastic search](https://wiki.dewaka.com/technology/search/elastic-search.md) - [Databases](https://wiki.dewaka.com/databases.md) - [MySQL](https://wiki.dewaka.com/databases/mysql.md) - [PostgreSQL](https://wiki.dewaka.com/databases/postgresql.md) - [Oracle](https://wiki.dewaka.com/databases/oracle.md) - [Text editors](https://wiki.dewaka.com/editors.md) - [Emacs](https://wiki.dewaka.com/editors/emacs.md) - [Emacs plugins](https://wiki.dewaka.com/editors/emacs/plugins.md) - [Org mode](https://wiki.dewaka.com/editors/emacs/org-mode.md) - [Vim](https://wiki.dewaka.com/editors/vim.md) - [Vim plugins](https://wiki.dewaka.com/editors/vim/plugins.md) - [Text objects](https://wiki.dewaka.com/editors/vim/text-objects.md) - [Sublime Text](https://wiki.dewaka.com/editors/sublime-text.md) - [IDEs](https://wiki.dewaka.com/ide.md) - [IntelliJ IDEA](https://wiki.dewaka.com/ide/intellij.md) - [IDEA plugins](https://wiki.dewaka.com/ide/intellij/plugins.md) - [IdeaVim](https://wiki.dewaka.com/ide/intellij/plugins/ideavim.md) - [Philosophy](https://wiki.dewaka.com/philosophy.md) - [Stoicism](https://wiki.dewaka.com/philosophy/stoicism.md) - [Parallels with Buddhism](https://wiki.dewaka.com/philosophy/stoicism/parallels-with-buddhism.md) - [Buddhist philosophy](https://wiki.dewaka.com/philosophy/buddhism.md) - [Learning](https://wiki.dewaka.com/learning.md) - [Spaced Repetition](https://wiki.dewaka.com/learning/spaced-repetition.md) - [Anki](https://wiki.dewaka.com/learning/spaced-repetition/anki.md) - [History](https://wiki.dewaka.com/history.md) - [People](https://wiki.dewaka.com/history/people.md) - [Benjamin Franklin](https://wiki.dewaka.com/history/people/benjamin-franklin.md) - [Buddhism](https://wiki.dewaka.com/buddhism.md) - [Theravada](https://wiki.dewaka.com/buddhism/theravada.md) - [Dhammapada](https://wiki.dewaka.com/buddhism/theravada/dhammapada.md) - [Eight Worldly Concerns](https://wiki.dewaka.com/buddhism/theravada/eight-worldly-concerns.md) - [Mahayana](https://wiki.dewaka.com/buddhism/mahayana.md) - [Zen](https://wiki.dewaka.com/buddhism/mahayana/zen.md) - [Zen Koans](https://wiki.dewaka.com/buddhism/mahayana/zen/koans.md) - [Psychology](https://wiki.dewaka.com/psychology.md) - [CBT](https://wiki.dewaka.com/psychology/cbt.md) - [Cognitive biases](https://wiki.dewaka.com/psychology/biases.md) - [Logic](https://wiki.dewaka.com/logic.md) - [Classical logic](https://wiki.dewaka.com/logic/classical.md) - [Intuitionistic logic](https://wiki.dewaka.com/logic/intuitionistic.md) - [Logical fallacies](https://wiki.dewaka.com/logic/fallacies.md) - [Literature](https://wiki.dewaka.com/literature.md) - [Western literature](https://wiki.dewaka.com/literature/western.md) - [Oriental literature](https://wiki.dewaka.com/literature/oriental.md) - [Bhagavad Gita](https://wiki.dewaka.com/literature/oriental/bhagavad-gita.md) - [Mythology](https://wiki.dewaka.com/literature/mythology.md) - [Aphorisms](https://wiki.dewaka.com/literature/aphorisms.md) - [Research](https://wiki.dewaka.com/research.md) - [Problem solving](https://wiki.dewaka.com/research/problem-solving.md) - [Questioning](https://wiki.dewaka.com/research/questioning.md) - [Blogs](https://wiki.dewaka.com/research/blogs.md) - [Papers](https://wiki.dewaka.com/papers.md) - [Computer Science](https://wiki.dewaka.com/papers/cs.md) - [Higher-order logic programming in Prolog](https://wiki.dewaka.com/papers/cs/naish95higher-orderlogic.md) - [The Rise of Worse is Better](https://wiki.dewaka.com/papers/cs/rise-of-worse-is-better.md) - [Advantages and Disadvantages of a Monolithic Repository](https://wiki.dewaka.com/papers/cs/monorepos-seip18.md) - [Coccinelle](https://wiki.dewaka.com/papers/cs/coccinelle.md) - [Total Functional Programming](https://wiki.dewaka.com/papers/cs/total-fp-turner.md) - [Scalable Component Abstractions](https://wiki.dewaka.com/papers/cs/scalable-component-abstractions.md) - [Psychology](https://wiki.dewaka.com/papers/psychology.md) - [Literature](https://wiki.dewaka.com/papers/literature.md) - [Euclid and Pāṇini](https://wiki.dewaka.com/papers/literature/staal1965-euclid-and-panini.md) - [Courses](https://wiki.dewaka.com/courses.md) - [Computer Science](https://wiki.dewaka.com/courses/cs.md) - [Devops](https://wiki.dewaka.com/devops.md) - [Ansible](https://wiki.dewaka.com/devops/ansible.md) - [Puppet](https://wiki.dewaka.com/devops/puppet.md) - [TerraForm](https://wiki.dewaka.com/devops/terraform.md) - [Life](https://wiki.dewaka.com/life.md) - [Happiness](https://wiki.dewaka.com/life/happiness.md) - [Journaling](https://wiki.dewaka.com/life/journaling.md) - [Meetups](https://wiki.dewaka.com/meetups.md) - [Rust Meetups](https://wiki.dewaka.com/meetups/rust.md) - [LDN Talks January, 2020](https://wiki.dewaka.com/meetups/rust/ldn-talks-january-2020.md) - [Scala Meetups](https://wiki.dewaka.com/meetups/scala.md) - [Scala in the City - January, 2020](https://wiki.dewaka.com/meetups/scala/scala-in-the-city-january-2020.md) - [Papers We Love](https://wiki.dewaka.com/meetups/pwl.md) - [CREST/PWL Special Event - January, 2020](https://wiki.dewaka.com/meetups/pwl/crest-pwl-special-event-january-2020.md) - [Sports](https://wiki.dewaka.com/sports.md) - [Running](https://wiki.dewaka.com/sports/running.md) - [Running books](https://wiki.dewaka.com/sports/running/books.md) - [Running shoes](https://wiki.dewaka.com/sports/running/shoes.md) - [Chess](https://wiki.dewaka.com/sports/chess.md) - [Chess openings](https://wiki.dewaka.com/sports/chess/openings.md) - [Hiking](https://wiki.dewaka.com/sports/hiking.md) - [Outdooraholics](https://wiki.dewaka.com/sports/hiking/outdooraholics.md) - [Box Hill, Surrey](https://wiki.dewaka.com/sports/hiking/outdooraholics/box-hill.md) - [Music](https://wiki.dewaka.com/music.md) - [Classical](https://wiki.dewaka.com/music/classical.md) - [Western classical music](https://wiki.dewaka.com/music/classical/western.md) - [Indian classical music](https://wiki.dewaka.com/music/classical/indian.md) - [Popular music](https://wiki.dewaka.com/music/popular.md) - [Sinhala music](https://wiki.dewaka.com/music/sinhala.md) - [Indian music](https://wiki.dewaka.com/music/indian.md) - [Podcasts](https://wiki.dewaka.com/podcasts.md) - [Movies](https://wiki.dewaka.com/movies.md) - [TV Series](https://wiki.dewaka.com/tv.md) - [Log](https://wiki.dewaka.com/log.md) - [2019 logs](https://wiki.dewaka.com/log/2019.md) - [September](https://wiki.dewaka.com/log/2019/september.md) - [October](https://wiki.dewaka.com/log/2019/october.md) - [November](https://wiki.dewaka.com/log/2019/november.md) - [December](https://wiki.dewaka.com/log/2019/december.md) - [2020 logs](https://wiki.dewaka.com/log/2020.md) - [January logs](https://wiki.dewaka.com/log/2020/january.md) - [February logs](https://wiki.dewaka.com/log/2020/february.md) - [March logs](https://wiki.dewaka.com/log/2020/march.md) - [April logs](https://wiki.dewaka.com/log/2020/april.md) - [May logs](https://wiki.dewaka.com/log/2020/may.md) - [June logs](https://wiki.dewaka.com/log/2020/june.md) - [TIL](https://wiki.dewaka.com/til.md) - [TIL in 2020](https://wiki.dewaka.com/til/2020.md) - [January](https://wiki.dewaka.com/til/2020/january.md) - [February](https://wiki.dewaka.com/til/2020/february.md) - [March](https://wiki.dewaka.com/til/2020/march.md) - [April](https://wiki.dewaka.com/til/2020/april.md) - [May](https://wiki.dewaka.com/til/2020/may.md) - [June](https://wiki.dewaka.com/til/2020/june.md) - [October](https://wiki.dewaka.com/til/2020/october.md) - [November](https://wiki.dewaka.com/til/2020/november.md)