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.
Logic and Type Systems
The formal languages used to specify and verify programs.
- Type Systems Comparison — Static vs. dynamic, strong vs. weak, and the formal benefits of expressive type systems
- Propositional Logic — The fundamental logic of binary truth and its role in computation
- Predicate Logic — First-order logic and its application to formal specification and database theory
- Formal Semantics — 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 — Hierarchy of storage: from CPU registers and caches to main memory and persistent storage
- Memory Management Fundamentals — Allocation, deallocation, and the mechanics of how operating systems manage physical resources
- Operating Systems — (Placeholder) Core principles of kernels, scheduling, and hardware abstraction
- Binary Arithmetic — (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 — Lexing, parsing, semantic analysis, and the pipeline that transforms source into executable
- Dependency Injection: Evolution and 2026 Trends — From XML-based reflection to zero-overhead compile-time resolution
- Erlang Programming Language — A functional, concurrent language demonstrating the power of the actor model and fault tolerance
- Functional Programming Foundations — Deep-dive into Lambda Calculus, Category Theory, and paradigm utility
- Gang of Four Patterns: 2026 Utility — Re-evaluating the 23 design patterns for modern hardware and paradigms
- Groovy: The Enterprise Java Enhancer — DevOps scripting, Spock testing, and the Apache Grails revitalization
- LISP Programming Language — The foundational language for symbolic computing, functional programming, and homoiconicity
- Python: The Universal AI Operating System — PEP 703 (No-GIL), Tiered JIT, and agentic AI orchestration
- Regular Expressions and Finite Automata — (Placeholder) The practical application of automata theory in text processing
- Ruby: Performance Maturity and Infrastructure Autonomy — YJIT breakthroughs, Rails 8 (Solid Trifecta), and AI rapid prototyping
Emerging and Specialized Foundations
- Quantum Computing — Foundations of computation using qubits, superposition, and entanglement
- Information Theory — (Placeholder) Measuring information, entropy, and the limits of compression and transmission
Adjacent Hubs