Computer Science Foundations Hub

Computer Science Foundations provide the theoretical and structural principles that enable all modern computing. This hub organizes Wikantik's content on the fundamental "why" and "how" of computation, from the limits of what can be computed to the physical and logical architecture of the machines that execute our code.

Theory of Computation and Complexity

Understanding the limits of computation and the cost of solving problems.

- [NP-Complete and NP-Hard Computability](NPCompleteAndNPHardComputability) — The formal classification of problem complexity and the limits of efficient computation

- [Discrete Match Refresher](DiscreteMatchRefresher) — Overview of Automata Theory, formal languages (DFA, NFA, PDA), and the hierarchy of computational power

- [Amortized Analysis](AmortizedAnalysis) — Techniques for analyzing the average cost of operations in complex systems

Logic and Type Systems

The formal languages used to specify and verify programs.

- [Type Systems Comparison](TypeSystemsComparison) — Static vs. dynamic, strong vs. weak, and the formal benefits of expressive type systems

- [Propositional Logic](PropositionalLogic) — The fundamental logic of binary truth and its role in computation

- [Predicate Logic](PredicateLogic) — First-order logic and its application to formal specification and database theory

- [Formal Semantics](FormalSemantics) — Rigorous mathematical descriptions of what programs actually mean

Computer Architecture and Systems

The physical and logical structure of the machines that execute computation.

- [Memory Architectures](MemoryArchitectures) — Hierarchy of storage: from CPU registers and caches to main memory and persistent storage

- [Memory Management Fundamentals](MemoryManagementFundamentals) — Allocation, deallocation, and the mechanics of how operating systems manage physical resources

- [Operating Systems](OperatingSystems) — (Placeholder) Core principles of kernels, scheduling, and hardware abstraction

- [Binary Arithmetic](BinaryArithmetic) — (Placeholder) How numbers are represented and manipulated at the hardware level

Languages and Compilers

The bridge between human-readable code and machine-executable instructions.

- [Compiler Design Basics](CompilerDesignBasics) — Lexing, parsing, semantic analysis, and the pipeline that transforms source into executable

- [Dependency Injection: Evolution and 2026 Trends](DependencyInjectionEvolution) — From XML-based reflection to zero-overhead compile-time resolution

- [Erlang Programming Language](ErlangProgrammingLanguage) — A functional, concurrent language demonstrating the power of the actor model and fault tolerance

- [Functional Programming Foundations](FunctionalProgrammingFoundations) — Deep-dive into Lambda Calculus, Category Theory, and paradigm utility

- [Gang of Four Patterns: 2026 Utility](GangOfFourPatternsUtility) — Re-evaluating the 23 design patterns for modern hardware and paradigms

- [Groovy: The Enterprise Java Enhancer](GroovyLanguageArchitecture) — DevOps scripting, Spock testing, and the Apache Grails revitalization

- [LISP Programming Language](LispProgrammingLanguage) — The foundational language for symbolic computing, functional programming, and homoiconicity

- [Python: The Universal AI Operating System](PythonLanguageArchitecture) — PEP 703 (No-GIL), Tiered JIT, and agentic AI orchestration

- [Regular Expressions and Finite Automata](RegularExpressionsAndFiniteAutomata) — (Placeholder) The practical application of automata theory in text processing

- [Ruby: Performance Maturity and Infrastructure Autonomy](RubyLanguageArchitecture) — YJIT breakthroughs, Rails 8 (Solid Trifecta), and AI rapid prototyping

Emerging and Specialized Foundations

- [Quantum Computing](QuantumComputing) — Foundations of computation using qubits, superposition, and entanglement

- [Information Theory](InformationTheory) — (Placeholder) Measuring information, entropy, and the limits of compression and transmission

Adjacent Hubs

- [Data Structures Hub](DataStructuresHub) — The specialized formats for organizing data efficiently

- [Mathematics Hub](MathematicsHub) — The absolute foundations of logic, set theory, and analysis

- [Distributed Systems Hub](DistributedSystemsHub) — Scaling these foundations across multiple networked nodes

- [Software Engineering Practices Hub](SoftwareEngineeringPracticesHub) — Applying these foundational principles in production software development