# computer\_science - [ai](/isithas-wiki/computer_science/ai.md) - [Hutter Prize](/isithas-wiki/computer_science/ai/hutter_prize.md) - [AIXI](/isithas-wiki/computer_science/ai/aixi.md) - [programming\_language\_theory](/isithas-wiki/computer_science/programming_language_theory.md) - [types](/isithas-wiki/computer_science/programming_language_theory/types.md) - [Algebraic Data Type (ADT)](/isithas-wiki/computer_science/programming_language_theory/types/algebraic_data_type.md) - [Hindler-Milner type system](/isithas-wiki/computer_science/programming_language_theory/types/hindler-minler.md) - [Linear Types](/isithas-wiki/computer_science/programming_language_theory/types/linear_types.md) - [Affine types](/isithas-wiki/computer_science/programming_language_theory/types/affine_types.md) - [optimisations](/isithas-wiki/computer_science/programming_language_theory/optimisations.md) - [Data Flow Analysis](/isithas-wiki/computer_science/programming_language_theory/optimisations/data_flow_analysis.md) - [Basic Blocks](/isithas-wiki/computer_science/programming_language_theory/optimisations/basic_blocks.md) - [Liveness](/isithas-wiki/computer_science/programming_language_theory/optimisations/liveness.md) - [Peephole optimisation](/isithas-wiki/computer_science/programming_language_theory/optimisations/peephole_optimisation.md) - [codegen](/isithas-wiki/computer_science/programming_language_theory/codegen.md) - [Codegen](/isithas-wiki/computer_science/programming_language_theory/codegen/codegen.md) - [Single Static Assignment (SSA) form](/isithas-wiki/computer_science/programming_language_theory/codegen/single_static_assignment_form.md) - [parsers](/isithas-wiki/computer_science/programming_language_theory/parsers.md) - [Parsing Expression Grammer (PEG) parser](/isithas-wiki/computer_science/programming_language_theory/parsers/peg.md) - [LL1 parser](/isithas-wiki/computer_science/programming_language_theory/parsers/ll1.md) - [Earley parser](/isithas-wiki/computer_science/programming_language_theory/parsers/earley.md) - [LR(1) parser](/isithas-wiki/computer_science/programming_language_theory/parsers/lr1.md) - [LR(0) parser](/isithas-wiki/computer_science/programming_language_theory/parsers/lr0.md) - [SLR(1) parser](/isithas-wiki/computer_science/programming_language_theory/parsers/slr1.md) - [semantics](/isithas-wiki/computer_science/programming_language_theory/semantics.md) - [Attribute grammars](/isithas-wiki/computer_science/programming_language_theory/semantics/attribute_grammars.md) - [distributed\_systems](/isithas-wiki/computer_science/distributed_systems.md) - [Consistency](/isithas-wiki/computer_science/distributed_systems/consistency.md) - [operating\_systems](/isithas-wiki/computer_science/distributed_systems/operating_systems.md) - [Memory](/isithas-wiki/computer_science/distributed_systems/operating_systems/memory.md) - [Processes and threads](/isithas-wiki/computer_science/distributed_systems/operating_systems/processes_and_threads.md) - [Operating System](/isithas-wiki/computer_science/distributed_systems/operating_systems/operating_system.md) - [Challenges of Distributed Systems](/isithas-wiki/computer_science/distributed_systems/distributed_systems_challenges.md) - [CAP (or more accurately PACELC) theorem](/isithas-wiki/computer_science/distributed_systems/cap.md) - [distributed\_models](/isithas-wiki/computer_science/distributed_systems/distributed_models.md) - [Distributed Models](/isithas-wiki/computer_science/distributed_systems/distributed_models/distributed_models.md) - [distributed\_file\_systems](/isithas-wiki/computer_science/distributed_systems/distributed_file_systems.md) - [Distributed File Systems](/isithas-wiki/computer_science/distributed_systems/distributed_file_systems/distributed_file_systems.md) - [Strong Consistency](/isithas-wiki/computer_science/distributed_systems/distributed_file_systems/strong_consistency.md) - [Google File System](/isithas-wiki/computer_science/distributed_systems/distributed_file_systems/google_file_system.md) - [CRDT (Conflict-free Replicated Data Types)](/isithas-wiki/computer_science/distributed_systems/crdt.md) - [Computer Networks](/isithas-wiki/computer_science/distributed_systems/computer_networks.md) - [Distributed Systems](/isithas-wiki/computer_science/distributed_systems/distributed_systems.md) - [data\_structures](/isithas-wiki/computer_science/data_structures.md) - [Segment Trees](/isithas-wiki/computer_science/data_structures/segment_trees.md) - [Fibonacci heaps](/isithas-wiki/computer_science/data_structures/fib_heaps.md) - [Bloom filter](/isithas-wiki/computer_science/data_structures/bloom_filter.md) - [Adaptive Radix Tree](/isithas-wiki/computer_science/data_structures/adaptive_radix_tree.md) - [Links](/isithas-wiki/computer_science/data_structures/links.md) - [Judy Arrays](/isithas-wiki/computer_science/data_structures/judy_arrays.md) - [Pairing heaps](/isithas-wiki/computer_science/data_structures/pairing_heaps.md) - [search](/isithas-wiki/computer_science/search.md) - [Inverted Index](/isithas-wiki/computer_science/search/inverted_index.md) - [theoretical](/isithas-wiki/computer_science/theoretical.md) - [Z-order curve](/isithas-wiki/computer_science/theoretical/z-order-curve.md) - [Kolmogorov complexity](/isithas-wiki/computer_science/theoretical/kolmogorov-complexity.md) - [Solomonoff's theory of inductive inference](/isithas-wiki/computer_science/theoretical/solomonoffs-theory-of-inductive-inference.md) - [Hilbert Curve](/isithas-wiki/computer_science/theoretical/hilbert-curve.md) - [Hilbert curve scheduling](/isithas-wiki/computer_science/theoretical/hilbert-curve-scheduling.md) - [compression](/isithas-wiki/computer_science/compression.md) - [Entropy](/isithas-wiki/computer_science/compression/entropy.md) - [Compression](/isithas-wiki/computer_science/compression/compression.md)