Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
Knowledge
Folder: Knowledge
3312 items under this folder.
May 10, 2026
unistd.h
c
May 10, 2026
vdirsyncer
software
May 10, 2026
vmap
machine-learning
May 10, 2026
write (C)
c
May 10, 2026
x86
computer-architecture
May 10, 2026
xor (RISC-V)
risc-v
May 10, 2026
xori (RISC-V)
risc-v
May 10, 2026
yescrypt
cryptography
May 10, 2026
zero (RISC-V)
risc-v
May 10, 2026
string.h
c
May 10, 2026
stvec (RISC-V)
risc-v
May 10, 2026
sub (RISC-V)
risc-v
May 10, 2026
sw (RISC-V)
risc-v
May 10, 2026
sys-socket.h
c
May 10, 2026
sys-types.h
c
May 10, 2026
t-distributed Stochastic Neighbour Embedding
machine-learning
unsupervised-learning
visualisation
May 10, 2026
t0-t6 (RISC-V)
risc-v
May 10, 2026
tinygrad
machine-learning
May 10, 2026
tp (RISC-V)
risc-v
May 10, 2026
sp (RISC-V)
risc-v
May 10, 2026
sra (RISC-V)
risc-v
May 10, 2026
srai (RISC-V)
risc-v
May 10, 2026
srl (RISC-V)
risc-v
May 10, 2026
srli (RISC-V)
risc-v
May 10, 2026
sscratch (RISC-V)
risc-v
May 10, 2026
stdbool.h
c
programming
c99
May 10, 2026
stdio.h
c
May 10, 2026
stdlib.h
c
May 10, 2026
strdup (C)
c
May 10, 2026
s2-s11 (RISC-V)
risc-v
May 10, 2026
scause (RISC-V)
risc-v
May 10, 2026
semaphore.h
c
May 10, 2026
send (C)
c
May 10, 2026
sepc (RISC-V)
risc-v
May 10, 2026
setsockopt (C)
c
May 10, 2026
sll (RISC-V)
risc-v
May 10, 2026
slli (RISC-V)
risc-v
May 10, 2026
slt (RISC-V)
risc-v
May 10, 2026
socket (C)
c
May 10, 2026
or (RISC-V)
risc-v
May 10, 2026
ori (RISC-V)
risc-v
May 10, 2026
pipe (C)
c
May 10, 2026
ra (RISC-V)
risc-v
May 10, 2026
read (C)
c
May 10, 2026
recv (C)
c
May 10, 2026
ret (RISC-V)
risc-v
May 10, 2026
s0 (RISC-V)
risc-v
May 10, 2026
s1 (RISC-V)
risc-v
May 10, 2026
mtvec (RISC-V)
risc-v
May 10, 2026
mv (RISC-V)
risc-v
May 10, 2026
n-Queens
games
computation
May 10, 2026
n-gram
data-analysis
May 10, 2026
netdb.h
c
May 10, 2026
nix-ld
nix
May 10, 2026
nop (RISC-V)
risc-v
May 10, 2026
not (RISC-V)
risc-v
May 10, 2026
ntfy.sh
software
May 10, 2026
ntohl (C)
c
May 10, 2026
ntohs (C)
c
May 10, 2026
mcause (RISC-V)
risc-v
May 10, 2026
mepc (RISC-V)
risc-v
May 10, 2026
mmap (C)
c
May 10, 2026
mret (RISC-V)
risc-v
May 10, 2026
mscratch (RISC-V)
risc-v
May 10, 2026
listen (C)
c
May 10, 2026
lui (RISC-V)
risc-v
May 10, 2026
lw (RISC-V)
risc-v
May 10, 2026
k-Colouring Problem
computation
May 10, 2026
k-Fold Validation
machine-learning
May 10, 2026
k-Means Clustering
machine-learning
clustering
statistics
May 10, 2026
k-Nearest Neighbour
machine-learning
classification
regression
May 10, 2026
k-Satisfiability Problem
computation
logic
sat
May 10, 2026
k-degenerate Graph
graph-theory
May 10, 2026
khal
software
May 10, 2026
lb (RISC-V)
risc-v
May 10, 2026
li (RISC-V)
risc-v
May 10, 2026
htonl (C)
c
May 10, 2026
htons (C)
c
May 10, 2026
j (RISC-V)
risc-v
May 10, 2026
jal (RISC-V)
risc-v
May 10, 2026
jalr (RISC-V)
risc-v
May 10, 2026
jr (RISC-V)
risc-v
May 10, 2026
fsw (RISC-V)
risc-v
May 10, 2026
ft0-7 (RISC-V)
risc-v
May 10, 2026
ft8-11 (RISC-V)
risc-v
May 10, 2026
getaddrinfo (C)
c
May 10, 2026
gethostbyname (C)
c
May 10, 2026
getservbyname (C)
c
May 10, 2026
glibc
libraries
May 10, 2026
gp (RISC-V)
risc-v
May 10, 2026
grip
software
May 10, 2026
fprintf (C)
c
May 10, 2026
freeaddrinfo (C)
c
May 10, 2026
fs0-1 (RISC-V)
risc-v
May 10, 2026
fs2-11 (RISC-V)
risc-v
May 10, 2026
fsgnj (RISC-V)
risc-v
May 10, 2026
fsgnjn (RISC-V)
risc-v
May 10, 2026
fsgnjx (RISC-V)
risc-v
May 10, 2026
fsqrt (RISC-V)
risc-v
May 10, 2026
fsub (RISC-V)
risc-v
May 10, 2026
fmad (RISC-V)
risc-v
May 10, 2026
fmax (RISC-V)
risc-v
May 10, 2026
fmin (RISC-V)
risc-v
May 10, 2026
fmsub (RISC-V)
risc-v
May 10, 2026
fmv.w.x (RISC-V)
risc-v
May 10, 2026
fmv.x.w (RISC-V)
risc-v
May 10, 2026
fnmadd (RISC-V)
risc-v
May 10, 2026
fnmsub (RISC-V)
risc-v
May 10, 2026
fork (C)
c
May 10, 2026
fcvt.w.s (RISC-V)
risc-v
May 10, 2026
fdiv (RISC-V)
risc-v
May 10, 2026
feq (RISC-V)
risc-v
May 10, 2026
flake-utils
nix
May 10, 2026
fle (RISC-V)
risc-v
May 10, 2026
flt (RISC-V)
risc-v
May 10, 2026
flw (RISC-V)
risc-v
May 10, 2026
err.h
c
May 10, 2026
execv (C)
cc
May 10, 2026
fa0-1 (RISC-V)
risc-v
May 10, 2026
fa2-7 (RISC-V)
risc-v
May 10, 2026
fadd (RISC-V)
risc-v
May 10, 2026
fclass (RISC-V)
risc-v
May 10, 2026
fcntl.h
c
May 10, 2026
fcvt.s.w (RISC-V)
risc-v
May 10, 2026
call (RISC-V)
risc-v
May 10, 2026
close (C)
c
May 10, 2026
connect (C)
c
May 10, 2026
csrr (RISC-V)
risc-v
May 10, 2026
csrrw (RISC-V)
risc-v
May 10, 2026
csrw (RISC-V)
risc-v
May 10, 2026
dup (C)
c
May 10, 2026
dup2 (C)
c
May 10, 2026
efibootmgr
linux
May 10, 2026
beq (RISC-V)
risc-v
May 10, 2026
bff
computation
complexity
evolution
May 10, 2026
bge (RISC-V)
risc-v
May 10, 2026
bgez (RISC-V)
risc-v
May 10, 2026
bgt (RISC-V)
risc-v
May 10, 2026
bind (C)
c
May 10, 2026
blink.cmp
neovim
May 10, 2026
blt (RISC-V)
risc-v
May 10, 2026
bne (RISC-V)
risc-v
May 10, 2026
a0-a7 (RISC-V)
risc-v
May 10, 2026
accept (C)
c
May 10, 2026
add (RISC-V)
risc-v
May 10, 2026
addi (RISC-V)
risc-v
May 10, 2026
and (RISC-V)
risc-v
May 10, 2026
andi (RISC-V)
risc-v
May 10, 2026
auipc (RISC-V)
risc-v
May 10, 2026
awk
software
May 10, 2026
Yang-Mills Existence and Mass Gap
mathematics
May 10, 2026
Yapit
software
May 10, 2026
Z-Test
statistics
May 10, 2026
Zero Divider
algebra
May 10, 2026
Zero Sequence
analysis
May 10, 2026
Zero Vector
linear-algebra
May 10, 2026
Zero-One Loss
machine-learning
May 10, 2026
Zeroeth Law of Thermodynamics
physics
thermodynamics
May 10, 2026
Zig
programming-languages
May 10, 2026
Zombie Process
operating-systems
May 10, 2026
Working Memory
neuroscience
cognition
May 10, 2026
World Model
machine-learning
May 10, 2026
Worst-Case Complexity
complexity-theory
May 10, 2026
Wortspiel (Deutsch)
german
May 10, 2026
Write Ahead Logging (ACID)
acid
May 10, 2026
Write-Back Stage
computer-architecture
May 10, 2026
XNOR
logic
May 10, 2026
XWayland
wayland
May 10, 2026
Xenobot
biology
May 10, 2026
Xenopus Laevis
biology
May 10, 2026
Y Combinator
lambda-calculus
May 10, 2026
Wien’s A pproximation
physics
thermodynamics
May 10, 2026
Wild Memory Pointer
memory
May 10, 2026
Windows NT
operating-systems
May 10, 2026
Windows
operating-systems
May 10, 2026
Witch Hat Atelier
anime
entertainment
May 10, 2026
Without Loss of Generality
math
May 10, 2026
Word (Computing)
computation
May 10, 2026
Word (OS)
operating-systems
May 10, 2026
Word Problem
languages
May 10, 2026
Word-Addressable Memory
memory
May 10, 2026
Work Tape (Turing Machine)
computation
May 10, 2026
Weissman's Barrier
biology
May 10, 2026
Well-formed Formula
logic
May 10, 2026
Well-formed Propositional Formula
logic
propositional-logic
May 10, 2026
Well-formedness
logic
May 10, 2026
White Box Testing
software-engineering
todo
May 10, 2026
Whitehead Problem
set-theory
algebra
May 10, 2026
Wide Area Network
networks
May 10, 2026
Weakest Liberal Precondition
program-proofing
May 10, 2026
Weakest Precondition
program-proofing
May 10, 2026
Weight-Balanced Tree
trees
May 10, 2026
Weighted Adjacency Matrix
graph-theory
May 10, 2026
Weighted Graph
graph-theory
May 10, 2026
Weighted Independent Set Problem
computation
May 10, 2026
Weighted Mean
math
May 10, 2026
Weisfeiler-Leman Algorithm
graph-theory
representation-learning
May 10, 2026
Weisfeiler-Leman Graph Kernel
graph-theory
kernel-methods
representation-learning
May 10, 2026
Wait-for Graph (ACID)
acid
May 10, 2026
Watt
units
May 10, 2026
Wayland Compositor
wayland
May 10, 2026
Wayland
wayland
May 10, 2026
Weak Artificial Intelligence
artificial-intelligence
May 10, 2026
Weak Collision Resistance
cryptography
May 10, 2026
Weak NP-Hard Problem
complexity-theory
May 10, 2026
Weak Normalisation Theorem
lambda-calculus
May 10, 2026
Weak Preference (Utility Theory)
utility-theory
May 10, 2026
Virtualisation
operating-systems
May 10, 2026
Virus
biology
May 10, 2026
Visitor Location Register
mobile-communication
May 10, 2026
Vitalism
philosophy
biology
May 10, 2026
Volatile Storage (ACID)
acid
May 10, 2026
Vulkan
graphics
rendering
May 10, 2026
Vulnerability
security
May 10, 2026
WEB (Programming Language)
programming-languages
May 10, 2026
WEB2C
tex
May 10, 2026
Wagner–Fischer algorithm
computation
May 10, 2026
Vesktop
apps
May 10, 2026
Video
May 10, 2026
Virtual Function IO
linux
May 10, 2026
Virtual Local Area Network
network-protocols
May 10, 2026
Virtual Machine
operating-systems
May 10, 2026
Virtual Memory
operating-systems
May 10, 2026
Virtual Router Redundancy Protocol
networks
May 10, 2026
Verb (Deutsch)
german
May 10, 2026
Vergleich (Deutsch)
german
May 10, 2026
Verification and Validation
software-engineering
May 10, 2026
Verilog
hardware-design
May 10, 2026
Vertex Cover Problem
computation
May 10, 2026
Vertex Cover
graph-theory
May 10, 2026
Vertex Degree
graph-theory
May 10, 2026
Vertex
graph-theory
May 10, 2026
Vector Addition
linear-algebra
May 10, 2026
Vector Database
databases
May 10, 2026
Vector Field
vector-calculus
May 10, 2026
Vector Multiplication
linear-algebra
May 10, 2026
Vector Space
algebra
linear-algebra
May 10, 2026
Vector Subset Sum Problem
computation
May 10, 2026
Vector-Jacobian Product
machine-learning
calculus
linear-algebra
May 10, 2026
Vector
linear-algebra
May 10, 2026
Vanishing Gradient
machine-learning
May 10, 2026
Vapnik-Chervonenkis Dimension
machine-learning
learning-theory
statistics
May 10, 2026
Variable Assignment
logic
May 10, 2026
Variable Refresh Rate
rendering
May 10, 2026
Variable
logic
May 10, 2026
Variance
statistics
May 10, 2026
Variation with Repetition
combinatorics
May 10, 2026
Variation without Repetition
combinatorics
May 10, 2026
Valid Argument
logic
May 10, 2026
Validation Dataset
machine-learning
May 10, 2026
Validation Service
cryptography
May 10, 2026
Valuation Function (Logic)
logic
May 10, 2026
Value Function
reinforcement-learning
May 10, 2026
Value of Information
utility-theory
May 10, 2026
User Process
operating-systems
May 10, 2026
User Program
operating-systems
May 10, 2026
User Space
operating-systems
May 10, 2026
User-Level Thread
operating-systems
May 10, 2026
Utility Function
utility-theory
May 10, 2026
Utility Theory
utility-theory
May 10, 2026
Utility-Based Agent
artificial-intelligence
May 10, 2026
Utility-based Perturbed Gradient Descent
machine-learning
May 10, 2026
VRising
games
May 10, 2026
Unsymbolised Thinking
consciousness
cognition
May 10, 2026
Upper Bound
analysis
May 10, 2026
Upper Confidence Bound
reinforcement-learning
May 10, 2026
Useless Production
languages
May 10, 2026
User Authentication
operating-systems
security
May 10, 2026
User Datagram Protocol
network-protocols
May 10, 2026
User Equipment
mobile-communication
May 10, 2026
User Mode (RISC-V)
risc-v
May 10, 2026
User Mode
operating-systems
May 10, 2026
Universe (Set Theory)
set-theory
May 10, 2026
University of Vienna
universities
May 10, 2026
Unix File System Access Control
operating-systems
security
May 10, 2026
Unix
operating-systems
May 10, 2026
Unknown Environment
artificial-intelligence
May 10, 2026
Unsatisfiability Problem
computation
May 10, 2026
Unsupervised Learning Algorithm
machine-learning
May 10, 2026
Unsupervised Learning
machine-learning
May 10, 2026
Universal Constructor
automata-theory
May 10, 2026
Universal Function Approximation Theorem
machine-learning
deep-learning
analysis
May 10, 2026
Universal Mobile Telecommunications Service
mobile-communication
May 10, 2026
Universal Polymorphism
type-theory
May 10, 2026
Universal Quantifier
logic
May 10, 2026
Universal Turing Machine
computation
May 10, 2026
Universe (Cosmology)
cosmology
May 10, 2026
Unit Testing
software-engineering
todo
May 10, 2026
Unit Vector
linear-algebra
May 10, 2026
Unitality
algebra
May 10, 2026
Unitary Matrix
linear-algebra
May 10, 2026
Unitary Operator
linear-algebra
May 10, 2026
United States Department of Defense
usa
May 10, 2026
Univariate Statistics
statistics
May 10, 2026
Union-Find Data Structure
data-structures
May 10, 2026
Union
set-theory
May 10, 2026
Uniqueness Theorem for Power Series
analysis
May 10, 2026
Uniqueness of Limits
analysis
calculus
May 10, 2026
Unit Circle
trigonometry
May 10, 2026
Unit Clause
logic
May 10, 2026
Unit Production
languages
May 10, 2026
Unit Propagation
logic
computation
sat-solving
May 10, 2026
Unicode Transformation Format
coding-theory
May 10, 2026
Unicode
coding-theory
May 10, 2026
Unified Modelling Language
software-engineering
May 10, 2026
Uniform Continuity
analysis
May 10, 2026
Uniform Distribution
statistics
May 10, 2026
Uniform-Cost Search
search
May 10, 2026
Uninformed Search
search
May 10, 2026
Uninterruptible Power Supply
May 10, 2026
Union (Relational Algebra)
relational-algebra
May 10, 2026
Union Compatible Relation (Relational Algebra)
relational-algebra
May 10, 2026
Undecidable Language Property
computation
May 10, 2026
Undecidable Language
languages
May 10, 2026
Underfitting
machine-learning
statistics
May 10, 2026
Undirected Graph
graph-theory
todo
May 10, 2026
Unhappy Number
math
May 10, 2026
UNION (SQL)
sql
May 10, 2026
UNION ALL (SQL)
sql
May 10, 2026
UV
python
May 10, 2026
Unambiguous Context-Free Grammar
languages
May 10, 2026
Unary Encoding
computation
May 10, 2026
Unary Logical Connective
logic
May 10, 2026
Unbiased Estimator
probability-theory
May 10, 2026
Uncountable Set
set-theory
May 10, 2026
Undecidable Decision Problem
computation
May 10, 2026
Undecidable Function Property
computation
May 10, 2026
Turing-complete
computation
May 10, 2026
Two's Complement
numeric
May 10, 2026
Two-Phase Locking (ACID)
acid
May 10, 2026
Type Constructor
type-theory
May 10, 2026
Type Theory
type-theory
May 10, 2026
Type-i Grammar
languages
todo
May 10, 2026
Type
type-theory
May 10, 2026
TypeScript
programming-languages
May 10, 2026
U-Type Instruction (RISC-V)
risc-v
May 10, 2026
Tu Quoque
logic
informal-fallacy
May 10, 2026
Tuple (Relational Algebra)
relational-algebra
May 10, 2026
Tuple
algebra
May 10, 2026
Turing Gas
computation
complexity
evolution
May 10, 2026
Turing Machine
computation
May 10, 2026
Turing Reduction
computation
May 10, 2026
Turing Test
artificial-intelligence
May 10, 2026
Turing-Computable Arithmetic Function
computation
May 10, 2026
Trivial Functional Dependency (Relational Algebra)
databases
May 10, 2026
Trivial Language Property
languages
May 10, 2026
True Negative
machine-learning
May 10, 2026
True Positive
machine-learning
May 10, 2026
True Risk
machine-learning
statistics
May 10, 2026
Truth Table
logic
May 10, 2026
Truth
logic
May 10, 2026
Tree-width
computation
May 10, 2026
Tree
graph-theory
May 10, 2026
Triangle Inequality
math
May 10, 2026
Triangle
geometry
trigonometry
May 10, 2026
Triangular Distribution
probability-theory
May 10, 2026
Trigonometric Function
trigonometry
May 10, 2026
Trigonometry
trigonometry
May 10, 2026
Trivial Extensional Language Property
languages
May 10, 2026
Trap (OS)
operating-systems
May 10, 2026
Travelling Salesman Problem
computation
May 10, 2026
Tree Map
databases
May 10, 2026
Tree Node Predecessor
trees
May 10, 2026
Tree Node Successor
trees
May 10, 2026
Tree Node
trees
May 10, 2026
Tree-Like Search Algorithm
search
May 10, 2026
Transport Layer Security Handshake
cryptography
May 10, 2026
Transport Layer Security
cryptography
May 10, 2026
Transport Layer
networks
osi-model
May 10, 2026
Transposed Matrix
linear-algebra
May 10, 2026
Transposition Cipher
cryptography
May 10, 2026
Transitivity
math
May 10, 2026
Translation Lookaside Buffer
operating-systems
hardware
May 10, 2026
Transmission Control Block
network-protocols
May 10, 2026
Transmission Control Protocol
network-protocols
May 10, 2026
Transpoder
communication
May 10, 2026
Transfer Learning
machine-learning
May 10, 2026
Transformer Explainer
software
May 10, 2026
Transformer
machine-learning
deep-learning
nlp
May 10, 2026
Transistor
May 10, 2026
Transition Function
automata-theory
May 10, 2026
Transitivity (Utility Theory)
utility-theory
May 10, 2026
Tractable Problem
computation
May 10, 2026
Traefik
software-engineering
May 10, 2026
Training Dataset
machine-learning
May 10, 2026
Trajectory (Reinforcement Learning)
reinforcement-learning
May 10, 2026
Transaction (ACID)
acid
May 10, 2026
Transducer
automata-theory
May 10, 2026
Transduction
May 10, 2026
Transductive Reasoning
reasoning
May 10, 2026
Total Function
math
May 10, 2026
Total Order
algebra
set-theory
May 10, 2026
Total Relation
set-theory
May 10, 2026
Totally Correct Program
program-proofing
May 10, 2026
Totally Differentiable Function
vector-calculus
May 10, 2026
Totally Recursive Function
computation
May 10, 2026
Trace Logic
cognition
May 10, 2026
Traceability (Security)
security
May 10, 2026
Tissue
biology
May 10, 2026
Token (Computer Architecture)
computer-architecture
May 10, 2026
Token (Machine Learning)
machine-learning
May 10, 2026
Topological Dual Space
linear-algebra
May 10, 2026
Topological Sorting
graph-theory
May 10, 2026
Topological Space
math
topology
May 10, 2026
Torus
topology
May 10, 2026
Thrashing
operating-systems
May 10, 2026
Thread
operating-systems
May 10, 2026
Threat Actor
security
May 10, 2026
Threat
security
May 10, 2026
Tic-Tac-Toe
games
May 10, 2026
Time Complexity
complexity-theory
May 10, 2026
Time-Division Duplex
communication
May 10, 2026
Time-Division Multiple Access
mobile-communication
May 10, 2026
Timsort
sorting-algorithms
May 10, 2026
Text Data
data-analysis
May 10, 2026
Theorem
logic
May 10, 2026
Theoretical Computer Science
computer-science
May 10, 2026
Thermodynamic Entropy
thermodynamics
May 10, 2026
Thermodynamical System
physics
thermodynamics
May 10, 2026
Thermodynamics
physics
thermodynamics
May 10, 2026
Theta Join (Relational Algebra)
relational-algebra
May 10, 2026
Third Law of Thermodynamics
physics
thermodynamics
May 10, 2026
Third Normal Form
relational-algebra
May 10, 2026
Test Double
software-engineering
testing
May 10, 2026
Test Time
machine-learning
May 10, 2026
Test-Driven Development
software-engineering
testing
May 10, 2026
Test-Time Computation
artificial-life
May 10, 2026
Test-and-Set
operating-systems
hardware
concurrency
May 10, 2026
Testability
software-engineering
testing
May 10, 2026
Testing Level
software-engineering
testing
May 10, 2026
Testing Pyramid
software-engineering
testing
May 10, 2026
Temporal-Difference Learning
reinforcement-learning
May 10, 2026
Tensor Contraction
May 10, 2026
Tensor Product
linear-algebra
May 10, 2026
Tensor
linear-algebra
May 10, 2026
Term Language
logic
May 10, 2026
Term
logic
May 10, 2026
Terminal Symbol
languages
May 10, 2026
Test Dataset
machine-learning
May 10, 2026
TeX
tex
May 10, 2026
Technical University of Munich
universities
May 10, 2026
Technical University of Vienna
universities
May 10, 2026
Telecommunications Service Provider
mobile-communication
May 10, 2026
Telescoping Sum
analysis
May 10, 2026
Temporal Locality Compulsory Cache Miss
computer-architecture
memory
May 10, 2026
Temporal Memory Locality
computer-architecture
memory
May 10, 2026
Temporal Parallelism (Computer Architecture)
computer-architecture
May 10, 2026
Tape (Turing Machine)
computation
May 10, 2026
Tautologie (Deutsch)
german
May 10, 2026
Tautology
logic
May 10, 2026
Taylor Polynomial
analysis
May 10, 2026
Taylor Series
analysis
May 10, 2026
Taylor's Formula
analysis
May 10, 2026
Taylor's Theorem
analysis
May 10, 2026
TeX-Live
tex
May 10, 2026
TLS Certificate
cryptography
May 10, 2026
TXT Record
domains
May 10, 2026
Tableaux
logic
propositional-logic
May 10, 2026
Tabu Search
heuristics
May 10, 2026
Tangent Space
linear-logic
May 10, 2026
System Bus
computer-architecture
May 10, 2026
System Call
operating-systems
May 10, 2026
System Integrity
security
May 10, 2026
System
cybernetics
May 10, 2026
TAN List
security
May 10, 2026
TCP-IP
networks
May 10, 2026
TENEX
operating-systems
history
May 10, 2026
Symmetry
algebra
May 10, 2026
Synapse
neuroscience
May 10, 2026
Synapses Dogma
neuroscience
May 10, 2026
Synaptic Plasticity
neuroscience
May 10, 2026
Synchronous Processor (Computer Architecture)
computer-architecture
May 10, 2026
Synchronous Stream Cipher
cryptography
May 10, 2026
Syntax
languages
May 10, 2026
Synästhesie (Deutsch)
german
May 10, 2026
System Availability
security
May 10, 2026
Symbolic Reasoning
reasoning
May 10, 2026
Symmetric Cryptography
cryptography
May 10, 2026
Symmetric Encryption Algorithm
cryptography
May 10, 2026
Symmetric Encryption Scheme
cryptography
May 10, 2026
Symmetric Function
algebra
May 10, 2026
Symmetric Group
algebra
combinators
May 10, 2026
Symmetric Key
cryptography
May 10, 2026
Symmetric Matrix
linear-algebra
May 10, 2026
Symmetric Travelling Salesman Problem
computation
May 10, 2026
Swapping
operating-systems
May 10, 2026
Switch
networks
May 10, 2026
Syllogism
logic
May 10, 2026
Sylvester's Criterion
linear-algebra
May 10, 2026
Symbiogenesis
evolution
May 10, 2026
Symbol
coding-theory
May 10, 2026
Symbolic Artificial Intelligence
artificial-intelligence
May 10, 2026
Symbolic Computation
computation
logic
May 10, 2026
Supervised Learning Algorithm
machine-learning
May 10, 2026
Supervised Learning
machine-learning
supervised-learning
May 10, 2026
Supervisor Mode (RISC-V)
risc-v
May 10, 2026
Support Vector Machine
machine-learning
classification
regression
optimisation
May 10, 2026
Supremum
analysis
set-theory
May 10, 2026
Surjectivity
algebra
May 10, 2026
Surrogate Key
databases
May 10, 2026
Suspended Process
operating-systems
May 10, 2026
Successor Function (Recursion)
computation
May 10, 2026
Successor Function
lambda-calculus
May 10, 2026
Sum Rule (Analysis)
analysis
May 10, 2026
Summa Summarum
latin
May 10, 2026
Sun Microsystems
cooperates
May 10, 2026
Sun
cosmology
May 10, 2026
Super Key (Relational Algebra)
databases
May 10, 2026
Superdeterminism
philosophy
May 10, 2026
Superposition (Linear Algebra
linear-algebra
May 10, 2026
Superposition (Quantum Computing)
quantum-mechanics
quantum-computing
May 10, 2026
Subset Sum Problem
computation
May 10, 2026
Subset
set-theory
May 10, 2026
Substitutability (Utility Theory)
utility-theory
May 10, 2026
Substitution Cipher
cryptography
May 10, 2026
Subtracter
logic-circuits
May 10, 2026
Subtree
trees
May 10, 2026
Subtype Polymorphism
type-theory
May 10, 2026
Subtype Relation
type-theory
May 10, 2026
Subvocalisation
neuroscience
cognition
May 10, 2026
Sub-symbolic Artificial Intelligence
artificial-intelligence
May 10, 2026
Subformula
logic
May 10, 2026
Subgraph
graph-theory
May 10, 2026
Subgroup
algebra
May 10, 2026
Subitising
neuroscience
cognition
May 10, 2026
Subject (Security)
security
May 10, 2026
Subscriber Identity Module
mobile-communication
May 10, 2026
Subsequence
analysis
May 10, 2026
Structural Abstraction (Programming)
programming
May 10, 2026
Structural Operational Semantics
logic
May 10, 2026
Structural Testing
testing
May 10, 2026
Structuralism
philosophy
May 10, 2026
Structure
mathematics
May 10, 2026
Structured Programming
programming
May 10, 2026
Structured Query Language
databases
May 10, 2026
Stuck Program Configuration
program-proofing
May 10, 2026
Student's t-Distribution
probability-theory
May 10, 2026
Student-t Test
statistics
evaluation
May 10, 2026
Strip Chart
plots
May 10, 2026
Strong Artificial Intelligence
artificial-intelligence
May 10, 2026
Strong Collision Resistance
cryptography
May 10, 2026
Strong Induction
May 10, 2026
Strong NP-Hard Problem
complexity-theory
np-hardness
May 10, 2026
Strong Typing
type-theory
May 10, 2026
Strongest Postcondition
program-proofing
May 10, 2026
Strongly Connected Component (Graph)
graph-theory
May 10, 2026
Structural Abstract Datatype
programming
May 10, 2026
Straussianism
philosophy
May 10, 2026
Stream Cipher
cryptography
May 10, 2026
Strict Linear Ordering
May 10, 2026
Strict Two-Phase Locking (ACID)
acid
May 10, 2026
Strictly Decreasing Monotone Function
analysis
May 10, 2026
Strictly Increasing Monotone Function
analysis
May 10, 2026
String Concatenation
languages
May 10, 2026
String Homomorphism
languages
May 10, 2026
String
languages
May 10, 2026
Step Function
math
May 10, 2026
Still Life
cellular-automata
game-of-life
May 10, 2026
Stirling's Approximation
analysis
May 10, 2026
Stochastic Agent Function
artificial-intelligence
May 10, 2026
Stochastic Gradient Descent
artificial-life
May 10, 2026
Stochastic Policy
reinforcement-learning
May 10, 2026
Stochastic
statistics
May 10, 2026
Straight Line
linear-algebra
May 10, 2026
Static Environment
artificial-intelligence
May 10, 2026
Static Random-Access Memory
computer-architecture
memory
May 10, 2026
Static Typing
type-theory
May 10, 2026
Statistic
statistics
May 10, 2026
Statistical Inference
statistics
May 10, 2026
Statistics
statistics
May 10, 2026
Stem Function
analysis
May 10, 2026
Stemming
data-analysis
May 10, 2026
State (Automata Theory)
automata-theory
May 10, 2026
State Space (Artificial Intelligence)
artificial-intelligence
May 10, 2026
State Space (Quantum Computing)
quantum-computing
May 10, 2026
State of Mind
computation
May 10, 2026
Statement (Logic)
logic
May 10, 2026
Statement Coverage
software-engineering
testing
May 10, 2026
Static Binding
type-theory
May 10, 2026
Static Branch Prediction
computer-architecture
May 10, 2026
Standardisation
data-analysis
May 10, 2026
Star (Graph)
graph-theory
May 10, 2026
Star Schema
data-warehouse
May 10, 2026
Star Sum Problem
computation
graph-theory
May 10, 2026
Start State
automata-theory
May 10, 2026
Start Symbol
languages
May 10, 2026
Starvation
operating-systems
concurrency
May 10, 2026
Stack (OS)
operating-systems
May 10, 2026
Stack Pointer
operating-systems
May 10, 2026
StackOverflow
cooperates
May 10, 2026
Standard Backward Assignment (Hoare Calculus)
hoare-calculus
May 10, 2026
Standard Description
computation
May 10, 2026
Standard Deviation
statistics
May 10, 2026
Standard Gaussian Distribution
probability-theory
May 10, 2026
Splitting Algorithm
logic
May 10, 2026
Spurious Correlation
statistics
May 10, 2026
Square Matrix
linear-algebra
May 10, 2026
Square-Integrable Complex-Valued Function
functional-analysis
May 10, 2026
Squeeze Theorem
analysis
May 10, 2026
Stable Matching Problem
computation
May 10, 2026
Stable Sorting Algorithm
sorting-algorithms
May 10, 2026
Stable Storage (ACID)
acid
May 10, 2026
Stack (Data Structure)
data-structures
May 10, 2026
Specification-based Testing
software-engineering
testing
May 10, 2026
Specificity
machine-learning
May 10, 2026
Spectral Clustering
machine-learning
clustering
graph-theory
May 10, 2026
Spectral Component
linear-algebra
functional-analysis
May 10, 2026
Spectral Representation
linear-algebra
functional-analysis
May 10, 2026
Spectrum of Persuadability
intelligence
May 10, 2026
Speeded Up Robust Features
machine-learning
May 10, 2026
Spinlock
operating-systems
May 10, 2026
Spanning Tree Heuristic
heuristics
May 10, 2026
Spanning Tree
graph-theory
May 10, 2026
Sparse Graph
graph-theorye
May 10, 2026
Sparse Vector
linear-algebra
May 10, 2026
Spatial Cache Locality
computer-architecture
memory
May 10, 2026
Spatial Memory Locality
computer-architecture
memory
May 10, 2026
Spatial Parallelism (Computer Architecture)
computer-architecture
May 10, 2026
Spatial Reasoning
neuroscience
cognition
May 10, 2026
Spatially Oriented Format for Acoustics
audio
May 10, 2026
Solution
computation
May 10, 2026
Sorting Algorithm
sorting-algorithms
May 10, 2026
Soul
philosophy
May 10, 2026
Sound Argument
logic
May 10, 2026
Sound Calculus
logic
May 10, 2026
Soup
cellular-automata
game-of-life
May 10, 2026
Space Complexity
complexity-theory
May 10, 2026
Space Ship
game-of-life
May 10, 2026
Snowflake Schema
data-warehouse
May 10, 2026
Social Engineering
security
May 10, 2026
Softmax
machine-learning
May 10, 2026
Software Testing
software-engineering
May 10, 2026
Software-Optimised Encryption Algorithm
cryptography
May 10, 2026
Solid Brain
brains
May 10, 2026
Single-Precision Floating-Point Extension (RISC-V)
risc-v
May 10, 2026
Singly Linked List
data-structures
May 10, 2026
Singular Matrix
linear-algebra
May 10, 2026
Sioyek
software
May 10, 2026
Slay the Spire
games
May 10, 2026
Sleep Hormone
neuroscience
biology
May 10, 2026
Small Form-factor Pluggable
networks
May 10, 2026
Smart Memory Pointer
memory
May 10, 2026
Smooth Manifold
linear-algebra
May 10, 2026
Single Linkage Distance
machine-learning
May 10, 2026
Single Sign-On
security
May 10, 2026
Single Unified Memory
memory
May 10, 2026
Single-Agent Environment
artificial-intelligence
May 10, 2026
Single-Cycle Processor (RISC-V)
computer-architecture
risc-v
todo
May 10, 2026
Single-Cycle Processor
computer-architecture
May 10, 2026
Single-Input and Single-Output
networks
May 10, 2026
Signum
algebra
May 10, 2026
Sillhouette Coefficient
machine-learning
May 10, 2026
Simple Graph
graph-theory
May 10, 2026
Simple Reflex Agent
artificial-intelligence
May 10, 2026
Simplified Forward Assignment (Hoare Calculus)
hoare-calculus
May 10, 2026
Simulated Annealing
search
May 10, 2026
Sine Wave
May 10, 2026
Sine
trigonometry
May 10, 2026
Signal Edge
eletronics
May 10, 2026
Signal-to-Noise Ratio
signals
May 10, 2026
Signal
engineering
analysis
May 10, 2026
Signature (Logic)
logic
May 10, 2026
Signature Scheme
cryptography
May 10, 2026
Signature Space
cryptography
May 10, 2026
Signed Certificate Timestamp
cryptography
May 10, 2026
Signed Formula
logic
May 10, 2026
Shortest Path Problem
computation
graph-theory
May 10, 2026
Shortest Process Next (OS)
operating-systems
scheduling
May 10, 2026
Shoulder Surfing
security
May 10, 2026
Side Effects (Programming)
programming
May 10, 2026
Sigma Algebra
algebra
probability-theory
May 10, 2026
Sigmoid
math
analysis
machine-learning
May 10, 2026
Sign Extension (RISC-V)
risc-v
May 10, 2026
Signal (Electronics
electronics
May 10, 2026
Signal (OS)
operating-systems
May 10, 2026
Shared Memory
operating-systems
concurrency
May 10, 2026
Shattering Hypothesis Class
machine-learning
learning-theory
set-theory
May 10, 2026
Shell
operating-systems
May 10, 2026
Shift Register
logic-circuits
May 10, 2026
Shor's Algorithm
quantum-computing
algorithms
May 10, 2026
Short Message Service
mobile-communication
May 10, 2026
Short-Term Memory
neuroscience
May 10, 2026
Shortest Independent Vector Problem
post-quantum-cryptography
May 10, 2026
Shortest Path First
graph-theory
May 10, 2026
Set of all Languages
languages
May 10, 2026
Set of all Strings
languages
May 10, 2026
Set of all non-empty Strings
languages
May 10, 2026
Set-Associative Cache
computer-architecture
memory
May 10, 2026
Set
set-theory
May 10, 2026
Seven Bridges of Königsberg
graph-theory
May 10, 2026
Shannon Entropy
information-theory
May 10, 2026
Shannon Expansion
boolean-algebra
May 10, 2026
Shannon–Hartley Theorem
signals
May 10, 2026
Service Time Estimation
operating-systems
scheduling
May 10, 2026
Sesquilinearity
linear-algebra
May 10, 2026
Session Layer (Layer 5)
networks
osi-model
todo
May 10, 2026
Set Cover Problem
computation
May 10, 2026
Set Cover
set-theory
May 10, 2026
Set Theory
set-theory
May 10, 2026
Set of Atoms
propositional-logic
May 10, 2026
Set of Clauses
propositional-logic
May 10, 2026
Sequence
analysis
May 10, 2026
Sequencer and Eventcount
operating-systems
concurrency
May 10, 2026
Sequent Calculus
logic
sequent-calculus
May 10, 2026
Sequential Circuit
computer-architecture
May 10, 2026
Sequential Composition (Hoare Calculus)
hoare-calculus
May 10, 2026
Sequential Experience
artificial-intelligence
May 10, 2026
Serial Schedule (ACID)
acid
May 10, 2026
Series Circuit
electronics
May 10, 2026
Series
analysis
May 10, 2026
Semiconductor
physics
May 10, 2026
Semigroup
algebra
May 10, 2026
Semilinearity
linear-algebra
May 10, 2026
Semiring
algebra
May 10, 2026
Sensitivity
machine-learning
statistics
May 10, 2026
Sentential Form
languages
May 10, 2026
Separation of Duty
security
access-control
May 10, 2026
Sequence Diagram
uml
May 10, 2026
Self-Supervised Learning
machine-learning
unsupervised-learning
representation-learning
May 10, 2026
Self-Synchronising Stream Cipher
cryptography
May 10, 2026
Semantic
logic
May 10, 2026
Semaphore
operating-systems
concurrency
May 10, 2026
Semi Join (Relational Algebra)
relational-algebra
May 10, 2026
Semi-Decidable Decision Problem
computation
May 10, 2026
Semi-Dynamic Environment
artificial-intelligence
May 10, 2026
Semi-Supervised Learning
machine-learning
May 10, 2026
Segmentation
operating-systems
May 10, 2026
Segmented Least Squares Problem
computation
May 10, 2026
Selection (Relational Algebra)
relational-algebra
May 10, 2026
Selection Sort
sorting-algorithms
May 10, 2026
Self Awareness
philosophy
May 10, 2026
Self-Attention
machine-learning
transformers
attention
May 10, 2026
Self-Organising System
artificial-intelligence
May 10, 2026
Self-Replicating Program
computation
May 10, 2026
Self-Signed Certificate
cryptography
May 10, 2026
Second Normal Form
relational-algebra
May 10, 2026
Secure Channel
cryptography
May 10, 2026
Security (OS)
operating-systems
security
May 10, 2026
Security Design Principles
operating-systems
security
May 10, 2026
Security Policy
security
May 10, 2026
Security Question
security
May 10, 2026
Security Through Obscurity
security
May 10, 2026
Security
security
May 10, 2026
Schwarz's Theorem
vector-calculus
May 10, 2026
Scientific Paper
learning
May 10, 2026
Scrypt
cryptography
May 10, 2026
Scytale
cryptography
May 10, 2026
Search Problem
computation
May 10, 2026
Search Space
search
May 10, 2026
Search Strategy
search
May 10, 2026
Seccomp
operating-systems
security
May 10, 2026
Second Law of Thermodynamics
physics
thermodynamics
entropy
May 10, 2026
Schedule (ACID)
acid
May 10, 2026
Scheduling (OS)
operating-systems
scheduling
May 10, 2026
Scheduling Criteria
operating-systems
scheduling
May 10, 2026
Scheduling Levels
operating-systems
scheduling
May 10, 2026
Scheduling Metrics
operating-systems
scheduling
May 10, 2026
Schema (Relational Algebra)
relational-algebra
May 10, 2026
Schrödinger Equation
quantum-mechanics
quantum-computing
May 10, 2026
Scalar Field
linear-algebra
May 10, 2026
Scalar Multiplication
linear-algebra
May 10, 2026
Scalar
linear-algebra
May 10, 2026
Scale-Free Cognition
intelligence
May 10, 2026
Scale-Invariant Feature Transform
machine
May 10, 2026
Scaled Dot-Product Attention
machine-learning
transformers
attention
May 10, 2026
Scam
security
May 10, 2026
Scatterplot
plots
May 10, 2026
Sampling Variability
statistics
May 10, 2026
Satellite
satellites
May 10, 2026
Satisfiability Problem
computation
May 10, 2026
Satisfiable Formula
logic
May 10, 2026
Saved User ID (Unix)
operating-systems
security
May 10, 2026
Scala
programming-languages
May 10, 2026
Scalable Vector Graphics (SVG)
graphics
May 10, 2026
SakanaAI
labs
May 10, 2026
Salt (Security)
security
May 10, 2026
Salt and Pepper
security
cryptography
May 10, 2026
Same Output Problem
computation
May 10, 2026
Sample Complexity
machine-learning
learning-theory
May 10, 2026
Sample Mean
probability-theory
May 10, 2026
Sample Space
probability-theory
May 10, 2026
Sampling Distribution
statistics
May 10, 2026
Ruliad
computation
philosophy
May 10, 2026
Runtime
complexity-theory
May 10, 2026
Russell's Antimony
set-theory
May 10, 2026
Rust
programming-languages
May 10, 2026
S-Type Instruction (RISC-V)
risc-v
May 10, 2026
SELECT (SQL)
sql
May 10, 2026
SHA-256
cryptography
May 10, 2026
SHA-512
cryptography
May 10, 2026
SIMPLE Programming Language
computation
May 10, 2026
SR Latch
logic-circuits
May 10, 2026
Rotation Matrix
linear-algebra
May 10, 2026
Rouché–Capelli Theorem
linear-algebra
May 10, 2026
Round Robin (OS)
operating-systems
scheduling
May 10, 2026
Router
networks
May 10, 2026
Routing Table
networks
May 10, 2026
Rule of Sarrus
linear-algebra
May 10, 2026
Rulestring
cellular-automata
game-of-life
May 10, 2026
Rolle's Theorem
analysis
May 10, 2026
Root Certificate
cryptography
May 10, 2026
Root Criterion
analysis
May 10, 2026
Root Mean Squared Error
machine-learning
statistics
regression
May 10, 2026
Root Point
analysis
May 10, 2026
Root Tree Node
trees
May 10, 2026
Root of Unity
algebra
May 10, 2026
Root
math
May 10, 2026
Rooted Tree
trees
May 10, 2026
Rotary Positional Embedding
transformers
May 10, 2026
Risk
machine-learning
May 10, 2026
Rivest Cipher 4
cryptography
May 10, 2026
Rivest-Shamir-Adleman Algorithm
cryptography
May 10, 2026
Roaming
mobile-communication
May 10, 2026
Role (Security)
security
May 10, 2026
Role-based Access Control
security
May 10, 2026
Rigorous Two-Phase Locking (ACID)
acid
May 10, 2026
Rijndael Algorithm
cryptography
May 10, 2026
Ring List
data-structures
May 10, 2026
Ring Unit
algebra
May 10, 2026
Ring with 1
algebra
May 10, 2026
Ring
algebra
May 10, 2026
Ripple-Carry Adder
combinatorial-logic
May 10, 2026
Riesz Representation Theorem
linear-algebra
May 10, 2026
Right Outer Join (Relational Algebra)
relational-algebra
May 10, 2026
Right Reduction (Relational Algebra)
relational-algebra
May 10, 2026
Right Semi Join (Relational Algebra)
relational-algebra
May 10, 2026
Right Sequent
sequent-calculus
May 10, 2026
Right-Continuous Function
analysis
May 10, 2026
Right-Total Relation
set-theory
May 10, 2026
Right-sided Limit
analysis
May 10, 2026
Rhetorische Stilmittel (Deutsch)
May 10, 2026
Rice's Theorem
computation
languages
May 10, 2026
Riemann Hypothesis
mathematics
May 10, 2026
Riemann Sum
analysis
May 10, 2026
Riemann Zeta Function
analysis
May 10, 2026
Riemann's Integratability Criterion
analysis
todo
May 10, 2026
Riemann's Rearrangement Theorem
analysis
May 10, 2026
Resource Types (OS)
operating-systems
concurrency
May 10, 2026
Restic
linux
May 10, 2026
Return
reinforcement-learning
May 10, 2026
Reverse Krebs Cycle
biology
biochemistry
metabolism
May 10, 2026
Reverse Proxy
software-engineering
May 10, 2026
Revocation (Security)
security
May 10, 2026
Reward
reinforcement-learning
May 10, 2026
Rhetorische Frage (Deutsch)
german
May 10, 2026
Requirement
software-engineering
May 10, 2026
Resident Set Management
operating-systems
May 10, 2026
Residual Block
machine-learning
May 10, 2026
Residual Connection
machine-learning
May 10, 2026
Residual
machine-learning
statistics
May 10, 2026
Residue Class
algebra
May 10, 2026
Resolution Algorithm (Propositional Resolution)
propositional-logic
May 10, 2026
Resolution Inference Rule (Propositional Resolution)
propositional-logic
May 10, 2026
Relativsatz (Deutsch)
german
May 10, 2026
Relevance Realisation
neuroscience
May 10, 2026
Rename (Relational Algebra)
relational-algebra
May 10, 2026
Repetitio (Deutsch)
german
May 10, 2026
Replay Attack
cryptography
May 10, 2026
Representation Learning
machine-learning
unsupervised-learning
May 10, 2026
Regularisation
machine-learning
optimisation
May 10, 2026
Reinforcement Learning
machine-learning
May 10, 2026
Rejection Region
statistics
May 10, 2026
Relation (Relational Algebra)
relational-algebra
May 10, 2026
Relation
set-theory
May 10, 2026
Relational Algebra
relational-algebra
May 10, 2026
Relative Error
errors
May 10, 2026
Relative Extremum
analysis
May 10, 2026
Register Machine
computation
May 10, 2026
Register
operating-systems
May 10, 2026
Registration Authority
cryptography
May 10, 2026
Regression Testing
software-engineering
todo
May 10, 2026
Regression
machine-learning
supervised-learning
May 10, 2026
Regular Expression Syntax
regular-expressions
May 10, 2026
Regular Grammar
languages
May 10, 2026
Regular Language
languages
May 10, 2026
Regular Production Rule
languages
May 10, 2026
Reference Monitor
security
May 10, 2026
Reflection Attack
cryptography
May 10, 2026
Reflexivity
set-theory
May 10, 2026
Refutation (Propositional Resolution)
propositional-logic
resolution
proof-theory
May 10, 2026
Register (RISC-V)
risc-v
May 10, 2026
Register File
computer-architecture
May 10, 2026
Register Machine Program
computation
May 10, 2026
Reduced Context-Free Grammar
languages
May 10, 2026
Reduced Instruction Set Computing
computer-architecture
May 10, 2026
Reduction
computation
May 10, 2026
Reductionism
philosophy
May 10, 2026
Reductive Physicalism
philosophy
May 10, 2026
Redundant Array of Independent Disks
operating-systems
io
hardware
May 10, 2026
Reentry
neuroscience
May 10, 2026
Recurrent Neural Network
machine-learning
May 10, 2026
Recursion
computer-science
May 10, 2026
Recursive Data Structure
data-structures
May 10, 2026
Recursive Language
languages
May 10, 2026
Recursive Sequence
analysis
May 10, 2026
Recursive Trace Logic
cognition
May 10, 2026
Recursively Enumerable Language
automata-theory
languages
May 10, 2026
Red-Black Tree
trees
May 10, 2026
Redex (Lambda Calculus)
lambda-calculus
May 10, 2026
Realisability Assumption
machine-learning
learning-theory
May 10, 2026
Realisable PAC-Learnable Hypothesis Class
machine-learning
learning-theory
May 10, 2026
Reaper
security
history
May 10, 2026
Reasoning
neuroscience
cognition
May 10, 2026
Receiver Operator Characteristic
machine-learning
todo
May 10, 2026
Reciprocal Knowledge
neuroscience
May 10, 2026
Recoverable Schedule (ACID)
acid
May 10, 2026
Rectified Linear Unit
machine-learning
deep-learning
analysis
May 10, 2026
Read-only Memory
computer-architecture
memory
May 10, 2026
Reader-Writer Problem
operating-systems
concurrency
May 10, 2026
Reafference
neuroscience
May 10, 2026
Real Inner Product Space
linear-algebra
May 10, 2026
Real Number
number-theory
May 10, 2026
Real User ID (Unix)
operating-systems
security
May 10, 2026
Real Vector Space
linear-algebra
May 10, 2026
Real-Time Scheduling
operating-systems
scheduling
May 10, 2026
Real-Valued Function
analysis
May 10, 2026
Rapid Serial Visual Presentation
neuroscience
May 10, 2026
Rational Agent
artificial-intelligence
May 10, 2026
Rational Function
analysis
May 10, 2026
Rational Number
number-theory
algebra
May 10, 2026
Raw Moment
probability-theory
May 10, 2026
Rayleigh-Jeans Law
physics
thermodynamics
May 10, 2026
Reachable Code Problem
computation
May 10, 2026
Random Projection
machine-learning
dimensionality-reduction
probability
May 10, 2026
Random Sample
probability-theory
May 10, 2026
Random Variable Realisation
probability-theory
May 10, 2026
Random Variable
probability-theory
May 10, 2026
Random-Access Memory
computer-architecture
memory
May 10, 2026
Randomised Algorithm
computation
probability-theory
May 10, 2026
Range (Relation)
set-theory
May 10, 2026
Rank (Matrix)
linear-algebra
May 10, 2026
RISC-V
computer-architecture
risc-v
May 10, 2026
RNA Transfer
neuroscience
May 10, 2026
Race Condition
operating-systems
concurrency
May 10, 2026
Rademacher Complexity
machine-learning
learning-theory
statistics
May 10, 2026
Rainbow Table
security
cryptography
May 10, 2026
Ramification Problem
reasoning
May 10, 2026
Random Experiment
probability-theory
May 10, 2026
Quiescence Search
computation
May 10, 2026
Quine
computation
May 10, 2026
Quotient Criterion
analysis
May 10, 2026
Quotient Ring
algebra
May 10, 2026
Quotient Rule (Analysis)
analysis
May 10, 2026
R-Type Instruction (RISC-V)
risc-v
May 10, 2026
R
programming-languages
statistics
May 10, 2026
RISC-V Integer Register
risc-v
May 10, 2026
Quantum State
quantum-computing
May 10, 2026
Quantum Turing Machine
computing
quantum-computing
May 10, 2026
Quantum-Mechanical System
quantum-mechanics
quantum-computing
May 10, 2026
Quartile
statistics
May 10, 2026
Qubit
quantum-computing
May 10, 2026
Queen (Chess)
games
chess
May 10, 2026
Queue
data-structures
May 10, 2026
Quicksort
sorting-algorithms
May 10, 2026
Qualification Problem
reasoning
May 10, 2026
Quantifier
logic
May 10, 2026
Quantile Function
probability-theory
May 10, 2026
Quantile
probability-theory
May 10, 2026
Quantum Algorithm
quantum-computing
algorithms
May 10, 2026
Quantum Computer
quantum-computing
May 10, 2026
Quantum Computing
quantum-computing
May 10, 2026
Quantum Gate
quantum-computing
May 10, 2026
Quantum Mechanics
quantum-mechanics
May 10, 2026
Quantum Register
quantum-computing
May 10, 2026
Pythagorean Theorem
trigonometry
May 10, 2026
Python
programming-languages
May 10, 2026
Q-Function
reinforcement-learning
May 10, 2026
Q-Learning
reinforcement-learning
May 10, 2026
Quad-Precision Floating-Point Extension (RISC-V)
risc-v
May 10, 2026
Quadratic Formula
linear-algebra
May 10, 2026
Quadratic Function
linear-algebra
May 10, 2026
Quadrature Amplitude Modulation
signals
May 10, 2026
Qualia
philosophy
May 10, 2026
Pumping Lemma
languages
May 10, 2026
Pure Atom Property
propositional-logic
May 10, 2026
Pure Atom
propositional-logic
May 10, 2026
Pure Literal
logic
May 10, 2026
Pure Set
set-theory
May 10, 2026
Pushdown Automaton
computation
May 10, 2026
PyTorch
python
May 10, 2026
Psychoneural Identity Theory
philosophy
May 10, 2026
Public Key Certificate
cryptography
May 10, 2026
Public Key Infrastructure
cryptography
May 10, 2026
Public Key
cryptography
May 10, 2026
Public-Key Cryptography Standards Number 7
cryptography
May 10, 2026
Pulsar
game-of-life
May 10, 2026
Pumping Lemma (Context-free Languages)
languages
May 10, 2026
Pumping Lemma (Regular Languages)
languages
May 10, 2026
Protagoras
philosophy
May 10, 2026
Protection Domain
security
May 10, 2026
Protein Phosphorylation
neuroscience
May 10, 2026
Protocol Attack
cryptography
May 10, 2026
Provable Argument
logic
May 10, 2026
Pseudo-Polynomial Time Complexity
complexity-theory
May 10, 2026
Pseudoinstruction (RISC-V)
risc-v
May 10, 2026
Pseudorandom Function
cryptography
May 10, 2026
Psychology
psychology
May 10, 2026
Proposition
logic
May 10, 2026
Propositional Factoring Inference Rule
propositional-logic
May 10, 2026
Propositional Formula Position
logic
May 10, 2026
Propositional Formula
logic
May 10, 2026
Propositional Logic
logic
propositional-logic
May 10, 2026
Propositional Resolution Calculus
propositional-logic
May 10, 2026
Propositional Subformula
propositional-logic
May 10, 2026
Prometheus (Greek Mythology)
greek-mythology
May 10, 2026
Prompt Engineering
machine-learning
May 10, 2026
Proof Theory
proof-theory
May 10, 2026
Proof by Contradiction
proof-theory
May 10, 2026
Proof by Induction
proof-theory
May 10, 2026
Proof
type-theory
May 10, 2026
Proper Subset
set-theory
May 10, 2026
Property-based Testing
software-engineering
testing
May 10, 2026
Program Transition
program-proofing
May 10, 2026
Program
computation
May 10, 2026
Progress (Concurrency)
operating-systems
concurrency
May 10, 2026
Projection (Relational Algebra)
relational-algebra
May 10, 2026
Projection Function (Recursion)
computation
May 10, 2026
Prolog
logic
programming-language
May 10, 2026
Prometheanism
philosophy
May 10, 2026
Production Rule
languages
May 10, 2026
Program Configuration
program-proofing
May 10, 2026
Program Counter
operating-systems
May 10, 2026
Program Proofing
program-proofing
May 10, 2026
Program Run
program-proofing
May 10, 2026
Program Semantics
program-proofing
May 10, 2026
Program State
program-proofing
May 10, 2026
Program Status Word
operating-systems
hardware
May 10, 2026
Process
operating-systems
May 10, 2026
Processor Core
computer-architecture
May 10, 2026
Processor Time
operating-systems
computation
May 10, 2026
Processor
operating-systems
hardware
computer-architecture
May 10, 2026
Producer-Consumer Problem
operating-systems
concurrency
May 10, 2026
Product Cipher
cryptography
May 10, 2026
Product Rule (Analysis)
analysis
May 10, 2026
Product Rule (Combinatorics)
combinatorics
May 10, 2026
Process Hierarchy
operating-systems
May 10, 2026
Process Image
operating-systems
May 10, 2026
Process State Model
operating-systems
May 10, 2026
Process Switch
operating-systems
May 10, 2026
Process Table
operating-systems
May 10, 2026
Process Termination
operating-systems
May 10, 2026
Process-Based Kernel
operating-systems
May 10, 2026
Problem Instance
computation
May 10, 2026
Problem
computation
May 10, 2026
Procedural Programming
programming
May 10, 2026
Procedure
computation
May 10, 2026
Process Control Block
operating-systems
May 10, 2026
Process Creation
operating-systems
May 10, 2026
Probability Density Function
math
probability
statistics
May 10, 2026
Probability Distribution
math
probability
statistics
May 10, 2026
Probability Mass Function
probability-theory
May 10, 2026
Probability Measure
probability-theory
measure-theory
May 10, 2026
Probability Space
probability-theory
May 10, 2026
Probability Theory
probability-theory
May 10, 2026
Probability
probability-theory
May 10, 2026
Probably Approximately Correct Learning
machine-learning
May 10, 2026
Principles of Software Testing
software-engineering
testing
May 10, 2026
Priority Inversion
operating-systems
concurrency
May 10, 2026
Priority Queue
data-structures
algorithms
May 10, 2026
Private Key
cryptography
May 10, 2026
Private Knowledge
neuroscience
May 10, 2026
Privilege Mode (RISC-V)
risc-v
May 10, 2026
Privilege Ring
operating-systems
computer-architecture
May 10, 2026
Privileged Instruction (RISC-V)
risc-v
May 10, 2026
Primitive Root
number-theory
May 10, 2026
Primitive-Recursive Function
computation
May 10, 2026
Principal Component Analysis
machine-learning
linear-algebra
statistics
dimensionality-reduction
May 10, 2026
Principia Mathematica
history-of-ai
May 10, 2026
Principle of Causality
philosophy
May 10, 2026
Principle of Explosion
logic
May 10, 2026
Principle of Maximum Expected Utility
utility-theory
May 10, 2026
Primary Process Table
operating-systems
May 10, 2026
Prime Attribute (Relational Algebra)
relational-algebra
May 10, 2026
Prime Factorisation
number-theory
May 10, 2026
Prime Number
number-theory
May 10, 2026
Primitive Recursion
computation
May 10, 2026
Preference (Utility Theory)
utility-theory
May 10, 2026
Prefix Adder
logic-circuits
May 10, 2026
Prefix Notation
languages
May 10, 2026
Prefrontal Cortex
brain
May 10, 2026
PrepaidHost
hosters
May 10, 2026
Presentation Layer (Layer 6)
networks
osi-model
todo
May 10, 2026
Prim's Algorithm
computation
graph-theory
algorithms
May 10, 2026
Primal Heuristic
search
heuristics
May 10, 2026
Primary Key
databases
May 10, 2026
Power Series
analysis
May 10, 2026
Power Set
set-theory
May 10, 2026
Pprof
software-engineering
May 10, 2026
Pre-Certificate
cryptography
May 10, 2026
Precision
machine-learning
classification
statistics
May 10, 2026
Precondition
program
May 10, 2026
Predicate
logic
May 10, 2026
Predicted Branch
computer-architecture
May 10, 2026
Positive Problem Instance
computation
May 10, 2026
Positive Semi-Definite Function
analysis
May 10, 2026
Positive Semi-Definite Symmetric Matrix
linear-algebra
May 10, 2026
Possession-based Authentication
security
May 10, 2026
Post-structuralism
philosophy
May 10, 2026
Postcondition
programming
May 10, 2026
Posterior Predictive Distribution
machine-learning
statistics
May 10, 2026
Postfix Notation
languages
May 10, 2026
Power Function
math
May 10, 2026
Power Law
math
May 10, 2026
Polynomially Related Encoding
complexity-theory
May 10, 2026
Port Aggregation Protocol
network-redundancy
May 10, 2026
Port
networks
May 10, 2026
Positional Encoding
machine-learning
May 10, 2026
Positive Definite Symmetric Matrix
linear-logic
May 10, 2026
Positive Definiteness
linear-algebra
May 10, 2026
Positive Geometry
particle-physics
cosmology
May 10, 2026
Positive Literal
logic
May 10, 2026
Polynomial Ring
algebra
May 10, 2026
Polynomial Space Complexity
complexity-theory
May 10, 2026
Polynomial Time Complexity
complexity-theory
May 10, 2026
Polynomial Time Reduction
complexity-theory
May 10, 2026
Polynomial-time Algorithm
computation
May 10, 2026
Polynomial-time Approximation Algorithm
computation
approximation
May 10, 2026
Polynomial-time Approximation Scheme
computation
May 10, 2026
Polynomial
algebra
May 10, 2026
Polymorphism
type-theory
May 10, 2026
Polynomial Balanced Binary Relation
complexity-theory
May 10, 2026
Polynomial Complexity Class
complexity-theory
May 10, 2026
Polynomial Decidable Binary Relation
complexity-theory
May 10, 2026
Polynomial Degree
algebra
May 10, 2026
Polynomial Function
analysis
May 10, 2026
Polynomial Kernel Function
machine-learning
statistics
nlp
May 10, 2026
Polynomial Regression
machine-learning
regression
statistics
May 10, 2026
Point-to-Point Protocol
network-protocols
May 10, 2026
Poisson Distribution
probability-theory
May 10, 2026
Polar Satellite
satellites
May 10, 2026
Polarity of Propositional Subformulas
logic
May 10, 2026
Policy
reinforcement-learning
May 10, 2026
Polyalphabetic Cipher
cryptography
May 10, 2026
Polygon
geometry
May 10, 2026
Polyhedral Compilation
compilers
May 10, 2026
Plane
todo
May 10, 2026
Planetoid
cosmology
May 10, 2026
Planning
artificial-intelligence
May 10, 2026
Platonic Representation Hypothesis
machine-learning
May 10, 2026
Platonic Space
philosophy
May 10, 2026
Platonism
philosophy
May 10, 2026
Pleonasmus (Deutsch)
german
May 10, 2026
Poincaré Conjecture
mathematics
May 10, 2026
Piece-wise Continuous Function
analysis
May 10, 2026
Pigeonhole Principle
combinatorics
May 10, 2026
Pipeline Stage
computer-architecture
May 10, 2026
Pipelined Hazard
computer-architecture
May 10, 2026
Pipelined Processor
computer-architecture
May 10, 2026
Plaintext
cryptography
May 10, 2026
Planarian
biology
May 10, 2026
Planary Graph
graph-theory
May 10, 2026
Planck's Constant
units
May 10, 2026
Phishing
security
May 10, 2026
Physical Layer (Layer 1)
networks
osi-model
todo
May 10, 2026
Physical Memory
operating-systems
May 10, 2026
Physical System
physics
quantum-mechanics
May 10, 2026
Physicalism
philosophy
May 10, 2026
Pi Calculus
computation
May 10, 2026
Pi-Hole
software
May 10, 2026
Piece-Wise Function
analysis
May 10, 2026
Permutation
discrete-math
May 10, 2026
Perpendicular Vector
linear-algebra
May 10, 2026
Personifikation (Deutsch)
german
May 10, 2026
Peterson's Algorithm
operating-systems
concurrency
May 10, 2026
Petri Net
automata-theory
distributed-systems
May 10, 2026
Phase (Cellular Automaton)
cellular-automata
May 10, 2026
Phenotype
biology
May 10, 2026
Philosophy
philosophy
May 10, 2026
Perceptron
machine-learning
May 10, 2026
Perceptual Inference
artificial-intelligence
May 10, 2026
Perfect Secrecy
cryptography
May 10, 2026
Permutation Invariance
math
May 10, 2026
Permutation Space
computation
May 10, 2026
Permutation with Repetition
combinatorics
May 10, 2026
Permutation without Repetition
combinatorics
May 10, 2026
Password
security
May 10, 2026
Path Coverage
software-engineering
testing
May 10, 2026
Path
graph-theory
May 10, 2026
Pattern-defeating Quicksort
sorting-algorithms
May 10, 2026
Pauli Matrix
linear-algebra
May 10, 2026
Peano Axioms
number-theory
May 10, 2026
Pearson Correlation Coefficient
probability-theory
May 10, 2026
Percentile
probability-theory
May 10, 2026
Perception
neuroscience
May 10, 2026
Passive Biometric Authentication
security
May 10, 2026
Passive Learning
machine-learning
May 10, 2026
Password Rotation
security
May 10, 2026
Password Storage in Unix
security
operating-systems
May 10, 2026
Password-Based Key Derivation Function 2
cryptography
security
May 10, 2026
Password-based Authentication
security
May 10, 2026
Password-based Key Derivation Function
cryptography
security
May 10, 2026
Partially Correct Program
program-proofing
May 10, 2026
Partially Differentiable Function
vector-calculus
May 10, 2026
Partially Observable Environment
artificial-intelligence
May 10, 2026
Partition (Set)
set-theory
May 10, 2026
Partition Problem
computation
May 10, 2026
Pass-through Parameter
programming
May 10, 2026
Passive Attack
security
May 10, 2026
Partial Fraction Decomposition
algebra
analysis
May 10, 2026
Partial Function
math
May 10, 2026
Partial Order
algebra
set-theory
May 10, 2026
Partial Relationship
databases
May 10, 2026
Partial Sum
analysis
May 10, 2026
Partially Correct Key (Cryptography)
cryptography
May 10, 2026
Parametric Polymorphism
type-theory
May 10, 2026
Parenthese (Deutsch)
german
May 10, 2026
Pareto Principle
productivity
May 10, 2026
Pars pro Toto (Deutsch)
german
May 10, 2026
Parse Tree
trees
computation
compilers
May 10, 2026
Parser Combinator
compilers
todo
May 10, 2026
Parseval's Identity
functional-analysis
May 10, 2026
Partial Derivative
analysis
May 10, 2026
Pancomputationalism
philosophy
May 10, 2026
Pandas
python
data-analysis
May 10, 2026
Panspermia
evolution
May 10, 2026
Paradoxical Combinator
lambda-calculus
combinators
May 10, 2026
Paradoxon (Deutsch)
german
May 10, 2026
Parallel Programming
programming
May 10, 2026
Parallelism (Computer Architecture)
computer-architecture
May 10, 2026
Page Replacement Policy
operating-systems
May 10, 2026
Page Table
operating-systems
May 10, 2026
Page
operating-systems
memory
May 10, 2026
Paging
operating-systems
May 10, 2026
Pairing Function
set-theory
May 10, 2026
Paleolithic
history
May 10, 2026
Palindrome
languages
May 10, 2026
PSPACE Complexity Class
complexity-theory
May 10, 2026
Package Diagram (UML)
uml
todo
May 10, 2026
Packet Switching
networking
May 10, 2026
Padding Algorithm
cryptography
May 10, 2026
Page Fault Frequency
operating-systems
May 10, 2026
Page Fault
operating-systems
May 10, 2026
P vs NP Problem
computation
May 10, 2026
P-MOS
electronics
transistors
mosfet
May 10, 2026
P-Value
statistics
May 10, 2026
PAC Learning
machine-learning
statistics
learning-theory
May 10, 2026
POSIX Extended Regular Expression
posix
regular-expressions
May 10, 2026
POSIX
linux
May 10, 2026
PQ Formula
linear-algebra
todo
May 10, 2026
Oscillator
cellular-automata
game-of-life
May 10, 2026
Outcome
probability-theory
May 10, 2026
Outer Join (Relational Algebra)
relational-algebra
May 10, 2026
Outer Vector Product
linear-algebra
May 10, 2026
Output Feedback Mode
cryptography
May 10, 2026
Overfitting
machine-learning
statistics
May 10, 2026
Overwatch
games
May 10, 2026
Oxymoron (Deutsch)
german
May 10, 2026
Orphan Process
operating-systems
May 10, 2026
Orthogonal Frequency-Division Multiple Access
mobile-communication
May 10, 2026
Orthogonal Frequency-Division Multiplex
mobile-communication
May 10, 2026
Orthogonal Matrix
linear-algebra
May 10, 2026
Orthogonal Projection
linear-algebra
May 10, 2026
Orthogonal Vector
linear-algebra
May 10, 2026
Orthonormal Basis
linear-algebra
May 10, 2026
Orthonormal System
linear-algebra
May 10, 2026
Oracle Turing Machine
computation
May 10, 2026
Orderability (Utility Theory)
utility-theory
May 10, 2026
Ordered Pair
set-theory
May 10, 2026
Ordinal Data
data-analysis
May 10, 2026
Ordinary Differential Equation
differential-equations
May 10, 2026
Ordinate
cartesian-coordinate-system
May 10, 2026
Organ
biology
May 10, 2026
Organisation-Validated Certificate
cryptography
May 10, 2026
Operation and Maintenance Center
mobile-communication
May 10, 2026
Operational Semantics
logic
verification
programming-languages
May 10, 2026
Operator
linear-algebra
May 10, 2026
Optimal Asymmetric Encryption Padding
cryptography
May 10, 2026
Optimal Objective Function
computation
May 10, 2026
Optimal Policy
reinforcement-learning
May 10, 2026
Optimal Solution
computation
May 10, 2026
Optimisation Problem
computation
May 10, 2026
Optimistic Heuristic
search
May 10, 2026
Open Interval
math
May 10, 2026
Open Set
analysis
May 10, 2026
Open Shortest Path First
network-protocols
May 10, 2026
Open-Endedness
evolution
computation
May 10, 2026
OpenID Connect
security
May 10, 2026
OpenRouter
cooperates
May 10, 2026
OpenSSL
networks
May 10, 2026
Operating Support Subsystem
mobile-communication
May 10, 2026
Operating System
operating-systems
May 10, 2026
Online Learning
machine-learning
May 10, 2026
Online Local Search
search
todo
May 10, 2026
Online Search
search
May 10, 2026
Ontology
philosophy
May 10, 2026
Open Authorisation 2.0
security
May 10, 2026
Open Ball
analysis
topology
May 10, 2026
Open Branch (Tableaux)
logic
tableaux
May 10, 2026
Open Design (Security)
security
May 10, 2026
Open Eulerian Line
graph-theory
May 10, 2026
On-Policy Value Function
reinforcement-learning
May 10, 2026
One-Hot Encoding
machine-learning
preprocessing
May 10, 2026
One-Time Password Generator
security
May 10, 2026
One-Time Password
security
May 10, 2026
One-Time-Pad
cryptography
May 10, 2026
One-sided Limit
analysis
May 10, 2026
Online Analytical Processing
data-warehouse
May 10, 2026
Online Data
machine-learning
May 10, 2026
Obsidian
philosophy
May 10, 2026
Occam's Razor
philosophy
May 10, 2026
Odd Function
linear-logic
May 10, 2026
Off-Policy Issue
reinforcement-learning
May 10, 2026
Offline Data
machine-learning
May 10, 2026
Offline Search
search
May 10, 2026
Offset Binary
numeric
May 10, 2026
On-Policy Action-Value Function
reinforcement-learning
May 10, 2026
Object (Category Theory)
category-theory
May 10, 2026
Object (OOP)
oop
May 10, 2026
Object (Security)
security
May 10, 2026
Object Coupling
oop
May 10, 2026
Object Diagram (UML)
uml
May 10, 2026
Object-Oriented Programming
programming
oop
May 10, 2026
Objective Function
computation
May 10, 2026
Number Sense
neuroscience
cognition
May 10, 2026
Number System
numeric
May 10, 2026
Numerator
algebra
May 10, 2026
Numerical Approximation
numeric
May 10, 2026
Numerical Data
data-analysis
May 10, 2026
Numerical Outcome
probability-theory
May 10, 2026
Numpy
python
May 10, 2026
OSI Model
networks
osi-model
May 10, 2026
Normed Vector Space
linear-algebra
May 10, 2026
Not a Number
numeric
May 10, 2026
NotebookLM
llms
May 10, 2026
Null (Relational Algebra)
relational-algebra
May 10, 2026
Null Hypothesis
statistics
May 10, 2026
Null Sequence
analysis
May 10, 2026
Number Representation
numeric
May 10, 2026
Norm
linear-algebra
May 10, 2026
Normal Distribution (Old)
probability-theory
May 10, 2026
Normal Equations
machine-learning
linear-algebra
optimisation
May 10, 2026
Normal Form (Lambda Calculus)
lambda-calculus
May 10, 2026
Normal Form (Turing Machine)
computation
May 10, 2026
Normal Order Reduction
lambda-calculus
May 10, 2026
Normal Subgroup
algebra
May 10, 2026
Normal Vector
linear-algebra
May 10, 2026
Normalisation (Relational Algebra)
databases
May 10, 2026
Nondeterministic Action
artificial-intelligence
May 10, 2026
Nondeterministic Finite Automaton
automata-theory
May 10, 2026
Nondeterministic Logarithmic Space Complexity Class
complexity-theory
May 10, 2026
Nondeterministic Polynomial Complexity Class
complexity-theory
May 10, 2026
Nondeterministic Polynomial Problem
computation
May 10, 2026
Nondeterministic Program Transition
program-proofing
May 10, 2026
Nondeterministic vs. Stochastic
statistics
May 10, 2026
Nondeterministic
statistics
May 10, 2026
Norm-Induced Metric Space
analysis
topology
May 10, 2026
Non-Terminal Symbol
languages
May 10, 2026
Non-Trivial Function Property
computation
May 10, 2026
Non-Trivial Language Property
languages
May 10, 2026
Non-Volatile Storage (ACID)
acid
May 10, 2026
Non-Zero Vector
linear-algebra
May 10, 2026
Non-functional Requirement
software-engineering
May 10, 2026
Non-reductive Physicalism
philosophy
May 10, 2026
Non-repudiation
security
May 10, 2026
Non-trivial Extensional Language Property
computation
May 10, 2026
Nonce
cryptography
May 10, 2026
Nominal Data
data-analysis
statistics
machine-learning
May 10, 2026
Non-Blocker
graph-theory
May 10, 2026
Non-Commutativity
algebra
May 10, 2026
Non-Life
biology
physics
philosophy
May 10, 2026
Non-Linearity
math
May 10, 2026
Non-Process Kernel
operating-systems
May 10, 2026
Non-Regular Dependency
languages
May 10, 2026
Non-Return-to-Zero
coding-theory
May 10, 2026
Neutral Element
algebra
May 10, 2026
Neutral Monism
philosophy
May 10, 2026
Nix
linux
nix
May 10, 2026
NixOS
linux
nix
May 10, 2026
Nixpkgs
linux
nix
May 10, 2026
No-Free-Lunch Theorem
machine-learning
May 10, 2026
NoSQL
databases
May 10, 2026
Nominal Abstract Datatype
programming
May 10, 2026
Nominal Abstraction (Programming)
programming
May 10, 2026
Network Interface Card
networks
May 10, 2026
Network Layer
networks
osi-model
May 10, 2026
Network Mask
May 10, 2026
Network Operating System
operating-systems
distributed-systems
May 10, 2026
Network Switching Subsystem
mobile-communication
May 10, 2026
Neumann Neighbourhood
game-of-life
May 10, 2026
Neural Cellular Automata
cellular-automata
May 10, 2026
Neural Cellular Automaton
cellular-automata
May 10, 2026
Neural Circuit
neuroscience
May 10, 2026
Neuron
neuroscience
May 10, 2026
Neuroscience
neuroscience
May 10, 2026
Natural Transformation
category-theory
May 10, 2026
Navier-Stokes Existence and Smoothness
mathematics
May 10, 2026
Near-Collisions Resistance
cryptography
May 10, 2026
Negation (Tableaux)
tableaux
May 10, 2026
Negation
boolean-algebra
logic
May 10, 2026
Negative Literal
logic
May 10, 2026
Negative Predictive Value
machine-learning
May 10, 2026
Neologismus (Deutsch)
german
May 10, 2026
Network (Graph)
graph-theory
May 10, 2026
Natural Join (Relational Algebra)
relational-algebra
May 10, 2026
Natural Key
databases
May 10, 2026
Natural Language Processing
machine-learning
May 10, 2026
Natural Logarithm
logarithms
May 10, 2026
Natural Number
number-theory
May 10, 2026
Natural Selection
evolution
May 10, 2026
Natural Semantics
logic
May 10, 2026
NP-hard Problem
computation
May 10, 2026
NVIDIA
cooperates
May 10, 2026
Naive Bayes
machine-learning
classification
statistics
May 10, 2026
Namespace
operating-systems
virtualisation
May 10, 2026
Naming
logic
propositional-logic
May 10, 2026
Narrowband Internet of Things
mobile-communication
May 10, 2026
Natural Deduction
logic
May 10, 2026
Natural Exponential Function
analysis
May 10, 2026
N-MOS
electronics
transistors
mosfet
May 10, 2026
N-Way Set Associative Cache
computer-architecture
memory
May 10, 2026
NAND
boolean-algebra
logic
May 10, 2026
NEXPTIME Complexity Class
complexity-theory
May 10, 2026
NOR
May 10, 2026
NP-Hard Optimisation Problem
computation
May 10, 2026
NP-Optimisation Problem
computation
May 10, 2026
NP-complete Problem
computation
May 10, 2026
Multitape Turing Machine
computation
May 10, 2026
Murphy's Law
philosophy
May 10, 2026
Mutant (Mutation Testing)
mutation-testing
May 10, 2026
Mutation Testing
software-engineering
May 10, 2026
Mutatis Mutandis
latin
May 10, 2026
Mutex
operating-systems
concurrency
May 10, 2026
Mutual Entailment
logic
May 10, 2026
Mutual Exclusion
operating-systems
concurrency
May 10, 2026
Mutualism
philosophy
May 10, 2026
Multiplex
communication
May 10, 2026
Multiplexer
combinatorial-logic
May 10, 2026
Multiplicative Conjunction (Linear Logic)
linear-logic
May 10, 2026
Multiplicative Disjunction (Linear Logic)
linear-logic
May 10, 2026
Multiplicative Inverse
algebra
May 10, 2026
Multiplicativity
algebra
May 10, 2026
Multiset
set-theory
May 10, 2026
Multi-Head Attention
machine-learning
attention
May 10, 2026
Multi-Label Classification
machine-learning
May 10, 2026
Multi-Layer Perceptron
machine-learning
deep-learning
May 10, 2026
Multi-factor Authentication
security
May 10, 2026
Multi-level Cache
computer-architecture
memory
May 10, 2026
Multiclass Classification
machine-learning
classification
statistics
May 10, 2026
Multiple Polynomial Regression
machine-learning
regression
statistics
May 10, 2026
Multiple Realisability
philosophy
May 10, 2026
Multiple-Input and Multiple-Output
networks
May 10, 2026
Mu Recursion
computation
May 10, 2026
Mu-Recursive Function
computation
May 10, 2026
MuBar Operator
computation
May 10, 2026
MuZero Operator
computation
May 10, 2026
Multi-Agent Environment
artificial-intelligence
May 10, 2026
Multi-Agent Reinforcement Learning
reinforcement-learning
May 10, 2026
Multi-Armed Bandit Problem
reinforcement-learning
todo
May 10, 2026
Multi-Cycle Processor (RISC-V)
computer-architecture
risc-v
May 10, 2026
Multi-Cycle Processor
computer-architecture
May 10, 2026
Moral
philosophy
May 10, 2026
Morin's Four Levels of Consciousness
philosophy
May 10, 2026
Morphism (Category Theory)
category-theory
May 10, 2026
Morphogenesis
biology
computation
May 10, 2026
Morphology
languages
May 10, 2026
Morphospace
biology
evolution
May 10, 2026
Most Significant Bit
numeric
May 10, 2026
Motte-and-Bailey Fallacy
informal-fallacy
May 10, 2026
Movie
entertainment
May 10, 2026
Monotonicity (Utility Theory)
utility-theory
May 10, 2026
Monotonicity of Entailment
logic
May 10, 2026
Monte Carlo Simulation
statistics
May 10, 2026
Monte Carlo Tree Search
reinforcement-learning
May 10, 2026
Moore Automaton
automata-theory
May 10, 2026
Moore Neighbourhood
game-of-life
May 10, 2026
Moore's Law
physics
May 10, 2026
Monolithic Kernel
operating-systems
May 10, 2026
Monomorphisation
type-theory
compilers
May 10, 2026
Monotone Function
analysis
May 10, 2026
Monotone Grammar
languages
May 10, 2026
Monotone Production Rule
languages
May 10, 2026
Monotone Sequence
analysis
May 10, 2026
Monotonic Replacement (Propositional Logic)
logic
propositional-logic
May 10, 2026
Module (Programming)
programming
May 10, 2026
Modus Ponens
logic
May 10, 2026
Molecular Computing
computation
May 10, 2026
Moment
probability-theory
May 10, 2026
Monad
category-theory
May 10, 2026
Monitor (OS)
operating-systems
concurrency
May 10, 2026
Monoalphabetic Cipher
cryptography
May 10, 2026
Monoid
algebra
May 10, 2026
Model-Based Reflex Agent
artificial-intelligence
May 10, 2026
Model-Checking Problem
computation
logic
May 10, 2026
Model-free Reinforcement Learning
reinforcement-learning
May 10, 2026
Modified Condition or Decision Coverage
software-engineering
testing
May 10, 2026
Modular Arithmetic
arithmetic
May 10, 2026
Modular Kernel
operating-systems
May 10, 2026
Modularisation Unit (Programming)
programming
May 10, 2026
Modularisation
programming
May 10, 2026
Mode Switch
operating-systems
May 10, 2026
Mode of Operation
cryptography
May 10, 2026
Mode
statistics
May 10, 2026
Model (Logic)
logic
May 10, 2026
Model (Machine Learning)
machine-learning
May 10, 2026
Model Compounding Error
reinforcement-learning
May 10, 2026
Model Context Protocol
machine-learning
llms
May 10, 2026
Minimum Vertex Cover
graph-theory
May 10, 2026
Minkowski Distance
machine-learning
statistics
distance-metric
May 10, 2026
Minkowski Space
special-relativity
May 10, 2026
Minor (Linear Algebra)
linear-algebra
May 10, 2026
Minority Criterion
analysis
May 10, 2026
Mitochondrion
biology
evolution
metabolism
May 10, 2026
Mnemonic
operating-systems
May 10, 2026
Mobile Communication
mobile-communication
May 10, 2026
Mobile Switching Center
mobile-communication
May 10, 2026
Mobile TAN
security
May 10, 2026
Minecraft
games
May 10, 2026
Minimal Set Cover Problem
computation
May 10, 2026
Minimal Spanning Tree
graph-theory
May 10, 2026
Minimal Vertex Cover Problem
computation
May 10, 2026
Minimax
statistics
May 10, 2026
Minimisation Problem
computation
May 10, 2026
Minimum Exposure (Security)
security
May 10, 2026
Minimum Trust (Security)
security
May 10, 2026
Minimum Vertex Cover Problem
graph-theory
computation
May 10, 2026
Microorganism
biology
May 10, 2026
Microsoft Outlook
software
May 10, 2026
Microsoft
cooperates
May 10, 2026
Millennium Prize Problems
mathematics
May 10, 2026
Miller-Rabin Test
cryptography
May 10, 2026
Min-Heap
data-structures
algorithms
May 10, 2026
Min-Max Scaling
data-analysis
May 10, 2026
Mind-Body Dualism
philosophy
May 10, 2026
Mind
philosophy
May 10, 2026
Metric Space
analysis
topology
May 10, 2026
Metric Travelling Salesman Problem
computation
May 10, 2026
Metric
analysis
geometry
May 10, 2026
Metropolis Criterion
search
todo
May 10, 2026
Microarchitecture
computer-architecture
May 10, 2026
Micrograd
machine-learning
May 10, 2026
Microkernel
operating-systems
May 10, 2026
Meta
cooperates
May 10, 2026
Metabolism
biology
May 10, 2026
Metacognition
neuroscience
cognition
May 10, 2026
Metafont
tex
May 10, 2026
Metal-Oxide-Semiconductor Field-Effect Transistor
electronics
May 10, 2026
Metapher (Deutsch)
german
May 10, 2026
Metaphysics
philosophy
May 10, 2026
Meter
units
May 10, 2026
Method (Programming)
programming
May 10, 2026
Merge Sort
sorting-algorithms
May 10, 2026
Message Authentication Code
cryptography
May 10, 2026
Message Passing (OS)
operating-systems
concurrency
May 10, 2026
Message Space (Cryptography)
cryptography
May 10, 2026
Meta Heuristic
heuristics
May 10, 2026
Meta Programming
programming
May 10, 2026
Meta Self-Awareness
philosophy
May 10, 2026
Meta-Learning
machine-learning
May 10, 2026
Memory Replacement Policy
computer-architecture
memory
May 10, 2026
Memory Requirement
complexity-theory
May 10, 2026
Memory System
computer-architecture
May 10, 2026
Memory Table
operating-systems
May 10, 2026
Memory
computer-architecture
memory
May 10, 2026
Mental Arithmetic
cognition
May 10, 2026
Mental Imagery
neuroscience
cognition
May 10, 2026
Mercer's Conditions
machine-learning
linear-algebra
May 10, 2026
Memory Leak
memory
May 10, 2026
Memory Locality
computer-architecture
memory
May 10, 2026
Memory Management Unit
operating-systems
May 10, 2026
Memory Management
operating-systems
May 10, 2026
Memory Partitioning
operating-systems
May 10, 2026
Memory Pointer
memory
May 10, 2026
Memory Protection
operating-systems
hardware
May 10, 2026
Medium-Earth Satellite
satellites
May 10, 2026
Melatonin
neuroscience
biology
May 10, 2026
Melissa
security
May 10, 2026
Mellin Transformation
analysis
May 10, 2026
Memory Access Stage
computer-architecture
May 10, 2026
Memory Access
computer-architecture
May 10, 2026
Memory Array
computer-architecture
memory
May 10, 2026
Memory Consolidation
sleep
neuroscience
May 10, 2026
Memory Controller
computer-architecture
memory
May 10, 2026
Mean Squared Error
machine-learning
May 10, 2026
Mean Value Theorem of Differential Calculus
analysis
May 10, 2026
Measurable Function
measure-theory
May 10, 2026
Measurable Set
measure-theory
May 10, 2026
Measurable Space
measure-theory
May 10, 2026
Measure Theory
measure-theory
May 10, 2026
Measure
measure-theory
May 10, 2026
Measurement (Quantum Computing)
quantum-computing
May 10, 2026
Median
statistics
todo
May 10, 2026
Maximum Likelihood Estimation
statistics
machine-learning
optimisation
May 10, 2026
Maximum Matching
graph-theory
May 10, 2026
Maximum Non-Blocker Problem
computation
May 10, 2026
Maximum Satisfiability Problem
computation
May 10, 2026
Maximum Trustworthiness (Security)
security
May 10, 2026
Maximum a Posteriori Estimation
statistics
machine-learning
optimisation
May 10, 2026
Mealy Automaton
automata-theory
May 10, 2026
Mean Absolute Error
machine-learning
statistics
regression
May 10, 2026
Mean Normalisation
data-analysis
May 10, 2026
Max-Heap
data-structures
algorithms
May 10, 2026
Max-Value Knapsack Problem
computation
May 10, 2026
Max-Value Knapsack
computation
May 10, 2026
Maximal Matching
graph-theory
May 10, 2026
Maximisation Problem
computation
May 10, 2026
Maximum Independent Set Problem
computation
May 10, 2026
Marvel Rivals
games
May 10, 2026
Matching
graph-theory
May 10, 2026
Mathematical Logic
logic
May 10, 2026
Mathematics
math
May 10, 2026
Matrix Exponential
linear-algebra
May 10, 2026
Matrix Multiplication
linear-algebra
May 10, 2026
Matrix Trace
linear-algebra
May 10, 2026
Matrix
linear-algebra
May 10, 2026
Matter
physics
May 10, 2026
Manifold Assumption
machine-learning
dimensionality-reduction
May 10, 2026
Manifold
topology
analysis
geometry
May 10, 2026
Many-One Reduction
computation
May 10, 2026
Map
data-structures
May 10, 2026
Markdown
software
May 10, 2026
Markov Chain
statistics
May 10, 2026
Markov Decision Process
reinforcement-learning
May 10, 2026
Markov Property
statistics
reinforcement-learning
May 10, 2026
Martin Kronegger
May 10, 2026
Makefile
software
May 10, 2026
Malleability (Cryptography)
cryptography
May 10, 2026
Malleable Encryption Algorithm
cryptography
May 10, 2026
Malware
operating-systems
security
malware
May 10, 2026
Mandatory Access Control
security
May 10, 2026
Manhattan Distance
geometry
May 10, 2026
Manhattan Norm
linear-algebra
May 10, 2026
Macro Virus
security
May 10, 2026
Magic Number
operating-systems
May 10, 2026
Magnetic Field
physics
electromagnetism
May 10, 2026
Magnitude Representation
neuroscience
cognition
May 10, 2026
Main Diagonal
linear-algebra
May 10, 2026
Main Memory
computer-architecture
memory
May 10, 2026
Main Theorem of Monotone Sequences
analysis
May 10, 2026
Majorant Criterion
analysis
May 10, 2026
Low-Rank Adaption
machine-learning
May 10, 2026
Lower Bound
analysis
May 10, 2026
Lutris
software
May 10, 2026
MAC Address
networks
May 10, 2026
MAC-then-Encrypt
cryptography
May 10, 2026
MD5
cryptography
May 10, 2026
MacLaurin Series
analysis
May 10, 2026
MacOS
operating-systems
May 10, 2026
Machine Learning
machine-learning
May 10, 2026
Machine Mode (RISC-V)
risc-v
May 10, 2026
Long-Term Memory
neuroscience
May 10, 2026
Longest Common Subsequence Problem
computation
May 10, 2026
Loop Coverage
software-engineering
testing
May 10, 2026
Loop Invariant
hoare-calculus
program-proofing
May 10, 2026
Loop Termination (Hoare Calculus)
hoare-calculus
program-proofing
May 10, 2026
Loss
machine-learning
May 10, 2026
Lottery
utility-theory
May 10, 2026
Low-Earth Satellite
satellites
May 10, 2026
Logical vs. Physical Address
operating-systems
hardware
May 10, 2026
Logistic Normal Distribution
probability-theory
May 10, 2026
Logistic Regression
machine-learning
classification
statistics
May 10, 2026
Logit
machine-learning
May 10, 2026
Logos
philosophy
May 10, 2026
Logspace Complexity Class
complexity-theory
May 10, 2026
Long Short-Term Memory
machine-learning
May 10, 2026
Logarithm
algebra
real-analysis
logarithms
May 10, 2026
Logarithmic Scale
May 10, 2026
Logarithmic Time Complexity
complexity-theory
May 10, 2026
Logging (ACID)
acid
May 10, 2026
Logic
logic
May 10, 2026
Logical Connective
logic
May 10, 2026
Logical Strength
logic
May 10, 2026
Living System
biology
artificial-life
cybernetics
May 10, 2026
Load Balancer
networks
May 10, 2026
Load Balancing Problem
computation
May 10, 2026
Local Beam Search
search
May 10, 2026
Local Maxima
analysis
May 10, 2026
Local Minima
analysis
May 10, 2026
Local Search
search
May 10, 2026
Lock-based Synchronisation (ACID)
acid
May 10, 2026
Log-Linear Attention
attention
May 10, 2026
Linux Distribution
linux
May 10, 2026
Linux Foundation
cooperates
May 10, 2026
Linux
operating-systems
linux
May 10, 2026
Lipschitz Continuity
analysis
May 10, 2026
Liquid Brain
brains
May 10, 2026
Liskov Substitution Principle
software-engineering
May 10, 2026
Literal
logic
May 10, 2026
Little-Endian
computer-architecture
memory
May 10, 2026
Livelock
operating-systems
May 10, 2026
Living Matter
biology
physics
May 10, 2026
Linear Mapping
linear-algebra
May 10, 2026
Linear Operator
linear-algebra
May 10, 2026
Linear Regression
statistics
regression
machine-learning
May 10, 2026
Linear Span
linear-algebra
May 10, 2026
Linear Subspace
linear-algebra
May 10, 2026
Linear System of Equation
linear-algebra
May 10, 2026
Linearity
algebra
May 10, 2026
Linearly Independent Basis
linear-algebra
May 10, 2026
Link Aggregation Control Protocol
network-redundancy
May 10, 2026
Linear Cryptanalysis
cryptography
May 10, 2026
Linear Data Structure
data-structures
May 10, 2026
Linear Dependence
linear-algebra
May 10, 2026
Linear Functional
linear-algebra
May 10, 2026
Linear Inequality
linear-algebra
May 10, 2026
Linear Kernel Function
machine-learning
statistics
May 10, 2026
Linear Layer
May 10, 2026
Linear Logic
logic
todo
May 10, 2026
Linear Algebra
linear-algebra
May 10, 2026
Linear Approximation
analysis
May 10, 2026
Linear Attention
attention
May 10, 2026
Linear Bounded Automaton
computation
May 10, 2026
Linear Classifier
machine-learning
classification
May 10, 2026
Linear Combination
linear-algebra
May 10, 2026
Linear Complexity
complexity-theory
May 10, 2026
Limine
boot-loaders
May 10, 2026
Limit (Function)
analysis
May 10, 2026
Limit (Sequence)
analysis
May 10, 2026
Limit (Vector)
vector-calculus
analysis
May 10, 2026
Limit Inferior
analysis
May 10, 2026
Limit Point
analysis
May 10, 2026
Limit Superior
analysis
May 10, 2026
Limit
analysis
May 10, 2026
Lemmatisation
data-analysis
May 10, 2026
Lemoine's Conjecture
number-theory
May 10, 2026
Let's Encrypt
cryptography
May 10, 2026
Levenshtein Distance
machine-learning
May 10, 2026
Lexer
compilers
May 10, 2026
Lexicographic Order
software-engineering
May 10, 2026
Liberalism
philosophy
May 10, 2026
Life
biology
evolution
computation
philosophy
May 10, 2026
Left Reduction (Relational Algebra)
relational-algebra
May 10, 2026
Left Semi Join (Relational Algebra)
relational-algebra
May 10, 2026
Left Sequent
sequent-calculus
May 10, 2026
Left-Total Relation
set-theory
May 10, 2026
Left-sided Limit
analysis
May 10, 2026
Leibniz Criterion
analysis
May 10, 2026
Lemma
logic
May 10, 2026
Least Common Multiple
number-theory
May 10, 2026
Least Privilege (Security)
security
May 10, 2026
Least Recently Used Memory Replacement Policy
computer-architecture
memory
May 10, 2026
Least Significant Bit
numeric
May 10, 2026
Leave-one-out Validation
machine-learning
May 10, 2026
Lebesgue Integral
measure-theory
analysis
May 10, 2026
Lebesgue-Integrable Complex-Valued Function
measure-theory
analysis
May 10, 2026
Left Outer Join (Relational Algebra)
relational-algebra
May 10, 2026
Lazy Evaluation
programming
May 10, 2026
Leaf Node
graph-theory
May 10, 2026
League of Legends
games
May 10, 2026
Lean
programming-languages
May 10, 2026
Learning Algorithm
machine-learning
May 10, 2026
Learning Element
artificial-intelligence
May 10, 2026
Learning Rate
machine-learning
optimization
May 10, 2026
Learning with Errors
cryptography
May 10, 2026
Learning
artificial-intelligence
May 10, 2026
Lattice Theory
lattice-theory
May 10, 2026
Lattice
algebra
May 10, 2026
Law of Excluded Middle
logic
May 10, 2026
Law of Large Numbers
statistics
May 10, 2026
Law of Total Probability
probability-theory
May 10, 2026
Layer Normalisation
machine-learning
May 10, 2026
Layered Kernel
operating-systems
May 10, 2026
Language Server Protocol
software-engineering
network-protocols
May 10, 2026
Language of a Decision Problem
computation
May 10, 2026
Laplace Expansion
linear-algebra
May 10, 2026
Large Language Model
machine-learning
May 10, 2026
Last In First Out
computation
May 10, 2026
Latent Space
machine-learning
May 10, 2026
Lattice Problem
post-quantum-cryptography
May 10, 2026
Lambda Abstraction (Programming)
programming
May 10, 2026
Lambda Abstraction
lambda-calculus
todo
May 10, 2026
Lambda Calculus
computation
lambda-calculus
May 10, 2026
Lambda Expression
lambda-calculus
May 10, 2026
Lambda Reduction
lambda-calculus
May 10, 2026
Lambda Variable
lambda-calculus
May 10, 2026
Lambert W Function
analysis
May 10, 2026
Language Concatenation
languages
May 10, 2026
Language Property
languages
May 10, 2026
L2 Regularisation
machine-learning
optimisation
May 10, 2026
L2 Space
analysis
functional-analysis
May 10, 2026
L3 Cache
computer-architecture
memory
May 10, 2026
LaTeX
tex
May 10, 2026
Label Space
machine-learning
May 10, 2026
Lagrange Multipliers
mathematics
analysis
optimisation
May 10, 2026
Lagrange Remainder
analysis
May 10, 2026
Kuratowski's Ordered Pair
set-theory
May 10, 2026
Kurtosis
statistics
May 10, 2026
L0 Norm
linear-algebra
May 10, 2026
L1 Cache
computer-architecture
memory
May 10, 2026
L1 Norm
linear-algebra
May 10, 2026
L1 Regularisation
machine-learning
optimisation
May 10, 2026
L2 Cache
computer-architecture
memory
May 10, 2026
L2 Norm
linear-algebra
May 10, 2026
Kolmogorov Machine
computation
May 10, 2026
Krebs Cycle
biology
biochemistry
metabolism
May 10, 2026
Krom Formula
logic
computation
May 10, 2026
Kronecker Delta
linear-algebra
May 10, 2026
Kruskal's Algorithm
computation
graph-theory
algorithms
May 10, 2026
Kubernetes
May 10, 2026
Kullback–Leibler Divergence
statistics
information-theory
probability
May 10, 2026
Keylogger
security
May 10, 2026
Kleene Star
languages
May 10, 2026
Klimax (Deutsch)
german
May 10, 2026
Knapsack Problem
computation
May 10, 2026
Knowledge-based Authentication
security
May 10, 2026
Knowledge
neuroscience
philosophy
May 10, 2026
Known Environment
artificial-intelligence
May 10, 2026
Kolmogorov Axioms
probability-theory
May 10, 2026
Kernel Stack
operating-systems
May 10, 2026
Kernel-Level Thread
operating-systems
May 10, 2026
Key (Cryptography)
cryptography
May 10, 2026
Key Candidate (Relational Algebra)
databases
May 10, 2026
Key Derivation Function
cryptography
May 10, 2026
Key Exchange Algorithm
cryptography
May 10, 2026
Key Generation Algorithm (Cryptography)
cryptography
May 10, 2026
Key Pair
cryptography
May 10, 2026
Key Space (Cryptography)
cryptography
May 10, 2026
Kernel (OS)
operating-systems
May 10, 2026
Kernel Function
machine-learning
linear-algebra
statistics
May 10, 2026
Kernel Matrix
machine-learning
May 10, 2026
Kernel Method
machine-learning
May 10, 2026
Kernel Mode
operating-systems
May 10, 2026
Kernel Perceptron
machine-learning
algorithms
kernel-methods
May 10, 2026
Kernel Proccess
operating-systems
May 10, 2026
Kernel Space
operating-systems
May 10, 2026
Just-in-time Compiler
compilers
May 10, 2026
Juxtaposition
algebra
May 10, 2026
K Combinator
lambda-calculus
May 10, 2026
Kardashev Scale
philosophy
May 10, 2026
Karp Reduction
computation
May 10, 2026
Kasiski Test
cryptography
May 10, 2026
Keep it simple stupid
security
May 10, 2026
Kernel (Algebra)
algebra
May 10, 2026
Javascript Object Notation
programming
May 10, 2026
Jellyfin
software
May 10, 2026
Jenkins
software-engineering
May 10, 2026
Jerk
May 10, 2026
Join (Relational Algebra)
relational-algebra
May 10, 2026
Join Distribution
statistics
May 10, 2026
Joint Probability Distribution
probability-theory
May 10, 2026
Joint Progress Diagram
operating-systems
concurrency
May 10, 2026
J-Type Instruction (RISC-V)
risc-v
May 10, 2026
JAX
python
May 10, 2026
JK Flip-Flop
logic-circuits
May 10, 2026
Jacobian Matrix
analysis
linear-algebra
May 10, 2026
Jacobian-Vector Product
machine-learning
calculus
linear-algebra
May 10, 2026
Java
programming-languages
May 10, 2026
JavaScript
programming-languages
May 10, 2026
Irrational Number
number-theory
May 10, 2026
Irreducible Polynomial
algebra
May 10, 2026
Isohypse
geometry
May 10, 2026
Isomorphism
algebra
May 10, 2026
Isotropic Rule
cellular-automata
May 10, 2026
Iterating Limit
vector-calculus
May 10, 2026
Iterating Local Search
search
May 10, 2026
Iterative Deepening Search
search
May 10, 2026
Iterative Improvement Algorithm
computation
May 10, 2026
Invariant Type Constructor
type-theory
May 10, 2026
Inverse Element
algebra
May 10, 2026
Inverse Function
math
May 10, 2026
Inverse Rule (Analysis)
analysis
May 10, 2026
Inverse Trigonometric Function
trigonometry
May 10, 2026
Invertible Function
math
May 10, 2026
Invertible Matrix
linear-algebra
May 10, 2026
Intra-Cluster Distance
machine-learning
May 10, 2026
Intracellular
neuroscience
May 10, 2026
Intractable Problem
computation
May 10, 2026
Intrusion Detection System
security
May 10, 2026
Intrusion Detection
operating-systems
security
May 10, 2026
Intrustion Prevention System
security
May 10, 2026
Intuitionistic Logic
logic
intuitionistic-logic
May 10, 2026
Invalid Argument
logic
May 10, 2026
Interrupt Handling
operating-systems
May 10, 2026
Intersection (Relational Algebra)
relational-algebra
May 10, 2026
Intersection
set-theory
May 10, 2026
Interval Graph
graph-theory
May 10, 2026
Interval Partition
analysis
May 10, 2026
Interval Scheduling Problem
computation
May 10, 2026
Interval
analysis
May 10, 2026
Internet Protocol Version 6
network-protocols
May 10, 2026
Internet Security Research Group (ISRG)
networks
May 10, 2026
Internet of Things
iot
May 10, 2026
Internet
networking
May 10, 2026
Interpretation (First-Order Logic)
logic
May 10, 2026
Interpretation (Propositional Logic)
propositional-logic
May 10, 2026
Interpretation
logic
May 10, 2026
Interpreter
languages
May 10, 2026
Interrupt (OS)
operating-systems
May 10, 2026
Internal Threat
security
May 10, 2026
International Conference for Representation Learning
machine-learning
May 10, 2026
Internet Control Message Protocol
network-protocols
May 10, 2026
Internet Corporation for Assigned Names and Numbers
standards
May 10, 2026
Internet Protocol (IP)
networks
May 10, 2026
Internet Protocol Security
network-security
May 10, 2026
Internet Protocol Version 4
network-protocols
May 10, 2026
Interaction Combinator
interation-calculus
May 10, 2026
Interaction Net
computation
May 10, 2026
Interior (Analysis)
analysis
May 10, 2026
Interior (Interval)
analysis
May 10, 2026
Interleaving Attack
cryptography
May 10, 2026
Intermediate Value Theorem
analysis
May 10, 2026
Intermezzo
music-theory
May 10, 2026
Internal Fragmentation
operating-systems
May 10, 2026
Intelligent Testing
software-engineering
testing
May 10, 2026
Intensional Function Property
computation
May 10, 2026
Intensional Language Property
languages
May 10, 2026
Inter-Cluster Distance
machine-learning
May 10, 2026
Inter-Process Communication
operating-systems
concurrency
May 10, 2026
Interaction Calculus
interation-calculus
May 10, 2026
Integration Testing
software-engineering
todo
May 10, 2026
Integration by Parts
analysis
May 10, 2026
Integration by Substitution
analysis
May 10, 2026
Integrity (Security)
security
May 10, 2026
Integrity Protection (Cryptography)
cryptography
May 10, 2026
Integrity Ring
algebra
May 10, 2026
Intel
cooperates
May 10, 2026
Intelligence Quotient
intelligence
May 10, 2026
Intelligence
intelligence
May 10, 2026
Integer Factorisation
mathematics
number-theory
cryptography
May 10, 2026
Integer Linear Programming
computation
May 10, 2026
Integer
number-theory
May 10, 2026
Integrable Function
analysis
May 10, 2026
Integral
analysis
todo
May 10, 2026
Integrated Deadlock Strategy
operating-systems
concurrency
May 10, 2026
Instruction Memory
computer-architecture
memory
processor-design
May 10, 2026
Instruction Set Architecture
computer-architecture
May 10, 2026
Instruction Set
computer-architecture
May 10, 2026
Instruction Trace
operating-systems
May 10, 2026
Instruction
operating-systems
May 10, 2026
Instructions Per Cycle
computer-architecture
May 10, 2026
Insulator
physics
May 10, 2026
Input Parameter
programming
type-theory
May 10, 2026
Input Space
machine-learning
May 10, 2026
Input Tape (Turing Machine)
computation
May 10, 2026
Insecure Channel
cryptography
May 10, 2026
Insertion Sort
sorting-algorithms
May 10, 2026
Instance Space
machine-learning
May 10, 2026
Institute of Electrical and Electronics Engineers
standards
May 10, 2026
Instruction (RISC-V)
risc-v
May 10, 2026
Instruction Cache
computer-architecture
memory
May 10, 2026
Injective Function
math
May 10, 2026
Injectivity
algebra
May 10, 2026
Inmarsat
satellites
May 10, 2026
Inner Product Space
linear-logic
May 10, 2026
Inner Product
linear-algebra
May 10, 2026
Inner Speech
neuroscience
cognition
May 10, 2026
Inner-Product-Induced Metric Space
analysis
topology
May 10, 2026
Inorder Traversal
trees
May 10, 2026
Information
information-theory
May 10, 2026
Informed Search
search
May 10, 2026
Inherence-based Authentication
security
May 10, 2026
Inherently Ambiguous Context-Free Language
languages
May 10, 2026
Inhibition
neuroscience
May 10, 2026
Initial State (Automata Theory)
automata-theory
May 10, 2026
Initialisation Vector
cryptography
May 10, 2026
Infinite Series
analysis
todo
May 10, 2026
Infinite Set
set-theory
May 10, 2026
Infinity
analysis
May 10, 2026
Infix Notation
languages
May 10, 2026
Inflection Point
analysis
May 10, 2026
Informal Fallacy
logic
argumentation
rhetoric
May 10, 2026
Information Flow Control
security
May 10, 2026
Information Theory
information-theory
May 10, 2026
Inductive Definition
logic
May 10, 2026
Inductive Reasoning
reasoning
May 10, 2026
Inequality
math
May 10, 2026
Inference (Machine Learning)
machine-learning
May 10, 2026
Inference Rule
logic
May 10, 2026
Infimum
analysis
set-theory
May 10, 2026
Infinite Cardinality
set-theory
May 10, 2026
Infinite Program Run
program-proofing
May 10, 2026
Indeterminate Form
math
May 10, 2026
Index Set
set-theory
May 10, 2026
Indicator Function
May 10, 2026
Indifference (Utility Theory)
utility-theory
May 10, 2026
Indirect Deadlock Prevention
operating-systems
concurrency
May 10, 2026
Indirect Proof
proof-theory
May 10, 2026
Induced Norm
linear-algebra
May 10, 2026
Induced Subgraph
graph-theory
May 10, 2026
Independent Event
probability-theory
May 10, 2026
Independent Feature Scaling
data-analysis
May 10, 2026
Independent Random Variable
probability-theory
May 10, 2026
Independent Set Problem
computation
May 10, 2026
Independent Set
graph-theory
May 10, 2026
Independently and Identically Distributed Random Variable
statistics
May 10, 2026
Imputation
data-analysis
preprocessing
statistics
May 10, 2026
In-Place Algorithm
computation
May 10, 2026
Incidence Graph
graph-theory
logic
sat-solving
May 10, 2026
Incident Response
security
May 10, 2026
Inclusion-Exclusion Principle
combinatorics
May 10, 2026
Increasing Monotone Function
analysis
May 10, 2026
Indefinite Integral
analysis
May 10, 2026
Immediate (RISC-V)
risc-v
May 10, 2026
Implication (Hoare Calculus)
hoare-calculus
May 10, 2026
Implication (Tableaux)
tableaux
May 10, 2026
Implication Graph
computation
May 10, 2026
Implication
formula
May 10, 2026
Implicit Differentiation
analysis
May 10, 2026
Improper Limit Point
analysis
May 10, 2026
Improperly Convergent Sequence
analysis
May 10, 2026
Identity Combinator
lambda-calculus
combinators
May 10, 2026
Identity Functor
category-theory
May 10, 2026
Identity Matrix
linear-algebra
May 10, 2026
Identity Operator
linear-algebra
May 10, 2026
Identity of a Subject
security
May 10, 2026
If-Then-Else
boolean-algebra
May 10, 2026
Image Data
data-analysis
todo
May 10, 2026
Imaginary Unit
complex-numbers
May 10, 2026
Imitation Learning
reinforcement-learning
May 10, 2026
IO Buffering
operating-systems
io
May 10, 2026
IO Functions (OS)
operating-systems
io
May 10, 2026
IO Management (OS)
operating-systems
io
May 10, 2026
IS-A Relation
databases
todo
May 10, 2026
Idempotent Operator
linear-algebra
May 10, 2026
Identically Distributed Random Variable
probability-theory
May 10, 2026
Identification
security
May 10, 2026
Hypothesis Class
machine-learning
learning-theory
May 10, 2026
Hypothesis Test
statistics
May 10, 2026
Hyprland
wayland
May 10, 2026
I-Type Instruction (RISC-V)
risc-v
May 10, 2026
I.I.D. Assumption
statistics
machine-learning
May 10, 2026
IBM
cooperates
May 10, 2026
IO Architecture (OS)
operating-systems
io
May 10, 2026
Hyperparameter
machine-learning
optimisation
May 10, 2026
Hyperplane
linear-algebra
May 10, 2026
Hypertext Transfer Protocol
network-protocols
May 10, 2026
Hypervisor Mode (RISC-V)
risc-v
May 10, 2026
Hypervisor
virtualisation
May 10, 2026
Hypothesis (Machine Learning)
machine-learning
May 10, 2026
Hypothesis (Statistics)
statistics
May 10, 2026
Hume's Guillotine
philosophy
May 10, 2026
Hylomorphism
philosophy
May 10, 2026
Hyperbel (Deutsch)
german
May 10, 2026
Hyperbolic Tangent
math
analysis
deep-learning
May 10, 2026
Hyperedge
graph-theory
May 10, 2026
Hypergraph
graph-theory
May 10, 2026
Hyperharmonic Series
analysis
May 10, 2026
Hyperparameter Tuning
machine-learning
optimisation
May 10, 2026
Horizontal Scaling
distributed-systems
May 10, 2026
Horn Clause
logic
May 10, 2026
Horn Formula
logic
computation
May 10, 2026
Hot Standby Router Protocol
networks
May 10, 2026
Hot-Swappable Server Component
networks
May 10, 2026
Hugo
software
May 10, 2026
Homeostasis
biology
cybernetics
May 10, 2026
Homogeneity
algebra
May 10, 2026
Homoiconicity
programming
May 10, 2026
Homomorphism
category-theory
May 10, 2026
Homophilic Graph
graph-theory
May 10, 2026
Homophily
graph-theory
sociology
May 10, 2026
Horizon Effect
artificial-intelligence
game-theory
search-algorithm
May 10, 2026
Hitting Formula
logic
May 10, 2026
Hoare Calculus
hoare-calculus
May 10, 2026
Hoare Triple
logic
verification
hoare-calculus
May 10, 2026
Hodge Conjecture
mathematics
May 10, 2026
Home Location Register
mobile-communication
May 10, 2026
Home Manager
linux
nix
May 10, 2026
Hilbert's Hotel
set-theory
infinity
paradox
May 10, 2026
Hilbert's Problems
math
May 10, 2026
Hilbert's Programme
logic
math
May 10, 2026
Hill-Climbing
search
May 10, 2026
Hinge Loss
machine-learning
optimisation
statistics
May 10, 2026
Histogram of Oriented Gradients
machine-learning
May 10, 2026
Histogram
plots
May 10, 2026
Historisation
databases
May 10, 2026
Higher-Order Function
math
May 10, 2026
Higher-Order Logic
logicc
May 10, 2026
Higher-Order Thought Theory
philosophy
May 10, 2026
Highest Response Ratio Next
operating-systems
scheduling
May 10, 2026
Highly-Elliptical Satellite
satellites
May 10, 2026
Hilbert Calculus
hilbert-calculus
May 10, 2026
Hilbert Space
linear-algebra
May 10, 2026
Heterophilic Graph
graph-theory
May 10, 2026
Heuristic Search
search
May 10, 2026
Heuristic
computation
May 10, 2026
Hexadecimal System
numeric
May 10, 2026
Hierarchical Clustering
machine-learning
clustering
statistics
May 10, 2026
Hierholzer's Algorithm
computation
May 10, 2026
High Bandwidth Memory
computer-architecture
memory
May 10, 2026
High Dynamic Range
rendering
May 10, 2026
Hegelianism
philosophy
May 10, 2026
Heideggerianism
philosophy
May 10, 2026
Height-Balanced Tree
trees
May 10, 2026
Hereditary Set
set-theory
May 10, 2026
Hermitian Matrix
linear-algebra
May 10, 2026
Hermitian Operator
linear-algebra
May 10, 2026
Hertz
units
May 10, 2026
Hessian Matrix
analysis
linear-algebra
May 10, 2026
Haskell
programming-languages
May 10, 2026
Hasse Diagram
algebra
May 10, 2026
Heap (Data Structure)
data-structures
algorithms
May 10, 2026
Heap (OS)
operating-systems
May 10, 2026
Heartbleed
security
May 10, 2026
Hebbian Learning
neuroscience
machine-learning
May 10, 2026
Hegelian Dialectics
philosophy
May 10, 2026
Hash Map
data-structures
May 10, 2026
Hash Set
data-structures
May 10, 2026
Hash Table
data-structures
algorithms
May 10, 2026
Hash-and-Sign
cryptography
May 10, 2026
Hash-based Message Authentication Code
cryptography
May 10, 2026
Haskell Curry
May 10, 2026
Happy Number
math
May 10, 2026
Hard Disk
operating-systems
hardware
io
May 10, 2026
Hardware Authentication Token
security
May 10, 2026
Hardware Security Module
security
May 10, 2026
Hardware State Machine
computer-architecture
risc-v
May 10, 2026
Harmonic Number
analysis
May 10, 2026
Harmonic Sequence
analysis
May 10, 2026
Harmonic Series
analysis
May 10, 2026
Hash Function
data-structures
May 10, 2026
Half Adder
combinatorial-logic
May 10, 2026
Halting Problem
computation
May 10, 2026
Hamiltonian Graph
graph-theory
May 10, 2026
Hamiltonian Line
graph-theory
May 10, 2026
Hamiltonian Operator
linear-algebra
May 10, 2026
Hamiltonian Path Problem
computation
graph-theory
May 10, 2026
Handshaking Lemma
graph-theory
May 10, 2026
Group
algebra
May 10, 2026
Grouping and Aggregation (Relational Algebra)
relational-algebra
May 10, 2026
Groupoid
algebra
May 10, 2026
Grover's Search
quantum-computing
algorithms
May 10, 2026
Grub
boot-loaders
May 10, 2026
Gumbel-Softmax
machine-learning
May 10, 2026
Gödel Numbering
logic
computation
May 10, 2026
HTTP Strict Transport Security
networks
May 10, 2026
HTTP-01
acme
May 10, 2026
Greibach Normal Form
languages
May 10, 2026
Greyscale Image
images
May 10, 2026
Gricean Pragmatics
philosophy
May 10, 2026
Grok
llms
May 10, 2026
Group Homomorphism
algebra
May 10, 2026
Group Order
algebra
May 10, 2026
Group Relative Policy Optimisation
reinforcement-learning
May 10, 2026
Group Theory
group-theory
algebra
May 10, 2026
Group of Ring Units
algebra
May 10, 2026
Graph Density
graph-theory
May 10, 2026
Graph Isomorphism
graph-theory
May 10, 2026
Graph Neural Network
neural-networks
May 10, 2026
Graph Search Algorithm
search
May 10, 2026
Graph Theory
graph-theory
May 10, 2026
Graph-Reachability Problem
computation
May 10, 2026
Graph
graph-theory
May 10, 2026
Greatest Common Divisor
number-theory
May 10, 2026
Greedy Algorithm
computation
May 10, 2026
Green Thread
operating-systems
May 10, 2026
Gradient Descent
machine-learning
optimisation
calculus
May 10, 2026
Gradient-based Optimisation Algorithm
machine-learning
May 10, 2026
Gradient
analysis
May 10, 2026
Gram Matrix
linear-algebra
statistics
machine-learning
May 10, 2026
Gram-Schmidt Process
linear-algebra
May 10, 2026
Grammar
languages
May 10, 2026
Graph (Function)
set-theory
May 10, 2026
Graph Cellular Automaton
cellular-automata
May 10, 2026
Go (Game)
games
May 10, 2026
Go (Programming Language)
programming-languages
May 10, 2026
Goal-Based Agent
artificial-intelligence
May 10, 2026
Goldbach Conjecture
mathematics
May 10, 2026
Golden Ratio
math
May 10, 2026
Good Argument
logic
May 10, 2026
Google Deepmind
cooperates
May 10, 2026
Google
cooperates
May 10, 2026
Gradient Ascent
machine-learning
May 10, 2026
Gradient Checking
machine-learning
optimisation
calculus
May 10, 2026
Git
software
May 10, 2026
GitHub Flavoured Markdown
markdown
May 10, 2026
GitHub
cooperates
software
May 10, 2026
Gitea
software
May 10, 2026
Glider
game-of-life
May 10, 2026
Global System for Mobile Communication
mobile-communication
May 10, 2026
Global Workspace Theory
philosophy
May 10, 2026
Geometric Sequence
analysis
May 10, 2026
Geometric Series
analysis
May 10, 2026
Geostationary Satellite
satellites
May 10, 2026
German String
databases
May 10, 2026
Gestalt Thinking
psychology
cognition
May 10, 2026
Ghost
program-proofing
May 10, 2026
Gigabit Interface Converter
networks
May 10, 2026
Gini Index
machine-learning
statistics
May 10, 2026
Generalisation
machine-learning
intelligence
May 10, 2026
Generated Language
languages
May 10, 2026
Generation Time
search
May 10, 2026
Generative Learning
machine-learning
statistics
May 10, 2026
Genetic Algorithm
search
May 10, 2026
Genotype
biology
May 10, 2026
Geometric Distribution
probability-theory
May 10, 2026
Gaussian Elimination
linear-algebra
May 10, 2026
Gaussian Process
math
May 10, 2026
Gaussian Radial Basis Function
machine-learning
statistics
deep-learning
May 10, 2026
Gemini
llms
May 10, 2026
Gene Expression
neuroscience
May 10, 2026
Gene
neuroscience
May 10, 2026
Generalisation Bound
machine-learning
learning-theory
statistics
May 10, 2026
Generalisation Error
machine-learning
May 10, 2026
Game Theory
game-theory
May 10, 2026
Gamescope
games
May 10, 2026
Gamma Function
math
May 10, 2026
Gaussian Distribution
probability-theory
May 10, 2026
Functor
category-theory
May 10, 2026
Fundamental Theorem of Arithmetic
number-theory
May 10, 2026
Fundamental Theorem of Calculus
analysis
May 10, 2026
Fuzzy Testing
software-engineering
May 10, 2026
G-factor
psychology
May 10, 2026
Gaia Hypothesis
biology
ecology
May 10, 2026
Gale–Shapley Algorithm
computation
May 10, 2026
Galois-Counter Mode
cryptography
May 10, 2026
Function Space
functional-analysis
analysis
May 10, 2026
Function
algebra
set-theory
May 10, 2026
Functional Analysis
functional-analysis
May 10, 2026
Functional Completeness (Propositional Logic)
logic
propositional-logic
May 10, 2026
Functional Dependency (Relational Algebra)
relational-algebra
May 10, 2026
Functional Problem
computation
May 10, 2026
Functional Programming
programming
May 10, 2026
Functional Requirement
software-engineering
May 10, 2026
Functional
analysis
functional-analysis
May 10, 2026
Function (Programming)
programming
May 10, 2026
Function Codomain
math
May 10, 2026
Function Colouring
programming
May 10, 2026
Function Domain
math
May 10, 2026
Function Image
math
May 10, 2026
Function Limit
analysis
May 10, 2026
Function Property
computation
May 10, 2026
Full Functional Dependency (Relational Algebra)
relational-algebra
May 10, 2026
Full Outer Join (Relational Algebra)
relational-algebra
May 10, 2026
Fully Associative Cache
computer-architecture
memory
May 10, 2026
Fully Observable Environment
artificial-intelligence
May 10, 2026
Fully Polynomial-time Approximation Scheme
computation
May 10, 2026
Free Energy
physics
thermodynamics
biology
May 10, 2026
Free Space Management (OS)
operating-systems
file-management
May 10, 2026
Free Will
philosophy
May 10, 2026
Frege's Logic
logic
May 10, 2026
Frequency Hopping
mobile-communication
May 10, 2026
Frequency-Division Multiple Access
mobile-communication
May 10, 2026
Frequency
statistics
May 10, 2026
Friedman Test
cryptography
May 10, 2026
Full Adder
combinatorial-logic
May 10, 2026
Fraction
algebra
May 10, 2026
Fractional Part
math
May 10, 2026
Fragmentation
operating-systems
May 10, 2026
Frame (Networks)
networks
May 10, 2026
Frame (OS)
operating-systems
memory
May 10, 2026
Frame Problem
reasoning
May 10, 2026
Free Energy Principle
neuroscience
May 10, 2026
Formal Language
languages
May 10, 2026
Formula Position
logic
May 10, 2026
Formula Satisfaction Set
logic
May 10, 2026
Formula
logic
May 10, 2026
Forward Secrecy
cryptography
May 10, 2026
Fourier Series
analysis
functional-analysis
May 10, 2026
Fourier Transform
signals
May 10, 2026
Fractal
math
biology
complexity
May 10, 2026
Floating-Point Register (RISC-V)
risc-v
May 10, 2026
Floor
math
May 10, 2026
Flow Network
graph-theory
May 10, 2026
Floyd's Rule (Hoare Calculus)
hoare-calculus
May 10, 2026
Foreign Key
relational-algebra
May 10, 2026
Forest
graph-theory
May 10, 2026
Formal Fallacy
logic
May 10, 2026
Fixed-Point Number Representation
numeric
May 10, 2026
Fixed-Point Theorem (Lambda Calculus)
lambda-calculus
May 10, 2026
Flip-Flop
logic-circuits
May 10, 2026
Floating-Point Arithmetic
numeric
May 10, 2026
Floating-Point Instruction (RISC-V)
risc-v
May 10, 2026
Floating-Point Number Representation
numeric
May 10, 2026
First Normal Form
relational-algebra
May 10, 2026
First-Hop Redundancy Protocol
network-protocols
May 10, 2026
First-In-First-Out Memory Replacement Policy
computer-architecture
memory
May 10, 2026
First-Order Logic
logic
May 10, 2026
Fixed Point (Lambda Calculus)
lambda-calculus
May 10, 2026
Fixed Point
math
May 10, 2026
Fixed-Point Arithmetic
May 10, 2026
Fixed-Point Combinator
combinators
May 10, 2026
Fixed-Point Logic
logic
May 10, 2026
Finite Alphabet
languages
May 10, 2026
Finite Automaton
automata-theory
May 10, 2026
Finite Program Run
program-proofing
May 10, 2026
Finite Set
set-theory
May 10, 2026
Finite Turing Machine
computation
May 10, 2026
First Come First Served (OS)
operating-systems
scheduling
May 10, 2026
First In First Out
computation
May 10, 2026
First Law of Thermodynamics
physics
thermodynamics
May 10, 2026
File Management (OS)
operating-systems
file-management
May 10, 2026
File Organisation
operating-systems
file-management
May 10, 2026
File System Layout
operating-systems
file-management
May 10, 2026
File Table
operating-systems
May 10, 2026
File Type
operating-systems
file-management
May 10, 2026
Final Program Configuration
program-proofing
May 10, 2026
Fetch Stage
computer-architecture
May 10, 2026
Fibonacci Heap
data-structures
algorithms
graph-theory
May 10, 2026
Fibonacci Number
computation
May 10, 2026
Field
algebra
May 10, 2026
File Allocation
operating-systems
file-management
May 10, 2026
File Attributes
operating-systems
file-management
May 10, 2026
File Descriptor
operating-systems
May 10, 2026
File Directory
operating-systems
file-management
May 10, 2026
Feedback Scheduling
operating-systems
scheduling
May 10, 2026
Fermat's Little Theorem
number-theory
May 10, 2026
Fermi Paradox
philosophy
May 10, 2026
Ferranti Mark 1
computation
history
May 10, 2026
Ferranti Mark 2
computation
history
May 10, 2026
Fetch Policy
operating-systems
May 10, 2026
Family
set-theory
May 10, 2026
FastAPI
python
May 10, 2026
Fear-Condition Paradigm
psychology
May 10, 2026
Feasible Solution
computation
May 10, 2026
Feature Engineering
machine-learning
preprocessing
May 10, 2026
Feature Space (Machine Learning)
machine-learning
May 10, 2026
Feature Space (Probability Theory)
probability-theory
May 10, 2026
Factor-Delta Approximation Algorithm
computation
May 10, 2026
Factorial
discrete-math
May 10, 2026
Fail-Safe Defaults
computer-security
May 10, 2026
Fallacy
logic
argumentation
May 10, 2026
False Negative
machine-learning
May 10, 2026
False Positive
machine-learning
May 10, 2026
Falsity
logic
May 10, 2026
Extract Transform Load
data-warehouse
May 10, 2026
Extreme Value Theorem
analysis
May 10, 2026
F1 Score
machine-learning
May 10, 2026
F1-Score
machine-learning
classification
statistics
May 10, 2026
FSharp
programming-languages
May 10, 2026
Factor Group
algebra
May 10, 2026
Factor-Delta Approximate Solution
computation
approximation
May 10, 2026
Extended-Validation Certificate
cryptography
May 10, 2026
Extension Theorem
linear-algebra
May 10, 2026
Extensional Function Property
computation
May 10, 2026
Extensional Language Property
languages
May 10, 2026
External Fragmentation
operating-systems
May 10, 2026
External Threat
security
May 10, 2026
Exponential Search Space
computation
May 10, 2026
Exponential Series
analysis
May 10, 2026
Expression
compilers
May 10, 2026
Extended Church-Turing Thesis
computation
May 10, 2026
Extended Euclidean Algorithm
cryptography
May 10, 2026
Extended Greibach Normal Form
languages
May 10, 2026
Extended Transition Function
automata-theory
computer-science
May 10, 2026
Exploration Problem
reinforcement-learning
May 10, 2026
Exploratory Data Analysis
data-analysis
May 10, 2026
Exponential Complexity
complexity-theory
May 10, 2026
Exponential Distribution
probability-theory
May 10, 2026
Exponential Equation
math
May 10, 2026
Exponential Function
math
May 10, 2026
Experience
artificial-intelligence
May 10, 2026
Explanandum
philosophy
May 10, 2026
Explanans
philosophy
May 10, 2026
Exploding Gradient
machine-learning
May 10, 2026
Existence of Utility Function
utility-theory
May 10, 2026
Existential Quantifier
logic
May 10, 2026
Existentialism
philosophy
May 10, 2026
Expansion Point
analysis
May 10, 2026
Expansion Time
search
May 10, 2026
Expected Utility
utility-theory
May 10, 2026
Expected Value
probability-theory
May 10, 2026
Exchange Instruction
operating-systems
hardware
concurrency
May 10, 2026
Exclusive Lock (ACID)
aci
May 10, 2026
Exclusive-OR
May 10, 2026
Execute Stage
computer-architecture
May 10, 2026
Execution Mode
operating-systems
hardware
May 10, 2026
Execution within User Processes
operating-systems
May 10, 2026
Exempli Gratia
latin
May 10, 2026
Eventual Consistency
software-engineering
distributed-systems
May 10, 2026
Exact Algorithm
computation
May 10, 2026
Exact Cover Problem
computation
May 10, 2026
Exactly One of Two Reachable Code Problem
computation
May 10, 2026
Exafference
neuroscience
May 10, 2026
Exception (RISC-V)
risc-v
May 10, 2026
Euler's Totient Function
number-theory
May 10, 2026
Euler-Mascheroni Constant
analysis
May 10, 2026
Eulerian Graph
graph-theory
May 10, 2026
Eulerian Line
graph-theory
May 10, 2026
Euphemismus (Deutsch)
german
May 10, 2026
Evaluation (Machine Learning)
machine-learning
evaluation
statistics
May 10, 2026
Even Function
linear-algebra
May 10, 2026
Event (Probability Theory)
probability-theory
May 10, 2026
Euclidean Distance
geometry
May 10, 2026
Euclidean Norm
linear-algebra
May 10, 2026
Euclidean Space
geometry
linear-algebra
analysis
May 10, 2026
Eukaryote
biology
evolution
complexity
May 10, 2026
Euler's Formula
complex-numbers
May 10, 2026
Euler's Number
math
May 10, 2026
Euler's Theorem
number-theory
May 10, 2026
Equivalent Mutant (Mutation Testing)
mutation-testing
May 10, 2026
Equivalent Replacement (Propositional Logic)
logic
propositional-logic
May 10, 2026
Error-Driven Learning Algorithm
machine-learning
May 10, 2026
Estimator
probability-theory
May 10, 2026
Eta Reduction
lambda-calculus
May 10, 2026
EtherChannel
network-redundancy
May 10, 2026
Ethical AI
machine-learning
statistics
May 10, 2026
Ethical Hacking
security
May 10, 2026
Euclidean Algorithm
discrete-math
May 10, 2026
Equivalence (Tableaux)
tableaux
May 10, 2026
Equivalence Class
algebra
May 10, 2026
Equivalence Partitioning
software-engineering
testing
May 10, 2026
Equivalence Relation
algebra
May 10, 2026
Equivalence
logic
May 10, 2026
Episodic Experience
artificial-intelligence
May 10, 2026
Epsilon Neighbourhood (Scalar)
analysis
May 10, 2026
Epsilon Neighbourhood (Vector)
vector-calculus
analysis
May 10, 2026
Epsilon Production
languages
May 10, 2026
Equator
geography
May 10, 2026
Equi Join (Relational Algebra)
relational-algebra
May 10, 2026
Equisatisfiable Propositional Formula
logic
May 10, 2026
Entity-Attribute-Value Model
databases
May 10, 2026
Entity-Relationship Model
databases
May 10, 2026
Entropy
statistics
chaos-theory
May 10, 2026
Environment
artificial-intelligence
May 10, 2026
Ephemeral Diffie-Hellman
cryptography
May 10, 2026
Epimetheus (Greek Mythology)
greek-mythology
May 10, 2026
Epipher (Deutsch)
german
May 10, 2026
Epiphnomenalism
philosophy
May 10, 2026
Energy
May 10, 2026
Engram
neuroscience
May 10, 2026
Enhanced Mobile Broadband
mobile-communication
May 10, 2026
Ensemble Learning Algorithm
machine-learning
May 10, 2026
Entailment
logic
May 10, 2026
Entailment–Unsatisfiability Duality
logic
proof-theory
May 10, 2026
Entangled System
quantum-computing
May 10, 2026
Entanglement (Quantum Mechanics)
quantum-mechanics
May 10, 2026
Encryption Algorithm
cryptography
May 10, 2026
Encryption Scheme
cryptography
May 10, 2026
Encryption
cryptography
May 10, 2026
Endianness
computer-architecture
memory
May 10, 2026
Endofunctor
category-theory
May 10, 2026
Endogeny
biology
May 10, 2026
Endomorphism
category-theory
May 10, 2026
Empty Clause
logic
May 10, 2026
Empty Program (Hoare Calculus)
hoare-calculus
May 10, 2026
Empty String
languages
May 10, 2026
Encapsulation Security Payload
network-protocols
May 10, 2026
Encoder (Combinatorial Logic)
combinatorial-logic
May 10, 2026
Encoder (Machine Learning)
machine-learning
May 10, 2026
Encoder-Decoder
machine-learning
May 10, 2026
Encoding of a Turing Machine
computation
May 10, 2026
Encrypt-then-MAC
cryptography
May 10, 2026
Ellipse (Deutsch)
german
May 10, 2026
Emergence of Life
biology
evolution
May 10, 2026
Empirical Quantile
statistics
May 10, 2026
Empirical Risk Minimisation Algorithm
machine-learning
May 10, 2026
Empirical Risk Minimisation
machine-learning
May 10, 2026
Empirical Risk
machine-learning
statistics
May 10, 2026
Empirical Standard Deviation
statistics
May 10, 2026
Empirical Variance
statistics
May 10, 2026
Electric Circuit
electronics
May 10, 2026
Electromagnetic Radiation
physics
electromagnetism
May 10, 2026
Electronic Codebook Mode
cryptography
May 10, 2026
Electronic Discrete Variable Automatic Computer
computation
May 10, 2026
Electronic Numerical Integrator and Computer
computation
May 10, 2026
Elementary Event
probability-theory
May 10, 2026
Elementary Function
analysis
May 10, 2026
Elementary Matrix
linear-algebra
May 10, 2026
Efficient Polynomial-time Approximation Scheme
computation
May 10, 2026
Eigenspace
linear-algebra
May 10, 2026
Eigenvalue
linear-algebra
May 10, 2026
Eigenvector
linear-algebra
May 10, 2026
Einsum Notation
linear-algebra
May 10, 2026
EXPTIME Complexity Class
complexity-theory
May 10, 2026
Eager Evaluation
programming
May 10, 2026
Earth
cosmology
May 10, 2026
Edge Sequence
graph-theory
todo
May 10, 2026
Edge Weight
graph-theory
May 10, 2026
Edge
graph-theory
May 10, 2026
Effective User ID (Unix)
operating-systems
security
May 10, 2026
Dynamic Programming Algorithm
computation
May 10, 2026
Dynamic Programming
computation
May 10, 2026
Dynamic Random-Access Memory
computer-architecture
memory
May 10, 2026
Dynamic Stability
physics
biology
May 10, 2026
Dynamic Typing
type-theory
May 10, 2026
EAX Mode
cryptography
May 10, 2026
ETH Zurich
universities
May 10, 2026
Dreaming
neuroscience
May 10, 2026
Dual Heuristic
computation
heuristics
May 10, 2026
Dual Problem
optimisation
machine-learning
May 10, 2026
Dual Vector
linear-algebra
May 10, 2026
Duplex
communication
May 10, 2026
Dyck Language
languages
May 10, 2026
Dying ReLu Problem
machine-learning
May 10, 2026
Dynamic Binding
type-theory
May 10, 2026
Dynamic Environment
artificial-intelligence
May 10, 2026
Double Data Rate Synchronous Dynamic Random-Access Memory
computer-architecture
memory
May 10, 2026
Double Negation Elimination
logic
May 10, 2026
Double-Ended Queue
data-structures
computer-science
May 10, 2026
Double-Precision Floating-Point Extension (RISC-V)
risc-v
May 10, 2026
Doubly Linked List
data-structures
May 10, 2026
Dream
neuroscience
May 10, 2026
Domain-Validated Certificate
cryptography
May 10, 2026
Dominant Heuristic
search
May 10, 2026
Dominating Set Problem
computation
graph-theory
May 10, 2026
Dominating Set
graph-theory
May 10, 2026
Doppler Effect
physics
May 10, 2026
Dot Product
linear-algebra
May 10, 2026
Divide et impera
computer-science
May 10, 2026
Division (Relational Algebra)
relational-algebra
May 10, 2026
Docker
May 10, 2026
Domain (Relation)
set-theory
May 10, 2026
Domain Name System (DNS)
dns
todo
May 10, 2026
Domain-Specific Language
languages
May 10, 2026
Distributed System
operating-systems
distributed-systems
May 10, 2026
Distribution Function
probability-theory
May 10, 2026
Distribution
statistics
May 10, 2026
Distributive Lattice
algebra
May 10, 2026
Distributivity
algebra
May 10, 2026
Divergent Sequence
analysis
May 10, 2026
Divergent Series
analysis
May 10, 2026
Disjunctive Normal Form
logic
May 10, 2026
Disk Cache
operating-systems
io
May 10, 2026
Disk Scheduling (OS)
operating-systems
io
scheduling
May 10, 2026
Dispatcher
operating-systems
May 10, 2026
Distance-based Learning Algorithm
machine-learning
May 10, 2026
Distributed Operating System
operating-systems
distributed-systems
May 10, 2026
Distributed Programming
programming
May 10, 2026
Discrete Random Variable
probability-theory
May 10, 2026
Discrete Space
spaces
May 10, 2026
Discrete
math
May 10, 2026
Discretionary Access Control
security
May 10, 2026
Discretisation
data-analysis
May 10, 2026
Discriminative Learning
machine-learning
statistics
May 10, 2026
Disjunction (Tableaux)
tableaux
May 10, 2026
Disjunction
logic
May 10, 2026
Dirty Read
acid
May 10, 2026
Discord
apps
May 10, 2026
Discrete Distribution
probability-theory
May 10, 2026
Discrete Environment
artificial-intelligence
May 10, 2026
Discrete Logarithm
mathematics
number-theory
cryptography
May 10, 2026
Discrete Mathematics
math
May 10, 2026
Discrete Probability Space
probability-theory
May 10, 2026
Direct-Mapped Cache
computer-architecture
memory
May 10, 2026
Directed Acyclic Graph
graph-theory
May 10, 2026
Directed Graph
graph-theory
May 10, 2026
Directional Derivative
analysis
May 10, 2026
Directory Service
cryptography
May 10, 2026
Direkte Rede (Deutsch)
german
May 10, 2026
Dirichlet Function
math
May 10, 2026
Digital Subscriber Line
networks
May 10, 2026
Dijkstra's Algorithm
graph-theory
todo
May 10, 2026
Dimensionality Reduction
machine-learning
unsupervised-learning
May 10, 2026
Dining Philosophers Problem
operating-systems
concurrency
May 10, 2026
Diophantine Equation
number-theory
May 10, 2026
Direct Deadlock Prevention
operating-systems
concurrency
May 10, 2026
Difference (Relational Algebra)
relational-algebra
May 10, 2026
Differentiable Function
analysis
May 10, 2026
Differential Cryptanalysis
cryptography
May 10, 2026
Differential Quotient
analysis
May 10, 2026
Diffie-Hellman Key Exchange
cryptography
May 10, 2026
Diffusion
cryptography
May 10, 2026
Digital Circuit
computer-architecture
May 10, 2026
Digital Signature
cryptography
May 10, 2026
Deterministic Policy
reinforcement-learning
May 10, 2026
Deterministic Program Transition
program-proofing
May 10, 2026
Deterministic Turing Machine
computation
May 10, 2026
Deterministic
statistics
May 10, 2026
Diagonal Matrix
linear-algebra
May 10, 2026
Diagonalisable Matrix
linear-algebra
May 10, 2026
Diagonalisation
set-theory
May 10, 2026
Dictionary Attack
security
cryptography
May 10, 2026
Desiderata
latin
May 10, 2026
Design by Contract
programming
May 10, 2026
Determinant
linear-algebra
May 10, 2026
Determinisation
automata-theory
May 10, 2026
Deterministic Agent Function
artificial-intelligence
May 10, 2026
Deterministic Finite Automaton
automata-theory
May 10, 2026
Derivable Consequent
logic
May 10, 2026
Derivation (Propositional Resolution)
propositional-logic
resolution
proof-theory
May 10, 2026
Derivation (Tableaux)
tableaux
May 10, 2026
Derivative
analysis
May 10, 2026
Dense Graph
graph-theory
May 10, 2026
Dense Vector
linear-algebra
May 10, 2026
Density Transformation Theorem
probability-theory
May 10, 2026
Deoxyribonucleic Acid
biology
May 10, 2026
Depth-First Search
search
May 10, 2026
Depth-Limited Search
search
May 10, 2026
Delta Neighbourhood
analysis
May 10, 2026
Delta-Approximable NP-Hard Optimisation Problem
computation
approximation
May 10, 2026
Demand Paging
operating-systems
memory
May 10, 2026
Demultiplexer
combinatorial-logic
May 10, 2026
Dennard Scaling
semiconductors
May 10, 2026
Denominator
algebra
May 10, 2026
Definition-Use Pair
software-engineering
testing
May 10, 2026
Definition
logic
May 10, 2026
Degenerate Binary Tree
trees
May 10, 2026
Dekker's Algorithm
operating-systems
concurrency
May 10, 2026
Delegation (Security)
security
May 10, 2026
Deep Q-Network
reinforcement-learning
May 10, 2026
Default Encryption Standard
cryptography
May 10, 2026
Default Gateway
networks
May 10, 2026
Defense in Depth (Security)
security
May 10, 2026
Definite Integral
analysis
May 10, 2026
Deep Blue
artificial-intelligence
game-theory
search-algorithm
May 10, 2026
Deep Learning
artificial-intelligence
May 10, 2026
Deep Q-Learning
reinforcement-learning
May 10, 2026
Decoder (Combinatorial Logic)
combinatorial-logic
May 10, 2026
Decoder (Machine Learning)
machine-learning
May 10, 2026
Decomposability (Utility Theory)
utility-theory
May 10, 2026
Decreasing Monotone Function
analysis
May 10, 2026
Decryption Algorithm
cryptography
May 10, 2026
Decryption
cryptography
May 10, 2026
Deduction
logic
May 10, 2026
Deductive Logic
logic
May 10, 2026
Deep Artificial Neural Network
machine-learning
deep-learning
May 10, 2026
Decidable Language Property
computation
May 10, 2026
Decision Algorithm
computation
May 10, 2026
Decision Problem
computation
May 10, 2026
Decision Theory
decision-theory
May 10, 2026
Decision Tree
machine-learning
classification
regression
May 10, 2026
Decode Stage
computer-architecture
May 10, 2026
Deadlock Detection
operating-systems
concurrency
May 10, 2026
Deadlock Prevention
operating-systems
concurrency
May 10, 2026
Deadlock Recovery
operating-systems
concurrency
May 10, 2026
Deadlock
operating-systems
concurrency
May 10, 2026
Decadic Logarithm
logarithms
May 10, 2026
Decibel
units
May 10, 2026
Decidable Decision Problem
computation
May 10, 2026
Decidable Function Property
computation
May 10, 2026
Davis–Putnam–Logemann–Loveland Algorithm
propositional-logic
sat-solving
May 10, 2026
De Moivre's Theorem
complex-numbers
May 10, 2026
De Morgan's Rules
boolean-algebra
May 10, 2026
Dead Matter
physics
thermodynamics
May 10, 2026
Deadlock (ACID)
acid
May 10, 2026
Deadlock (Game)
games
May 10, 2026
Deadlock Avoidance
operating-systems
concurrency
May 10, 2026
Data Hiding
programming
May 10, 2026
Data Integrity
security
May 10, 2026
Data Link Layer
networks
osi-model
May 10, 2026
Data Memory
computer-architecture
May 10, 2026
Data Structure
data-structures
May 10, 2026
Data
data-analysis
May 10, 2026
Database Management System
databases
May 10, 2026
Database
databases
May 10, 2026
Dataset Splitting
machine-learning
statistics
May 10, 2026
Dataset
machine-learning
May 10, 2026
Data Analysis
data-analysis
May 10, 2026
Data Anomaly
databases
May 10, 2026
Data Availability
security
May 10, 2026
Data Cache
computer-architecture
memory
May 10, 2026
Data Encapsulation
programming
May 10, 2026
Data Hazard
computer-architecture
May 10, 2026
D Latch
logic-circuits
May 10, 2026
DNS-01
dns
acme
May 10, 2026
Dafny
programming-languages
May 10, 2026
Dangling Memory Pointer
memory
May 10, 2026
Dartmouth Workshop
artificial-intelligence
symbolic-ai
May 10, 2026
Darwinism
evolution
biology
computation
May 10, 2026
Currying
computation
May 10, 2026
Curse of Dimensionality
machine-learning
statistics
May 10, 2026
Cut
graph-theory
May 10, 2026
Cybernetics
cybernetics
May 10, 2026
Cycle (Graph)
graph-theory
algorithms
May 10, 2026
Cycle Notation
discrete-math
May 10, 2026
Cycles Per Instruction
computer-architecture
May 10, 2026
Cyclic Group
algebra
May 10, 2026
D Flip-Flop
logic-circuits
May 10, 2026
Cross-Attention
machine-learning
attention
todo
May 10, 2026
Cross-Entropy Loss
machine-learning
statistics
optimisation
May 10, 2026
Cross-Validation
machine-learning
statistics
May 10, 2026
Cryptographic Hash Function
cryptography
May 10, 2026
Cryptography
cryptography
May 10, 2026
Cumulative Distribution Function
probability-theory
May 10, 2026
Curriculum Learning
machine-learning
optimisation
May 10, 2026
Curry-Howard Correspondence
logic
type-theory
May 10, 2026
Craniopagus Twins
neuroscience
May 10, 2026
Credit Assignment Problem
reinforcement-learning
May 10, 2026
Creeper
security
history
May 10, 2026
Critical Brain Hypothesis
neuroscience
May 10, 2026
Critical Region
operating-systems
concurrency
May 10, 2026
Critical Section
operating-systems
concurrency
May 10, 2026
Croatian
languages
May 10, 2026
Cross Validation
machine-learning
May 10, 2026
Counter
logic-circuits
May 10, 2026
Counting Problem
complexity-theory
computation
May 10, 2026
Counting Quantifier
logic
May 10, 2026
Counting Semaphore
operating-systems
concurrency
May 10, 2026
Covariance
probability-theory
May 10, 2026
Covariant Type Constructor
type-theory
May 10, 2026
Cramer's Rule
linear-algebra
May 10, 2026
Coset
algebra
May 10, 2026
Cosine Law
trigonometry
May 10, 2026
Cosine Similarity
machine-learning
May 10, 2026
Cosine
trigonometry
May 10, 2026
Cosmic Dust
cosmology
May 10, 2026
Countable Set
set-theory
May 10, 2026
Counter Mode
cryptography
May 10, 2026
Counter with CBC-MAC
cryptography
May 10, 2026
Corollary
logic
May 10, 2026
Correct Argument
logic
May 10, 2026
Correct Many-One Reduction
computation
May 10, 2026
Correct Program
program-proofing
May 10, 2026
Correct Reduction
computation
May 10, 2026
Correct Symmetric Encryption Scheme
cryptography
May 10, 2026
Correctness Problem
computation
May 10, 2026
Correlation
statistics
May 10, 2026
Convex Region
analysis
topology
optimisation
May 10, 2026
Convex
math
May 10, 2026
Conway's Game of Life
cellular-automata
May 10, 2026
Cook Reduction
computation
May 10, 2026
Coprime
number-theory
May 10, 2026
Corank
algebra
May 10, 2026
Core War
games
programming
simulation
May 10, 2026
Control and Status Register (RISC-V)
risc-v
May 10, 2026
Convergence Criterion
analysis
May 10, 2026
Convergence Radius
analysis
May 10, 2026
Convergent Sequence
analysis
May 10, 2026
Convergent Series
analysis
May 10, 2026
Convex Function
statistics
analysis
optimisation
May 10, 2026
Continuously Partially Differentiable Function
vector-calculus
May 10, 2026
Contradiction
logic
May 10, 2026
Contrastive Learning
machine-learning
May 10, 2026
Contravariant Type Constructor
type-theory
May 10, 2026
Control Flow Graph
software-engineering
testing
May 10, 2026
Control Hazard
computer-architecture
May 10, 2026
Control Problem
computation
May 10, 2026
Control Unit
computer-architecture
May 10, 2026
Continuous Function
analysis
May 10, 2026
Continuous Mathematics
math
May 10, 2026
Continuous Probability Space
probability-theory
May 10, 2026
Continuous Random Variable
probability-theory
May 10, 2026
Continuous Space
spaces
May 10, 2026
Continuous State Space
search
May 10, 2026
Continuous
math
May 10, 2026
Context-Sensitive Language
computation
May 10, 2026
Context-Sensitive Production Rule
languages
May 10, 2026
Continual Learning
machine-learning
May 10, 2026
Continuity (Utility Theory)
utility-theory
May 10, 2026
Continuity Hypothesis
set-theory
May 10, 2026
Continuous Distribution
probability-theory
May 10, 2026
Continuous Environment
artificial-intelligence
May 10, 2026
Container
operating-systems
security
May 10, 2026
Containerisation
operating-systems
May 10, 2026
Context-Free Grammar
languages
May 10, 2026
Context-Free Language
languages
May 10, 2026
Context-Free Production Rule
languages
May 10, 2026
Context-Sensitive Grammar
languages
May 10, 2026
Consistent Heuristic
search
May 10, 2026
Consistent Hypothesis
machine-learning
learning-theory
May 10, 2026
Constant Difference Theorem
analysis
May 10, 2026
Constant Factor Rule (Analysis)
analysis
May 10, 2026
Constant Function (Recursion)
computation
May 10, 2026
Constant Function
analysis
May 10, 2026
Constant Time Complexity
complexity-theory
May 10, 2026
Constraint Satisfaction Problem
artificial-intelligence
May 10, 2026
Constrainted Longest Common Subsequence Problem
computation
May 10, 2026
Conjunction
logic
May 10, 2026
Conjunctive Normal Form
logic
May 10, 2026
Connected Graph
graph-theory
May 10, 2026
Conscious Access
philosophy
May 10, 2026
Conscious Agent Theory
cognition
consciousness
May 10, 2026
Consciousness
philosophy
May 10, 2026
Consequent
logic
May 10, 2026
Consistent Formula
logic
May 10, 2026
Conflicting Operation (ACID)
acid
May 10, 2026
Confusion Matrix
machine-learning
classification
statistics
May 10, 2026
Confusion
cryptography
May 10, 2026
Congruence
discrete-math
May 10, 2026
Conjugate Symmetry
algebra
May 10, 2026
Conjugate Transpose
linear-algebra
May 10, 2026
Conjunction (Tableaux)
tableaux
May 10, 2026
Confidentiality (Security)
security
May 10, 2026
Configuration (Turing Machine)
computation
May 10, 2026
Conflict Cache Miss
computer-architecture
memory
May 10, 2026
Conflict Equivalent Schedule
acid
May 10, 2026
Conflict Graph (ACID)
acid
May 10, 2026
Conflict Serialisable Schedule (ACID)
acid
May 10, 2026
Conflict-Driven Clause Learning
sat-solving
logic
May 10, 2026
Condition Synchronisation
operating-systems
concurrency
May 10, 2026
Condition Variable
operating-systems
concurrency
May 10, 2026
Conditional (Hoare Calculus)
hoare-calculus
May 10, 2026
Conditional Policy
security
May 10, 2026
Conditional Probability
probability-theory
May 10, 2026
Conditionally Convergent Series
analysis
May 10, 2026
Conductor
physics
May 10, 2026
Confidence Interval
statistics
May 10, 2026
Computronium
computation
physics
complexity
May 10, 2026
Concave Function
analysis
May 10, 2026
Concrete Computation
philosophy
May 10, 2026
Concurrency
programming
May 10, 2026
Concurrent Programming
programming
May 10, 2026
Concurrent Schedule (ACID)
acid
May 10, 2026
Condition Coverage
software-engineering
testing
May 10, 2026
Computable Partial Function
computation
May 10, 2026
Computable Total Function
computation
May 10, 2026
Computation
computation
May 10, 2026
Computational Dualism
philosophy
May 10, 2026
Computational Irreducibility
philosophy
computation
May 10, 2026
Computational Theory of Mind
philosophy
May 10, 2026
Computationalism
philosophy
May 10, 2026
Computer Architecture
computer-architecture
May 10, 2026
Computer Modern
fonts
May 10, 2026
Computer Science
computer-science
May 10, 2026
Computer System
computer-architecture
May 10, 2026
Compound Formula
logic
May 10, 2026
Comprehension Principle
set-theory
May 10, 2026
Compressed Instruction (RISC-V)
risc-v
May 10, 2026
Computable Encoding
computation
May 10, 2026
Computable Function
computation
May 10, 2026
Complex Number
algebra
complex-numbers
May 10, 2026
Complex Type
type-theory
May 10, 2026
Complex Vector Space
linear-algebra
May 10, 2026
Complex-Valued Function
complex-analysis
May 10, 2026
Complexity Class
complexity-theory
May 10, 2026
Complexity Theory
complexity-theory
May 10, 2026
Composition
algebra
May 10, 2026
Complete Program Run
program-proofing
May 10, 2026
Completeness Theorem of the Real Numbers
analysis
May 10, 2026
Complex Conjugate
complex-numbers
May 10, 2026
Complex Hilbert Space
linear-algebra
May 10, 2026
Complex Inner Product Space
linear-algebra
May 10, 2026
Complex Instruction Set Computing
computer-architecture
May 10, 2026
Complex Modulus
mathematics
complex-numbers
May 10, 2026
Complement Graph
graph-theory
May 10, 2026
Complete Bipartite Graph
graph-theory
May 10, 2026
Complete Calculus
logic
May 10, 2026
Complete Diameter Distance
machine-learning
May 10, 2026
Complete Linkage Distance
machine-learning
May 10, 2026
Complete Mediation (Security)
security
May 10, 2026
Complete Metric Space
linear-algebra
May 10, 2026
Comparator
logic-circuits
May 10, 2026
Compartmentalisation (Security)
security
May 10, 2026
Competency
intelligence
May 10, 2026
Compilation Unit
compilers
May 10, 2026
Compiler Explorer
software
compilers
May 10, 2026
Compiler
compilers
May 10, 2026
Complement (Set)
set-theory
May 10, 2026
Complement Complexity Class
complexity-theory
May 10, 2026
Common Vulnerability Scoring System
security
May 10, 2026
Common Weakness Enumeration
security
May 10, 2026
Communicability
graph-theory
May 10, 2026
Commutative Ring
algebra
May 10, 2026
Commutativity
algebra
May 10, 2026
Compact Metric Space
metric-spaces
May 10, 2026
Compact Set
analysis
topology
May 10, 2026
Compact Truth Table
logic
May 10, 2026
Combinatorial Logic Circuit
logic
May 10, 2026
Combinatorial Search Space
computation
May 10, 2026
Combinatoric Optimisation Problem
computation
May 10, 2026
Combinatorics
combinatorics
May 10, 2026
Common Intrusion Detection Framework
security
May 10, 2026
Common Knowledge
neuroscience
May 10, 2026
Common Vulnerabilities and Exposures
security
May 10, 2026
Cognitive Lightcone
intelligence
May 10, 2026
Coin Problem
computation
algorithms
optimisation
May 10, 2026
Collatz Conjecture
mathematics
May 10, 2026
Collective Intelligence
intelligence
May 10, 2026
Columnar Transposition
cryptography
May 10, 2026
Combination with Repetition
combinatorics
May 10, 2026
Combination without Repetition
combinatorics
May 10, 2026
Combinator
lambda-calculus
May 10, 2026
Coding Theory
coding-theory
May 10, 2026
Coefficient of Determination
machine-learning
statistics
May 10, 2026
Cofactor (Boolean Algebra)
boolean-algebra
May 10, 2026
Cofactor (Linear Algebra)
linear-algebra
May 10, 2026
Cofactor Matrix
linear-algebra
May 10, 2026
Coffman Conditions
operating-systems
concurrency
May 10, 2026
Cognition
neuroscience
May 10, 2026
Cognitive Architecture
neuroscience
cognition
May 10, 2026
Cobham-Edmonds Thesis
complexity-theory
May 10, 2026
Code (Coding Theory)
coding-theory
May 10, 2026
Code (Programming)
program
May 10, 2026
Code Language of a Function Property
computation
May 10, 2026
Code Language of a Language Property
computation
May 10, 2026
Codex
software
May 10, 2026
Closure (Analysis)
analysis
topology
May 10, 2026
Closure (Relational Algebra)
relational-algebra
May 10, 2026
Cloudflare
cooperates
May 10, 2026
Cluster (Machine Learning)
machine-learning
May 10, 2026
Cluster Assumption
machine-learning
May 10, 2026
Clustering Algorithm
machine-learning
May 10, 2026
Co Decision Problem
computation
May 10, 2026
Co Halting Problem
computation
May 10, 2026
Clock Rate
computer-architecture
May 10, 2026
Closed Branch (Tableaux)
logic
tableaux
May 10, 2026
Closed Edge Sequence
graph-theory
May 10, 2026
Closed Interval
math
May 10, 2026
Closed Quantum System
quantum-computing
May 10, 2026
Closed Set
analysis
topology
May 10, 2026
Closure (Algebra)
algebra
May 10, 2026
Cleaning Policy
operating-systems
May 10, 2026
Clip Function
math
May 10, 2026
Clique Problem
computation
graph-theory
May 10, 2026
Clique
graph-theory
May 10, 2026
Clock Cycle (Computer Architecture)
computer-architecture
May 10, 2026
Clock Edge
computer-architecture
May 10, 2026
Clock Period
computer-architecture
May 10, 2026
Classical Mechanics
mechanics
May 10, 2026
Classicalism
philosophy
May 10, 2026
Classification
machine-learning
supervised-learning
May 10, 2026
Claude
llms
May 10, 2026
Clausal Normal Form (Propositional Formula)
logic
propositional-logic
May 10, 2026
Clause
logic
May 10, 2026
Clay Mathematics Institute
mathematics
May 10, 2026
Circuit
electronics
logic
May 10, 2026
Circular Buffer
data-structures
May 10, 2026
Circular Wait
operating-systems
concurrency
May 10, 2026
Cisco
cooperates
May 10, 2026
Class (OOP)
oop
May 10, 2026
Class Cohesion
oop
May 10, 2026
Class Diagram (UML)
uml
todo
May 10, 2026
Classical Logic
logic
May 10, 2026
Cipher Feedback Mode
cryptography
May 10, 2026
Cipher Suite
cryptography
May 10, 2026
Cipher
cryptography
May 10, 2026
Ciphertext Space
cryptography
May 10, 2026
Ciphertext
cryptography
May 10, 2026
Circle
geometry
May 10, 2026
Circuit Breaker (Design Pattern)
software-engineering
May 10, 2026
Chomsky Normal Form
languages
May 10, 2026
Chomsky–Schützenberger Theorem
languages
May 10, 2026
Chroot
operating-systems
security
May 10, 2026
Church Encoding
lambda-calculus
todo
May 10, 2026
Church Numeral
lambda-calculus
May 10, 2026
Church-Turing Thesis
computation
May 10, 2026
Cipher Block Chaining Mode
cryptography
May 10, 2026
Chemical Reaction
chemistry
May 10, 2026
Chess
games
May 10, 2026
Chi-Squared Distribution
probability-theory
statistics
May 10, 2026
Chinese Room
philosophy
May 10, 2026
Chinese Wall Policy
security
access-control
May 10, 2026
Chisel
hardware-design
May 10, 2026
Chomsky Hierarchy
languages
May 10, 2026
Chain Rule
analysis
May 10, 2026
Chain of Thought
machine-learning
nlp
May 10, 2026
Challenge-Handshake Authentication Protocol
network-protocols
May 10, 2026
Challenge-Response Authentication
security
May 10, 2026
Chaos
chaos-theory
May 10, 2026
Characteristic Polynomial
linear-algebra
May 10, 2026
ChatGPT
software
May 10, 2026
Chebyshev Distance
geometry
May 10, 2026
Certificate (Complexity Theory)
complexity-theory
May 10, 2026
Certificate (DNS)
dns
todo
May 10, 2026
Certificate Authority
cryptography
May 10, 2026
Certificate Chain
cryptography
May 10, 2026
Certificate Policy
cryptography
May 10, 2026
Certificate Revocation List
cryptography
May 10, 2026
Certificate Transparency
cryptography
May 10, 2026
Cgroup
operating-systems
virtualisation
May 10, 2026
Causality
logic
May 10, 2026
Ceil
math
May 10, 2026
Cell (Neuroscience)
neuroscience
May 10, 2026
Cell
biology
May 10, 2026
Cellular Automaton
automata-theory
May 10, 2026
Central Limit Theorem
probability-theory
May 10, 2026
Central Moment
probability-theory
May 10, 2026
Centre Selection Problem
computation
algorithms
optimisation
May 10, 2026
Centroid Diameter Distance
machine-learning
May 10, 2026
Centroid
machine-learning
May 10, 2026
Category Theory
category-theory
May 10, 2026
Category
category-theory
May 10, 2026
Cauchy Criterion (Sequence)
analysis
May 10, 2026
Cauchy Criterion (Series)
analysis
May 10, 2026
Cauchy Product
analysis
May 10, 2026
Cauchy Sequence
analysis
May 10, 2026
Cauchy-Hadamard Theorem
analysis
May 10, 2026
Causal Attention
machine-learning
attention
May 10, 2026
Cartesian Coordinate System
linear-algebra
May 10, 2026
Cartesian Product (Relational Algebra)
relational-algebra
May 10, 2026
Cartesian Product
set-theory
May 10, 2026
Cascade Hashing
security
cryptography
May 10, 2026
Cascadeless Schedule (ACID)
acid
May 10, 2026
Cascading Rollback (ACID)
acid
May 10, 2026
Catastrophic Forgetting
machine-learning
May 10, 2026
Catastrophic Inference
machine-learning
May 10, 2026
Categorical Data
data-analysis
May 10, 2026
Cantor's Theorem
set-theory
May 10, 2026
Capabilities (Linux)
operating-systems
security
May 10, 2026
Capability List
security
May 10, 2026
Capability
security
May 10, 2026
Capacity Cache Miss
computer-architecture
memory
May 10, 2026
Cardinality Measure
math
May 10, 2026
Cardinality
set-theory
May 10, 2026
Carry-Lookahead Adder
logic-circuits
May 10, 2026
Cache Set
computer-architecture
memory
May 10, 2026
Cache Write-Hit
computer-architecture
memory
May 10, 2026
Cache Write-Miss
computer-architecture
memory
May 10, 2026
Cache
computer-architecture
memory
May 10, 2026
Caesar's Cipher
cryptography
May 10, 2026
Calculus
logic
proof-theory
May 10, 2026
Cancer
biology
todo
May 10, 2026
Canonical Basis
linear-algebra
May 10, 2026
Canonical Conjunctive Normal Form
boolean-algebra
May 10, 2026
CSS-Type Instruction (RISC-V)
risc-v
May 10, 2026
CVE Numbering Authority
security
May 10, 2026
Cache Associativity
computer-architecture
memory
May 10, 2026
Cache Miss Penalty
computer-architecture
memory
May 10, 2026
Cache Miss
computer-architecture
memory
May 10, 2026
Cache Replacement Policy
computer-architecture
memory
May 10, 2026
Cache Set Contention
computer-architecture
memory
May 10, 2026
CIW-Type Instruction (RISC-V)
risc-v
May 10, 2026
CJ-Type Instruction (RISC-V)
risc-v
May 10, 2026
CL-Type Instruction (RISC-V)
risc-v
May 10, 2026
COALESCE (SQL)
sql
May 10, 2026
CR-Type Instruction (RISC-V)
risc-v
May 10, 2026
CS'-Type Instruction (RISC-V)
risc-v
May 10, 2026
CS-Type Instruction (RISC-V)
risc-v
May 10, 2026
C+B Coverage
software-engineering
testing
May 10, 2026
C
programming-languages
May 10, 2026
CAP Theorem
distributed-systems
May 10, 2026
CB'-Type Instruction (RISC-V)
risc-v
May 10, 2026
CB-Type Instruction (RISC-V)
risc-v
May 10, 2026
CI-Type Instruction (RISC-V)
risc-v
May 10, 2026
Business Intelligence
data-warehouse
May 10, 2026
Busy Waiting
operating-systems
concurrency
May 10, 2026
Busy-Beaver Function
computation
May 10, 2026
Byte Pair Encoding
large-language-models
May 10, 2026
Byte-Addressable Memory
memory
May 10, 2026
Byte
numeric
May 10, 2026
Büchi Automaton
automata-theory
May 10, 2026
C++
programming-languages
May 10, 2026
Brozozowksi's Minimisation Algorithm
automata-theory
May 10, 2026
Brute-force Attack
security
cryptography
May 10, 2026
Brute-force Search Space
computation
May 10, 2026
Brute-force
computation
May 10, 2026
Bubble Sort
sorting-algorithms
May 10, 2026
Buddy System
operating-systems
algorithms
May 10, 2026
Build Management
software-engineering
May 10, 2026
Branch Instruction
computer-architecture
May 10, 2026
Branch Misprediction Penalty
computer-architecture
May 10, 2026
Branch Prediction
computer-architecture
May 10, 2026
Branch Predictor
computer-architecture
May 10, 2026
Branch and Bound
computation
May 10, 2026
Branching Factor
data-structures
May 10, 2026
Breadth-First Search
search
May 10, 2026
Brent's Hashing Algorithm
computation
May 10, 2026
Broadcasting (Tensor)
linear-algebra
May 10, 2026
Boyce-Codd Normal Form
relational-algebra
May 10, 2026
Bra-Ket Notation
linear-algebra
May 10, 2026
Brain
neuroscience
May 10, 2026
Brainfuck
programming-languages
May 10, 2026
Branch (Computer Architecture)
computer-architecture
May 10, 2026
Branch (Git)
git
May 10, 2026
Branch (Tableaux)
logic
tableaux
May 10, 2026
Branch Coverage
software-engineering
testing
May 10, 2026
Boosting
machine-learning
ensemble-learning
May 10, 2026
Border Gateway Protocol
network-protocols
May 10, 2026
Boundary (Analysis)
analysis
topology
May 10, 2026
Boundary Testing
software-engineering
testing
May 10, 2026
Bounded Function
analysis
May 10, 2026
Bounded Sequence
analysis
May 10, 2026
Bounded Waiting
operating-systems
concurrency
May 10, 2026
Boxplot
plots
May 10, 2026
Blowfish
cryptography
May 10, 2026
Boltzman Distribution
statistics
May 10, 2026
Boltzmann Constant
physics
May 10, 2026
Bolzano's Root Point Theorem
analysis
May 10, 2026
Bolzano–Weierstrass Theorem
analysis
May 10, 2026
Book
learning
May 10, 2026
Boolean Algebra
algebra
boolean-algebra
May 10, 2026
Boolean Function
boolean-algebra
May 10, 2026
Boolean Variable
logic
May 10, 2026
Black Box Testing
software-engineering
May 10, 2026
Blank Symbol (Turing Machine)
computation
May 10, 2026
Blinker
game-of-life
May 10, 2026
Block Cipher
cryptography
May 10, 2026
Block-Cipher-based Message Authentication Code
cryptography
May 10, 2026
Blocking (OS)
operating-systems
file-management
May 10, 2026
Blocky
software
May 10, 2026
Bloom Filter
data-structures
algorithms
probability
May 10, 2026
Biological Computation
biology
computation
May 10, 2026
Biological System
biology
May 10, 2026
Biometric Authentication
security
May 10, 2026
Biometry
security
May 10, 2026
Bipartite Graph
graph-theory
May 10, 2026
Birch and Swinnerton-Dyer Conjecture
mathematics
May 10, 2026
Bistable Circuit
logic-circuits
May 10, 2026
Bit
numeric
May 10, 2026
Black Body Radiation
physics
thermodynamics
May 10, 2026
Binary Semaphore
operating-systems
concurrency
May 10, 2026
Binary Tree Rotation
trees
May 10, 2026
Binary Tree
data-structures
May 10, 2026
Binomial Coefficient
combinatorics
May 10, 2026
Binomial Distribution
probability-theory
May 10, 2026
Binomial Theorem
combinatorics
May 10, 2026
Bioelectricity
biology
May 10, 2026
Binary Encoding
computation
May 10, 2026
Binary Linear Classifier
machine-learning
May 10, 2026
Binary Logarithm
logarithms
May 10, 2026
Binary Logical Connective
logic
May 10, 2026
Binary Number
numeric
May 10, 2026
Binary Relation
algebra
May 10, 2026
Binary Search Tree
trees
May 10, 2026
Bidirectional Search
search
May 10, 2026
Big O Notation
complexity-theory
todo
May 10, 2026
Big-Endian
computer-architecture
memory
May 10, 2026
Bijectivity
algebra
May 10, 2026
Bilinear Form
linear-algebra
May 10, 2026
Bin Packing Problem
computation
May 10, 2026
Binary Classification
machine-learning
May 10, 2026
Binary Classifier
machine-learning
May 10, 2026
Binary Decision Diagram
boolean-algebra
May 10, 2026
Bernoulli's Inequality
analysis
May 10, 2026
Bernoulli-L'Hôpital's Rule
analysis
calculus
May 10, 2026
Best Feasible Solution
computation
approximation
May 10, 2026
Best-case Runtime
complexity-theory
May 10, 2026
Beta Equivalence (Lambda Calculus)
lambda-calculus
May 10, 2026
Beta Reduction
lambda-calculus
May 10, 2026
Bias-Variance Tradeoff
machine-learning
statistics
May 10, 2026
Bias
machine-learning
May 10, 2026
Biased Estimator
probability-theory
May 10, 2026
Biba Model
security
integrity
May 10, 2026
Beispiel (Deutsch)
german
May 10, 2026
Bekenstein Bound
physics
May 10, 2026
Bell State
quantum-computing
May 10, 2026
Bell-LaPadula Model
operating-systems
security
May 10, 2026
Bellman's Principle of Optimality
computation
May 10, 2026
Berkeley Packet Filter
operating-systems
networking
May 10, 2026
Bernoulli Distribution
probability-theory
May 10, 2026
Bernoulli Experiment
statistics
May 10, 2026
Bernoulli Trial
probability-theory
May 10, 2026
Batch Normalisation
machine-learning
May 10, 2026
Bayes Optimal Classifier
machine-learning
statistics
learning-theory
May 10, 2026
Bayes Theorem
probability-theory
bayesian-statistics
May 10, 2026
Bayesian Learning Algorithm
machine-learning
statistics
May 10, 2026
Bayesian Network
graph-theory
statistics
machine-learning
May 10, 2026
Bee Hive
game-of-life
May 10, 2026
Behaviouralism
philosophy
May 10, 2026
Basal Cognition
biology
May 10, 2026
Base Station Controller
mobile-communication
May 10, 2026
Base Transceiver Station
mobile-communication
May 10, 2026
Baseline
machine-learning
evaluation
May 10, 2026
Basic Abstraction (Programming)
programming
May 10, 2026
Basic Block Coverage
software-engineering
testing
May 10, 2026
Basis Function
mathematics
machine-learning
regression
May 10, 2026
Basis Selection Lemma
linear-algebra
May 10, 2026
Basis Vector
linear-algebra
May 10, 2026
Batch Learning
machine-learning
May 10, 2026
Bacterium
biology
May 10, 2026
Bagging
machine-learning
ensemble-learning
May 10, 2026
Bahdanau Attention
machine-learning
attention
May 10, 2026
Bakery Algorithm
operating-systems
concurrency
May 10, 2026
Balanced Tree
trees
May 10, 2026
Banach Space
linear-algebra
May 10, 2026
Band Gap
physics
May 10, 2026
Banker's Algorithm
operating-systems
concurrency
May 10, 2026
Barrow Scale
philosophy
May 10, 2026
Average Memory Access Time
computer-architecture
May 10, 2026
Average-case Runtime
complexity-theory
May 10, 2026
Axiom
logic
May 10, 2026
Axiomatic Semantics
logic
May 10, 2026
B-Tree
trees
May 10, 2026
B-Type Instruction (RISC-V)
risc-v
May 10, 2026
BASE Transaction Model
databases
May 10, 2026
Backpropagation
machine-learning
optimisation
calculus
May 10, 2026
Backus-Naur Form
languages
May 10, 2026
Autonomous System Boundary Router
networks
May 10, 2026
Autonomous System
networks
May 10, 2026
Availability
security
May 10, 2026
Available Physical Memory
operating-systems
hardware
May 10, 2026
Avalanche Effect
cryptography
May 10, 2026
Average Diameter Distance
machine-learning
May 10, 2026
Average Linkage Distance
machine-learning
May 10, 2026
Authentication
security
May 10, 2026
Authenticity
security
May 10, 2026
Authorisation
security
May 10, 2026
Autoencoder
machine-learning
May 10, 2026
Automata Theory
automata-theory
May 10, 2026
Automated Certificate Management Environment
networks
dns
May 10, 2026
Automaton Equivalence
automata-theory
May 10, 2026
Automaton
automata-theory
May 10, 2026
Automorphism
algebra
May 10, 2026
Attention (Cognition)
neuroscience
cognition
May 10, 2026
Attention Deficit Hyperactivity Disorder
neuroscience
May 10, 2026
Attention
machine-learning
attention
May 10, 2026
Attribute (Relational Algebra)
relational-algebra
May 10, 2026
Attribute Closure (Relational Algebra)
relational-algebra
May 10, 2026
Austrian Society for Artificial Intelligence
organisations
May 10, 2026
Authenticated Encryption
cryptography
May 10, 2026
Authenticated Mode of Operation
cryptography
May 10, 2026
Authentication Header
network-protocols
security
May 10, 2026
Asymptote
math
May 10, 2026
Asymptotic Equivalence
analysis
algorithms
May 10, 2026
Atom
logic
May 10, 2026
Atomic Attribute (Relational Algebra)
relational-algebra
May 10, 2026
Atomic Formula
logic
May 10, 2026
Atomic Operation
complexity-theory
May 10, 2026
Atrophy
biology
May 10, 2026
Attack
security
May 10, 2026
Assertion
program-proofing
May 10, 2026
Associative Cache
computer-architecture
memory
May 10, 2026
Associativity
algebra
May 10, 2026
Asymmetric Cryptography
cryptography
May 10, 2026
Asymmetric Encryption Algorithm
cryptography
May 10, 2026
Asymmetric Encryption Scheme
cryptography
May 10, 2026
Asymmetric Signature Scheme
cryptography
May 10, 2026
Armstrong's Axioms
relational-algebra
May 10, 2026
Array
data-structures
May 10, 2026
Arrow
type-theory
May 10, 2026
Article
learning
May 10, 2026
Artificial Intelligence
artificial-intelligence
May 10, 2026
Artificial Life
artificial-intelligence
artificial-life
May 10, 2026
Artificial Neural Network
machine-learning
deep-learning
May 10, 2026
Ash
cellular-automata
May 10, 2026
Assembly
programming-languages
May 10, 2026
Aristotelianism
philosophy
May 10, 2026
Arithmetic Function
math
May 10, 2026
Arithmetic Logic Unit
logic-circuits
computer-architecture
May 10, 2026
Arithmetic Mean
statistics
May 10, 2026
Arithmetic Reasoning
neuroscience
cognition
May 10, 2026
Arithmetic Sequence
analysis
May 10, 2026
Arithmetic
arithmetic
May 10, 2026
Arity
logic
May 10, 2026
Archaea
biology
May 10, 2026
Archaismus (Deutsch)
german
May 10, 2026
Argmax
math
May 10, 2026
Argmin
math
May 10, 2026
Argon2
cryptography
May 10, 2026
Argument Type
type-theory
May 10, 2026
Argument
logic
May 10, 2026
Application Layer Gateway
networks
May 10, 2026
Application Layer
networks
osi-model
May 10, 2026
Applicative Programming
programming
May 10, 2026
Approximation Algorithm
computation
approximation
May 10, 2026
Approximation Problem
computation
approximation
May 10, 2026
Approximation Ratio
computation
approximation
May 10, 2026
Approximation Scheme
computation
May 10, 2026
Annotation Calculus
hoare-calculus
program-proofing
May 10, 2026
Antecedent
logic
May 10, 2026
Anti-Horn Clause
logic
May 10, 2026
Anti-Malware
security
May 10, 2026
Anti-Symmetry
algebra
May 10, 2026
Antidiagonal
linear-algebra
May 10, 2026
Antithese (Deutsch)
german
May 10, 2026
Apex Shape
algebra
quadratic-functions
May 10, 2026
Aplysia
biology
May 10, 2026
Anapher (Deutsch)
german
May 10, 2026
Anatomical Homeostasis
biology
cybernetics
regeneration
May 10, 2026
And-Or Tree
data-structures
May 10, 2026
Andrey Kolmogorov
May 10, 2026
Angle
trigonometry
May 10, 2026
Angstrom
units
May 10, 2026
Anime
entertainment
May 10, 2026
Animism
philosophy
May 10, 2026
Ambiguous Context-Free Grammar
languages
May 10, 2026
Amdahl's Law
computer-architecture
parallelism
May 10, 2026
American Standard Code for Information Interchange
coding-theory
May 10, 2026
Amortised Time Complexity
computation
May 10, 2026
Analysis
math
May 10, 2026
Analytic Function
analysis
May 10, 2026
Analytical Thinking
psychology
cognition
May 10, 2026
Alpha Reduction
lambda-calculus
May 10, 2026
Alpha-Beta Pruning
algorithm
game-theory
optimisation
May 10, 2026
Alpha-Test
statistics
May 10, 2026
Alphabet
languages
May 10, 2026
Alternating Series
analysis
May 10, 2026
Alternative Hypothesis
statistics
May 10, 2026
Algorithm
computation
May 10, 2026
Algorithmica
computation
May 10, 2026
Allegorie (Deutsch)
german
May 10, 2026
Alliteration (Deutsch)
german
May 10, 2026
Allocator
operating-systems
May 10, 2026
Almost All
analysis
set-theory
May 10, 2026
Almost Everywhere
measure-theory
analysis
May 10, 2026
Agent
artificial-intelligence
May 10, 2026
Ahead-of-time Compiler
compilers
May 10, 2026
Akkumulation (Deutsch)
german
May 10, 2026
Algebra
algebra
May 10, 2026
Algebraic Abstract Datatype
programming
May 10, 2026
Algebraic Structure
algebra
May 10, 2026
Algorithm Complexity
complexity-theory
May 10, 2026
Advanced Research Projects Agency Network
networking
history
May 10, 2026
Advanced Research Projects Agency
networking
May 10, 2026
Affine Combination
linear-algebra
May 10, 2026
Affine Linear
linear-algebra
May 10, 2026
Affine Subspace
linear-logic
May 10, 2026
Affine Superposition
linear-logic
May 10, 2026
Affine Transformation
math
May 10, 2026
Agency
intelligence
May 10, 2026
Adjoint Operator
linear-algebra
May 10, 2026
Adjugate Matrix
linear-algebra
May 10, 2026
Administrative Distance
networks
May 10, 2026
Admissible Heuristic
search
May 10, 2026
Advanced Encryption Standard
cryptography
May 10, 2026
Additive Disjunction (Linear Logic)
linear-logic
May 10, 2026
Additivity
linear-algebra
May 10, 2026
Address Resolution Protocol
networks
May 10, 2026
Addressing Loss of Plasticity and Catastrophic Forgetting in Continual Learning
May 10, 2026
Adelson-Velsky-Landis Tree
trees
May 10, 2026
Adjacency List
graph-theory
data-structures
May 10, 2026
Adjacency Matrix
graph-theory
data-structures
May 10, 2026
Adjacency Set
graph-theory
data-structures
May 10, 2026
Active Inference
artificial-intelligence
May 10, 2026
Active Learning
machine-learning
May 10, 2026
Active Process
operating-systems
May 10, 2026
Acyclic Graph
graph-theory
May 10, 2026
Ad Hominem
logic
informal-fallacy
May 10, 2026
Ad-hoc Polymorphism
type-theory
May 10, 2026
Additive Conjunction (Linear Logic)
linear-logic
May 10, 2026
Accurracy
machine-learning
May 10, 2026
Ackermann Function
computation
May 10, 2026
Action (Reinforcement Learning)
reinforcement-learning
May 10, 2026
Action Space
reinforcement-learning
May 10, 2026
Action
neuroscience
cognition
May 10, 2026
Activation
machine-learning
deep-learning
analysis
May 10, 2026
Active Attack
security
May 10, 2026
Active Biometric Authentication
security
May 10, 2026
Accepting State
automata-theory
May 10, 2026
Access Control List
security
May 10, 2026
Access Control
security
May 10, 2026
Access Matrix
security
May 10, 2026
Accountability
security
May 10, 2026
Accuracy
machine-learning
classification
statistics
May 10, 2026
Absolutely Convergent Function
analysis
May 10, 2026
Absolutely Convergent Series
analysis
May 10, 2026
Abstract Computation
philosophy
May 10, 2026
Abstract Machine
automata-theory
May 10, 2026
Abstraction (Programming)
programming
May 10, 2026
Abstraction Layer
abstraction
May 10, 2026
Abstraction Unit (Programming)
programming
May 10, 2026
Academic Quarter
academia
May 10, 2026
Accepted Language
automata-theory
May 10, 2026
Abel's Limit Theorem
analysis
May 10, 2026
Abelian Group
algebra
May 10, 2026
Abiogenesis
evolution
biology
computation
May 10, 2026
Abscissa
cartesian-coordinate-system
May 10, 2026
Absolute Error
errors
May 10, 2026
Absolute Extremum
analysis
May 10, 2026
Absolute Function
analysis
May 10, 2026
Absolute Maxima
analysis
May 10, 2026
Absolute Minima
analysis
May 10, 2026
2-Satisfiability Problem
computation
May 10, 2026
3-Colouring Problem
computation
May 10, 2026
3-Partition Problem
computation
May 10, 2026
3-Satisfiability Problem
computation
May 10, 2026
8-Puzzle
search
May 10, 2026
A-Star Search
search
May 10, 2026
ACID Transaction Model
databases
May 10, 2026
AMD
cooperates
May 10, 2026
ANSI-SPARC Architecture
databases
May 10, 2026
ARM
computer-architecture
May 10, 2026
2-Colouring Problem
computation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
Page 1 of 332