Lukas' Notes

❯

Folder: Knowledge

4027 items under this folder.

Jul 23, 2026

yescrypt

cryptography

Jul 23, 2026

zero (RISC-V)

risc-v

Jul 23, 2026

sys-socket.h

c

Jul 23, 2026

sys-types.h

c

Jul 23, 2026

t-distributed Stochastic Neighbour Embedding

machine-learning
unsupervised-learning
visualisation

Jul 23, 2026

t0-t6 (RISC-V)

risc-v

Jul 23, 2026

tinygrad

machine-learning

Jul 23, 2026

tp (RISC-V)

risc-v

Jul 23, 2026

unistd.h

c

Jul 23, 2026

vdirsyncer

software

Jul 23, 2026

vmap

machine-learning

Jul 23, 2026

write (C)

c

Jul 23, 2026

x86-64 Instruction

computer-architecture

Jul 23, 2026

x86-64

computer-architecture

Jul 23, 2026

x86

computer-architecture

Jul 23, 2026

xor (RISC-V)

risc-v

Jul 23, 2026

xori (RISC-V)

risc-v

Jul 23, 2026

sp (RISC-V)

risc-v

Jul 23, 2026

sra (RISC-V)

risc-v

Jul 23, 2026

srai (RISC-V)

risc-v

Jul 23, 2026

srl (RISC-V)

risc-v

Jul 23, 2026

srli (RISC-V)

risc-v

Jul 23, 2026

sscratch (RISC-V)

risc-v

Jul 23, 2026

stdbool.h

c
programming
c99

Jul 23, 2026

stdio.h

c

Jul 23, 2026

stdlib.h

c

Jul 23, 2026

strdup (C)

c

Jul 23, 2026

string.h

c

Jul 23, 2026

stvec (RISC-V)

risc-v

Jul 23, 2026

sub (RISC-V)

risc-v

Jul 23, 2026

sw (RISC-V)

risc-v

Jul 23, 2026

recv (C)

c

Jul 23, 2026

ret (RISC-V)

risc-v

Jul 23, 2026

s0 (RISC-V)

risc-v

Jul 23, 2026

s1 (RISC-V)

risc-v

Jul 23, 2026

s2-s11 (RISC-V)

risc-v

Jul 23, 2026

scause (RISC-V)

risc-v

Jul 23, 2026

semaphore.h

c

Jul 23, 2026

send (C)

c

Jul 23, 2026

sepc (RISC-V)

risc-v

Jul 23, 2026

setsockopt (C)

c

Jul 23, 2026

sll (RISC-V)

risc-v

Jul 23, 2026

slli (RISC-V)

risc-v

Jul 23, 2026

slt (RISC-V)

risc-v

Jul 23, 2026

socket (C)

c

Jul 23, 2026

n-fold Tensor Power

linear-algebra

Jul 23, 2026

n-gram

data-analysis

Jul 23, 2026

netdb.h

c

Jul 23, 2026

nix-ld

nix

Jul 23, 2026

nop (RISC-V)

risc-v

Jul 23, 2026

not (RISC-V)

risc-v

Jul 23, 2026

ntfy.sh

software

Jul 23, 2026

ntohl (C)

c

Jul 23, 2026

ntohs (C)

c

Jul 23, 2026

or (RISC-V)

risc-v

Jul 23, 2026

ori (RISC-V)

risc-v

Jul 23, 2026

pipe (C)

c

Jul 23, 2026

postMessage

web
security

Jul 23, 2026

ra (RISC-V)

risc-v

Jul 23, 2026

read (C)

c

Jul 23, 2026

mepc (RISC-V)

risc-v

Jul 23, 2026

micron

organisations

Jul 23, 2026

mmap (C)

c

Jul 23, 2026

mret (RISC-V)

risc-v

Jul 23, 2026

mscratch (RISC-V)

risc-v

Jul 23, 2026

mtvec (RISC-V)

risc-v

Jul 23, 2026

mv (RISC-V)

risc-v

Jul 23, 2026

n-Bit Branch Predictor

computer-architecture

Jul 23, 2026

n-Queens

games
computation

Jul 23, 2026

mcause (RISC-V)

risc-v

Jul 23, 2026

k-degenerate Graph

graph-theory

Jul 23, 2026

khal

software

Jul 23, 2026

lb (RISC-V)

risc-v

Jul 23, 2026

li (RISC-V)

risc-v

Jul 23, 2026

listen (C)

c

Jul 23, 2026

lui (RISC-V)

risc-v

Jul 23, 2026

lw (RISC-V)

risc-v

Jul 23, 2026

gp (RISC-V)

risc-v

Jul 23, 2026

grip

software

Jul 23, 2026

htonl (C)

c

Jul 23, 2026

htons (C)

c

Jul 23, 2026

j (RISC-V)

risc-v

Jul 23, 2026

jal (RISC-V)

risc-v

Jul 23, 2026

jalr (RISC-V)

risc-v

Jul 23, 2026

jr (RISC-V)

risc-v

Jul 23, 2026

k-Colouring Problem

computation

Jul 23, 2026

k-Fold Validation

machine-learning

Jul 23, 2026

k-Means Clustering

machine-learning
clustering
statistics

Jul 23, 2026

k-Nearest Neighbour

machine-learning
classification
regression

Jul 23, 2026

k-Partition Problem

computation
scheduling

Jul 23, 2026

k-Satisfiability Problem

computation
logic
sat

Jul 23, 2026

fsgnj (RISC-V)

risc-v

Jul 23, 2026

fsgnjn (RISC-V)

risc-v

Jul 23, 2026

fsgnjx (RISC-V)

risc-v

Jul 23, 2026

fsqrt (RISC-V)

risc-v

Jul 23, 2026

fsub (RISC-V)

risc-v

Jul 23, 2026

fsw (RISC-V)

risc-v

Jul 23, 2026

ft0-7 (RISC-V)

risc-v

Jul 23, 2026

ft8-11 (RISC-V)

risc-v

Jul 23, 2026

getaddrinfo (C)

c

Jul 23, 2026

gethostbyname (C)

c

Jul 23, 2026

getservbyname (C)

c

Jul 23, 2026

glibc

libraries

Jul 23, 2026

fs0-1 (RISC-V)

risc-v

Jul 23, 2026

fs2-11 (RISC-V)

risc-v

Jul 23, 2026

freeaddrinfo (C)

c

Jul 23, 2026

fmv.w.x (RISC-V)

risc-v

Jul 23, 2026

fmv.x.w (RISC-V)

risc-v

Jul 23, 2026

fnmadd (RISC-V)

risc-v

Jul 23, 2026

fnmsub (RISC-V)

risc-v

Jul 23, 2026

fork (C)

c

Jul 23, 2026

fprintf (C)

c

Jul 23, 2026

fa2-7 (RISC-V)

risc-v

Jul 23, 2026

fadd (RISC-V)

risc-v

Jul 23, 2026

fclass (RISC-V)

risc-v

Jul 23, 2026

fcntl.h

c

Jul 23, 2026

fcvt.s.w (RISC-V)

risc-v

Jul 23, 2026

fcvt.w.s (RISC-V)

risc-v

Jul 23, 2026

fdiv (RISC-V)

risc-v

Jul 23, 2026

feq (RISC-V)

risc-v

Jul 23, 2026

flake-utils

nix

Jul 23, 2026

fle (RISC-V)

risc-v

Jul 23, 2026

flt (RISC-V)

risc-v

Jul 23, 2026

flw (RISC-V)

risc-v

Jul 23, 2026

fmad (RISC-V)

risc-v

Jul 23, 2026

fmax (RISC-V)

risc-v

Jul 23, 2026

fmin (RISC-V)

risc-v

Jul 23, 2026

fmsub (RISC-V)

risc-v

Jul 23, 2026

compare_exchange_strong (C++)

computer-architecture
concurrency
cpp

Jul 23, 2026

compare_exchange_weak (C++)

concurrency
cpp

Jul 23, 2026

connect (C)

c

Jul 23, 2026

csrr (RISC-V)

risc-v

Jul 23, 2026

csrrw (RISC-V)

risc-v

Jul 23, 2026

csrw (RISC-V)

risc-v

Jul 23, 2026

dup (C)

c

Jul 23, 2026

dup2 (C)

c

Jul 23, 2026

effective Top-Level Domain

web
security

Jul 23, 2026

efibootmgr

linux

Jul 23, 2026

err.h

c

Jul 23, 2026

execv (C)

cc

Jul 23, 2026

fa0-1 (RISC-V)

risc-v

Jul 23, 2026

auipc (RISC-V)

risc-v

Jul 23, 2026

awk

software

Jul 23, 2026

beq (RISC-V)

risc-v

Jul 23, 2026

bff

computation
complexity
evolution

Jul 23, 2026

bge (RISC-V)

risc-v

Jul 23, 2026

bgez (RISC-V)

risc-v

Jul 23, 2026

bgt (RISC-V)

risc-v

Jul 23, 2026

bind (C)

c

Jul 23, 2026

blink.cmp

neovim

Jul 23, 2026

blt (RISC-V)

risc-v

Jul 23, 2026

bne (RISC-V)

risc-v

Jul 23, 2026

call (RISC-V)

risc-v

Jul 23, 2026

close (C)

c

Jul 23, 2026

Zero-One Loss

machine-learning
classification
learning-theory

Jul 23, 2026

Zeroeth Law of Thermodynamics

physics
thermodynamics

Jul 23, 2026

Zig

programming-languages

Jul 23, 2026

Zolmitriptan

medicine

Jul 23, 2026

Zombie Process

operating-systems

Jul 23, 2026

a0-a7 (RISC-V)

risc-v

Jul 23, 2026

accept (C)

c

Jul 23, 2026

add (RISC-V)

risc-v

Jul 23, 2026

addi (RISC-V)

risc-v

Jul 23, 2026

and (RISC-V)

risc-v

Jul 23, 2026

andi (RISC-V)

risc-v

Jul 23, 2026

Write-after-Read Dependency

computer-architecture

Jul 23, 2026

Write-after-Write Dependency

computer-architecture

Jul 23, 2026

XNOR

logic

Jul 23, 2026

XSS Sanitisation

web
security

Jul 23, 2026

XWayland

wayland

Jul 23, 2026

Xenobot

biology

Jul 23, 2026

Xenopus Laevis

biology

Jul 23, 2026

Y Combinator

lambda-calculus

Jul 23, 2026

Yang-Mills Existence and Mass Gap

mathematics

Jul 23, 2026

Yapit

software

Jul 23, 2026

Young's Rule (COMSOC)

comsoc

Jul 23, 2026

Z-Test

statistics

Jul 23, 2026

Zero Divider

algebra

Jul 23, 2026

Zero Sequence

analysis

Jul 23, 2026

Zero Vector

linear-algebra

Jul 23, 2026

Windows NT

operating-systems

Jul 23, 2026

Windows

operating-systems

Jul 23, 2026

Witch Hat Atelier

anime
entertainment

Jul 23, 2026

Without Loss of Generality

math

Jul 23, 2026

Word (Computing)

computation

Jul 23, 2026

Word (OS)

operating-systems

Jul 23, 2026

Word Problem

languages

Jul 23, 2026

Word-Addressable Memory

memory

Jul 23, 2026

Work Tape (Turing Machine)

computation

Jul 23, 2026

Working Memory

neuroscience
cognition

Jul 23, 2026

World Model

machine-learning

Jul 23, 2026

Worst-Case Complexity

complexity-theory

Jul 23, 2026

Wortspiel (Deutsch)

german

Jul 23, 2026

Write Ahead Logging (ACID)

acid

Jul 23, 2026

Write-Back Stage

computer-architecture

Jul 23, 2026

Weighted Majority Graph (COMSOC)

comsoc

Jul 23, 2026

Weighted Mean

math

Jul 23, 2026

Weisfeiler-Leman Algorithm

graph-theory
representation-learning

Jul 23, 2026

Weisfeiler-Leman Graph Kernel

graph-theory
kernel-methods
representation-learning

Jul 23, 2026

Weissman's Barrier

biology

Jul 23, 2026

Well-formed Formula

logic

Jul 23, 2026

Well-formed Propositional Formula

logic
propositional-logic

Jul 23, 2026

Well-formedness

logic

Jul 23, 2026

White Box Testing

software-engineering
todo

Jul 23, 2026

Whitehead Problem

set-theory
algebra

Jul 23, 2026

Whole-space Axiom (Sigma Algebra)

probability-theory

Jul 23, 2026

Wide Area Network

networks

Jul 23, 2026

Wien’s A pproximation

physics
thermodynamics

Jul 23, 2026

Wild Memory Pointer

memory

Jul 23, 2026

Weak Artificial Intelligence

artificial-intelligence

Jul 23, 2026

Weak Collision Resistance

cryptography

Jul 23, 2026

Weak NP-Hard Problem

complexity-theory

Jul 23, 2026

Weak Normalisation Theorem

lambda-calculus

Jul 23, 2026

Weak Preference (Utility Theory)

utility-theory

Jul 23, 2026

Weakest Liberal Precondition

program-proofing

Jul 23, 2026

Weakest Precondition

program-proofing

Jul 23, 2026

Web Attacker Model

web
security

Jul 23, 2026

WebView

web
security
mobile

Jul 23, 2026

Webroot

web

Jul 23, 2026

Weight-Balanced Tree

trees

Jul 23, 2026

Weighted Adjacency Matrix

graph-theory

Jul 23, 2026

Weighted Graph

graph-theory

Jul 23, 2026

Weighted Independent Set Problem

computation

Jul 23, 2026

Vitalism

philosophy
biology

Jul 23, 2026

Volatile Storage (ACID)

acid

Jul 23, 2026

Voter (COMSOC)

comsoc

Jul 23, 2026

Voting Rule (COMSOC)

comsoc

Jul 23, 2026

Vulkan

graphics
rendering

Jul 23, 2026

Vulnerability

security

Jul 23, 2026

WEB (Programming Language)

programming-languages

Jul 23, 2026

WEB2C

tex

Jul 23, 2026

Wagner–Fischer algorithm

computation

Jul 23, 2026

Wait-for Graph (ACID)

acid

Jul 23, 2026

Watt

units

Jul 23, 2026

Wayland Compositor

wayland

Jul 23, 2026

Wayland

wayland

Jul 23, 2026

Vertex Degree

graph-theory

Jul 23, 2026

Vertex

graph-theory

Jul 23, 2026

Very Long Instruction Word Processor

computer-architecture

Jul 23, 2026

Vesktop

apps

Jul 23, 2026

Vibratiuncle

cognition

Jul 23, 2026

Video

Jul 23, 2026

ViewStructure

web
security
mobile

Jul 23, 2026

Virtual Function IO

linux

Jul 23, 2026

Virtual Local Area Network

network-protocols

Jul 23, 2026

Virtual Machine

operating-systems

Jul 23, 2026

Virtual Memory

operating-systems

Jul 23, 2026

Virtual Router Redundancy Protocol

networks

Jul 23, 2026

Virtualisation

operating-systems

Jul 23, 2026

Virus

biology

Jul 23, 2026

Visitor Location Register

mobile-communication

Jul 23, 2026

Vector Matroid

linear-algebra
discrete-mathematics
combinatorics

Jul 23, 2026

Vector Multiplication

linear-algebra

Jul 23, 2026

Vector Space

algebra
linear-algebra

Jul 23, 2026

Vector Subset Sum Problem

computation

Jul 23, 2026

Vector Subspace

linear-algebra

Jul 23, 2026

Vector-Jacobian Product

machine-learning
calculus
linear-algebra

Jul 23, 2026

Vector

linear-algebra

Jul 23, 2026

Vein

biology

Jul 23, 2026

Venn Diagram

plots

Jul 23, 2026

Verb (Deutsch)

german

Jul 23, 2026

Vergleich (Deutsch)

german

Jul 23, 2026

Verification and Validation

software-engineering

Jul 23, 2026

Verilog

hardware-design

Jul 23, 2026

Vertex Cover Problem

computation

Jul 23, 2026

Vertex Cover

graph-theory

Jul 23, 2026

Vanishing Gradient

machine-learning

Jul 23, 2026

Vapnik-Chervonenkis Dimension

machine-learning
learning-theory
statistics

Jul 23, 2026

Variable Assignment (First-Order Logic)

first-order-logic

Jul 23, 2026

Variable Refresh Rate

rendering

Jul 23, 2026

Variable

first-order-logic

Jul 23, 2026

Variance

statistics

Jul 23, 2026

Variation with Repetition

combinatorics

Jul 23, 2026

Variation without Repetition

combinatorics

Jul 23, 2026

Vascular Smooth Muscle

medicine

Jul 23, 2026

Vasoconstriction

medicine

Jul 23, 2026

Vector Addition

linear-algebra

Jul 23, 2026

Vector Database

databases

Jul 23, 2026

Vector Field

vector-calculus

Jul 23, 2026

Utility Theory

utility-theory

Jul 23, 2026

Utility-Based Agent

artificial-intelligence

Jul 23, 2026

Utility-based Perturbed Gradient Descent

machine-learning

Jul 23, 2026

VRising

games

Jul 23, 2026

Vacuum Permeability

physics

Jul 23, 2026

Vacuum Permittivity

physics

Jul 23, 2026

Valid Argument

logic

Jul 23, 2026

Valid Formula (First-Order Logic)

first-order-logic

Jul 23, 2026

Validation Dataset

machine-learning

Jul 23, 2026

Validation Service

cryptography

Jul 23, 2026

Valuation Function (Logic)

logic

Jul 23, 2026

Value Function

reinforcement-learning

Jul 23, 2026

Value of Information

utility-theory

Jul 23, 2026

Usenet

networks

Jul 23, 2026

User Authentication

operating-systems
security

Jul 23, 2026

User Datagram Protocol

network-protocols

Jul 23, 2026

User Equipment

mobile-communication

Jul 23, 2026

User Mode (RISC-V)

risc-v

Jul 23, 2026

User Mode

operating-systems

Jul 23, 2026

User Process

operating-systems

Jul 23, 2026

User Program

operating-systems

Jul 23, 2026

User Space

operating-systems

Jul 23, 2026

User-Level Thread

operating-systems

Jul 23, 2026

Utility Function

utility-theory

Jul 23, 2026

Universe (Set Theory)

set-theory

Jul 23, 2026

University of Vienna

universities

Jul 23, 2026

Unix File System Access Control

operating-systems
security

Jul 23, 2026

Unix

operating-systems

Jul 23, 2026

Unknown Environment

artificial-intelligence

Jul 23, 2026

Unsatisfiability Problem

computation

Jul 23, 2026

Unsatisfiable Formula (First-Order Logic)

first-order-logic

Jul 23, 2026

Unsupervised Learning Algorithm

machine-learning

Jul 23, 2026

Unsupervised Learning

machine-learning

Jul 23, 2026

Unsymbolised Thinking

consciousness
cognition

Jul 23, 2026

Upper Bound

analysis

Jul 23, 2026

Upper Confidence Bound

reinforcement-learning

Jul 23, 2026

Useless Production

languages

Jul 23, 2026

Unitary Linear Operator

linear-algebra

Jul 23, 2026

Unitary Matrix

linear-algebra

Jul 23, 2026

Unitary Operator

linear-algebra

Jul 23, 2026

United States Department of Defense

usa

Jul 23, 2026

Univariate Statistics

statistics

Jul 23, 2026

Universal Constructor

automata-theory

Jul 23, 2026

Universal Function Approximation Theorem

machine-learning
deep-learning
analysis

Jul 23, 2026

Universal Mobile Telecommunications Service

mobile-communication

Jul 23, 2026

Universal Polymorphism

type-theory

Jul 23, 2026

Universal Quantifier (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

Universal Quantifier

first-order-logic

Jul 23, 2026

Universal Turing Machine

computation

Jul 23, 2026

Universe (Cosmology)

cosmology

Jul 23, 2026

Universe (First-Order Logic)

first-order-logic

Jul 23, 2026

Uninterruptible Power Supply

Jul 23, 2026

Union (Relational Algebra)

relational-algebra

Jul 23, 2026

Union (Set)

set-theory

Jul 23, 2026

Union Compatible Relation (Relational Algebra)

relational-algebra

Jul 23, 2026

Union-Find Data Structure

data-structures

Jul 23, 2026

Uniqueness Theorem for Power Series

analysis

Jul 23, 2026

Uniqueness of Limits

analysis
calculus

Jul 23, 2026

Unit Circle

trigonometry

Jul 23, 2026

Unit Clause

logic

Jul 23, 2026

Unit Penalty U_j (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Unit Production

languages

Jul 23, 2026

Unit Propagation

logic
computation
sat-solving

Jul 23, 2026

Unit Testing

software-engineering
todo

Jul 23, 2026

Unit Vector

linear-algebra

Jul 23, 2026

Unitality

algebra

Jul 23, 2026

Undirected Graph

graph-theory
todo

Jul 23, 2026

Unhappy Number

math

Jul 23, 2026

Unicode Transformation Format

coding-theory

Jul 23, 2026

Unicode

coding-theory

Jul 23, 2026

Unification

type-theory

Jul 23, 2026

Unified Modelling Language

software-engineering

Jul 23, 2026

Uniform Continuity

analysis

Jul 23, 2026

Uniform Distribution

statistics

Jul 23, 2026

Uniform Matroid

discrete-mathematics
combinatorics

Jul 23, 2026

Uniform Resource Locator

web

Jul 23, 2026

Uniform-Cost Search

search

Jul 23, 2026

Unimodularity

linear-algebra

Jul 23, 2026

Uninformed Search

search

Jul 23, 2026

UNION ALL (SQL)

sql

Jul 23, 2026

UV

python

Jul 23, 2026

Ubrogepant

medicine

Jul 23, 2026

Unambiguous Context-Free Grammar

languages

Jul 23, 2026

Unanimous Preference Profile (COMSOC)

comsoc

Jul 23, 2026

Unary Encoding

computation

Jul 23, 2026

Unary Logical Connective

logic

Jul 23, 2026

Unbiased Estimator

probability-theory

Jul 23, 2026

Uncountable Set

set-theory

Jul 23, 2026

Undecidable Decision Problem

computation

Jul 23, 2026

Undecidable Function Property

computation

Jul 23, 2026

Undecidable Language Property

computation

Jul 23, 2026

Undecidable Language

languages

Jul 23, 2026

Underfitting

machine-learning
statistics

Jul 23, 2026

Type Environment

type-theory

Jul 23, 2026

Type Inference

type-theory

Jul 23, 2026

Type Scheme

type-theory

Jul 23, 2026

Type Substitution

type-theory

Jul 23, 2026

Type System

type-theory

Jul 23, 2026

Type Theory

type-theory

Jul 23, 2026

Type Variable

type-theory

Jul 23, 2026

Type-i Grammar

languages
todo

Jul 23, 2026

Type

type-theory

Jul 23, 2026

TypeScript

programming-languages

Jul 23, 2026

Typing Judgement

type-theory

Jul 23, 2026

U-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

UNION (SQL)

sql

Jul 23, 2026

Truth

logic

Jul 23, 2026

Tu Quoque

logic
informal-fallacy

Jul 23, 2026

Tuple (Relational Algebra)

relational-algebra

Jul 23, 2026

Tuple

algebra

Jul 23, 2026

Turing Completeness

computation

Jul 23, 2026

Turing Gas

computation
complexity
evolution

Jul 23, 2026

Turing Machine

computation

Jul 23, 2026

Turing Reduction

computation

Jul 23, 2026

Turing Test

artificial-intelligence

Jul 23, 2026

Turing-Computable Arithmetic Function

computation

Jul 23, 2026

Two's Complement

numeric

Jul 23, 2026

Two-Phase Locking (ACID)

acid

Jul 23, 2026

Type Class

type-theory

Jul 23, 2026

Type Constructor

type-theory

Jul 23, 2026

Trigonometry

trigonometry

Jul 23, 2026

Triptan

medicine

Jul 23, 2026

Trivial Convex Combination

linear-algebra
convex-geometry

Jul 23, 2026

Trivial Extensional Language Property

languages

Jul 23, 2026

Trivial Functional Dependency (Relational Algebra)

databases

Jul 23, 2026

Trivial Language Property

languages

Jul 23, 2026

Trivial Linear Combination

linear-algebra

Jul 23, 2026

Trivial Prefix

languages

Jul 23, 2026

Trivial String Border

computing

Jul 23, 2026

Trivial Suffix

languages

Jul 23, 2026

True Negative

machine-learning

Jul 23, 2026

True Positive

machine-learning

Jul 23, 2026

True Risk

machine-learning
statistics

Jul 23, 2026

Trusted Types

web
security

Jul 23, 2026

Truth Table

logic

Jul 23, 2026

Tree Node Successor

trees

Jul 23, 2026

Tree Node

trees

Jul 23, 2026

Tree-Like Search Algorithm

search

Jul 23, 2026

Tree-width

computation

Jul 23, 2026

Tree

graph-theory

Jul 23, 2026

Trial (Probability Theory)

probability-theory

Jul 23, 2026

Triangle Inequality

math

Jul 23, 2026

Triangle

geometry
trigonometry

Jul 23, 2026

Triangular Distribution

probability-theory

Jul 23, 2026

Trie

data-structures
string-algorithms

Jul 23, 2026

Trigeminal Nerve Terminal

medicine

Jul 23, 2026

Trigeminal Nerve

medicine

Jul 23, 2026

Trigeminovascular Pain System

medicine

Jul 23, 2026

Trigonometric Function

trigonometry

Jul 23, 2026

Translation Lookaside Buffer

operating-systems
hardware

Jul 23, 2026

Transmission Control Block

network-protocols

Jul 23, 2026

Transmission Control Protocol

network-protocols

Jul 23, 2026

Transmission Delay

networking

Jul 23, 2026

Transpoder

communication

Jul 23, 2026

Transport Layer Security Handshake

cryptography

Jul 23, 2026

Transport Layer Security

cryptography

Jul 23, 2026

Transport Layer

networks
osi-model

Jul 23, 2026

Transposition Cipher

cryptography

Jul 23, 2026

Transposon

biology

Jul 23, 2026

Trap (OS)

operating-systems

Jul 23, 2026

Travelling Salesman Problem

computation

Jul 23, 2026

Tree Map

databases

Jul 23, 2026

Tree Node Predecessor

trees

Jul 23, 2026

Traefik

software-engineering

Jul 23, 2026

Training Dataset

machine-learning

Jul 23, 2026

Trajectory (Reinforcement Learning)

reinforcement-learning

Jul 23, 2026

Transaction (ACID)

acid

Jul 23, 2026

Transducer

automata-theory

Jul 23, 2026

Transduction

Jul 23, 2026

Transductive Reasoning

reasoning

Jul 23, 2026

Transfer Learning

machine-learning

Jul 23, 2026

Transformer Explainer

software

Jul 23, 2026

Transformer

machine-learning
deep-learning
nlp

Jul 23, 2026

Transistor

Jul 23, 2026

Transition Function (Automata Theory)

automata-theory

Jul 23, 2026

Transitivity (Utility Theory)

utility-theory

Jul 23, 2026

Transitivity

math

Jul 23, 2026

Topological Sorting

graph-theory

Jul 23, 2026

Topological Space

topology

Jul 23, 2026

Topology

topology

Jul 23, 2026

Torus

topology

Jul 23, 2026

Total Completion Time (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Total Function

math

Jul 23, 2026

Total Order

algebra
set-theory

Jul 23, 2026

Total Relation

set-theory

Jul 23, 2026

Totally Blind SQL Injection

web
security
databases

Jul 23, 2026

Totally Correct Program

program-proofing

Jul 23, 2026

Totally Differentiable Function

vector-calculus

Jul 23, 2026

Totally Recursive Function

computation

Jul 23, 2026

Trace Logic

cognition

Jul 23, 2026

Traceability (Security)

security

Jul 23, 2026

Tractable Problem

computation

Jul 23, 2026

Third Normal Form

relational-algebra

Jul 23, 2026

Thrashing

operating-systems

Jul 23, 2026

Thread-Level Parallelism

computer-architecture

Jul 23, 2026

Threat Actor

security

Jul 23, 2026

Threat

security

Jul 23, 2026

Throughput (Networking)

networking

Jul 23, 2026

Tic-Tac-Toe

games

Jul 23, 2026

Time Complexity

complexity-theory

Jul 23, 2026

Time-Division Duplex

communication

Jul 23, 2026

Time-Division Multiple Access

mobile-communication

Jul 23, 2026

Timsort

sorting-algorithms

Jul 23, 2026

Tissue

biology

Jul 23, 2026

Token (Computer Architecture)

computer-architecture

Jul 23, 2026

Token (Machine Learning)

machine-learning

Jul 23, 2026

Topological Closure

topology

Jul 23, 2026

Topological Dual Space

linear-algebra

Jul 23, 2026

Theorem

logic

Jul 23, 2026

Theoretical Computer Science

computer-science

Jul 23, 2026

Theory (First-Order Logic)

first-order-logic

Jul 23, 2026

Theory Entailment (First-Order Logic)

first-order-logic

Jul 23, 2026

Theory of Mind

philosophy
cognition

Jul 23, 2026

Thermal Energy

physics

Jul 23, 2026

Thermodynamic Entropy

thermodynamics

Jul 23, 2026

Thermodynamical System

physics
thermodynamics

Jul 23, 2026

Thermodynamics

physics
thermodynamics

Jul 23, 2026

Theta Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Third Law of Thermodynamics

physics
thermodynamics

Jul 23, 2026

Term (First-Order Logic)

first-order-logic

Jul 23, 2026

Term Language

logic

Jul 23, 2026

Terminal Symbol

languages

Jul 23, 2026

Test Dataset

machine-learning

Jul 23, 2026

Test Double

software-engineering
testing

Jul 23, 2026

Test Time

machine-learning

Jul 23, 2026

Test-Driven Development

software-engineering
testing

Jul 23, 2026

Test-Time Computation

artificial-life

Jul 23, 2026

Test-and-Set

operating-systems
hardware
concurrency

Jul 23, 2026

Testability

software-engineering
testing

Jul 23, 2026

Testing Level

software-engineering
testing

Jul 23, 2026

Testing Pyramid

software-engineering
testing

Jul 23, 2026

Text Data

data-analysis

Jul 23, 2026

Thalamus

medicine

Jul 23, 2026

TeX

tex

Jul 23, 2026

Technical University of Munich

universities

Jul 23, 2026

Technical University of Vienna

universities

Jul 23, 2026

Telecommunications Service Provider

mobile-communication

Jul 23, 2026

Telescoping Product

analysis

Jul 23, 2026

Telescoping Sum

analysis

Jul 23, 2026

Temporal Locality Compulsory Cache Miss

computer-architecture
memory

Jul 23, 2026

Temporal Memory Locality

computer-architecture
memory

Jul 23, 2026

Temporal Parallelism (Computer Architecture)

computer-architecture

Jul 23, 2026

Temporal-Difference Error

reinforcement-learning

Jul 23, 2026

Temporal-Difference Learning

reinforcement-learning

Jul 23, 2026

Tensor Contraction

Jul 23, 2026

Tensor Factor

linear-algebra
quantum-computing

Jul 23, 2026

Tensor Product

linear-algebra

Jul 23, 2026

Tensor

linear-algebra

Jul 23, 2026

TXT Record

domains

Jul 23, 2026

Tableaux (First-Order Logic)

first-order-logic

Jul 23, 2026

Tableaux (Propositional Logic)

logic
propositional-logic

Jul 23, 2026

Tabu Search

heuristics

Jul 23, 2026

Taint-Style Vulnerability

security

Jul 23, 2026

Tangent Space

linear-logic

Jul 23, 2026

Tape (Turing Machine)

computation

Jul 23, 2026

Tarski Semantics (First-Order Logic)

first-order-logic

Jul 23, 2026

Tautologie (Deutsch)

german

Jul 23, 2026

Tautology

logic

Jul 23, 2026

Taylor Polynomial

analysis

Jul 23, 2026

Taylor Series

analysis

Jul 23, 2026

Taylor's Formula

analysis

Jul 23, 2026

Taylor's Theorem

analysis

Jul 23, 2026

TeX-Live

tex

Jul 23, 2026

Syntax (First-Order Logic)

first-order-logic

Jul 23, 2026

Syntax

languages

Jul 23, 2026

Synästhesie (Deutsch)

german

Jul 23, 2026

System Availability

security

Jul 23, 2026

System Bus

computer-architecture

Jul 23, 2026

System Call

operating-systems

Jul 23, 2026

System Integrity

security

Jul 23, 2026

System

cybernetics

Jul 23, 2026

TAN List

security

Jul 23, 2026

TCP-IP

networks

Jul 23, 2026

TENEX

operating-systems
history

Jul 23, 2026

TLS Certificate

cryptography

Jul 23, 2026

TOCTOU

security
operating-systems

Jul 23, 2026

Symmetric Difference

set-theory

Jul 23, 2026

Symmetric Encryption Algorithm

cryptography

Jul 23, 2026

Symmetric Encryption Scheme

cryptography

Jul 23, 2026

Symmetric Function

algebra

Jul 23, 2026

Symmetric Group

algebra
combinators

Jul 23, 2026

Symmetric Key

cryptography

Jul 23, 2026

Symmetric Matrix

linear-algebra

Jul 23, 2026

Symmetric Travelling Salesman Problem

computation

Jul 23, 2026

Symmetry (Binomial Coefficient)

combinatorics

Jul 23, 2026

Symmetry

algebra

Jul 23, 2026

Synapse

neuroscience

Jul 23, 2026

Synapses Dogma

neuroscience

Jul 23, 2026

Synaptic Plasticity

neuroscience

Jul 23, 2026

Synchronizer Token Pattern

web
security

Jul 23, 2026

Synchronous Processor (Computer Architecture)

computer-architecture

Jul 23, 2026

Synchronous Stream Cipher

cryptography

Jul 23, 2026

Support Vector Machine

machine-learning
classification
regression
optimisation

Jul 23, 2026

Supremum

analysis
set-theory

Jul 23, 2026

Surjectivity

algebra

Jul 23, 2026

Surrogate Key

databases

Jul 23, 2026

Suspended Process

operating-systems

Jul 23, 2026

Swapping

operating-systems

Jul 23, 2026

Switch

networks

Jul 23, 2026

Switching Theory

digital-logic
computation

Jul 23, 2026

Syllogism

logic

Jul 23, 2026

Sylvester's Criterion

linear-algebra

Jul 23, 2026

Symbiogenesis

evolution

Jul 23, 2026

Symbol

coding-theory

Jul 23, 2026

Symbolic Artificial Intelligence

artificial-intelligence

Jul 23, 2026

Symbolic Computation

computation
logic

Jul 23, 2026

Symbolic Logic

logic

Jul 23, 2026

Symbolic Reasoning

reasoning

Jul 23, 2026

Symmetric Cryptography

cryptography

Jul 23, 2026

Suffix Tree

data-structures
computation

Jul 23, 2026

Suffix

languages

Jul 23, 2026

Sum Rule (Analysis)

analysis

Jul 23, 2026

Sumatriptan

medicine

Jul 23, 2026

Summa Summarum

latin

Jul 23, 2026

Sun Microsystems

cooperates

Jul 23, 2026

Sun

cosmology

Jul 23, 2026

Super Key (Relational Algebra)

databases

Jul 23, 2026

Superdeterminism

philosophy

Jul 23, 2026

Superposition (Linear Algebra

linear-algebra

Jul 23, 2026

Superposition (Quantum Computing)

quantum-mechanics
quantum-computing

Jul 23, 2026

Superscalar Pipelined Processor

computer-architecture

Jul 23, 2026

Supervised Learning Algorithm

machine-learning

Jul 23, 2026

Supervised Learning

machine-learning
supervised-learning

Jul 23, 2026

Supervisor Mode (RISC-V)

risc-v

Jul 23, 2026

Subsequence

analysis

Jul 23, 2026

Subset Sum Problem

computation

Jul 23, 2026

Subset

set-theory

Jul 23, 2026

Substitutability (Utility Theory)

utility-theory

Jul 23, 2026

Substitution Cipher

cryptography

Jul 23, 2026

Substring

languages

Jul 23, 2026

Subtracter

logic-circuits

Jul 23, 2026

Subtraction (Vector)

linear-algebra

Jul 23, 2026

Subtree

trees

Jul 23, 2026

Subtype Polymorphism

type-theory

Jul 23, 2026

Subtype Relation

type-theory

Jul 23, 2026

Subvocalisation

neuroscience
cognition

Jul 23, 2026

Successor Function (Recursion)

computation

Jul 23, 2026

Successor Function

lambda-calculus

Jul 23, 2026

Suffix Array

data-structures
string-algorithms

Jul 23, 2026

Stuck Program Configuration

program-proofing

Jul 23, 2026

Student's t-Distribution

probability-theory

Jul 23, 2026

Student-t Test

statistics
evaluation

Jul 23, 2026

Sub-Collection

set-theory

Jul 23, 2026

Sub-exponential Algorithm

computation
complexity

Jul 23, 2026

Sub-symbolic Artificial Intelligence

artificial-intelligence

Jul 23, 2026

Subdifferential

analysis
optimisation
convex-analysis

Jul 23, 2026

Subformula (First-Order Logic)

first-order-logic

Jul 23, 2026

Subformula (Propositional Logic)

propositional-logic

Jul 23, 2026

Subformula

logic

Jul 23, 2026

Subgradient

analysis
optimisation
convex-analysis

Jul 23, 2026

Subgraph

graph-theory

Jul 23, 2026

Subgroup

algebra

Jul 23, 2026

Subitising

neuroscience
cognition

Jul 23, 2026

Subject (Security)

security

Jul 23, 2026

Subscriber Identity Module

mobile-communication

Jul 23, 2026

Strong Induction

Jul 23, 2026

Strong NP-Hard Problem

complexity-theory
np-hardness

Jul 23, 2026

Strong Typing

type-theory

Jul 23, 2026

Strongest Postcondition

program-proofing

Jul 23, 2026

Strongly Connected Component (Graph)

graph-theory

Jul 23, 2026

Structural Abstract Datatype

programming

Jul 23, 2026

Structural Abstraction (Programming)

programming

Jul 23, 2026

Structural Hazard

computer-architecture

Jul 23, 2026

Structural Operational Semantics

logic

Jul 23, 2026

Structural Testing

testing

Jul 23, 2026

Structuralism

philosophy

Jul 23, 2026

Structure (First-Order Logic)

first-order-logic

Jul 23, 2026

Structure

mathematics

Jul 23, 2026

Structured Programming

programming

Jul 23, 2026

Structured Query Language

databases

Jul 23, 2026

Stored XSS

web
security

Jul 23, 2026

Straight Line

linear-algebra

Jul 23, 2026

Straussianism

philosophy

Jul 23, 2026

Stream Cipher

cryptography

Jul 23, 2026

Strict Deadline (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Strict Two-Phase Locking (ACID)

acid

Jul 23, 2026

Strictly Decreasing Monotone Function

analysis

Jul 23, 2026

Strictly Increasing Monotone Function

analysis

Jul 23, 2026

String Border

computation

Jul 23, 2026

String Concatenation

languages

Jul 23, 2026

String Homomorphism

languages

Jul 23, 2026

String Matching Problem

computation

Jul 23, 2026

String

languages

Jul 23, 2026

Strip Chart

plots

Jul 23, 2026

Strong Artificial Intelligence

artificial-intelligence

Jul 23, 2026

Strong Collision Resistance

cryptography

Jul 23, 2026

Strong Exponential Time Hypothesis

computation
complexity

Jul 23, 2026

Statistical Multiplexing

networks

Jul 23, 2026

Statistical Separability

machine-learning
cognition

Jul 23, 2026

Statistics

statistics

Jul 23, 2026

Stem Function

analysis

Jul 23, 2026

Stemming

data-analysis

Jul 23, 2026

Step Function

math

Jul 23, 2026

Still Life

cellular-automata
game-of-life

Jul 23, 2026

Stimulus

cognition

Jul 23, 2026

Stirling's Approximation

analysis

Jul 23, 2026

Stochastic Agent Function

artificial-intelligence

Jul 23, 2026

Stochastic Gradient Descent

artificial-life

Jul 23, 2026

Stochastic Policy

reinforcement-learning

Jul 23, 2026

Stochastic

statistics

Jul 23, 2026

Store Buffer

computer-architecture

Jul 23, 2026

Store Instruction

computer-architecture

Jul 23, 2026

Store Unit

computer-architecture

Jul 23, 2026

State Space (Quantum Computing)

quantum-computing

Jul 23, 2026

State of Mind

computation

Jul 23, 2026

State-Dependent Action Space

reinforcement-learning

Jul 23, 2026

Statement (Logic)

logic

Jul 23, 2026

Statement Coverage

software-engineering
testing

Jul 23, 2026

Static Binary Analysis

security

Jul 23, 2026

Static Binding

type-theory

Jul 23, 2026

Static Branch Prediction

branch-prediction

Jul 23, 2026

Static Environment

artificial-intelligence

Jul 23, 2026

Static In-order Scheduling with Load-Store Optimization

computer-architecture

Jul 23, 2026

Static In-order Scheduling with Pipelined Functional Units

computer-architecture

Jul 23, 2026

Static In-order Scheduling

computer-architecture

Jul 23, 2026

Static Random-Access Memory

computer-architecture
memory

Jul 23, 2026

Static Type System

type-theory

Jul 23, 2026

Static Typing

type-theory

Jul 23, 2026

Statistic

statistics

Jul 23, 2026

Statistical Inference

statistics

Jul 23, 2026

Stack Frame

computer-architecture
operating-systems

Jul 23, 2026

Stack Pivot

security
memory

Jul 23, 2026

Stack Pointer

operating-systems

Jul 23, 2026

StackOverflow

cooperates

Jul 23, 2026

Standard Backward Assignment (Hoare Calculus)

hoare-calculus

Jul 23, 2026

Standard Description

computation

Jul 23, 2026

Standard Deviation

statistics

Jul 23, 2026

Standard Gaussian Distribution

probability-theory

Jul 23, 2026

Standardisation

data-analysis

Jul 23, 2026

Star (Graph)

graph-theory

Jul 23, 2026

Star Schema

data-warehouse

Jul 23, 2026

Star Sum Problem

computation
graph-theory

Jul 23, 2026

Start State

automata-theory

Jul 23, 2026

Start Symbol

languages

Jul 23, 2026

Starvation

operating-systems
concurrency

Jul 23, 2026

State (Automata Theory)

automata-theory

Jul 23, 2026

State Space (Artificial Intelligence)

artificial-intelligence

Jul 23, 2026

Spectrum of Persuadability

intelligence

Jul 23, 2026

Speculative Moment (Hegelian Dialectics)

philosophy

Jul 23, 2026

Speeded Up Robust Features

machine-learning

Jul 23, 2026

Spinal Cord

medicine

Jul 23, 2026

Spinlock

operating-systems
concurrency
computer-architecture

Jul 23, 2026

Splitting Algorithm

logic

Jul 23, 2026

Spurious Correlation

statistics

Jul 23, 2026

Square Matrix

linear-algebra

Jul 23, 2026

Square-Integrable Complex-Valued Function

functional-analysis

Jul 23, 2026

Squeeze Theorem

analysis

Jul 23, 2026

Stable Matching Problem

computation

Jul 23, 2026

Stable Sorting Algorithm

sorting-algorithms

Jul 23, 2026

Stable Storage (ACID)

acid

Jul 23, 2026

Stack (Data Structure)

data-structures

Jul 23, 2026

Stack (OS)

operating-systems

Jul 23, 2026

Stack Canary

security
memory

Jul 23, 2026

Stack Corruption

security
memory
c

Jul 23, 2026

Span (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Spanning Forest

graph-theory

Jul 23, 2026

Spanning Tree Heuristic

heuristics

Jul 23, 2026

Spanning Tree

graph-theory

Jul 23, 2026

Sparse Graph

graph-theorye

Jul 23, 2026

Sparse Vector

linear-algebra

Jul 23, 2026

Spatial Cache Locality

computer-architecture
memory

Jul 23, 2026

Spatial Memory Locality

computer-architecture
memory

Jul 23, 2026

Spatial Parallelism (Computer Architecture)

computer-architecture

Jul 23, 2026

Spatial Reasoning

neuroscience
cognition

Jul 23, 2026

Spatially Oriented Format for Acoustics

audio

Jul 23, 2026

Special Relativity

physics

Jul 23, 2026

Specification-based Testing

software-engineering
testing

Jul 23, 2026

Specificity

machine-learning

Jul 23, 2026

Spectral Clustering

machine-learning
clustering
graph-theory

Jul 23, 2026

Spectral Component

linear-algebra
functional-analysis

Jul 23, 2026

Spectral Representation

linear-algebra
functional-analysis

Jul 23, 2026

Social Engineering

security

Jul 23, 2026

Society for Multidisciplinary and Fundamental Research

organisations

Jul 23, 2026

Softmax

machine-learning

Jul 23, 2026

Software Testing

software-engineering

Jul 23, 2026

Software Thread

operating-systems

Jul 23, 2026

Software-Optimised Encryption Algorithm

cryptography

Jul 23, 2026

Solid Brain

brains

Jul 23, 2026

Solipsism

philosophy

Jul 23, 2026

Solution

computation

Jul 23, 2026

Soma

neuroscience

Jul 23, 2026

Sorting Algorithm

sorting-algorithms

Jul 23, 2026

Soul

philosophy

Jul 23, 2026

Sound Argument

logic

Jul 23, 2026

Sound Calculus

logic

Jul 23, 2026

Soup

cellular-automata
game-of-life

Jul 23, 2026

Space Complexity

complexity-theory

Jul 23, 2026

Space Ship

game-of-life

Jul 23, 2026

Singleton

set-theory

Jul 23, 2026

Singly Linked List

data-structures

Jul 23, 2026

Singular Matrix

linear-algebra

Jul 23, 2026

Sioyek

software

Jul 23, 2026

Site (Web)

web
security

Jul 23, 2026

Slay the Spire

games

Jul 23, 2026

Sleep Hormone

neuroscience
biology

Jul 23, 2026

Small Form-factor Pluggable

networks

Jul 23, 2026

Small-O Notation

complexity-theory

Jul 23, 2026

Small-Omega Notation

complexity-theory

Jul 23, 2026

Smart Memory Pointer

memory

Jul 23, 2026

Smooth Manifold

linear-algebra

Jul 23, 2026

Snowflake Schema

data-warehouse

Jul 23, 2026

Social Choice Theory

sociology

Jul 23, 2026

Simplified Forward Assignment (Hoare Calculus)

hoare-calculus

Jul 23, 2026

Simulated Annealing

search

Jul 23, 2026

Simultaneous Multi-Threading

computer-architecture

Jul 23, 2026

Sine Wave

Jul 23, 2026

Sine

trigonometry

Jul 23, 2026

Single Linkage Distance

machine-learning

Jul 23, 2026

Single Sign-On

security

Jul 23, 2026

Single Transferable Vote (COMSOC)

comsoc

Jul 23, 2026

Single Unified Memory

memory

Jul 23, 2026

Single-Agent Environment

artificial-intelligence

Jul 23, 2026

Single-Cycle Processor (RISC-V)

computer-architecture
risc-v
todo

Jul 23, 2026

Single-Cycle Processor

computer-architecture

Jul 23, 2026

Single-Input and Single-Output

networks

Jul 23, 2026

Single-Precision Floating-Point Extension (RISC-V)

risc-v

Jul 23, 2026

Single-cycle Instruction

computer-architecture

Jul 23, 2026

Single-exponential Time Algorithm

computation
complexity

Jul 23, 2026

Sigma Algebra

algebra
probability-theory

Jul 23, 2026

Sigmoid

analysis
machine-learning

Jul 23, 2026

Sign Extension (RISC-V)

risc-v

Jul 23, 2026

Signal (Electronics

electronics

Jul 23, 2026

Signal (OS)

operating-systems

Jul 23, 2026

Signal Edge

eletronics

Jul 23, 2026

Signal-to-Noise Ratio

signals

Jul 23, 2026

Signal

engineering
analysis

Jul 23, 2026

Signature (First-Order Logic)

first-order-logic

Jul 23, 2026

Signature Scheme

cryptography

Jul 23, 2026

Signature Space

cryptography

Jul 23, 2026

Signed Certificate Timestamp

cryptography

Jul 23, 2026

Signed Formula

logic

Jul 23, 2026

Signum

algebra

Jul 23, 2026

Sillhouette Coefficient

machine-learning

Jul 23, 2026

Simple Graph

graph-theory

Jul 23, 2026

Simple Reflex Agent

artificial-intelligence

Jul 23, 2026

Shannon Expansion

boolean-algebra

Jul 23, 2026

Shannon–Hartley Theorem

signals

Jul 23, 2026

Shared Memory

operating-systems
concurrency

Jul 23, 2026

Shattering Hypothesis Class

machine-learning
learning-theory
set-theory

Jul 23, 2026

Shell

operating-systems

Jul 23, 2026

Shellcode

security
memory

Jul 23, 2026

Shift Register

logic-circuits

Jul 23, 2026

Shor's Algorithm

quantum-computing
algorithms

Jul 23, 2026

Short Message Service

mobile-communication

Jul 23, 2026

Short-Term Memory

neuroscience

Jul 23, 2026

Shortest Independent Vector Problem

post-quantum-cryptography

Jul 23, 2026

Shortest Path First

graph-theory

Jul 23, 2026

Shortest Path Problem

computation
graph-theory

Jul 23, 2026

Shortest Process Next (OS)

operating-systems
scheduling

Jul 23, 2026

Shoulder Surfing

security

Jul 23, 2026

Side Effects (Programming)

programming

Jul 23, 2026

Session Fixation

web
security

Jul 23, 2026

Session Layer (Layer 5)

networks
osi-model
todo

Jul 23, 2026

Set Cover Problem

computation

Jul 23, 2026

Set Cover

set-theory

Jul 23, 2026

Set Theory

set-theory

Jul 23, 2026

Set of Atoms

propositional-logic

Jul 23, 2026

Set of Clauses

propositional-logic

Jul 23, 2026

Set of all Events

probability-theory

Jul 23, 2026

Set of all Languages

languages

Jul 23, 2026

Set of all Strings

languages

Jul 23, 2026

Set of all non-empty Strings

languages

Jul 23, 2026

Set-Associative Cache

computer-architecture
memory

Jul 23, 2026

Set

set-theory

Jul 23, 2026

Seven Bridges of Königsberg

graph-theory

Jul 23, 2026

Shannon Entropy

information-theory

Jul 23, 2026

Sequential Composition (Hoare Calculus)

hoare-calculus

Jul 23, 2026

Sequential Experience

artificial-intelligence

Jul 23, 2026

Sequentially Consistent Memory Model

memory

Jul 23, 2026

Serial Functional Unit

computer-architecture

Jul 23, 2026

Serial Schedule (ACID)

acid

Jul 23, 2026

Series Circuit

electronics

Jul 23, 2026

Series

analysis

Jul 23, 2026

Serotonin

medicine

Jul 23, 2026

Server (Networking)

networking

Jul 23, 2026

Server-Side Request Forgery

web
security

Jul 23, 2026

Server-Side Scripting

web

Jul 23, 2026

Service Time Estimation

operating-systems
scheduling

Jul 23, 2026

Sesquilinearity

linear-algebra

Jul 23, 2026

Session (Web)

web
security

Jul 23, 2026

Semiconductor

physics

Jul 23, 2026

Semigroup

algebra

Jul 23, 2026

Semilinearity

linear-algebra

Jul 23, 2026

Semiring

algebra

Jul 23, 2026

Sensitivity

machine-learning
statistics

Jul 23, 2026

Sentence (First-Order Logic)

first-order-logic

Jul 23, 2026

Sentential Form

languages

Jul 23, 2026

Separable Quantum State

quantum-computing

Jul 23, 2026

Separation of Code and Data

web
security

Jul 23, 2026

Separation of Duty

security
access-control

Jul 23, 2026

Sequence Diagram

uml

Jul 23, 2026

Sequence Number (TCP)

network-protocols
tcp

Jul 23, 2026

Sequence

analysis

Jul 23, 2026

Sequencer and Eventcount

operating-systems
concurrency

Jul 23, 2026

Sequent Calculus

logic
sequent-calculus

Jul 23, 2026

Sequential Circuit

computer-architecture

Jul 23, 2026

Self Awareness

philosophy

Jul 23, 2026

Self-Attention

machine-learning
transformers
attention

Jul 23, 2026

Self-Organising System

artificial-intelligence

Jul 23, 2026

Self-Replicating Program

computation

Jul 23, 2026

Self-Signed Certificate

cryptography

Jul 23, 2026

Self-Supervised Learning

machine-learning
unsupervised-learning
representation-learning

Jul 23, 2026

Self-Synchronising Stream Cipher

cryptography

Jul 23, 2026

Semantics

logic

Jul 23, 2026

Semaphore

operating-systems
concurrency

Jul 23, 2026

Semi Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Semi-Decidable Decision Problem

computation

Jul 23, 2026

Semi-Dynamic Environment

artificial-intelligence

Jul 23, 2026

Semi-Supervised Learning

machine-learning

Jul 23, 2026

Second-order Optimisation Method

optimisation
calculus
machine-learning

Jul 23, 2026

Secondary Headache Disorder

medicine

Jul 23, 2026

Secure C Coding

security
c

Jul 23, 2026

Secure Channel

cryptography

Jul 23, 2026

Security (OS)

operating-systems
security

Jul 23, 2026

Security Design Principles

operating-systems
security

Jul 23, 2026

Security Policy

security

Jul 23, 2026

Security Question

security

Jul 23, 2026

Security Through Obscurity

security

Jul 23, 2026

Security

security

Jul 23, 2026

Segment (Networking)

networking

Jul 23, 2026

Segmentation

operating-systems

Jul 23, 2026

Segmented Least Squares Problem

computation

Jul 23, 2026

Selection (Relational Algebra)

relational-algebra

Jul 23, 2026

Selection Sort

sorting-algorithms

Jul 23, 2026

Scheduling Zoo

scheduling

Jul 23, 2026

Schema (Relational Algebra)

relational-algebra

Jul 23, 2026

Schrödinger Equation

quantum-mechanics
quantum-computing

Jul 23, 2026

Schwarz's Theorem

vector-calculus

Jul 23, 2026

Scientific Paper

learning

Jul 23, 2026

Scrypt

cryptography

Jul 23, 2026

Scytale

cryptography

Jul 23, 2026

Search Problem

computation

Jul 23, 2026

Search Space

search

Jul 23, 2026

Search Strategy

search

Jul 23, 2026

Seccomp

operating-systems
security

Jul 23, 2026

Second Law of Thermodynamics

physics
thermodynamics
entropy

Jul 23, 2026

Second Normal Form

relational-algebra

Jul 23, 2026

Scalar Multiplication (Vector)

linear-algebra

Jul 23, 2026

Scalar-Matrix Multiplication

linear-algebra

Jul 23, 2026

Scalar

linear-algebra

Jul 23, 2026

Scale-Free Cognition

intelligence

Jul 23, 2026

Scale-Invariant Feature Transform

machine

Jul 23, 2026

Scaled Dot-Product Attention

machine-learning
transformers
attention

Jul 23, 2026

Scam

security

Jul 23, 2026

Scatterplot

plots

Jul 23, 2026

Schedule (ACID)

acid

Jul 23, 2026

Schedule (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Scheduling (OS)

operating-systems
scheduling

Jul 23, 2026

Scheduling Criteria

operating-systems
scheduling

Jul 23, 2026

Scheduling Levels

operating-systems
scheduling

Jul 23, 2026

Scheduling Metrics

operating-systems
scheduling

Jul 23, 2026

Scheduling Notation

computation
scheduling

Jul 23, 2026

Scheduling Problem

computation
scheduling

Jul 23, 2026

Sample Complexity

machine-learning
learning-theory

Jul 23, 2026

Sample Mean

probability-theory

Jul 23, 2026

Sample Space

probability-theory

Jul 23, 2026

Sampling Distribution

statistics

Jul 23, 2026

Sampling Variability

statistics

Jul 23, 2026

Satellite

satellites

Jul 23, 2026

Satisfaction (First-Order Logic)

first-order-logic

Jul 23, 2026

Satisfiability Problem

computation

Jul 23, 2026

Satisfiable Formula (First-Order Logic)

first-order-logic

Jul 23, 2026

Satisfiable Formula (Propositional Logic)

propositional-logic

Jul 23, 2026

Satisfiable Formula

logic

Jul 23, 2026

Satisfiable Sentence (First-Order Logic)

first-order-logic

Jul 23, 2026

Saved User ID (Unix)

operating-systems
security

Jul 23, 2026

Scala

programming-languages

Jul 23, 2026

Scalable Vector Graphics (SVG)

graphics

Jul 23, 2026

Scalar Field

linear-algebra

Jul 23, 2026

SHA-256

cryptography

Jul 23, 2026

SHA-512

cryptography

Jul 23, 2026

SI Unit

physics

Jul 23, 2026

SIMPLE Programming Language

computation

Jul 23, 2026

SQL Injection

web
security
databases

Jul 23, 2026

SR Latch

logic-circuits

Jul 23, 2026

SakanaAI

labs

Jul 23, 2026

Salt (Security)

security

Jul 23, 2026

Salt and Pepper

security
cryptography

Jul 23, 2026

Same Output Problem

computation

Jul 23, 2026

Same-Origin Policy

web
security

Jul 23, 2026

Same-Site Attacker Model

web
security

Jul 23, 2026

SameSite Cookie

web
security

Jul 23, 2026

Round Robin (OS)

operating-systems
scheduling

Jul 23, 2026

Router

networks

Jul 23, 2026

Routing Protocol

networks

Jul 23, 2026

Routing Table

networks

Jul 23, 2026

Row Vector

linear-algebra

Jul 23, 2026

Row-Vector Matrix Product

linear-algebra

Jul 23, 2026

Rule of Sarrus

linear-algebra

Jul 23, 2026

Rulestring

cellular-automata
game-of-life

Jul 23, 2026

Ruliad

computation
philosophy

Jul 23, 2026

Runtime

complexity-theory

Jul 23, 2026

Russell Impagliazzo

Jul 23, 2026

Russell's Antimony

set-theory

Jul 23, 2026

Rust

programming-languages

Jul 23, 2026

S-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

SELECT (SQL)

sql

Jul 23, 2026

Root Criterion

analysis

Jul 23, 2026

Root Mean Squared Error

machine-learning
statistics
regression

Jul 23, 2026

Root Point

analysis

Jul 23, 2026

Root Tree Node

trees

Jul 23, 2026

Root of Unity

algebra

Jul 23, 2026

Root of a Polynomial

algebra

Jul 23, 2026

Root

math

Jul 23, 2026

Rooted Tree

trees

Jul 23, 2026

Rosenblatt Perceptron

neuroscience
computation

Jul 23, 2026

Rotary Positional Embedding

transformers

Jul 23, 2026

Rotation Matrix

linear-algebra

Jul 23, 2026

Rotation

geometry

Jul 23, 2026

Rouché–Capelli Theorem

linear-algebra

Jul 23, 2026

Ring Unit

algebra

Jul 23, 2026

Ring with 1

algebra

Jul 23, 2026

Ring

algebra

Jul 23, 2026

Ripple-Carry Adder

combinatorial-logic

Jul 23, 2026

Risk

machine-learning

Jul 23, 2026

Rivest Cipher 4

cryptography

Jul 23, 2026

Rivest-Shamir-Adleman Algorithm

cryptography

Jul 23, 2026

Roaming

mobile-communication

Jul 23, 2026

Role (Security)

security

Jul 23, 2026

Role-based Access Control

security

Jul 23, 2026

Rolle's Theorem

analysis

Jul 23, 2026

Root Certificate

cryptography

Jul 23, 2026

Right Reduction (Relational Algebra)

relational-algebra

Jul 23, 2026

Right Semi Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Right Sequent

sequent-calculus

Jul 23, 2026

Right-Associativity

algebra

Jul 23, 2026

Right-Continuous Function

analysis

Jul 23, 2026

Right-Total Relation

set-theory

Jul 23, 2026

Right-sided Limit

analysis

Jul 23, 2026

Rigorous Two-Phase Locking (ACID)

acid

Jul 23, 2026

Rijndael Algorithm

cryptography

Jul 23, 2026

Rimegepant

medicine

Jul 23, 2026

Ring List

data-structures

Jul 23, 2026

Return

reinforcement-learning

Jul 23, 2026

Reverse Krebs Cycle

biology
biochemistry
metabolism

Jul 23, 2026

Reverse Proxy

software-engineering

Jul 23, 2026

Revocation (Security)

security

Jul 23, 2026

Reward

reinforcement-learning

Jul 23, 2026

Rhetorische Frage (Deutsch)

german

Jul 23, 2026

Rhetorische Stilmittel (Deutsch)

Jul 23, 2026

Rice's Theorem

computation
languages

Jul 23, 2026

Riemann Hypothesis

mathematics

Jul 23, 2026

Riemann Sum

analysis

Jul 23, 2026

Riemann Zeta Function

analysis

Jul 23, 2026

Riemann's Integratability Criterion

analysis
todo

Jul 23, 2026

Riemann's Rearrangement Theorem

analysis

Jul 23, 2026

Riesz Representation Theorem

linear-algebra

Jul 23, 2026

Right Outer Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Residual

machine-learning
statistics

Jul 23, 2026

Residue Class

algebra

Jul 23, 2026

Residue

biology

Jul 23, 2026

Resolution (First-Order Logic)

first-order-logic

Jul 23, 2026

Resolution Algorithm (Propositional Resolution)

propositional-logic

Jul 23, 2026

Resolution Calculus (Propositional Logic)

propositional-logic

Jul 23, 2026

Resolution Inference Rule (Propositional Resolution)

propositional-logic

Jul 23, 2026

Resource Types (OS)

operating-systems
concurrency

Jul 23, 2026

Restic

linux

Jul 23, 2026

Return-Oriented Programming

security
memory

Jul 23, 2026

Return-to-PLT

security
memory

Jul 23, 2026

Return-to-libc

security
memory

Jul 23, 2026

Relative Error

errors

Jul 23, 2026

Relative Extremum

analysis

Jul 23, 2026

Relativsatz (Deutsch)

german

Jul 23, 2026

Relaxed Memory Model

computer-architecture
memory-models

Jul 23, 2026

Release Time (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Release-Acquire Memory Model

computer-architecture
memory-models

Jul 23, 2026

Relevance Realisation

neuroscience

Jul 23, 2026

Rename (Relational Algebra)

relational-algebra

Jul 23, 2026

Rename Stage

computer-architecture

Jul 23, 2026

Repetitio (Deutsch)

german

Jul 23, 2026

Replay Attack

cryptography

Jul 23, 2026

Representation Learning

machine-learning
unsupervised-learning

Jul 23, 2026

Requirement

software-engineering

Jul 23, 2026

Resident Set Management

operating-systems

Jul 23, 2026

Residual Block

machine-learning

Jul 23, 2026

Residual Connection

machine-learning

Jul 23, 2026

Registration Authority

cryptography

Jul 23, 2026

Regression Testing

software-engineering
todo

Jul 23, 2026

Regression

machine-learning
supervised-learning

Jul 23, 2026

Regular Expression Syntax

regular-expressions

Jul 23, 2026

Regular Grammar

languages

Jul 23, 2026

Regular Language

languages

Jul 23, 2026

Regular Production Rule

languages

Jul 23, 2026

Regularisation

machine-learning
optimisation

Jul 23, 2026

Reinforcement Learning

machine-learning

Jul 23, 2026

Rejection Region

statistics

Jul 23, 2026

Relation (Relational Algebra)

relational-algebra

Jul 23, 2026

Relation

set-theory

Jul 23, 2026

Relational Algebra

relational-algebra

Jul 23, 2026

Reductionism

philosophy

Jul 23, 2026

Reductive Physicalism

philosophy

Jul 23, 2026

Redundant Array of Independent Disks

operating-systems
io
hardware

Jul 23, 2026

Reentry

neuroscience

Jul 23, 2026

Reference Monitor

security

Jul 23, 2026

Reflected XSS

web
security

Jul 23, 2026

Reflection Attack

cryptography

Jul 23, 2026

Reflexivity

set-theory

Jul 23, 2026

Refutation (First-Order Resolution)

first-order-logic
resolution

Jul 23, 2026

Refutation (Propositional Resolution)

propositional-logic
resolution

Jul 23, 2026

Register (RISC-V)

risc-v

Jul 23, 2026

Register File

computer-architecture

Jul 23, 2026

Register Machine Program

computation

Jul 23, 2026

Register Machine

computation

Jul 23, 2026

Register Renaming

computer-architecture

Jul 23, 2026

Register

operating-systems

Jul 23, 2026

Reciprocal Knowledge

neuroscience

Jul 23, 2026

Recoverable Schedule (ACID)

acid

Jul 23, 2026

Rectified Linear Unit

machine-learning
deep-learning
analysis

Jul 23, 2026

Recurrent Neural Network

machine-learning

Jul 23, 2026

Recursion

computer-science

Jul 23, 2026

Recursive DNS Resolution

networking
dns

Jul 23, 2026

Recursive Data Structure

data-structures

Jul 23, 2026

Recursive Language

languages

Jul 23, 2026

Recursive Sequence

analysis

Jul 23, 2026

Recursive Trace Logic

cognition

Jul 23, 2026

Recursively Enumerable Language

automata-theory
languages

Jul 23, 2026

Red-Black Tree

trees

Jul 23, 2026

Redex (Lambda Calculus)

lambda-calculus

Jul 23, 2026

Reduced Context-Free Grammar

languages

Jul 23, 2026

Reduced Instruction Set Computing

computer-architecture

Jul 23, 2026

Reduction

computation

Jul 23, 2026

Read-after-Write Dependency

computer-architecture

Jul 23, 2026

Read-only Memory

computer-architecture
memory

Jul 23, 2026

Reader-Writer Problem

operating-systems
concurrency

Jul 23, 2026

Reafference

neuroscience

Jul 23, 2026

Real Inner Product Space

linear-algebra

Jul 23, 2026

Real Number

number-theory

Jul 23, 2026

Real User ID (Unix)

operating-systems
security

Jul 23, 2026

Real Vector Space

linear-algebra

Jul 23, 2026

Real-Time Scheduling

operating-systems
scheduling

Jul 23, 2026

Real-Valued Function

analysis

Jul 23, 2026

Realisability Assumption

machine-learning
learning-theory

Jul 23, 2026

Realisable PAC-Learnable Hypothesis Class

machine-learning
learning-theory

Jul 23, 2026

Realised Outcome

probability-theory

Jul 23, 2026

Reaper

security
history

Jul 23, 2026

Reasoning

neuroscience
cognition

Jul 23, 2026

Receiver Operator Characteristic

machine-learning
todo

Jul 23, 2026

Range (Relation)

set-theory

Jul 23, 2026

Rank (Matrix)

linear-algebra

Jul 23, 2026

Rank (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Rank Function (Matroid)

discrete-mathematics
combinatorics
linear-algebra

Jul 23, 2026

Rapid Serial Visual Presentation

neuroscience

Jul 23, 2026

Rational Agent

artificial-intelligence

Jul 23, 2026

Rational Function

analysis

Jul 23, 2026

Rational Number

number-theory
algebra

Jul 23, 2026

Raw Moment

probability-theory

Jul 23, 2026

Rayleigh-Jeans Law

physics
thermodynamics

Jul 23, 2026

Reachable Code Problem

computation

Jul 23, 2026

RISC-V Integer Register

risc-v

Jul 23, 2026

RISC-V

computer-architecture
risc-v

Jul 23, 2026

RNA Transfer

neuroscience

Jul 23, 2026

Race Condition

concurrency

Jul 23, 2026

Rademacher Complexity

machine-learning
learning-theory
statistics

Jul 23, 2026

Rainbow Table

security
cryptography

Jul 23, 2026

Ramamohan Paturi

Jul 23, 2026

Ramification Problem

reasoning

Jul 23, 2026

Random Experiment

probability-theory

Jul 23, 2026

Random Projection

machine-learning
dimensionality-reduction
probability

Jul 23, 2026

Random Sample

probability-theory

Jul 23, 2026

Random Variable Realisation

probability-theory

Jul 23, 2026

Random Variable

Jul 23, 2026

Random-Access Memory

computer-architecture
memory

Jul 23, 2026

Randomised Algorithm

computation
probability-theory

Jul 23, 2026

Randomness

probability-theory

Jul 23, 2026

Quantum-Mechanical System

quantum-mechanics
quantum-computing

Jul 23, 2026

Quartile

statistics

Jul 23, 2026

Qubit

quantum-computing

Jul 23, 2026

Queen (Chess)

games
chess

Jul 23, 2026

Queue

data-structures

Jul 23, 2026

Queueing Delay

networking

Jul 23, 2026

Quicksort

sorting-algorithms

Jul 23, 2026

Quiescence Search

computation

Jul 23, 2026

Quine

computation

Jul 23, 2026

Quotient Criterion

analysis

Jul 23, 2026

Quotient Ring

algebra

Jul 23, 2026

Quotient Rule (Analysis)

analysis

Jul 23, 2026

R-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

R

programming-languages
statistics

Jul 23, 2026

RISC-V A-Extension

computer-architecture
risc-v

Jul 23, 2026

Quadratic Loss

machine-learning
optimisation

Jul 23, 2026

Quadrature Amplitude Modulation

signals

Jul 23, 2026

Qualia

philosophy

Jul 23, 2026

Qualification Problem

reasoning

Jul 23, 2026

Quantifier

logic

Jul 23, 2026

Quantile Function

probability-theory

Jul 23, 2026

Quantile

probability-theory

Jul 23, 2026

Quantum Algorithm

quantum-computing
algorithms

Jul 23, 2026

Quantum Circuit

quantum-computing

Jul 23, 2026

Quantum Computer

quantum-computing

Jul 23, 2026

Quantum Computing

quantum-computing

Jul 23, 2026

Quantum Gate

quantum-computing

Jul 23, 2026

Quantum Mechanics

quantum-mechanics

Jul 23, 2026

Quantum Register

quantum-computing

Jul 23, 2026

Quantum State

quantum-computing

Jul 23, 2026

Quantum Turing Machine

computing
quantum-computing

Jul 23, 2026

Pumping Lemma

languages

Jul 23, 2026

Pure Atom Property

propositional-logic

Jul 23, 2026

Pure Atom

propositional-logic

Jul 23, 2026

Pure Literal

logic

Jul 23, 2026

Pure Quantum State

quantum-computing

Jul 23, 2026

Pure Set

set-theory

Jul 23, 2026

Pushdown Automaton

computation

Jul 23, 2026

PyTorch

python

Jul 23, 2026

Pythagorean Theorem

trigonometry

Jul 23, 2026

Python

programming-languages

Jul 23, 2026

Q-Function

reinforcement-learning

Jul 23, 2026

Q-Learning

reinforcement-learning

Jul 23, 2026

QUIC

networking

Jul 23, 2026

Quad-Precision Floating-Point Extension (RISC-V)

risc-v

Jul 23, 2026

Quadratic Formula

linear-algebra

Jul 23, 2026

Quadratic Function

linear-algebra

Jul 23, 2026

Protocol Stack

networking

Jul 23, 2026

Provable Argument

logic

Jul 23, 2026

Proximal Policy Optimisation

reinforcement-learning

Jul 23, 2026

Pseudo-Polynomial Time Complexity

complexity-theory

Jul 23, 2026

Pseudoinstruction (RISC-V)

risc-v

Jul 23, 2026

Pseudorandom Function

cryptography

Jul 23, 2026

Psychology

psychology

Jul 23, 2026

Psychoneural Identity Theory

philosophy

Jul 23, 2026

Public Key Certificate

cryptography

Jul 23, 2026

Public Key Infrastructure

cryptography

Jul 23, 2026

Public Key

cryptography

Jul 23, 2026

Public Switched Telephone Network

networks

Jul 23, 2026

Public-Key Cryptography Standards Number 7

cryptography

Jul 23, 2026

Pulsar

game-of-life

Jul 23, 2026

Pumping Lemma (Context-free Languages)

languages

Jul 23, 2026

Pumping Lemma (Regular Languages)

languages

Jul 23, 2026

Proper Prefix

languages

Jul 23, 2026

Proper Subformula (First-Order Logic)

first-order-logic

Jul 23, 2026

Proper Subset

set-theory

Jul 23, 2026

Property-based Testing

software-engineering
testing

Jul 23, 2026

Proposition

logic

Jul 23, 2026

Propositional Formula Position

logic

Jul 23, 2026

Propositional Logic

logic
propositional-logic

Jul 23, 2026

Protagoras

philosophy

Jul 23, 2026

Protection Domain

security

Jul 23, 2026

Protein Phosphorylation

neuroscience

Jul 23, 2026

Protein

biology

Jul 23, 2026

Protocol Attack

cryptography

Jul 23, 2026

Protocol Data Unit

networking

Jul 23, 2026

Project Para

machine-learning

Jul 23, 2026

Projection (Relational Algebra)

relational-algebra

Jul 23, 2026

Projection Function (Recursion)

computation

Jul 23, 2026

Projective Measurement

quantum-computing

Jul 23, 2026

Prolog

logic
programming-language

Jul 23, 2026

Prometheanism

philosophy

Jul 23, 2026

Prometheus (Greek Mythology)

greek-mythology

Jul 23, 2026

Prompt Engineering

machine-learning

Jul 23, 2026

Proof Theory

proof-theory

Jul 23, 2026

Proof by Contradiction

proof-theory

Jul 23, 2026

Proof by Induction

proof-theory

Jul 23, 2026

Proof

type-theory

Jul 23, 2026

Propagation Delay

networking

Jul 23, 2026

Product Rule (Combinatorics)

combinatorics

Jul 23, 2026

Production Rule

languages

Jul 23, 2026

Program Configuration

program-proofing

Jul 23, 2026

Program Counter

operating-systems

Jul 23, 2026

Program Proofing

program-proofing

Jul 23, 2026

Program Run

program-proofing

Jul 23, 2026

Program Semantics

program-proofing

Jul 23, 2026

Program State

program-proofing

Jul 23, 2026

Program Status Word

operating-systems
hardware

Jul 23, 2026

Program Transition

program-proofing

Jul 23, 2026

Program

computation

Jul 23, 2026

Progress (Concurrency)

operating-systems
concurrency

Jul 23, 2026

Process Table

operating-systems

Jul 23, 2026

Process Termination

operating-systems

Jul 23, 2026

Process-Based Kernel

operating-systems

Jul 23, 2026

Process

operating-systems

Jul 23, 2026

Processing Time (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Processor Core

computer-architecture

Jul 23, 2026

Processor Time

operating-systems
computation

Jul 23, 2026

Processor

operating-systems
hardware
computer-architecture

Jul 23, 2026

Procrastination

psychology

Jul 23, 2026

Producer-Consumer Problem

operating-systems
concurrency

Jul 23, 2026

Product Cipher

cryptography

Jul 23, 2026

Product Rule (Analysis)

analysis

Jul 23, 2026

Problem Instance

computation

Jul 23, 2026

Problem

computation

Jul 23, 2026

Procedural Programming

programming

Jul 23, 2026

Procedure Linkage Table

compilers
file-formats

Jul 23, 2026

Procedure

computation

Jul 23, 2026

Process Control Block

operating-systems

Jul 23, 2026

Process Creation

operating-systems

Jul 23, 2026

Process Hierarchy

operating-systems

Jul 23, 2026

Process Image

operating-systems

Jul 23, 2026

Process State Model

operating-systems

Jul 23, 2026

Process Switch

operating-systems

Jul 23, 2026

Probability Amplitude

quantum-computing

Jul 23, 2026

Probability Density Function

math
probability
statistics

Jul 23, 2026

Probability Distribution

probability-theory
measure-theory

Jul 23, 2026

Probability Mass Function

probability-theory

Jul 23, 2026

Probability Mass

probability-theory

Jul 23, 2026

Probability Measure

probability-theory
measure-theory

Jul 23, 2026

Probability Space

probability-theory

Jul 23, 2026

Probability Theory

probability-theory

Jul 23, 2026

Probability

probability-theory

Jul 23, 2026

Probably Approximately Correct Learning

machine-learning

Jul 23, 2026

Principia Mathematica

history-of-ai

Jul 23, 2026

Principle of Causality

philosophy

Jul 23, 2026

Principle of Explosion

logic

Jul 23, 2026

Principle of Maximum Expected Utility

utility-theory

Jul 23, 2026

Principles of Software Testing

software-engineering
testing

Jul 23, 2026

Priority Inversion

operating-systems
concurrency

Jul 23, 2026

Priority Queue

data-structures
algorithms

Jul 23, 2026

Private Key

cryptography

Jul 23, 2026

Private Knowledge

neuroscience

Jul 23, 2026

Privilege Mode (RISC-V)

risc-v

Jul 23, 2026

Privilege Ring

operating-systems
computer-architecture

Jul 23, 2026

Privileged Instruction (RISC-V)

risc-v

Jul 23, 2026

Primary Key

databases

Jul 23, 2026

Primary Process Table

operating-systems

Jul 23, 2026

Prime Attribute (Relational Algebra)

relational-algebra

Jul 23, 2026

Prime Factorisation

number-theory

Jul 23, 2026

Prime Number

number-theory

Jul 23, 2026

Primitive Recursion

computation

Jul 23, 2026

Primitive Root

number-theory

Jul 23, 2026

Primitive-Recursive Function

computation

Jul 23, 2026

Principal Component Analysis

machine-learning
linear-algebra
statistics
dimensionality-reduction

Jul 23, 2026

Principal Type

type-theory

Jul 23, 2026

Preference Ranking (COMSOC)

comsoc

Jul 23, 2026

Prefix Adder

logic-circuits

Jul 23, 2026

Prefix Function

computation

Jul 23, 2026

Prefix Notation

languages

Jul 23, 2026

Prefix

languages

Jul 23, 2026

Prefrontal Cortex

brain

Jul 23, 2026

Prenex Normal Form (First-Order Logic)

first-order-logic

Jul 23, 2026

PrepaidHost

hosters

Jul 23, 2026

Prepared Statement

web
security
databases

Jul 23, 2026

Presentation Layer (Layer 6)

networks
osi-model
todo

Jul 23, 2026

Prim's Algorithm

computation
graph-theory
algorithms

Jul 23, 2026

Primal Heuristic

search
heuristics

Jul 23, 2026

Primary Headache Disorder

medicine

Jul 23, 2026

Power Series

analysis

Jul 23, 2026

Power Set

set-theory

Jul 23, 2026

Pprof

software-engineering

Jul 23, 2026

Pre-Certificate

cryptography

Jul 23, 2026

Precedence Constraint (Scheduling)

computation
scheduling

Jul 23, 2026

Precision

machine-learning
classification
statistics

Jul 23, 2026

Precondition

program

Jul 23, 2026

Predicate (First-Order Logic)

first-order-logic

Jul 23, 2026

Predicate Symbol (First-Order Logic)

first-order-logic

Jul 23, 2026

Predicate

logic

Jul 23, 2026

Predicted Branch

computer-architecture

Jul 23, 2026

Prediction

intelligence

Jul 23, 2026

Preemption (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Preference (Utility Theory)

utility-theory

Jul 23, 2026

Preference Profile (COMSOC)

comsoc

Jul 23, 2026

Positive Problem Instance

computation

Jul 23, 2026

Positive Semidefinite Function

analysis

Jul 23, 2026

Positive Semidefinite Operator

linear-algebra
quantum-mechanics

Jul 23, 2026

Positive Semidefinite Symmetric Matrix

linear-algebra

Jul 23, 2026

Possession-based Authentication

security

Jul 23, 2026

Possible Outcome

probability-theory

Jul 23, 2026

Post-structuralism

philosophy

Jul 23, 2026

Postcondition

programming

Jul 23, 2026

Posterior Predictive Distribution

machine-learning
statistics

Jul 23, 2026

Postfix Notation

languages

Jul 23, 2026

Potential Energy

physics

Jul 23, 2026

Potentially Unwanted App

web
security
mobile

Jul 23, 2026

Power Function

math

Jul 23, 2026

Power Law

math

Jul 23, 2026

Polynomial-time Approximation Algorithm

computation
approximation

Jul 23, 2026

Polynomial-time Approximation Scheme

computation

Jul 23, 2026

Polynomial

algebra

Jul 23, 2026

Polynomially Related Encoding

complexity-theory

Jul 23, 2026

Population (Statistics)

statistics

Jul 23, 2026

Port Aggregation Protocol

network-redundancy

Jul 23, 2026

Port

networks

Jul 23, 2026

Position-Independent Executable

security
memory

Jul 23, 2026

Positional Encoding

machine-learning

Jul 23, 2026

Positive Definite Symmetric Matrix

linear-logic

Jul 23, 2026

Positive Definiteness

linear-algebra

Jul 23, 2026

Positive Geometry

particle-physics
cosmology

Jul 23, 2026

Positive Literal

logic

Jul 23, 2026

Positive Operator-Valued Measure

quantum-computing
quantum-mechanics

Jul 23, 2026

Polyhedral Compilation

compilers

Jul 23, 2026

Polymorphic Type System

type-theory

Jul 23, 2026

Polymorphism

type-theory

Jul 23, 2026

Polynomial Balanced Binary Relation

complexity-theory

Jul 23, 2026

Polynomial Complexity Class

complexity-theory

Jul 23, 2026

Polynomial Decidable Binary Relation

complexity-theory

Jul 23, 2026

Polynomial Degree

algebra

Jul 23, 2026

Polynomial Function

analysis

Jul 23, 2026

Polynomial Kernel Function

machine-learning
statistics
nlp

Jul 23, 2026

Polynomial Regression

machine-learning
regression
statistics

Jul 23, 2026

Polynomial Ring

algebra

Jul 23, 2026

Polynomial Space Complexity

complexity-theory

Jul 23, 2026

Polynomial Time Complexity

complexity-theory

Jul 23, 2026

Polynomial Time Reduction

complexity-theory

Jul 23, 2026

Polynomial-time Algorithm

computation

Jul 23, 2026

Platonism

philosophy

Jul 23, 2026

Pleonasmus (Deutsch)

german

Jul 23, 2026

Plurality (COMSOC)

comsoc

Jul 23, 2026

Plurality with Runoff (COMSOC)

comsoc

Jul 23, 2026

Poincaré Conjecture

mathematics

Jul 23, 2026

Point-to-Point Protocol

network-protocols

Jul 23, 2026

Poisson Distribution

probability-theory

Jul 23, 2026

Polar Satellite

satellites

Jul 23, 2026

Polarity of Propositional Subformulas

logic

Jul 23, 2026

Policy Gradient Method

Jul 23, 2026

Policy Gradient Theorem

reinforcement-learning

Jul 23, 2026

Policy Gradient

reinforcement-learning

Jul 23, 2026

Policy

reinforcement-learning

Jul 23, 2026

Polyalphabetic Cipher

cryptography

Jul 23, 2026

Polygon

geometry

Jul 23, 2026

Pipelined Processor

computer-architecture

Jul 23, 2026

Plaintext

cryptography

Jul 23, 2026

Planar Dominating Set Problem

computation
graph-theory

Jul 23, 2026

Planar Graph

graph-theory

Jul 23, 2026

Planar Independent Set Problem

computation
graph-theory

Jul 23, 2026

Planar Vertex Cover Problem

computation
graph-theory

Jul 23, 2026

Planarian

biology

Jul 23, 2026

Planck's Constant

units

Jul 23, 2026

Plane Drawing

graph-theory

Jul 23, 2026

Plane

geometry
topology

Jul 23, 2026

Planetoid

cosmology

Jul 23, 2026

Planning

artificial-intelligence

Jul 23, 2026

Platonic Representation Hypothesis

machine-learning

Jul 23, 2026

Platonic Space

philosophy

Jul 23, 2026

Physical Memory

operating-systems

Jul 23, 2026

Physical System

physics

Jul 23, 2026

Physicalism

philosophy

Jul 23, 2026

Pi Calculus

computation

Jul 23, 2026

Pi-Hole

software

Jul 23, 2026

Piece-Wise Function

analysis

Jul 23, 2026

Piece-wise Continuous Function

analysis

Jul 23, 2026

Pigeonhole Principle

combinatorics

Jul 23, 2026

Pipeline Stage

computer-architecture

Jul 23, 2026

Pipeline

computer-architecture

Jul 23, 2026

Pipelined Functional Unit

computer-architecture

Jul 23, 2026

Pipelined Hazard

computer-architecture

Jul 23, 2026

Permutation

discrete-math

Jul 23, 2026

Perpendicular Vector

linear-algebra

Jul 23, 2026

Persistent HTTP Connection

networking
http

Jul 23, 2026

Personifikation (Deutsch)

german

Jul 23, 2026

Peterson's Algorithm

operating-systems
concurrency

Jul 23, 2026

Petri Net

automata-theory
distributed-systems

Jul 23, 2026

Phase (Cellular Automaton)

cellular-automata

Jul 23, 2026

Phenotype

biology

Jul 23, 2026

Philosophy

philosophy

Jul 23, 2026

Phishing

security

Jul 23, 2026

Physical Layer (Layer 1)

networks
osi-model
todo

Jul 23, 2026

Percentile

probability-theory

Jul 23, 2026

Perception

neuroscience

Jul 23, 2026

Perceptron

machine-learning

Jul 23, 2026

Perceptual Inference

artificial-intelligence

Jul 23, 2026

Perfect Matching Lemma (Matroid Exchange Graph)

combinatorics
computation

Jul 23, 2026

Perfect Matching

computation

Jul 23, 2026

Perfect Secrecy

cryptography

Jul 23, 2026

Peripheral Trigeminal Pathway

medicine

Jul 23, 2026

Permutation Invariance

math

Jul 23, 2026

Permutation Space

computation

Jul 23, 2026

Permutation with Repetition

combinatorics

Jul 23, 2026

Permutation without Repetition

combinatorics

Jul 23, 2026

Password-based Key Derivation Function

cryptography
security

Jul 23, 2026

Password

security

Jul 23, 2026

Path Coverage

software-engineering
testing

Jul 23, 2026

Path Traversal

web
security

Jul 23, 2026

Path

graph-theory

Jul 23, 2026

Pattern-defeating Quicksort

sorting-algorithms

Jul 23, 2026

Pauli Matrix

linear-algebra

Jul 23, 2026

Pauli-X Quantum Gate

quantum-computing

Jul 23, 2026

Peano Axioms

number-theory

Jul 23, 2026

Pearson Correlation Coefficient

probability-theory

Jul 23, 2026

Peer (Networking)

networking

Jul 23, 2026

Peer-to-Peer Communication

networking

Jul 23, 2026

Partially Correct Program

program-proofing

Jul 23, 2026

Partially Differentiable Function

vector-calculus

Jul 23, 2026

Partially Observable Environment

artificial-intelligence

Jul 23, 2026

Partition (Set)

set-theory

Jul 23, 2026

Partition Matroid

discrete-mathematics
combinatorics

Jul 23, 2026

Partition Problem

computation

Jul 23, 2026

Pascal's Identity (Binomial Coefficient)

combinatorics

Jul 23, 2026

Pass-through Parameter

programming

Jul 23, 2026

Passive Attack

security

Jul 23, 2026

Passive Biometric Authentication

security

Jul 23, 2026

Passive Learning

machine-learning

Jul 23, 2026

Password Rotation

security

Jul 23, 2026

Password Storage in Unix

security
operating-systems

Jul 23, 2026

Password-Based Key Derivation Function 2

cryptography
security

Jul 23, 2026

Password-based Authentication

security

Jul 23, 2026

Parameterised Stochastic Policy

reinforcement-learning

Jul 23, 2026

Parametric Polymorphism

type-theory

Jul 23, 2026

Parenthese (Deutsch)

german

Jul 23, 2026

Pareto Principle

productivity

Jul 23, 2026

Pars pro Toto (Deutsch)

german

Jul 23, 2026

Parse Tree

trees
computation
compilers

Jul 23, 2026

Parser Combinator

compilers
todo

Jul 23, 2026

Parser Composition

security
web

Jul 23, 2026

Parseval's Identity

functional-analysis

Jul 23, 2026

Partial Derivative

analysis

Jul 23, 2026

Partial Fraction Decomposition

algebra
analysis

Jul 23, 2026

Partial Function

math

Jul 23, 2026

Partial Order

algebra
set-theory

Jul 23, 2026

Partial Relationship

databases

Jul 23, 2026

Partial Sum

analysis

Jul 23, 2026

Partially Correct Key (Cryptography)

cryptography

Jul 23, 2026

Page Table

operating-systems

Jul 23, 2026

Page

operating-systems
memory

Jul 23, 2026

Paging

operating-systems

Jul 23, 2026

Pain Receptor

medicine

Jul 23, 2026

Pain

biology

Jul 23, 2026

Pairing Function

set-theory

Jul 23, 2026

Paleolithic

history

Jul 23, 2026

Palindrome

languages

Jul 23, 2026

Pancomputationalism

philosophy

Jul 23, 2026

Pandas

python
data-analysis

Jul 23, 2026

Panspermia

evolution

Jul 23, 2026

Paradoxical Combinator

lambda-calculus
combinators

Jul 23, 2026

Paradoxon (Deutsch)

german

Jul 23, 2026

Parallel Programming

programming

Jul 23, 2026

Parallelism (Computer Architecture)

computer-architecture

Jul 23, 2026

Parallelogram

geometry

Jul 23, 2026

Parameterised Policy

reinforcement-learning

Jul 23, 2026

POST (HTTP)

web

Jul 23, 2026

PQ Formula

linear-algebra
todo

Jul 23, 2026

PSPACE Complexity Class

complexity-theory

Jul 23, 2026

Package Diagram (UML)

uml
todo

Jul 23, 2026

Packet Delay

networking

Jul 23, 2026

Packet Switching

networking

Jul 23, 2026

Packet

networks

Jul 23, 2026

Padding Algorithm

cryptography

Jul 23, 2026

Page Fault Frequency

operating-systems

Jul 23, 2026

Page Fault

operating-systems

Jul 23, 2026

Page Replacement Policy

operating-systems

Jul 23, 2026

Output Layer

neural-networks

Jul 23, 2026

Overfitting

machine-learning
statistics

Jul 23, 2026

Overwatch

games

Jul 23, 2026

Oxymoron (Deutsch)

german

Jul 23, 2026

P vs NP Problem

computation

Jul 23, 2026

P-MOS

electronics
transistors
mosfet

Jul 23, 2026

P-Value

statistics

Jul 23, 2026

PAC Learning

machine-learning
statistics
learning-theory

Jul 23, 2026

PHP

web
programming-languages

Jul 23, 2026

POSIX Extended Regular Expression

posix
regular-expressions

Jul 23, 2026

POSIX

linux

Jul 23, 2026

Orthogonal Vector

linear-algebra

Jul 23, 2026

Orthogonality

linear-algebra

Jul 23, 2026

Orthonormal Basis

linear-algebra

Jul 23, 2026

Orthonormal Measurement Basis

quantum-computing

Jul 23, 2026

Orthonormal System

linear-algebra

Jul 23, 2026

Orthonormality

linear-algebra

Jul 23, 2026

Oscillator

cellular-automata
game-of-life

Jul 23, 2026

Out-of-Order Pipelined Processor

computer-architecture

Jul 23, 2026

Outcome

probability-theory

Jul 23, 2026

Outer Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Outer Product

linear-algebra

Jul 23, 2026

Output Artificial Neuron

neural-networks

Jul 23, 2026

Output Feedback Mode

cryptography

Jul 23, 2026

Ordinal Data

data-analysis

Jul 23, 2026

Ordinary Differential Equation

differential-equations

Jul 23, 2026

Ordinate

cartesian-coordinate-system

Jul 23, 2026

Organ

biology

Jul 23, 2026

Organisation-Validated Certificate

cryptography

Jul 23, 2026

Orientation Predicate

computational-geometry
geometry

Jul 23, 2026

Origin (Web)

web
security

Jul 23, 2026

Origin of Life Early-career Network

organisations

Jul 23, 2026

Orphan Process

operating-systems

Jul 23, 2026

Orthogonal Complement

linear-algebra

Jul 23, 2026

Orthogonal Frequency-Division Multiple Access

mobile-communication

Jul 23, 2026

Orthogonal Frequency-Division Multiplex

mobile-communication

Jul 23, 2026

Orthogonal Matrix

linear-algebra

Jul 23, 2026

Orthogonal Projection

linear-algebra

Jul 23, 2026

Orthogonal System

linear-algebra

Jul 23, 2026

Operation and Maintenance Center

mobile-communication

Jul 23, 2026

Operational Semantics

logic
verification
programming-languages

Jul 23, 2026

Operator

linear-algebra

Jul 23, 2026

Optimal Asymmetric Encryption Padding

cryptography

Jul 23, 2026

Optimal Greedy Algorithm

computation

Jul 23, 2026

Optimal Objective Function

computation

Jul 23, 2026

Optimal Policy

reinforcement-learning

Jul 23, 2026

Optimal Schedule

scheduling
computation

Jul 23, 2026

Optimal Solution

computation

Jul 23, 2026

Optimisation Method

optimisation
calculus
machine-learning

Jul 23, 2026

Optimisation Problem

computation

Jul 23, 2026

Optimistic Heuristic

search

Jul 23, 2026

Oracle Turing Machine

computation

Jul 23, 2026

Orderability (Utility Theory)

utility-theory

Jul 23, 2026

Ordered Pair

set-theory

Jul 23, 2026

Ordered Tuple

algebra

Jul 23, 2026

Open Eulerian Line

graph-theory

Jul 23, 2026

Open Interval

math

Jul 23, 2026

Open Multi-Processing

operating-systems
computer-architecture

Jul 23, 2026

Open Set

topology

Jul 23, 2026

Open Shortest Path First

network-protocols

Jul 23, 2026

Open Tableaux (First-Order Logic)

first-order-logic
tableaux

Jul 23, 2026

Open-Endedness

evolution
computation

Jul 23, 2026

OpenID Connect

security

Jul 23, 2026

OpenRouter

cooperates

Jul 23, 2026

OpenSSL

networks

Jul 23, 2026

Operating Support Subsystem

mobile-communication

Jul 23, 2026

Operating System

operating-systems

Jul 23, 2026

One-sided Limit

analysis

Jul 23, 2026

Online Analytical Processing

data-warehouse

Jul 23, 2026

Online Data

machine-learning

Jul 23, 2026

Online Learning

machine-learning

Jul 23, 2026

Online Local Search

search
todo

Jul 23, 2026

Online Search

search

Jul 23, 2026

Ontology

philosophy

Jul 23, 2026

Open Authorisation 2.0

security

Jul 23, 2026

Open Ball

analysis
topology

Jul 23, 2026

Open Branch (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

Open Branch (Propositional Tableaux)

logic
tableaux

Jul 23, 2026

Open Design (Security)

security

Jul 23, 2026

Observable

quantum-computing

Jul 23, 2026

Obsidian

philosophy

Jul 23, 2026

Occam's Razor

philosophy

Jul 23, 2026

Occurs Check

type-theory

Jul 23, 2026

Odd Function

linear-logic

Jul 23, 2026

Off-Policy Issue

reinforcement-learning

Jul 23, 2026

Offline Data

machine-learning

Jul 23, 2026

Offline Search

search

Jul 23, 2026

Offset Binary

numeric

Jul 23, 2026

On-Policy Action-Value Function

reinforcement-learning

Jul 23, 2026

On-Policy Value Function

reinforcement-learning

Jul 23, 2026

One-Hot Encoding

machine-learning
preprocessing

Jul 23, 2026

One-Time Password Generator

security

Jul 23, 2026

One-Time Password

security

Jul 23, 2026

One-Time-Pad

cryptography

Jul 23, 2026

Number System

numeric

Jul 23, 2026

Numerator

algebra

Jul 23, 2026

Numerical Approximation

numeric

Jul 23, 2026

Numerical Data

data-analysis

Jul 23, 2026

Numerical Outcome

probability-theory

Jul 23, 2026

Numpy

python

Jul 23, 2026

OSI Model

networks
osi-model

Jul 23, 2026

Object (Category Theory)

category-theory

Jul 23, 2026

Object (OOP)

oop

Jul 23, 2026

Object (Security)

security

Jul 23, 2026

Object Coupling

oop

Jul 23, 2026

Object Diagram (UML)

uml

Jul 23, 2026

Object-Oriented Programming

programming
oop

Jul 23, 2026

Objective Function

computation

Jul 23, 2026

Normalisation (Relational Algebra)

databases

Jul 23, 2026

Normalisation Axiom (Probability Mass Function)

probability-theory

Jul 23, 2026

Normalised Quantum State

quantum-computing
quantum-mechanics

Jul 23, 2026

Normed Vector Space

linear-algebra

Jul 23, 2026

Not a Number

numeric

Jul 23, 2026

NotebookLM

llms

Jul 23, 2026

Nuclear Energy

physics

Jul 23, 2026

Nucleus (Neuroscience)

neuroscience

Jul 23, 2026

Nucleus (Physics)

physics

Jul 23, 2026

Null (Relational Algebra)

relational-algebra

Jul 23, 2026

Null Hypothesis

statistics

Jul 23, 2026

Null Sequence

analysis

Jul 23, 2026

Number Representation

numeric

Jul 23, 2026

Number Sense

neuroscience
cognition

Jul 23, 2026

Nondeterministic Program Transition

program-proofing

Jul 23, 2026

Nondeterministic vs. Stochastic

statistics

Jul 23, 2026

Nondeterministic

statistics

Jul 23, 2026

Norm-Induced Metric Space

analysis
topology

Jul 23, 2026

Norm

linear-algebra

Jul 23, 2026

Normal Distribution (Old)

probability-theory

Jul 23, 2026

Normal Equations

machine-learning
linear-algebra
optimisation

Jul 23, 2026

Normal Form (Lambda Calculus)

lambda-calculus

Jul 23, 2026

Normal Form (Turing Machine)

computation

Jul 23, 2026

Normal Order Reduction

lambda-calculus

Jul 23, 2026

Normal Subgroup

algebra

Jul 23, 2026

Normal Vector

linear-algebra

Jul 23, 2026

Non-negativity Axiom (Probability Mass Function)

probability-theory

Jul 23, 2026

Non-reductive Physicalism

philosophy

Jul 23, 2026

Non-repudiation

security

Jul 23, 2026

Non-trivial Extensional Language Property

computation

Jul 23, 2026

Nonce

cryptography

Jul 23, 2026

Nondeterministic Action

artificial-intelligence

Jul 23, 2026

Nondeterministic Finite Automaton

automata-theory

Jul 23, 2026

Nondeterministic Logarithmic Space Complexity Class

complexity-theory

Jul 23, 2026

Nondeterministic Polynomial Complexity Class

complexity-theory

Jul 23, 2026

Nondeterministic Polynomial Problem

computation

Jul 23, 2026

Non-Process Kernel

operating-systems

Jul 23, 2026

Non-Regular Dependency

languages

Jul 23, 2026

Non-Return-to-Zero

coding-theory

Jul 23, 2026

Non-Terminal Symbol

languages

Jul 23, 2026

Non-Trivial Function Property

computation

Jul 23, 2026

Non-Trivial Language Property

languages

Jul 23, 2026

Non-Trivial String Border

computation

Jul 23, 2026

Non-Volatile Storage (ACID)

acid

Jul 23, 2026

Non-Zero Vector

linear-algebra

Jul 23, 2026

Non-blocking Load Instruction

computer-architecture

Jul 23, 2026

Non-emptiness (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Non-functional Requirement

software-engineering

Jul 23, 2026

Nociceptor

medicine

Jul 23, 2026

Nodal Processing Delay

networking

Jul 23, 2026

Node (Networking)

networking

Jul 23, 2026

Nominal Abstract Datatype

programming

Jul 23, 2026

Nominal Abstraction (Programming)

programming

Jul 23, 2026

Nominal Data

data-analysis
statistics
machine-learning

Jul 23, 2026

Non-Blocker

graph-theory

Jul 23, 2026

Non-Commutativity

algebra

Jul 23, 2026

Non-Empty Set

set-theory

Jul 23, 2026

Non-Life

biology
physics
philosophy

Jul 23, 2026

Non-Linearity

math

Jul 23, 2026

Non-Persistent HTTP Connection

networking
http

Jul 23, 2026

Neutral Element

algebra

Jul 23, 2026

Neutral Monism

philosophy

Jul 23, 2026

Newton's Method

approximation

Jul 23, 2026

Newtonian Mechanics

physics
mechanics

Jul 23, 2026

Nix

linux
nix

Jul 23, 2026

NixOS

linux
nix

Jul 23, 2026

Nixpkgs

linux
nix

Jul 23, 2026

No-Free-Lunch Theorem

machine-learning

Jul 23, 2026

NoSQL Injection

web
security
databases

Jul 23, 2026

NoSQL

databases

Jul 23, 2026

Nociceptive Processing

medicine

Jul 23, 2026

Network Switching Subsystem

mobile-communication

Jul 23, 2026

Neumann Neighbourhood

game-of-life

Jul 23, 2026

Neural Cellular Automata

cellular-automata

Jul 23, 2026

Neural Cellular Automaton

cellular-automata

Jul 23, 2026

Neural Circuit

neuroscience

Jul 23, 2026

Neural Grouping

neuroscience
cognition

Jul 23, 2026

Neurogenic Inflammation

medicine

Jul 23, 2026

Neurogenic Pain

medicine

Jul 23, 2026

Neuron

neuroscience

Jul 23, 2026

Neuropeptide

medicine

Jul 23, 2026

Neuroplasticity

brain

Jul 23, 2026

Neuroscience

neuroscience

Jul 23, 2026

Negation (Propositional Tableaux)

tableaux

Jul 23, 2026

Negation Normal Form (First-Order Logic)

first-order-logic

Jul 23, 2026

Negation

boolean-algebra
logic

Jul 23, 2026

Negative Literal

logic

Jul 23, 2026

Negative Predictive Value

machine-learning

Jul 23, 2026

Neologismus (Deutsch)

german

Jul 23, 2026

Nerve Tissue

medicine

Jul 23, 2026

Network (Graph)

graph-theory

Jul 23, 2026

Network Attacker Model

web
security

Jul 23, 2026

Network Interface Card

networks

Jul 23, 2026

Network Layer

networks
osi-model

Jul 23, 2026

Network Mask

Jul 23, 2026

Network Operating System

operating-systems
distributed-systems

Jul 23, 2026

Naming

logic
propositional-logic

Jul 23, 2026

Narrowband Internet of Things

mobile-communication

Jul 23, 2026

Nash Equilibrium

game-theory

Jul 23, 2026

Natural Deduction

logic

Jul 23, 2026

Natural Exponential Function

analysis

Jul 23, 2026

Natural Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Natural Key

databases

Jul 23, 2026

Natural Language Processing

machine-learning

Jul 23, 2026

Natural Logarithm

logarithms

Jul 23, 2026

Natural Number

number-theory

Jul 23, 2026

Natural Selection

evolution

Jul 23, 2026

Natural Semantics

logic

Jul 23, 2026

Natural Transformation

category-theory

Jul 23, 2026

Navier-Stokes Existence and Smoothness

mathematics

Jul 23, 2026

Near-Collisions Resistance

cryptography

Jul 23, 2026

Negation (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

N-MOS

electronics
transistors
mosfet

Jul 23, 2026

N-Way Set Associative Cache

computer-architecture
memory

Jul 23, 2026

NAND

boolean-algebra
logic

Jul 23, 2026

NEXPTIME Complexity Class

complexity-theory

Jul 23, 2026

NOR

Jul 23, 2026

NOT Quantum Gate

quantum-computing

Jul 23, 2026

NP-Hard Optimisation Problem

computation

Jul 23, 2026

NP-Optimisation Problem

computation

Jul 23, 2026

NP-complete Problem

computation

Jul 23, 2026

NP-hard Problem

computation

Jul 23, 2026

NVIDIA

organisations

Jul 23, 2026

NX (Data Execution Prevention)

security
memory

Jul 23, 2026

Naive Algorithm

computation

Jul 23, 2026

Naive Bayes

machine-learning
classification
statistics

Jul 23, 2026

Namespace

operating-systems
virtualisation

Jul 23, 2026

Multiplexer

combinatorial-logic

Jul 23, 2026

Multiplicative Conjunction (Linear Logic)

linear-logic

Jul 23, 2026

Multiplicative Disjunction (Linear Logic)

linear-logic

Jul 23, 2026

Multiplicative Inverse

algebra

Jul 23, 2026

Multiplicativity

algebra

Jul 23, 2026

Multiplicity

set-theory
combinatorics

Jul 23, 2026

Multiset

set-theory

Jul 23, 2026

Multitape Turing Machine

computation

Jul 23, 2026

Murphy's Law

philosophy

Jul 23, 2026

Mutant (Mutation Testing)

mutation-testing

Jul 23, 2026

Mutation Testing

software-engineering

Jul 23, 2026

Mutatis Mutandis

latin

Jul 23, 2026

Mutex

operating-systems
concurrency

Jul 23, 2026

Mutual Entailment

logic

Jul 23, 2026

Mutual Exclusion

operating-systems
concurrency

Jul 23, 2026

Mutualism

philosophy

Jul 23, 2026

Multi-Cycle Processor

computer-architecture

Jul 23, 2026

Multi-Head Attention

machine-learning
attention

Jul 23, 2026

Multi-Label Classification

machine-learning

Jul 23, 2026

Multi-Layer Perceptron

machine-learning
deep-learning

Jul 23, 2026

Multi-cycle Instruction

computer-architecture

Jul 23, 2026

Multi-factor Authentication

security

Jul 23, 2026

Multi-level Cache

computer-architecture
memory

Jul 23, 2026

Multiclass Classification

machine-learning
classification
statistics

Jul 23, 2026

Multinomial Coefficient

combinatorics

Jul 23, 2026

Multiple Polynomial Regression

machine-learning
regression
statistics

Jul 23, 2026

Multiple Realisability

philosophy

Jul 23, 2026

Multiple-Input and Multiple-Output

networks

Jul 23, 2026

Multiplex

communication

Jul 23, 2026

Most General Unifier

type-theory

Jul 23, 2026

Most Significant Bit

numeric

Jul 23, 2026

Motte-and-Bailey Fallacy

informal-fallacy

Jul 23, 2026

Movie

entertainment

Jul 23, 2026

Mozilla

Jul 23, 2026

Mu Recursion

computation

Jul 23, 2026

Mu-Recursive Function

computation

Jul 23, 2026

MuBar Operator

computation

Jul 23, 2026

MuZero Operator

computation

Jul 23, 2026

Multi-Agent Environment

artificial-intelligence

Jul 23, 2026

Multi-Agent Reinforcement Learning

reinforcement-learning

Jul 23, 2026

Multi-Armed Bandit Problem

reinforcement-learning
todo

Jul 23, 2026

Multi-Core Memory System

computer-architecture

Jul 23, 2026

Multi-Core Processor

computer-architecture

Jul 23, 2026

Multi-Cycle Processor (RISC-V)

computer-architecture
risc-v

Jul 23, 2026

Monotonicity of Entailment

logic

Jul 23, 2026

Monotype

type-theory

Jul 23, 2026

Monovalent Adaptive System

adaptive-systems
reinforcement-learning
cybernetics

Jul 23, 2026

Monte Carlo Advantage Estimation

reinforcement-learning

Jul 23, 2026

Monte Carlo Simulation

statistics

Jul 23, 2026

Monte Carlo Tree Search

reinforcement-learning

Jul 23, 2026

Moore Automaton

automata-theory

Jul 23, 2026

Moore Neighbourhood

game-of-life

Jul 23, 2026

Moore's Law

physics

Jul 23, 2026

Moral

philosophy

Jul 23, 2026

Morin's Four Levels of Consciousness

philosophy

Jul 23, 2026

Morphism (Category Theory)

category-theory

Jul 23, 2026

Morphogenesis

biology
computation

Jul 23, 2026

Morphology

languages

Jul 23, 2026

Morphospace

biology
evolution

Jul 23, 2026

Modus Ponens

logic

Jul 23, 2026

Molecular Computing

computation

Jul 23, 2026

Moment

probability-theory

Jul 23, 2026

Momentum

physics

Jul 23, 2026

Monad

category-theory

Jul 23, 2026

Monitor (OS)

operating-systems
concurrency

Jul 23, 2026

Monoalphabetic Cipher

cryptography

Jul 23, 2026

Monoid

algebra

Jul 23, 2026

Monolithic Kernel

operating-systems

Jul 23, 2026

Monomorphisation

type-theory
compilers

Jul 23, 2026

Monotone Function

analysis

Jul 23, 2026

Monotone Grammar

languages

Jul 23, 2026

Monotone Production Rule

languages

Jul 23, 2026

Monotone Sequence

analysis

Jul 23, 2026

Monotonic Replacement (Propositional Logic)

logic
propositional-logic

Jul 23, 2026

Monotonicity (Utility Theory)

utility-theory

Jul 23, 2026

Model (First-Order Logic)

first-order-logic

Jul 23, 2026

Model (Logic)

logic

Jul 23, 2026

Model (Machine Learning)

machine-learning

Jul 23, 2026

Model (Propositional Logic)

propositional-logic

Jul 23, 2026

Model Compounding Error

reinforcement-learning

Jul 23, 2026

Model Context Protocol

machine-learning
llms

Jul 23, 2026

Model-Based Reflex Agent

artificial-intelligence

Jul 23, 2026

Model-Checking Problem

computation
logic

Jul 23, 2026

Model-free Reinforcement Learning

reinforcement-learning

Jul 23, 2026

Models of a Theory (First-Order Logic)

first-order-logic

Jul 23, 2026

Modified Condition or Decision Coverage

software-engineering
testing

Jul 23, 2026

Modified Shared Invalid Protocol

memory

Jul 23, 2026

Modular Arithmetic

arithmetic

Jul 23, 2026

Modular Kernel

operating-systems

Jul 23, 2026

Modularisation Unit (Programming)

programming

Jul 23, 2026

Modularisation

programming

Jul 23, 2026

Module (Programming)

programming

Jul 23, 2026

Minkowski Distance

machine-learning
statistics
distance-metric

Jul 23, 2026

Minkowski Space

special-relativity

Jul 23, 2026

Minor (Linear Algebra)

linear-algebra

Jul 23, 2026

Minority Criterion

analysis

Jul 23, 2026

Mitochondrion

biology
evolution
metabolism

Jul 23, 2026

Mixed Quantum State

quantum-computing

Jul 23, 2026

Mnemonic

operating-systems

Jul 23, 2026

Mobile Communication

mobile-communication

Jul 23, 2026

Mobile Password Manager

web
security
mobile

Jul 23, 2026

Mobile Switching Center

mobile-communication

Jul 23, 2026

Mobile TAN

security

Jul 23, 2026

Mode Switch

operating-systems

Jul 23, 2026

Mode of Operation

cryptography

Jul 23, 2026

Mode

statistics

Jul 23, 2026

Minimal NP-hard Problem

computation

Jul 23, 2026

Minimal Set Cover Problem

computation

Jul 23, 2026

Minimal Spanning Tree

graph-theory

Jul 23, 2026

Minimal Vertex Cover Problem

computation

Jul 23, 2026

Minimax

statistics

Jul 23, 2026

Minimisation Problem

computation

Jul 23, 2026

Minimum Exposure (Security)

security

Jul 23, 2026

Minimum Trust (Security)

security

Jul 23, 2026

Minimum Vertex Cover Problem

graph-theory
computation

Jul 23, 2026

Minimum Vertex Cover

graph-theory

Jul 23, 2026

Microkernel

operating-systems

Jul 23, 2026

Microorganism

biology

Jul 23, 2026

Microsoft Outlook

software

Jul 23, 2026

Microsoft

organisations

Jul 23, 2026

Migraine Pain

medicine

Jul 23, 2026

Migraine

medicine

Jul 23, 2026

Millennium Prize Problems

mathematics

Jul 23, 2026

Miller-Rabin Test

cryptography

Jul 23, 2026

Miller–Urey Experiment

life
biochemistry

Jul 23, 2026

Min-Heap

data-structures
algorithms

Jul 23, 2026

Min-Max Scaling

data-analysis

Jul 23, 2026

Mind-Body Dualism

philosophy

Jul 23, 2026

Mind

philosophy

Jul 23, 2026

Minecraft

games

Jul 23, 2026

Metabolism

biology

Jul 23, 2026

Metacognition

neuroscience
cognition

Jul 23, 2026

Metafont

tex

Jul 23, 2026

Metal-Oxide-Semiconductor Field-Effect Transistor

electronics

Jul 23, 2026

Metapher (Deutsch)

german

Jul 23, 2026

Metaphysical Solipsism

philosophy

Jul 23, 2026

Metaphysics

philosophy

Jul 23, 2026

Meter

units

Jul 23, 2026

Method (Programming)

programming

Jul 23, 2026

Methodological Solipsism

philosophy

Jul 23, 2026

Metric Space

analysis
topology

Jul 23, 2026

Metric Travelling Salesman Problem

computation

Jul 23, 2026

Metric

analysis
geometry

Jul 23, 2026

Metropolis Criterion

search
todo

Jul 23, 2026

Microarchitecture

computer-architecture

Jul 23, 2026

Micrograd

machine-learning

Jul 23, 2026

Message Passing (OS)

operating-systems
concurrency

Jul 23, 2026

Message Space (Cryptography)

cryptography

Jul 23, 2026

Meta Heuristic

heuristics

Jul 23, 2026

Meta Programming

programming

Jul 23, 2026

Meta Self-Awareness

philosophy

Jul 23, 2026

Meta-Learning

machine-learning

Jul 23, 2026

Meta

organisations

Jul 23, 2026

Memory Requirement

complexity-theory

Jul 23, 2026

Memory Safety (Software)

security
memory
c

Jul 23, 2026

Memory System

computer-architecture

Jul 23, 2026

Memory Table

operating-systems

Jul 23, 2026

Meningeal Nociceptor

medicine

Jul 23, 2026

Meningeal Vasodilation

medicine

Jul 23, 2026

Meninges

medicine

Jul 23, 2026

Mental Arithmetic

cognition

Jul 23, 2026

Mental Imagery

neuroscience
cognition

Jul 23, 2026

Mental Representation

cognition

Jul 23, 2026

Mercer's Conditions

machine-learning
linear-algebra

Jul 23, 2026

Merge Sort

sorting-algorithms

Jul 23, 2026

Message Authentication Code

cryptography

Jul 23, 2026

Memory Access

computer-architecture

Jul 23, 2026

Memory Array

computer-architecture
memory

Jul 23, 2026

Memory Consolidation

sleep
neuroscience

Jul 23, 2026

Memory Controller

computer-architecture
memory

Jul 23, 2026

Memory Fence

concurrency

Jul 23, 2026

Memory Leak

memory

Jul 23, 2026

Memory Locality

computer-architecture
memory

Jul 23, 2026

Memory Management Unit

operating-systems

Jul 23, 2026

Memory Management

operating-systems

Jul 23, 2026

Memory Model

memory-models

Jul 23, 2026

Memory Ordering Violation

computer-architecture

Jul 23, 2026

Memory Partitioning

operating-systems

Jul 23, 2026

Memory Pointer

memory
c

Jul 23, 2026

Memory Protection

operating-systems
hardware

Jul 23, 2026

Memory Replacement Policy

computer-architecture
memory

Jul 23, 2026

Measurable Space

measure-theory

Jul 23, 2026

Measure Theory

measure-theory

Jul 23, 2026

Measure

measure-theory

Jul 23, 2026

Measurement (Quantum Computing)

quantum-computing

Jul 23, 2026

Measurement Effect

quantum-computing
quantum-mechanics

Jul 23, 2026

Median

statistics
todo

Jul 23, 2026

Medication Overuse Headache

medicine

Jul 23, 2026

Medium-Earth Satellite

satellites

Jul 23, 2026

Melatonin

neuroscience
biology

Jul 23, 2026

Melissa

security

Jul 23, 2026

Mellin Transformation

analysis

Jul 23, 2026

Memory (Cognition)

cognition

Jul 23, 2026

Memory (Cognitive Architecture)

computer-architecture
memory

Jul 23, 2026

Memory Access Stage

computer-architecture

Jul 23, 2026

Maximum Satisfiability Problem

computation

Jul 23, 2026

Maximum Trustworthiness (Security)

security

Jul 23, 2026

Maximum a Posteriori Estimation

statistics
machine-learning
optimisation

Jul 23, 2026

Maximum-Weight Spanning Tree

computation
graph-theory

Jul 23, 2026

Maxwell's Equations

physics
electromagnetism

Jul 23, 2026

McCulloch–Pitts Model

neuroscience
computation

Jul 23, 2026

Mealy Automaton

automata-theory

Jul 23, 2026

Mean Absolute Error

machine-learning
statistics
regression

Jul 23, 2026

Mean Normalisation

data-analysis

Jul 23, 2026

Mean Squared Error

machine-learning
statistics
regression

Jul 23, 2026

Mean Value Theorem of Differential Calculus

analysis

Jul 23, 2026

Measurable Function

measure-theory

Jul 23, 2026

Measurable Set

measure-theory

Jul 23, 2026

Max-Heap

data-structures
algorithms

Jul 23, 2026

Max-Value Knapsack Problem

computation

Jul 23, 2026

Max-Value Knapsack

computation

Jul 23, 2026

Maximal Independent Set (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Maximal Matching

graph-theory

Jul 23, 2026

Maximal Non-Trivial String Border

computation

Jul 23, 2026

Maximal String Border

computation

Jul 23, 2026

Maximisation Problem

computation

Jul 23, 2026

Maximum Independent Set Problem

computation

Jul 23, 2026

Maximum Likelihood Estimation

statistics
machine-learning
optimisation

Jul 23, 2026

Maximum Matching

graph-theory

Jul 23, 2026

Maximum Matroid Problem

computation

Jul 23, 2026

Maximum Non-Blocker Problem

computation
graph-theory

Jul 23, 2026

Matching

graph-theory

Jul 23, 2026

Mathematical Logic

logic

Jul 23, 2026

Mathematics

math

Jul 23, 2026

Matrix Addition

linear-algebra

Jul 23, 2026

Matrix Adjoint

linear-algebra

Jul 23, 2026

Matrix Exponential

linear-algebra

Jul 23, 2026

Matrix Multiplication

linear-algebra

Jul 23, 2026

Matrix Trace

linear-algebra

Jul 23, 2026

Matrix Transpose

linear-algebra

Jul 23, 2026

Matrix-Matrix Product

linear-algebra

Jul 23, 2026

Matrix-Vector Product

linear-algebra

Jul 23, 2026

Matrix

linear-algebra

Jul 23, 2026

Matroid

combinatorics
computation

Jul 23, 2026

Matryoshka Doll

games

Jul 23, 2026

Matter

physics

Jul 23, 2026

Manhattan Distance

geometry

Jul 23, 2026

Manhattan Norm

linear-algebra

Jul 23, 2026

Manifold Assumption

machine-learning
dimensionality-reduction

Jul 23, 2026

Manifold

topology
analysis
geometry

Jul 23, 2026

Many-One Reduction

computation

Jul 23, 2026

Map

data-structures

Jul 23, 2026

Markdown

software

Jul 23, 2026

Markov Chain

statistics

Jul 23, 2026

Markov Decision Process

reinforcement-learning

Jul 23, 2026

Markov Property

statistics
reinforcement-learning

Jul 23, 2026

Martin Kronegger

Jul 23, 2026

Marvel Rivals

games

Jul 23, 2026

Mass

physics

Jul 23, 2026

Matching Matroid

graph-theory

Jul 23, 2026

Machine Mode (RISC-V)

risc-v

Jul 23, 2026

Macro Virus

security

Jul 23, 2026

Magic Number

operating-systems

Jul 23, 2026

Magnetic Field

physics
electromagnetism

Jul 23, 2026

Magnitude Representation

neuroscience
cognition

Jul 23, 2026

Main Diagonal

linear-algebra

Jul 23, 2026

Main Memory

computer-architecture
memory

Jul 23, 2026

Main Theorem of Monotone Sequences

analysis

Jul 23, 2026

Majorant Criterion

analysis

Jul 23, 2026

Majority Graph (COMSOC)

comsoc

Jul 23, 2026

Makefile

software

Jul 23, 2026

Makespan (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Malleability (Cryptography)

cryptography

Jul 23, 2026

Malleable Encryption Algorithm

cryptography

Jul 23, 2026

Malware

operating-systems
security
malware

Jul 23, 2026

Mandatory Access Control

security

Jul 23, 2026

Lorentz Force Law

electromagnetism

Jul 23, 2026

Loss

machine-learning
optimisation

Jul 23, 2026

Lottery

utility-theory

Jul 23, 2026

Low-Earth Satellite

satellites

Jul 23, 2026

Low-Rank Adaption

machine-learning

Jul 23, 2026

Lower Bound

analysis

Jul 23, 2026

Lull's Rule (COMSOC)

comsoc

Jul 23, 2026

Lutris

software

Jul 23, 2026

MAC Address

networks

Jul 23, 2026

MAC-then-Encrypt

cryptography

Jul 23, 2026

MD5

cryptography

Jul 23, 2026

MacLaurin Series

analysis

Jul 23, 2026

MacOS

operating-systems

Jul 23, 2026

Machine (Scheduling)

computation
scheduling

Jul 23, 2026

Machine Learning

machine-learning

Jul 23, 2026

Logical Connective

logic

Jul 23, 2026

Logical Strength

logic

Jul 23, 2026

Logical vs. Physical Address

operating-systems
hardware

Jul 23, 2026

Logistic Normal Distribution

probability-theory

Jul 23, 2026

Logistic Regression

machine-learning
classification
statistics

Jul 23, 2026

Logit

machine-learning

Jul 23, 2026

Logos

philosophy

Jul 23, 2026

Logspace Complexity Class

complexity-theory

Jul 23, 2026

Long Short-Term Memory

machine-learning

Jul 23, 2026

Long-Term Memory

neuroscience

Jul 23, 2026

Longest Common Subsequence Problem

computation

Jul 23, 2026

Loop Coverage

software-engineering
testing

Jul 23, 2026

Loop Invariant

hoare-calculus
program-proofing

Jul 23, 2026

Loop Termination (Hoare Calculus)

hoare-calculus
program-proofing

Jul 23, 2026

Loop Unrolling

compilers

Jul 23, 2026

Local Beam Search

search

Jul 23, 2026

Local Branch Predictor

computer-architecture

Jul 23, 2026

Local Maxima

analysis

Jul 23, 2026

Local Minima

analysis

Jul 23, 2026

Local Search

search

Jul 23, 2026

Localist Representationalism

philosophy
cognition

Jul 23, 2026

Lock-based Synchronisation (ACID)

acid

Jul 23, 2026

Loewner Order

linear-algebra
operator-theory
quantum-mechanics

Jul 23, 2026

Log-Linear Attention

attention

Jul 23, 2026

Logarithm

algebra
real-analysis
logarithms

Jul 23, 2026

Logarithmic Scale

Jul 23, 2026

Logarithmic Time Complexity

complexity-theory

Jul 23, 2026

Logging (ACID)

acid

Jul 23, 2026

Logic Vulnerability

security

Jul 23, 2026

Logic

logic

Jul 23, 2026

Linux

operating-systems
linux

Jul 23, 2026

Lipschitz Continuity

analysis

Jul 23, 2026

Liquid Brain

brains

Jul 23, 2026

Liskov Substitution Principle

software-engineering

Jul 23, 2026

Literal

logic

Jul 23, 2026

Little-Endian

computer-architecture
memory

Jul 23, 2026

Livelock

operating-systems

Jul 23, 2026

Living Matter

biology
physics

Jul 23, 2026

Living System

biology
artificial-life
cybernetics

Jul 23, 2026

Load Balancer

networks

Jul 23, 2026

Load Balancing Problem

computation

Jul 23, 2026

Load Instruction

computer-architecture

Jul 23, 2026

Load Queue

computer-architecture

Jul 23, 2026

Load Unit

computer-architecture

Jul 23, 2026

Load-Reserved Store-Conditional

computer-architecture
concurrency
memory-models

Jul 23, 2026

Load-Store Unit

computer-architecture

Jul 23, 2026

Linear Kernel Function

machine-learning
statistics

Jul 23, 2026

Linear Layer

Jul 23, 2026

Linear Logic

logic
todo

Jul 23, 2026

Linear Map

linear-algebra

Jul 23, 2026

Linear Operator

linear-algebra

Jul 23, 2026

Linear Regression

statistics
regression
machine-learning

Jul 23, 2026

Linear Separability

linear-algebra

Jul 23, 2026

Linear Span

linear-algebra

Jul 23, 2026

Linear System of Equation

linear-algebra

Jul 23, 2026

Linearity

algebra

Jul 23, 2026

Linearly Independent Basis

linear-algebra

Jul 23, 2026

Link (Networking)

networking

Jul 23, 2026

Link Aggregation Control Protocol

network-redundancy

Jul 23, 2026

Linker

compilers

Jul 23, 2026

Linux Distribution

linux

Jul 23, 2026

Linux Foundation

organisations

Jul 23, 2026

Linear Algebra

linear-algebra

Jul 23, 2026

Linear Approximation

analysis

Jul 23, 2026

Linear Attention

attention

Jul 23, 2026

Linear Bounded Automaton

computation

Jul 23, 2026

Linear Classifier

machine-learning
classification

Jul 23, 2026

Linear Combination

linear-algebra

Jul 23, 2026

Linear Complexity

complexity-theory

Jul 23, 2026

Linear Cryptanalysis

cryptography

Jul 23, 2026

Linear Data Structure

data-structures

Jul 23, 2026

Linear Dependence

linear-algebra

Jul 23, 2026

Linear Functional

linear-algebra

Jul 23, 2026

Linear Independence

linear-algebra

Jul 23, 2026

Linear Inequality

linear-algebra

Jul 23, 2026

Lexer

compilers

Jul 23, 2026

Lexicographic Order

order-theory

Jul 23, 2026

Liberalism

philosophy

Jul 23, 2026

Life

biology
evolution
computation
philosophy

Jul 23, 2026

Limine

boot-loaders

Jul 23, 2026

Limit (Function)

analysis

Jul 23, 2026

Limit (Sequence)

analysis

Jul 23, 2026

Limit (Vector)

vector-calculus
analysis

Jul 23, 2026

Limit Inferior

analysis

Jul 23, 2026

Limit Point

analysis

Jul 23, 2026

Limit Superior

analysis

Jul 23, 2026

Limit

analysis

Jul 23, 2026

Left-Associativity

algebra

Jul 23, 2026

Left-Total Relation

set-theory

Jul 23, 2026

Left-sided Limit

analysis

Jul 23, 2026

Leibniz Criterion

analysis

Jul 23, 2026

Lemma

logic

Jul 23, 2026

Lemmatisation

data-analysis

Jul 23, 2026

Lemoine's Conjecture

number-theory

Jul 23, 2026

Lenz's Law

electromagnetism

Jul 23, 2026

Let's Encrypt

cryptography

Jul 23, 2026

Letter

languages

Jul 23, 2026

Levenshtein Distance

machine-learning

Jul 23, 2026

Learning with Errors

cryptography

Jul 23, 2026

Learning

artificial-intelligence

Jul 23, 2026

Least Common Multiple

number-theory

Jul 23, 2026

Least Privilege (Security)

security

Jul 23, 2026

Least Recently Used Memory Replacement Policy

computer-architecture
memory

Jul 23, 2026

Least Significant Bit

numeric

Jul 23, 2026

Leave-one-out Validation

machine-learning

Jul 23, 2026

Lebesgue Integral

measure-theory
analysis

Jul 23, 2026

Lebesgue-Integrable Complex-Valued Function

measure-theory
analysis

Jul 23, 2026

Left Outer Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Left Reduction (Relational Algebra)

relational-algebra

Jul 23, 2026

Left Semi Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Left Sequent

sequent-calculus

Jul 23, 2026

Lattice Theory

lattice-theory

Jul 23, 2026

Lattice

algebra

Jul 23, 2026

Law of Excluded Middle

logic

Jul 23, 2026

Law of Large Numbers

statistics

Jul 23, 2026

Law of Total Probability

probability-theory

Jul 23, 2026

Layer Normalisation

machine-learning

Jul 23, 2026

Layered Kernel

operating-systems

Jul 23, 2026

Lazy Evaluation

programming

Jul 23, 2026

Leaf Node

graph-theory

Jul 23, 2026

League of Legends

games

Jul 23, 2026

Lean

programming-languages

Jul 23, 2026

Learning Algorithm

machine-learning

Jul 23, 2026

Learning Element

artificial-intelligence

Jul 23, 2026

Learning Rate

machine-learning
optimisation

Jul 23, 2026

Lambda Reduction

lambda-calculus

Jul 23, 2026

Lambda Variable

lambda-calculus

Jul 23, 2026

Lambert W Function

analysis

Jul 23, 2026

Landau Symbols

complexity-theory

Jul 23, 2026

Language (CSP)

csp

Jul 23, 2026

Language Concatenation

languages

Jul 23, 2026

Language Property

languages

Jul 23, 2026

Language Server Protocol

software-engineering
network-protocols

Jul 23, 2026

Language of a Decision Problem

computation

Jul 23, 2026

Laplace Expansion

linear-algebra

Jul 23, 2026

Large Language Model

machine-learning

Jul 23, 2026

Last In First Out

computation

Jul 23, 2026

Lateness (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Latent Space

machine-learning

Jul 23, 2026

Lattice Problem

post-quantum-cryptography

Jul 23, 2026

L2 Norm

linear-algebra

Jul 23, 2026

L2 Regularisation

machine-learning
optimisation

Jul 23, 2026

L2 Space

analysis
functional-analysis

Jul 23, 2026

L3 Cache

computer-architecture
memory

Jul 23, 2026

LaTeX

tex

Jul 23, 2026

Label Space

machine-learning

Jul 23, 2026

Lagrange Multipliers

mathematics
analysis
optimisation

Jul 23, 2026

Lagrange Remainder

analysis

Jul 23, 2026

Lambda Abstraction (Programming)

programming

Jul 23, 2026

Lambda Abstraction

lambda-calculus
todo

Jul 23, 2026

Lambda Calculus

computation
lambda-calculus

Jul 23, 2026

Lambda Expression

lambda-calculus

Jul 23, 2026

Kolmogorov Machine

computation

Jul 23, 2026

Krebs Cycle

biology
biochemistry
metabolism

Jul 23, 2026

Krom Formula

logic
computation

Jul 23, 2026

Kronecker Delta

linear-algebra

Jul 23, 2026

Kruskal's Algorithm

computation
graph-theory
algorithms

Jul 23, 2026

Kubernetes

Jul 23, 2026

Kullback–Leibler Divergence

statistics
information-theory
probability

Jul 23, 2026

Kuratowski's Ordered Pair

set-theory

Jul 23, 2026

Kurtosis

statistics

Jul 23, 2026

L0 Norm

linear-algebra

Jul 23, 2026

L1 Cache

computer-architecture
memory

Jul 23, 2026

L1 Norm

linear-algebra

Jul 23, 2026

L1 Regularisation

machine-learning
optimisation

Jul 23, 2026

L2 Cache

computer-architecture
memory

Jul 23, 2026

L2 Divergence

linear-algebra
statistics
machine-learning

Jul 23, 2026

Key Generation Algorithm (Cryptography)

cryptography

Jul 23, 2026

Key Pair

cryptography

Jul 23, 2026

Key Space (Cryptography)

cryptography

Jul 23, 2026

Keyboard

hardware

Jul 23, 2026

Keylogger

security

Jul 23, 2026

Kinetic Energy

physics

Jul 23, 2026

Kleene Star

languages

Jul 23, 2026

Klimax (Deutsch)

german

Jul 23, 2026

Knapsack Problem

computation

Jul 23, 2026

Knowledge-based Authentication

security

Jul 23, 2026

Knowledge

neuroscience
philosophy

Jul 23, 2026

Known Environment

artificial-intelligence

Jul 23, 2026

Knuth-Morris-Pratt Algorithm

computation

Jul 23, 2026

Kolmogorov Axioms

probability-theory

Jul 23, 2026

Kendall-Tau Distance (COMSOC)

comsoc

Jul 23, 2026

Kernel (Algebra)

algebra

Jul 23, 2026

Kernel (OS)

operating-systems

Jul 23, 2026

Kernel Function

machine-learning
linear-algebra
statistics

Jul 23, 2026

Kernel Matrix

machine-learning

Jul 23, 2026

Kernel Method

machine-learning

Jul 23, 2026

Kernel Mode

operating-systems

Jul 23, 2026

Kernel Perceptron

machine-learning
algorithms
kernel-methods

Jul 23, 2026

Kernel Proccess

operating-systems

Jul 23, 2026

Kernel Space

operating-systems

Jul 23, 2026

Kernel Stack

operating-systems

Jul 23, 2026

Kernel-Level Thread

operating-systems

Jul 23, 2026

Ket-Vector

linear-algebra

Jul 23, 2026

Key (Cryptography)

cryptography

Jul 23, 2026

Key Candidate (Relational Algebra)

databases

Jul 23, 2026

Key Derivation Function

cryptography

Jul 23, 2026

Key Exchange Algorithm

cryptography

Jul 23, 2026

Joint Probability Distribution

probability-theory

Jul 23, 2026

Joint Progress Diagram

operating-systems
concurrency

Jul 23, 2026

Joule

physics

Jul 23, 2026

Just-in-time Compiler

compilers

Jul 23, 2026

Juxtaposition

algebra

Jul 23, 2026

K Combinator

lambda-calculus

Jul 23, 2026

Kardashev Scale

philosophy

Jul 23, 2026

Karnaugh Map

logic

Jul 23, 2026

Karp Reduction

computation

Jul 23, 2026

Kasiski Test

cryptography

Jul 23, 2026

Keep it simple stupid

security

Jul 23, 2026

Kemeny's Rule (COMSOC)

comsoc

Jul 23, 2026

Kendall Tau Distance

computation

Jul 23, 2026

JAX

python

Jul 23, 2026

JK Flip-Flop

logic-circuits

Jul 23, 2026

Jacobian Matrix

analysis
linear-algebra

Jul 23, 2026

Jacobian-Vector Product

machine-learning
calculus
linear-algebra

Jul 23, 2026

Java

programming-languages

Jul 23, 2026

JavaScript Bridge

web
security
mobile

Jul 23, 2026

JavaScript

programming-languages

Jul 23, 2026

Javascript Object Notation

programming

Jul 23, 2026

Jellyfin

software

Jul 23, 2026

Jenkins

software-engineering

Jul 23, 2026

Jerk

Jul 23, 2026

Job (Scheduling)

computation
scheduling

Jul 23, 2026

Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Join Distribution

statistics

Jul 23, 2026

Invertible Matrix

linear-algebra

Jul 23, 2026

Irrational Number

number-theory

Jul 23, 2026

Irreducible Polynomial

algebra

Jul 23, 2026

Isohypse

geometry

Jul 23, 2026

Isometry

linear-algebra

Jul 23, 2026

Isomorphism

algebra

Jul 23, 2026

Isotropic Rule

cellular-automata

Jul 23, 2026

Issue Stage

computer-architecture

Jul 23, 2026

Iterating Limit

vector-calculus

Jul 23, 2026

Iterating Local Search

search

Jul 23, 2026

Iterative DNS Resolution

networking
dns

Jul 23, 2026

Iterative Deepening Search

search

Jul 23, 2026

Iterative Improvement Algorithm

computation

Jul 23, 2026

J-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

Intra-Cluster Distance

machine-learning

Jul 23, 2026

Intracellular

neuroscience

Jul 23, 2026

Intractable Problem

computation

Jul 23, 2026

Intrusion Detection System

security

Jul 23, 2026

Intrusion Detection

operating-systems
security

Jul 23, 2026

Intrustion Prevention System

security

Jul 23, 2026

Intuitionistic Logic

logic
intuitionistic-logic

Jul 23, 2026

Invalid Argument

logic

Jul 23, 2026

Invariant Type Constructor

type-theory

Jul 23, 2026

Inverse Element

algebra

Jul 23, 2026

Inverse Function

math

Jul 23, 2026

Inverse Rule (Analysis)

analysis

Jul 23, 2026

Inverse Trigonometric Function

trigonometry

Jul 23, 2026

Inverse

algebra

Jul 23, 2026

Invertible Function

math

Jul 23, 2026

Interpretation (First-Order Logic)

first-order-logic

Jul 23, 2026

Interpretation (Propositional Logic)

propositional-logic

Jul 23, 2026

Interpretation

logic

Jul 23, 2026

Interpreter

languages

Jul 23, 2026

Interrupt (OS)

operating-systems

Jul 23, 2026

Interrupt Handling

operating-systems

Jul 23, 2026

Intersection (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Intersection (Relational Algebra)

relational-algebra

Jul 23, 2026

Intersection (Set)

set-theory

Jul 23, 2026

Interval (Scheduling)

computation
scheduling

Jul 23, 2026

Interval Graph

graph-theory

Jul 23, 2026

Interval Partition

analysis

Jul 23, 2026

Interval Partitioning Problem

computation
scheduling

Jul 23, 2026

Interval Scheduling Problem

computation
scheduling

Jul 23, 2026

Interval

analysis

Jul 23, 2026

Interleaving

concurrency

Jul 23, 2026

Intermediate Value Theorem

analysis

Jul 23, 2026

Intermezzo

music-theory

Jul 23, 2026

Internal Fragmentation

operating-systems

Jul 23, 2026

Internal Threat

security

Jul 23, 2026

International Conference for Representation Learning

machine-learning

Jul 23, 2026

Internet Control Message Protocol

network-protocols

Jul 23, 2026

Internet Corporation for Assigned Names and Numbers

standards

Jul 23, 2026

Internet Protocol (IP)

networks

Jul 23, 2026

Internet Protocol Security

network-security

Jul 23, 2026

Internet Protocol Version 4

network-protocols

Jul 23, 2026

Internet Protocol Version 6

network-protocols

Jul 23, 2026

Internet Security Research Group (ISRG)

networks

Jul 23, 2026

Internet of Things

iot

Jul 23, 2026

Internet

networking

Jul 23, 2026

Intelligence Quotient

intelligence

Jul 23, 2026

Intelligence

intelligence

Jul 23, 2026

Intelligent Testing

software-engineering
testing

Jul 23, 2026

Intensional Function Property

computation

Jul 23, 2026

Intensional Language Property

languages

Jul 23, 2026

Inter-Cluster Distance

machine-learning

Jul 23, 2026

Inter-Process Communication

operating-systems
concurrency

Jul 23, 2026

Interaction Calculus

interation-calculus

Jul 23, 2026

Interaction Combinator

interation-calculus

Jul 23, 2026

Interaction Net

computation

Jul 23, 2026

Interior (Analysis)

analysis

Jul 23, 2026

Interior (Interval)

analysis

Jul 23, 2026

Interleaving Attack

cryptography

Jul 23, 2026

Interleaving Graph

concurrency
computer-architecture

Jul 23, 2026

Integer Linear Programming

computation

Jul 23, 2026

Integer

number-theory

Jul 23, 2026

Integrable Function

analysis

Jul 23, 2026

Integral

analysis
todo

Jul 23, 2026

Integrated Deadlock Strategy

operating-systems
concurrency

Jul 23, 2026

Integration Testing

software-engineering
todo

Jul 23, 2026

Integration by Parts

analysis

Jul 23, 2026

Integration by Substitution

analysis

Jul 23, 2026

Integrity (Security)

security

Jul 23, 2026

Integrity Protection (Cryptography)

cryptography

Jul 23, 2026

Integrity Ring

algebra

Jul 23, 2026

Intel

organisations

Jul 23, 2026

Instruction Cache Miss

computer-architecture
memory

Jul 23, 2026

Instruction Cache

computer-architecture
memory

Jul 23, 2026

Instruction Level Parallelism

computer-architecture

Jul 23, 2026

Instruction Memory

computer-architecture
memory
processor-design

Jul 23, 2026

Instruction Pointer Hijacking

security
memory

Jul 23, 2026

Instruction Prefetching

computer-architecture
memory

Jul 23, 2026

Instruction Set Architecture

computer-architecture

Jul 23, 2026

Instruction Set

computer-architecture

Jul 23, 2026

Instruction Trace

operating-systems

Jul 23, 2026

Instruction-Level Parallelism

computer-architecture

Jul 23, 2026

Instruction

operating-systems

Jul 23, 2026

Instructions Per Cycle

computer-architecture

Jul 23, 2026

Insulator

physics

Jul 23, 2026

Integer Factorisation

mathematics
number-theory
cryptography

Jul 23, 2026

Inner Speech

neuroscience
cognition

Jul 23, 2026

Inner-Product-Induced Metric Space

analysis
topology

Jul 23, 2026

Inorder Traversal

trees

Jul 23, 2026

Input Artificial Neuron

neural-networks

Jul 23, 2026

Input Layer

neural-networks

Jul 23, 2026

Input Parameter

programming
type-theory

Jul 23, 2026

Input Space

machine-learning

Jul 23, 2026

Input Tape (Turing Machine)

computation

Jul 23, 2026

Insecure Channel

cryptography

Jul 23, 2026

Insertion Sort

sorting-algorithms

Jul 23, 2026

Instance Space

machine-learning

Jul 23, 2026

Instantaneous Throughput (Networking)

networking

Jul 23, 2026

Institute of Electrical and Electronics Engineers

standards

Jul 23, 2026

Instruction (RISC-V)

risc-v

Jul 23, 2026

Informal Fallacy

logic
argumentation
rhetoric

Jul 23, 2026

Information Flow Control

security

Jul 23, 2026

Information Theory

information-theory

Jul 23, 2026

Information

information-theory

Jul 23, 2026

Informed Search

search

Jul 23, 2026

Inherence-based Authentication

security

Jul 23, 2026

Inherently Ambiguous Context-Free Language

languages

Jul 23, 2026

Inhibition

neuroscience

Jul 23, 2026

Initial State (Automata Theory)

automata-theory

Jul 23, 2026

Initialisation Vector

cryptography

Jul 23, 2026

Injective Function

math

Jul 23, 2026

Injectivity

algebra

Jul 23, 2026

Inmarsat

satellites

Jul 23, 2026

Inner Product Space

linear-logic

Jul 23, 2026

Inner Product

linear-algebra

Jul 23, 2026

Inductive Reasoning

reasoning

Jul 23, 2026

Inequality

math

Jul 23, 2026

Inertia

physics

Jul 23, 2026

Inference (Logic)

logic

Jul 23, 2026

Inference (Machine Learning)

machine-learning

Jul 23, 2026

Inference Rule

logic

Jul 23, 2026

Infimum

analysis
set-theory

Jul 23, 2026

Infinite Cardinality

set-theory

Jul 23, 2026

Infinite Program Run

program-proofing

Jul 23, 2026

Infinite Series

analysis
todo

Jul 23, 2026

Infinite Set

set-theory

Jul 23, 2026

Infinity

analysis

Jul 23, 2026

Infix Notation

languages

Jul 23, 2026

Inflammation

medicine

Jul 23, 2026

Inflection Point

analysis

Jul 23, 2026

Independent Random Variable

probability-theory

Jul 23, 2026

Independent Set (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Independent Set Problem

computation

Jul 23, 2026

Independent Set

graph-theory

Jul 23, 2026

Independently and Identically Distributed Random Variable

statistics

Jul 23, 2026

Indeterminate Form

math

Jul 23, 2026

Index Set

set-theory

Jul 23, 2026

Indicator Function

Jul 23, 2026

Indifference (Utility Theory)

utility-theory

Jul 23, 2026

Indirect Deadlock Prevention

operating-systems
concurrency

Jul 23, 2026

Indirect Proof

proof-theory

Jul 23, 2026

Induced Norm

linear-algebra

Jul 23, 2026

Induced Subgraph

graph-theory

Jul 23, 2026

Inductive Definition

logic

Jul 23, 2026

Implicit Differentiation

analysis

Jul 23, 2026

Improper Limit Point

analysis

Jul 23, 2026

Improperly Convergent Sequence

analysis

Jul 23, 2026

Imputation

data-analysis
preprocessing
statistics

Jul 23, 2026

In-Order Pipelined Processor

computer-architecture

Jul 23, 2026

In-Place Algorithm

computation

Jul 23, 2026

Incidence Graph

graph-theory
logic
sat-solving

Jul 23, 2026

Incident Response

security

Jul 23, 2026

Inclusion-Exclusion Principle

combinatorics

Jul 23, 2026

Increasing Monotone Function

analysis

Jul 23, 2026

Indefinite Integral

analysis

Jul 23, 2026

Independence System

discrete-mathematics
combinatorics

Jul 23, 2026

Independent Event

probability-theory

Jul 23, 2026

Independent Feature Scaling

data-analysis

Jul 23, 2026

Identity Quantum Gate

quantum-computing

Jul 23, 2026

Identity of a Subject

security

Jul 23, 2026

If-Then-Else

boolean-algebra

Jul 23, 2026

Ill-formed Index (Einstein Notation)

linear-algebra

Jul 23, 2026

Image (Function)

algebra

Jul 23, 2026

Image (Linear Algebra)

linear-algebra

Jul 23, 2026

Image Data

data-analysis
todo

Jul 23, 2026

Imaginary Unit

complex-numbers

Jul 23, 2026

Imitation Learning

reinforcement-learning

Jul 23, 2026

Immediate (RISC-V)

risc-v

Jul 23, 2026

Implication (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

Implication (Hoare Calculus)

hoare-calculus

Jul 23, 2026

Implication (Propositional Tableaux)

tableaux

Jul 23, 2026

Implication Graph

computation

Jul 23, 2026

Implication

formula

Jul 23, 2026

IBM

organisations

Jul 23, 2026

IEEE 754

numeric

Jul 23, 2026

IO Architecture (OS)

operating-systems
io

Jul 23, 2026

IO Buffering

operating-systems
io

Jul 23, 2026

IO Functions (OS)

operating-systems
io

Jul 23, 2026

IO Management (OS)

operating-systems
io

Jul 23, 2026

IP Address

networking

Jul 23, 2026

IS-A Relation

databases
todo

Jul 23, 2026

Idempotent Operator

linear-algebra

Jul 23, 2026

Identically Distributed Random Variable

probability-theory

Jul 23, 2026

Identification

security

Jul 23, 2026

Identity Combinator

lambda-calculus
combinators

Jul 23, 2026

Identity Functor

category-theory

Jul 23, 2026

Identity Matrix

linear-algebra

Jul 23, 2026

Identity Operator

linear-algebra

Jul 23, 2026

Hypergraph

graph-theory

Jul 23, 2026

Hyperharmonic Series

analysis

Jul 23, 2026

Hyperparameter Tuning

machine-learning
optimisation

Jul 23, 2026

Hyperparameter

machine-learning
optimisation

Jul 23, 2026

Hyperplane

linear-algebra

Jul 23, 2026

Hypertext Transfer Protocol

networking

Jul 23, 2026

Hypervisor Mode (RISC-V)

risc-v

Jul 23, 2026

Hypervisor

virtualisation

Jul 23, 2026

Hypothesis (Machine Learning)

machine-learning

Jul 23, 2026

Hypothesis (Statistics)

statistics

Jul 23, 2026

Hypothesis Class

machine-learning
learning-theory

Jul 23, 2026

Hypothesis Test

statistics

Jul 23, 2026

Hyprland

wayland

Jul 23, 2026

Hysteresis

cybernetics

Jul 23, 2026

I-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

I.I.D. Assumption

statistics
machine-learning

Jul 23, 2026

Homophily

graph-theory
sociology

Jul 23, 2026

Horizon Effect

artificial-intelligence
game-theory
search-algorithm

Jul 23, 2026

Horizontal Scaling

distributed-systems

Jul 23, 2026

Horn Clause

logic

Jul 23, 2026

Horn Formula

logic
computation

Jul 23, 2026

Hot Standby Router Protocol

networks

Jul 23, 2026

Hot-Swappable Server Component

networks

Jul 23, 2026

Hugo

software

Jul 23, 2026

Human Cognition

cognition

Jul 23, 2026

Hume's Guillotine

philosophy

Jul 23, 2026

Hunter x Hunter

anime

Jul 23, 2026

Hylomorphism

philosophy

Jul 23, 2026

Hyperbel (Deutsch)

german

Jul 23, 2026

Hyperbolic Tangent

math
analysis
deep-learning

Jul 23, 2026

Hyperedge

graph-theory

Jul 23, 2026

Hyperexcitability

neuroscience

Jul 23, 2026

Hinge Loss

machine-learning
optimisation
statistics

Jul 23, 2026

Histogram of Oriented Gradients

machine-learning

Jul 23, 2026

Histogram

plots

Jul 23, 2026

Historisation

databases

Jul 23, 2026

Hitting Formula

logic

Jul 23, 2026

Hoare Calculus

hoare-calculus

Jul 23, 2026

Hoare Triple

logic
verification
hoare-calculus

Jul 23, 2026

Hodge Conjecture

mathematics

Jul 23, 2026

Home Location Register

mobile-communication

Jul 23, 2026

Home Manager

linux
nix

Jul 23, 2026

Homeostasis

biology
cybernetics

Jul 23, 2026

Homogeneity

algebra

Jul 23, 2026

Homoiconicity

programming

Jul 23, 2026

Homomorphism

category-theory

Jul 23, 2026

Homophilic Graph

graph-theory

Jul 23, 2026

Hierholzer's Algorithm

computation

Jul 23, 2026

High Bandwidth Memory

computer-architecture
memory

Jul 23, 2026

High Dynamic Range

rendering

Jul 23, 2026

Higher Unity (Hegelian Dialectics)

philosophy

Jul 23, 2026

Higher-Order Function

math

Jul 23, 2026

Higher-Order Logic

logicc

Jul 23, 2026

Higher-Order Thought Theory

philosophy

Jul 23, 2026

Highest Response Ratio Next

operating-systems
scheduling

Jul 23, 2026

Highly-Elliptical Satellite

satellites

Jul 23, 2026

Hilbert Calculus

hilbert-calculus

Jul 23, 2026

Hilbert Space

linear-algebra

Jul 23, 2026

Hilbert's Hotel

set-theory
infinity
paradox

Jul 23, 2026

Hilbert's Problems

math

Jul 23, 2026

Hilbert's Programme

logic
math

Jul 23, 2026

Hill-Climbing

search

Jul 23, 2026

Hindley–Milner Type System

type-theory

Jul 23, 2026

Herbrand Universe (First-Order Logic)

first-order-logic

Jul 23, 2026

Hereditary Set

set-theory

Jul 23, 2026

Heredity (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Hermitian Matrix

linear-algebra

Jul 23, 2026

Hermitian Operator

linear-algebra

Jul 23, 2026

Hertz

units

Jul 23, 2026

Hessian Matrix

analysis
linear-algebra

Jul 23, 2026

Heterophilic Graph

graph-theory

Jul 23, 2026

Heuristic Search

search

Jul 23, 2026

Heuristic

computation

Jul 23, 2026

Hexadecimal System

numeric

Jul 23, 2026

Hidden Artificial Neuron

neural-networks

Jul 23, 2026

Hidden Layer

neural-networks

Jul 23, 2026

Hierarchical Clustering

machine-learning
clustering
statistics

Jul 23, 2026

Haskell Curry

Jul 23, 2026

Haskell

programming-languages

Jul 23, 2026

Hasse Diagram

algebra

Jul 23, 2026

Headache

medicine

Jul 23, 2026

Heap (Data Structure)

data-structures
algorithms

Jul 23, 2026

Heap (OS)

operating-systems

Jul 23, 2026

Heart

biology

Jul 23, 2026

Heartbleed

security

Jul 23, 2026

Hebbian Learning

neuroscience
machine-learning
cognition

Jul 23, 2026

Hegelian Dialectics

philosophy

Jul 23, 2026

Hegelianism

philosophy

Jul 23, 2026

Heideggerianism

philosophy

Jul 23, 2026

Height-Balanced Tree

trees

Jul 23, 2026

Herbrand Interpretation (First-Order Logic)

first-order-logic

Jul 23, 2026

Herbrand Semantics (First-Order Logic)

first-order-logic

Jul 23, 2026

Herbrand Structure (First-Order Logic)

first-order-logic

Jul 23, 2026

Happy Number

math

Jul 23, 2026

Hard Disk

operating-systems
hardware
io

Jul 23, 2026

Hardware Authentication Token

security

Jul 23, 2026

Hardware Multi-Threading

computer-architecture

Jul 23, 2026

Hardware Security Module

security

Jul 23, 2026

Hardware State Machine

computer-architecture
risc-v

Jul 23, 2026

Hardware Thread

computer-architecture

Jul 23, 2026

Harmonic Number

analysis

Jul 23, 2026

Harmonic Sequence

analysis

Jul 23, 2026

Harmonic Series

analysis

Jul 23, 2026

Hash Function

data-structures

Jul 23, 2026

Hash Map

data-structures

Jul 23, 2026

Hash Set

data-structures

Jul 23, 2026

Hash Table

data-structures
algorithms

Jul 23, 2026

Hash-and-Sign

cryptography

Jul 23, 2026

Hash-based Message Authentication Code

cryptography

Jul 23, 2026

HTTP Method

web

Jul 23, 2026

HTTP Request Header

web

Jul 23, 2026

HTTP Response Header

web

Jul 23, 2026

HTTP Status Code

web

Jul 23, 2026

HTTP Strict Transport Security

networks

Jul 23, 2026

HTTP-01

acme

Jul 23, 2026

HTTPS

web

Jul 23, 2026

Hadamard Product

linear-algebra

Jul 23, 2026

Hadamard Quantum Gate

quantum-computing

Jul 23, 2026

Half Adder

combinatorial-logic

Jul 23, 2026

Hall's Theorem

Jul 23, 2026

Halting Problem

computation

Jul 23, 2026

Hamiltonian Graph

graph-theory

Jul 23, 2026

Hamiltonian Line

graph-theory

Jul 23, 2026

Hamiltonian Operator

linear-algebra

Jul 23, 2026

Hamiltonian Path Problem

computation
graph-theory

Jul 23, 2026

Handshaking Lemma

graph-theory

Jul 23, 2026

Group Homomorphism

algebra

Jul 23, 2026

Group Order

algebra

Jul 23, 2026

Group Relative Policy Optimisation

reinforcement-learning

Jul 23, 2026

Group Theory

group-theory
algebra

Jul 23, 2026

Group of Ring Units

algebra

Jul 23, 2026

Group

algebra

Jul 23, 2026

Grouping and Aggregation (Relational Algebra)

relational-algebra

Jul 23, 2026

Groupoid

algebra

Jul 23, 2026

Grover's Search

quantum-computing
algorithms

Jul 23, 2026

Grub

boot-loaders

Jul 23, 2026

Gumbel-Softmax

machine-learning

Jul 23, 2026

Gymnasium

python

Jul 23, 2026

Gödel Numbering

logic
computation

Jul 23, 2026

HTTP Cookie

web
security

Jul 23, 2026

HTTP Header

web

Jul 23, 2026

Graph Search Algorithm

search

Jul 23, 2026

Graph Theory

graph-theory

Jul 23, 2026

Graph-Reachability Problem

computation

Jul 23, 2026

Graph

graph-theory

Jul 23, 2026

Graphic Matroid

graph-theory
discrete-mathematics
combinatorics

Jul 23, 2026

Greatest Common Divisor

number-theory

Jul 23, 2026

Greedy Algorithm

computation

Jul 23, 2026

Green Thread

operating-systems

Jul 23, 2026

Greibach Normal Form

languages

Jul 23, 2026

Greyscale Image

images

Jul 23, 2026

Gricean Pragmatics

philosophy

Jul 23, 2026

Grok

llms

Jul 23, 2026

Ground Atom (First-Order Logic)

first-order-logic

Jul 23, 2026

Ground Formula (First-Order Logic)

first-order-logic

Jul 23, 2026

Ground Set (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Ground Term (First-Order Logic)

first-order-logic

Jul 23, 2026

Gradient Checking

machine-learning
optimisation
calculus

Jul 23, 2026

Gradient Descent

machine-learning
optimisation
calculus

Jul 23, 2026

Gradient-based Optimisation Algorithm

machine-learning

Jul 23, 2026

Gradient

analysis

Jul 23, 2026

Graham's List Scheduling Algorithm

computation
scheduling

Jul 23, 2026

Gram Matrix

linear-algebra
statistics
machine-learning

Jul 23, 2026

Gram-Schmidt Process

linear-algebra

Jul 23, 2026

Grammar

languages

Jul 23, 2026

Grandmother Cell

neuroscience
cognition

Jul 23, 2026

Graph (Function)

set-theory

Jul 23, 2026

Graph Cellular Automaton

cellular-automata

Jul 23, 2026

Graph Density

graph-theory

Jul 23, 2026

Graph Isomorphism

graph-theory

Jul 23, 2026

Graph Neural Network

neural-networks

Jul 23, 2026

Global Branch Predictor

computer-architecture

Jul 23, 2026

Global Offset Table

compilers
file-formats

Jul 23, 2026

Global System for Mobile Communication

mobile-communication

Jul 23, 2026

Global Workspace Theory

philosophy

Jul 23, 2026

Glove80

hardware

Jul 23, 2026

Go (Game)

games

Jul 23, 2026

Go (Programming Language)

programming-languages

Jul 23, 2026

Goal-Based Agent

artificial-intelligence

Jul 23, 2026

Goldbach Conjecture

mathematics

Jul 23, 2026

Golden Ratio

math

Jul 23, 2026

Good Argument

logic

Jul 23, 2026

Google Deepmind

organisations

Jul 23, 2026

Google

organisations

Jul 23, 2026

Gradient Ascent

machine-learning

Jul 23, 2026

Geometric Sequence

analysis

Jul 23, 2026

Geometric Series

analysis

Jul 23, 2026

Geometry

geometry

Jul 23, 2026

Geostationary Satellite

satellites

Jul 23, 2026

Gepant

medicine

Jul 23, 2026

German String

databases

Jul 23, 2026

Gestalt Thinking

psychology
cognition

Jul 23, 2026

Ghost

program-proofing

Jul 23, 2026

Gigabit Interface Converter

networks

Jul 23, 2026

Gini Index

machine-learning
statistics

Jul 23, 2026

Git

software

Jul 23, 2026

GitHub Flavoured Markdown

markdown

Jul 23, 2026

GitHub

organisations
software

Jul 23, 2026

Gitea

software

Jul 23, 2026

Glider

game-of-life

Jul 23, 2026

Gaussian Elimination

linear-algebra

Jul 23, 2026

Gaussian Process

math

Jul 23, 2026

Gaussian Radial Basis Function

machine-learning
statistics
deep-learning

Jul 23, 2026

Gemini

llms

Jul 23, 2026

Gene Expression

neuroscience

Jul 23, 2026

Gene

neuroscience

Jul 23, 2026

Generalisation Bound

machine-learning
learning-theory
statistics

Jul 23, 2026

Generalisation Error

machine-learning

Jul 23, 2026

Generalisation

machine-learning
intelligence

Jul 23, 2026

Generalised Advantage Estimation

reinforcement-learning

Jul 23, 2026

Generated Language

languages

Jul 23, 2026

Generation Time

search

Jul 23, 2026

Generative Learning

machine-learning
statistics

Jul 23, 2026

Genetic Algorithm

search

Jul 23, 2026

Genotype

biology

Jul 23, 2026

Geometric Distribution

probability-theory

Jul 23, 2026

Fundamental Theorem of Algebra

algebra

Jul 23, 2026

Fundamental Theorem of Arithmetic

number-theory

Jul 23, 2026

Fundamental Theorem of Calculus

analysis

Jul 23, 2026

Fuzzy Testing

software-engineering

Jul 23, 2026

Fáry's Theorem

graph-theory

Jul 23, 2026

G-factor

psychology

Jul 23, 2026

GET (HTTP)

web

Jul 23, 2026

Gaia Hypothesis

biology
ecology

Jul 23, 2026

Gale–Shapley Algorithm

computation

Jul 23, 2026

Galois-Counter Mode

cryptography

Jul 23, 2026

Game Theory

game-theory

Jul 23, 2026

Gamescope

games

Jul 23, 2026

Gamma Function

math

Jul 23, 2026

Gaussian Distribution

probability-theory

Jul 23, 2026

Function Colouring

programming

Jul 23, 2026

Function Domain

math

Jul 23, 2026

Function Limit

analysis

Jul 23, 2026

Function Property

computation

Jul 23, 2026

Function Space

functional-analysis
analysis

Jul 23, 2026

Function Symbol (First-Order Logic)

logic
first-order-logic

Jul 23, 2026

Function Type

type-theory

Jul 23, 2026

Function

algebra
set-theory

Jul 23, 2026

Functional Analysis

functional-analysis

Jul 23, 2026

Functional Completeness (Propositional Logic)

logic
propositional-logic

Jul 23, 2026

Functional Dependency (Relational Algebra)

relational-algebra

Jul 23, 2026

Functional Problem

computation

Jul 23, 2026

Functional Programming

programming

Jul 23, 2026

Functional Requirement

software-engineering

Jul 23, 2026

Functional Unit

computer-architecture

Jul 23, 2026

Functional

analysis
functional-analysis

Jul 23, 2026

Functor

category-theory

Jul 23, 2026

Free Variable (First-Order Logic)

first-order-logic

Jul 23, 2026

Free Will

philosophy

Jul 23, 2026

Frege's Logic

logic

Jul 23, 2026

Frequency Hopping

mobile-communication

Jul 23, 2026

Frequency-Division Multiple Access

mobile-communication

Jul 23, 2026

Frequency

statistics

Jul 23, 2026

Friedman Test

cryptography

Jul 23, 2026

Frobenius Inner Product

linear-algebra

Jul 23, 2026

Full Adder

combinatorial-logic

Jul 23, 2026

Full Functional Dependency (Relational Algebra)

relational-algebra

Jul 23, 2026

Full Outer Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Fully Associative Cache

computer-architecture
memory

Jul 23, 2026

Fully Observable Environment

artificial-intelligence

Jul 23, 2026

Fully Polynomial-time Approximation Scheme

computation

Jul 23, 2026

Function (First-Order Logic)

first-order-logic

Jul 23, 2026

Function (Programming)

programming

Jul 23, 2026

Forwarding

computer-architecture

Jul 23, 2026

Fourier Series

analysis
functional-analysis

Jul 23, 2026

Fourier Transform

signals

Jul 23, 2026

Fractal

math
biology
complexity

Jul 23, 2026

Fraction

algebra

Jul 23, 2026

Fractional Part

math

Jul 23, 2026

Fragmentation

operating-systems

Jul 23, 2026

Frame (Networking)

networks

Jul 23, 2026

Frame (OS)

operating-systems
memory

Jul 23, 2026

Frame Counting

web
security

Jul 23, 2026

Frame Problem

reasoning

Jul 23, 2026

Francis Zane

Jul 23, 2026

Free Energy Principle

neuroscience

Jul 23, 2026

Free Energy

physics
thermodynamics
biology

Jul 23, 2026

Free Index (Einstein Notation)

linear-algebra

Jul 23, 2026

Free Space Management (OS)

operating-systems
file-management

Jul 23, 2026

Flow Network

graph-theory

Jul 23, 2026

Floyd's Rule (Hoare Calculus)

hoare-calculus

Jul 23, 2026

Force

physics

Jul 23, 2026

Foreign Key

relational-algebra

Jul 23, 2026

Forest

graph-theory

Jul 23, 2026

Formal Fallacy

logic

Jul 23, 2026

Formal Language

languages

Jul 23, 2026

Format String Vulnerability

security
memory
c

Jul 23, 2026

Format String

c
programming-languages

Jul 23, 2026

Formula (First-Order Logic)

first-order-logic

Jul 23, 2026

Formula (Propositional Logic)

logic

Jul 23, 2026

Formula Position

logic

Jul 23, 2026

Formula Satisfaction Set

logic

Jul 23, 2026

Formula

logic

Jul 23, 2026

Forward Secrecy

cryptography

Jul 23, 2026

First-order Optimisation Method

optimisation
calculus
machine-learning

Jul 23, 2026

Fixed Point (Lambda Calculus)

lambda-calculus

Jul 23, 2026

Fixed Point

math

Jul 23, 2026

Fixed-Point Arithmetic

Jul 23, 2026

Fixed-Point Combinator

combinators

Jul 23, 2026

Fixed-Point Logic

logic

Jul 23, 2026

Fixed-Point Number Representation

numeric

Jul 23, 2026

Fixed-Point Theorem (Lambda Calculus)

lambda-calculus

Jul 23, 2026

Flip-Flop

logic-circuits

Jul 23, 2026

Floating-Point Arithmetic

numeric

Jul 23, 2026

Floating-Point Instruction (RISC-V)

risc-v

Jul 23, 2026

Floating-Point Number Representation

numeric

Jul 23, 2026

Floating-Point Register (RISC-V)

risc-v

Jul 23, 2026

Floor

math

Jul 23, 2026

Finite Alphabet

languages

Jul 23, 2026

Finite Automaton

automata-theory

Jul 23, 2026

Finite Non-Empty Set

set-theory

Jul 23, 2026

Finite Program Run

program-proofing

Jul 23, 2026

Finite Set

set-theory

Jul 23, 2026

Finite Turing Machine

computation

Jul 23, 2026

First Come First Served (OS)

operating-systems
scheduling

Jul 23, 2026

First In First Out

computation

Jul 23, 2026

First Law of Thermodynamics

physics
thermodynamics

Jul 23, 2026

First Normal Form

relational-algebra

Jul 23, 2026

First-Hop Redundancy Protocol

network-protocols

Jul 23, 2026

First-In-First-Out Memory Replacement Policy

computer-architecture
memory

Jul 23, 2026

First-Order Logic

logic
first-order-logic

Jul 23, 2026

Fibonacci Heap

data-structures
algorithms
graph-theory

Jul 23, 2026

Fibonacci Number

computation

Jul 23, 2026

Field

algebra

Jul 23, 2026

File Allocation

operating-systems
file-management

Jul 23, 2026

File Attributes

operating-systems
file-management

Jul 23, 2026

File Descriptor

operating-systems

Jul 23, 2026

File Directory

operating-systems
file-management

Jul 23, 2026

File Management (OS)

operating-systems
file-management

Jul 23, 2026

File Organisation

operating-systems
file-management

Jul 23, 2026

File System Layout

operating-systems
file-management

Jul 23, 2026

File Table

operating-systems

Jul 23, 2026

File Type

operating-systems
file-management

Jul 23, 2026

Final Program Configuration

program-proofing

Jul 23, 2026

Fine-Grained Hardware Multi-Threading

computer-architecture

Jul 23, 2026

FastAPI

python

Jul 23, 2026

Fear-Condition Paradigm

psychology

Jul 23, 2026

Feasible Schedule (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Feasible Solution

computation

Jul 23, 2026

Feature Engineering

machine-learning
preprocessing

Jul 23, 2026

Feature Space (Machine Learning)

machine-learning

Jul 23, 2026

Feature Space (Probability Theory)

probability-theory

Jul 23, 2026

Feedback Scheduling

operating-systems
scheduling

Jul 23, 2026

Fermat's Little Theorem

number-theory

Jul 23, 2026

Fermi Paradox

philosophy

Jul 23, 2026

Ferranti Mark 1

computation
history

Jul 23, 2026

Ferranti Mark 2

computation
history

Jul 23, 2026

Fetch Policy

operating-systems

Jul 23, 2026

Fetch Stage

computer-architecture

Jul 23, 2026

Extreme Value Theorem

analysis

Jul 23, 2026

F1 Score

machine-learning

Jul 23, 2026

F1-Score

machine-learning
classification
statistics

Jul 23, 2026

FSharp

programming-languages

Jul 23, 2026

Factor Group

algebra

Jul 23, 2026

Factor-Delta Approximate Solution

computation
approximation

Jul 23, 2026

Factor-Delta Approximation Algorithm

computation

Jul 23, 2026

Factorial

discrete-math

Jul 23, 2026

Factoring Inference Rule (Propositional Resolution)

propositional-logic

Jul 23, 2026

Fail-Safe Defaults

computer-security

Jul 23, 2026

Fallacy

logic
argumentation

Jul 23, 2026

False Negative

machine-learning

Jul 23, 2026

False Positive

machine-learning

Jul 23, 2026

Falsity

logic

Jul 23, 2026

Family

set-theory

Jul 23, 2026

Exponential Equation

math

Jul 23, 2026

Exponential Function

math

Jul 23, 2026

Exponential Search Space

computation

Jul 23, 2026

Exponential Series

analysis

Jul 23, 2026

Exponential Time Hypothesis

computation
complexity

Jul 23, 2026

Expression

compilers

Jul 23, 2026

Extended Church-Turing Thesis

computation

Jul 23, 2026

Extended Euclidean Algorithm

cryptography

Jul 23, 2026

Extended Greibach Normal Form

languages

Jul 23, 2026

Extended Transition Function

automata-theory
computer-science

Jul 23, 2026

Extended-Validation Certificate

cryptography

Jul 23, 2026

Extension Theorem

linear-algebra

Jul 23, 2026

Extensional Function Property

computation

Jul 23, 2026

Extensional Language Property

languages

Jul 23, 2026

External Fragmentation

operating-systems

Jul 23, 2026

External Threat

security

Jul 23, 2026

Extract Transform Load

data-warehouse

Jul 23, 2026

Existentialism

philosophy

Jul 23, 2026

Expansion Point

analysis

Jul 23, 2026

Expansion Time

search

Jul 23, 2026

Expected Return

reinforcement-learning

Jul 23, 2026

Expected Utility

utility-theory

Jul 23, 2026

Expected Value

probability-theory

Jul 23, 2026

Experience

artificial-intelligence

Jul 23, 2026

Explanandum

philosophy

Jul 23, 2026

Explanans

philosophy

Jul 23, 2026

Exploding Gradient

machine-learning

Jul 23, 2026

Exploration Problem

reinforcement-learning

Jul 23, 2026

Exploratory Data Analysis

data-analysis

Jul 23, 2026

Exponential Complexity

complexity-theory

Jul 23, 2026

Exponential Distribution

probability-theory

Jul 23, 2026

Exact Cover Problem

computation

Jul 23, 2026

Exactly One of Two Reachable Code Problem

computation

Jul 23, 2026

Exafference

neuroscience

Jul 23, 2026

Exception (RISC-V)

risc-v

Jul 23, 2026

Exchange Graph

combinatorics
computation

Jul 23, 2026

Exchange Instruction

operating-systems
hardware
concurrency

Jul 23, 2026

Exchangeability (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Excitation

neuroscience

Jul 23, 2026

Exclusive Lock (ACID)

aci

Jul 23, 2026

Exclusive-OR

logic

Jul 23, 2026

Execute Stage

computer-architecture

Jul 23, 2026

Execution Mode

operating-systems
hardware

Jul 23, 2026

Execution within User Processes

operating-systems

Jul 23, 2026

Exempli Gratia

latin

Jul 23, 2026

Existence of Utility Function

utility-theory

Jul 23, 2026

Existential Quantifier (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

Existential Quantifier

first-order-logic

Jul 23, 2026

Euclidean Norm

linear-algebra

Jul 23, 2026

Euclidean Space

geometry
linear-algebra
analysis

Jul 23, 2026

Eukaryote

biology
evolution
complexity

Jul 23, 2026

Euler's Formula

complex-numbers

Jul 23, 2026

Euler's Number

math

Jul 23, 2026

Euler's Theorem

number-theory

Jul 23, 2026

Euler's Totient Function

number-theory

Jul 23, 2026

Euler-Mascheroni Constant

analysis

Jul 23, 2026

Eulerian Graph

graph-theory

Jul 23, 2026

Eulerian Line

graph-theory

Jul 23, 2026

Euphemismus (Deutsch)

german

Jul 23, 2026

Evaluation (Machine Learning)

machine-learning
evaluation
statistics

Jul 23, 2026

Even Function

linear-algebra

Jul 23, 2026

Event (Probability Theory)

probability-theory

Jul 23, 2026

Eventual Consistency

software-engineering
distributed-systems

Jul 23, 2026

Exact Algorithm

computation

Jul 23, 2026

Equivalence Class

algebra

Jul 23, 2026

Equivalence Partitioning

software-engineering
testing

Jul 23, 2026

Equivalence Relation

algebra

Jul 23, 2026

Equivalence

logic

Jul 23, 2026

Equivalent Formula (First-Order Logic)

first-order-logic

Jul 23, 2026

Equivalent Mutant (Mutation Testing)

mutation-testing

Jul 23, 2026

Equivalent Replacement (Propositional Logic)

logic
propositional-logic

Jul 23, 2026

Error-Driven Learning Algorithm

machine-learning

Jul 23, 2026

Estimation Error

machine-learning
learning-theory

Jul 23, 2026

Estimator

probability-theory

Jul 23, 2026

Eta Reduction

lambda-calculus

Jul 23, 2026

EtherChannel

network-redundancy

Jul 23, 2026

Ethical AI

machine-learning
statistics

Jul 23, 2026

Ethical Hacking

security

Jul 23, 2026

Euclidean Algorithm

discrete-math

Jul 23, 2026

Euclidean Distance

geometry

Jul 23, 2026

Ephemeral Diffie-Hellman

cryptography

Jul 23, 2026

Epigraph

analysis
optimisation
convex-analysis

Jul 23, 2026

Epimetheus (Greek Mythology)

greek-mythology

Jul 23, 2026

Epipher (Deutsch)

german

Jul 23, 2026

Epiphnomenalism

philosophy

Jul 23, 2026

Episodic Experience

artificial-intelligence

Jul 23, 2026

Episodic Migraine

medicine

Jul 23, 2026

Epistemological Solipsism

philosophy

Jul 23, 2026

Epistemology

philosophy

Jul 23, 2026

Epsilon Neighbourhood (Scalar)

analysis

Jul 23, 2026

Epsilon Neighbourhood (Vector)

vector-calculus
analysis

Jul 23, 2026

Epsilon Production

languages

Jul 23, 2026

Equator

geography

Jul 23, 2026

Equi Join (Relational Algebra)

relational-algebra

Jul 23, 2026

Equisatisfiable Propositional Formula

logic

Jul 23, 2026

Equivalence (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

Equivalence (Propositional Tableaux)

tableaux

Jul 23, 2026

Endomorphism

category-theory

Jul 23, 2026

Energy (Physics)

physics

Jul 23, 2026

Engram

neuroscience

Jul 23, 2026

Enhanced Mobile Broadband

mobile-communication

Jul 23, 2026

Ensemble Learning Algorithm

machine-learning

Jul 23, 2026

Entailment (First-Order Logic)

first-order-logic

Jul 23, 2026

Entailment

logic

Jul 23, 2026

Entailment–Unsatisfiability Duality

logic
proof-theory

Jul 23, 2026

Entangled Quantum State

quantum-computing

Jul 23, 2026

Entangled System

quantum-computing

Jul 23, 2026

Entanglement (Quantum Mechanics)

quantum-mechanics

Jul 23, 2026

Entity-Attribute-Value Model

databases

Jul 23, 2026

Entity-Relationship Model

databases

Jul 23, 2026

Entropy

statistics
chaos-theory

Jul 23, 2026

Environment

artificial-intelligence

Jul 23, 2026

Enzyme

biology

Jul 23, 2026

Empty Clause

logic

Jul 23, 2026

Empty Program (Hoare Calculus)

hoare-calculus

Jul 23, 2026

Empty String

languages

Jul 23, 2026

Encapsulation (Networking)

networking

Jul 23, 2026

Encapsulation Security Payload

network-protocols

Jul 23, 2026

Encoder (Combinatorial Logic)

combinatorial-logic

Jul 23, 2026

Encoder (Machine Learning)

machine-learning

Jul 23, 2026

Encoder-Decoder

machine-learning

Jul 23, 2026

Encoding of a Turing Machine

computation

Jul 23, 2026

Encrypt-then-MAC

cryptography

Jul 23, 2026

Encryption Algorithm

cryptography

Jul 23, 2026

Encryption Scheme

cryptography

Jul 23, 2026

Encryption

cryptography

Jul 23, 2026

Endianness

computer-architecture
memory

Jul 23, 2026

Endofunctor

category-theory

Jul 23, 2026

Endogeny

biology

Jul 23, 2026

Elementary Event

probability-theory

Jul 23, 2026

Elementary Function

analysis

Jul 23, 2026

Elementary Matrix

linear-algebra

Jul 23, 2026

Eletriptan

medicine

Jul 23, 2026

Ellipse (Deutsch)

german

Jul 23, 2026

Emergence of Life

biology
evolution

Jul 23, 2026

Empirical Quantile

statistics

Jul 23, 2026

Empirical Risk Minimisation Algorithm

machine-learning

Jul 23, 2026

Empirical Risk Minimisation

machine-learning

Jul 23, 2026

Empirical Risk

machine-learning
statistics

Jul 23, 2026

Empirical Standard Deviation

statistics

Jul 23, 2026

Empirical Variance

statistics

Jul 23, 2026

Eigenspace

linear-algebra

Jul 23, 2026

Eigenvalue

linear-algebra

Jul 23, 2026

Eigenvector

linear-algebra

Jul 23, 2026

Einstein Notation

linear-algebra

Jul 23, 2026

Einsum Notation

linear-algebra

Jul 23, 2026

Electric Charge

electromagnetism

Jul 23, 2026

Electric Circuit

electronics

Jul 23, 2026

Electric Current

electromagnetism

Jul 23, 2026

Electric Field

electromagnetism

Jul 23, 2026

Electromagnetic Energy

physics

Jul 23, 2026

Electromagnetic Radiation

physics
electromagnetism

Jul 23, 2026

Electromagnetism

electromagnetism

Jul 23, 2026

Electronic Codebook Mode

cryptography

Jul 23, 2026

Electronic Discrete Variable Automatic Computer

computation

Jul 23, 2026

Electronic Numerical Integrator and Computer

computation

Jul 23, 2026

ELF

compilers
file-formats

Jul 23, 2026

ESP32-C3

computer-architecture
risc-v

Jul 23, 2026

ETH Zurich

universities

Jul 23, 2026

EXPTIME Complexity Class

complexity-theory

Jul 23, 2026

Eager Evaluation

programming

Jul 23, 2026

Earliest Due Date First Algorithm

computation
scheduling

Jul 23, 2026

Earliest Start Time First Algorithm

computation
scheduling

Jul 23, 2026

Earth

cosmology

Jul 23, 2026

Edge Sequence

graph-theory
todo

Jul 23, 2026

Edge Weight

graph-theory

Jul 23, 2026

Edge

graph-theory

Jul 23, 2026

Effective User ID (Unix)

operating-systems
security

Jul 23, 2026

Efficient Polynomial-time Approximation Scheme

computation

Jul 23, 2026

Eigenbasis

linear-algebra

Jul 23, 2026

Dyck Language

languages

Jul 23, 2026

Dying ReLu Problem

machine-learning

Jul 23, 2026

Dynamic Binary Analysis

security

Jul 23, 2026

Dynamic Binding

type-theory

Jul 23, 2026

Dynamic Branch Prediction

computer-architecture

Jul 23, 2026

Dynamic Environment

artificial-intelligence

Jul 23, 2026

Dynamic Programming Algorithm

computation

Jul 23, 2026

Dynamic Programming

computation

Jul 23, 2026

Dynamic Random-Access Memory

computer-architecture
memory

Jul 23, 2026

Dynamic Stability

physics
biology

Jul 23, 2026

Dynamic Typing

type-theory

Jul 23, 2026

EAX Mode

cryptography

Jul 23, 2026

Double Data Rate Synchronous Dynamic Random-Access Memory

computer-architecture
memory

Jul 23, 2026

Double Negation Elimination

logic

Jul 23, 2026

Double Submit Pattern

web
security

Jul 23, 2026

Double Turnstile

formalism

Jul 23, 2026

Double-Ended Queue

data-structures
computer-science

Jul 23, 2026

Double-Precision Floating-Point Extension (RISC-V)

risc-v

Jul 23, 2026

Doubly Linked List

data-structures

Jul 23, 2026

Dream

neuroscience

Jul 23, 2026

Dreaming

neuroscience

Jul 23, 2026

Dual Heuristic

computation
heuristics

Jul 23, 2026

Dual Problem

optimisation
machine-learning

Jul 23, 2026

Dual Vector

linear-algebra

Jul 23, 2026

Due Date (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Dummy Index (Einstein Notation)

linear-algebra

Jul 23, 2026

Duplex

communication

Jul 23, 2026

Dura Mater

medicine

Jul 23, 2026

Division (Relational Algebra)

relational-algebra

Jul 23, 2026

Docker

Jul 23, 2026

Document Object Model

web

Jul 23, 2026

Dodgson's Rule (COMSOC)

comsoc

Jul 23, 2026

Domain (Function)

algebra

Jul 23, 2026

Domain (Relation)

set-theory

Jul 23, 2026

Domain Name System (DNS)

networking
dns

Jul 23, 2026

Domain-Specific Language

languages

Jul 23, 2026

Domain-Validated Certificate

cryptography

Jul 23, 2026

Dominant Heuristic

search

Jul 23, 2026

Dominating Set Problem

computation
graph-theory

Jul 23, 2026

Dominating Set

graph-theory

Jul 23, 2026

Doppler Effect

physics

Jul 23, 2026

Dot Product

linear-algebra

Jul 23, 2026

Dispatcher

operating-systems

Jul 23, 2026

Distance-based Learning Algorithm

machine-learning

Jul 23, 2026

Distributed Operating System

operating-systems
distributed-systems

Jul 23, 2026

Distributed Programming

programming

Jul 23, 2026

Distributed System

operating-systems
distributed-systems

Jul 23, 2026

Distribution Function

probability-theory

Jul 23, 2026

Distribution

statistics

Jul 23, 2026

Distributive Lattice

algebra

Jul 23, 2026

Distributivity

algebra

Jul 23, 2026

Ditan

medicine

Jul 23, 2026

Divergence Function

machine-learning
statistics

Jul 23, 2026

Divergent Sequence

analysis

Jul 23, 2026

Divergent Series

analysis

Jul 23, 2026

Divide et impera

computer-science

Jul 23, 2026

Discrete

math

Jul 23, 2026

Discretionary Access Control

security

Jul 23, 2026

Discretisation

data-analysis

Jul 23, 2026

Discriminative Learning

machine-learning
statistics

Jul 23, 2026

Disjunction (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

Disjunction (Propositional Tableaux)

tableaux

Jul 23, 2026

Disjunction

logic

Jul 23, 2026

Disjunctive Normal Form (First-Order Logic)

first-order-logic

Jul 23, 2026

Disjunctive Normal Form

logic

Jul 23, 2026

Disk Cache

operating-systems
io

Jul 23, 2026

Disk Scheduling (OS)

operating-systems
io
scheduling

Jul 23, 2026

Directory Service

cryptography

Jul 23, 2026

Direkte Rede (Deutsch)

german

Jul 23, 2026

Dirichlet Function

math

Jul 23, 2026

Dirty Read

acid

Jul 23, 2026

Discord

apps

Jul 23, 2026

Discount Factor

reinforcement-learning

Jul 23, 2026

Discrete Distribution

probability-theory

Jul 23, 2026

Discrete Environment

artificial-intelligence

Jul 23, 2026

Discrete Logarithm

mathematics
number-theory
cryptography

Jul 23, 2026

Discrete Mathematics

math

Jul 23, 2026

Discrete Probability Space

probability-theory

Jul 23, 2026

Discrete Random Variable

probability-theory

Jul 23, 2026

Discrete Space

spaces

Jul 23, 2026

Digital Circuit

computer-architecture

Jul 23, 2026

Digital Signature

cryptography

Jul 23, 2026

Digital Subscriber Line

networks

Jul 23, 2026

Dijkstra's Algorithm

graph-theory
todo

Jul 23, 2026

Dimension (Vector Space)

linear-algebra

Jul 23, 2026

Dimensionality Reduction

machine-learning
unsupervised-learning

Jul 23, 2026

Dining Philosophers Problem

operating-systems
concurrency

Jul 23, 2026

Diophantine Equation

number-theory

Jul 23, 2026

Direct Deadlock Prevention

operating-systems
concurrency

Jul 23, 2026

Direct-Mapped Cache

computer-architecture
memory

Jul 23, 2026

Directed Acyclic Graph

graph-theory

Jul 23, 2026

Directed Graph

graph-theory

Jul 23, 2026

Directional Derivative

analysis

Jul 23, 2026

Deterministic Program Transition

program-proofing

Jul 23, 2026

Deterministic Turing Machine

computation

Jul 23, 2026

Deterministic

statistics

Jul 23, 2026

Diagonal Matrix

linear-algebra

Jul 23, 2026

Diagonalisable Matrix

linear-algebra

Jul 23, 2026

Diagonalisation

set-theory

Jul 23, 2026

Dictionary Attack

security
cryptography

Jul 23, 2026

Difference (Relational Algebra)

relational-algebra

Jul 23, 2026

Differentiable Convex Function

convex-analysis

Jul 23, 2026

Differentiable Function

analysis

Jul 23, 2026

Differential Cryptanalysis

cryptography

Jul 23, 2026

Differential Quotient

analysis

Jul 23, 2026

Diffie-Hellman Key Exchange

cryptography

Jul 23, 2026

Diffusion

cryptography

Jul 23, 2026

Derivation (Propositional Resolution)

propositional-logic
resolution
proof-theory

Jul 23, 2026

Derivation (Tableaux)

tableaux

Jul 23, 2026

Derivative

analysis

Jul 23, 2026

Desiderata

latin

Jul 23, 2026

Design by Contract

programming

Jul 23, 2026

Destructive Interference

quantum-computing

Jul 23, 2026

Determinant

linear-algebra

Jul 23, 2026

Determinisation

automata-theory

Jul 23, 2026

Deterministic Agent Function

artificial-intelligence

Jul 23, 2026

Deterministic Finite Automaton

automata-theory

Jul 23, 2026

Deterministic Policy

reinforcement-learning

Jul 23, 2026

Delta-Approximable NP-Hard Optimisation Problem

computation
approximation

Jul 23, 2026

Demand Paging

operating-systems
memory

Jul 23, 2026

Demultiplexer

combinatorial-logic

Jul 23, 2026

Dendrite

neuroscience

Jul 23, 2026

Dennard Scaling

semiconductors

Jul 23, 2026

Denominator

algebra

Jul 23, 2026

Dense Graph

graph-theory

Jul 23, 2026

Dense Vector

linear-algebra

Jul 23, 2026

Density Transformation Theorem

probability-theory

Jul 23, 2026

Deoxyribonucleic Acid

biology

Jul 23, 2026

Dependent Set (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Depth (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Depth-First Search

search

Jul 23, 2026

Depth-Limited Search

search

Jul 23, 2026

Derivable Consequent

logic

Jul 23, 2026

Deep Blue

artificial-intelligence
game-theory
search-algorithm

Jul 23, 2026

Deep Learning

artificial-intelligence

Jul 23, 2026

Deep Q-Learning

reinforcement-learning

Jul 23, 2026

Deep Q-Network

reinforcement-learning

Jul 23, 2026

DeepSeek-V4

llms

Jul 23, 2026

Default Encryption Standard

cryptography

Jul 23, 2026

Default Gateway

networks

Jul 23, 2026

Defense in Depth (Security)

security

Jul 23, 2026

Definite Integral

analysis

Jul 23, 2026

Definition-Use Pair

software-engineering
testing

Jul 23, 2026

Definition

logic

Jul 23, 2026

Degenerate Binary Tree

trees

Jul 23, 2026

Dekker's Algorithm

operating-systems
concurrency

Jul 23, 2026

Delegation (Security)

security

Jul 23, 2026

Delta Neighbourhood

analysis

Jul 23, 2026

Decidable Decision Problem

computation

Jul 23, 2026

Decidable Function Property

computation

Jul 23, 2026

Decidable Language Property

computation

Jul 23, 2026

Decision Algorithm

computation

Jul 23, 2026

Decision Problem

computation

Jul 23, 2026

Decision Theory

decision-theory

Jul 23, 2026

Decision Tree

machine-learning
classification
regression

Jul 23, 2026

Decode Stage

computer-architecture

Jul 23, 2026

Decoder (Combinatorial Logic)

combinatorial-logic

Jul 23, 2026

Decoder (Machine Learning)

machine-learning

Jul 23, 2026

Decomposability (Utility Theory)

utility-theory

Jul 23, 2026

Decreasing Monotone Function

analysis

Jul 23, 2026

Decryption Algorithm

cryptography

Jul 23, 2026

Decryption

cryptography

Jul 23, 2026

Deduction

logic

Jul 23, 2026

Deductive Logic

logic

Jul 23, 2026

Deep Artificial Neural Network

machine-learning
deep-learning

Jul 23, 2026

Dataset

machine-learning

Jul 23, 2026

Davis–Putnam–Logemann–Loveland Algorithm

propositional-logic
sat-solving

Jul 23, 2026

De Moivre's Theorem

complex-numbers

Jul 23, 2026

De Morgan's Rules

boolean-algebra

Jul 23, 2026

Dead Matter

physics
thermodynamics

Jul 23, 2026

Deadline (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Deadlock (ACID)

acid

Jul 23, 2026

Deadlock (Game)

games

Jul 23, 2026

Deadlock Avoidance

operating-systems
concurrency

Jul 23, 2026

Deadlock Detection

operating-systems
concurrency

Jul 23, 2026

Deadlock Prevention

operating-systems
concurrency

Jul 23, 2026

Deadlock Recovery

operating-systems
concurrency

Jul 23, 2026

Deadlock

operating-systems
concurrency

Jul 23, 2026

Decadic Logarithm

logarithms

Jul 23, 2026

Decibel

units

Jul 23, 2026

Data Hiding

programming

Jul 23, 2026

Data Integrity

security

Jul 23, 2026

Data Link Layer

networks
osi-model

Jul 23, 2026

Data Memory

computer-architecture

Jul 23, 2026

Data Race

concurrency

Jul 23, 2026

Data Structure

data-structures

Jul 23, 2026

Data

data-analysis

Jul 23, 2026

Database Management System

databases

Jul 23, 2026

Database

databases

Jul 23, 2026

Datagram

networks

Jul 23, 2026

Dataset Splitting

machine-learning
statistics

Jul 23, 2026

Cyclic Group

algebra

Jul 23, 2026

D Flip-Flop

logic-circuits

Jul 23, 2026

D Latch

logic-circuits

Jul 23, 2026

DNS-01

dns
acme

Jul 23, 2026

DSpark

machine-learning

Jul 23, 2026

Dafny

programming-languages

Jul 23, 2026

Dangling Memory Pointer

memory

Jul 23, 2026

Dartmouth Workshop

artificial-intelligence
symbolic-ai

Jul 23, 2026

Darwinism

evolution
biology
computation

Jul 23, 2026

Data Analysis

data-analysis

Jul 23, 2026

Data Anomaly

databases

Jul 23, 2026

Data Availability

security

Jul 23, 2026

Data Cache

computer-architecture
memory

Jul 23, 2026

Data Encapsulation

programming

Jul 23, 2026

Data Hazard

computer-architecture

Jul 23, 2026

Cross-Site Scripting

web
security

Jul 23, 2026

Cross-Validation

machine-learning
statistics

Jul 23, 2026

Cryptographic Hash Function

cryptography

Jul 23, 2026

Cryptography

cryptography

Jul 23, 2026

Cumulative Acknowledgement (TCP)

network-protocols
tcp

Jul 23, 2026

Cumulative Distribution Function

probability-theory

Jul 23, 2026

Current Density

electromagnetism

Jul 23, 2026

Curriculum Learning

machine-learning
optimisation

Jul 23, 2026

Curry-Howard Correspondence

logic
type-theory

Jul 23, 2026

Currying

computation

Jul 23, 2026

Curse of Dimensionality

machine-learning
statistics

Jul 23, 2026

Cut

graph-theory

Jul 23, 2026

Cutaneous Allodynia

medicine

Jul 23, 2026

Cybernetics

cybernetics

Jul 23, 2026

Cycle (Graph)

graph-theory
algorithms

Jul 23, 2026

Cycle Notation

discrete-math

Jul 23, 2026

Cycles Per Instruction

computer-architecture

Jul 23, 2026

Cranial Vasculature

medicine

Jul 23, 2026

Craniopagus Twins

neuroscience

Jul 23, 2026

Creativity

cognition

Jul 23, 2026

Credit Assignment Problem

reinforcement-learning

Jul 23, 2026

Creeper

security
history

Jul 23, 2026

Critical Brain Hypothesis

neuroscience

Jul 23, 2026

Critical Region

operating-systems
concurrency

Jul 23, 2026

Critical Section

operating-systems
concurrency

Jul 23, 2026

Croatian

languages

Jul 23, 2026

Cross Product

linear-algebra

Jul 23, 2026

Cross Validation

machine-learning

Jul 23, 2026

Cross-Attention

machine-learning
attention
todo

Jul 23, 2026

Cross-Entropy Loss

machine-learning
statistics
optimisation

Jul 23, 2026

Cross-Origin Resource Sharing

web
security

Jul 23, 2026

Cross-Site Leak

web
security

Jul 23, 2026

Cross-Site Request Forgery

web
security

Jul 23, 2026

Counter Mode

cryptography

Jul 23, 2026

Counter with CBC-MAC

cryptography

Jul 23, 2026

Counter

logic-circuits

Jul 23, 2026

Counting Problem

complexity-theory
computation

Jul 23, 2026

Counting Quantifier

logic

Jul 23, 2026

Counting Semaphore

operating-systems
concurrency

Jul 23, 2026

Covariance

probability-theory

Jul 23, 2026

Covariant Type Constructor

type-theory

Jul 23, 2026

Cramer's Rule

linear-algebra

Jul 23, 2026

Cranial Blood Vessel

medicine

Jul 23, 2026

Cranial Circulation

medicine

Jul 23, 2026

Cranial Nerve

medicine

Jul 23, 2026

Correct Argument

logic

Jul 23, 2026

Correct Many-One Reduction

computation

Jul 23, 2026

Correct Program

program-proofing

Jul 23, 2026

Correct Reduction

computation

Jul 23, 2026

Correct Symmetric Encryption Scheme

cryptography

Jul 23, 2026

Correctness Problem

computation

Jul 23, 2026

Correlation

statistics

Jul 23, 2026

Coset

algebra

Jul 23, 2026

Cosine Law

trigonometry

Jul 23, 2026

Cosine Similarity

machine-learning

Jul 23, 2026

Cosine

trigonometry

Jul 23, 2026

Cosmic Dust

cosmology

Jul 23, 2026

Countably Infinite Set

set-theory

Jul 23, 2026

Convex Region

analysis
topology
optimisation

Jul 23, 2026

Convex Set

analysis
optimisation
linear-algebra

Jul 23, 2026

Convex

math

Jul 23, 2026

Conway's Game of Life

cellular-automata

Jul 23, 2026

Cook Reduction

computation

Jul 23, 2026

Cookie Jar Overflow

web
security

Jul 23, 2026

Cookie Prefix

web
security

Jul 23, 2026

Cookie Tossing

web
security

Jul 23, 2026

Coprime

number-theory

Jul 23, 2026

Corank

algebra

Jul 23, 2026

Core War

games
programming
simulation

Jul 23, 2026

Cornell Aeronautical Laboratory

research-laboratory
aeronautics

Jul 23, 2026

Cornell University

universities

Jul 23, 2026

Corollary

logic

Jul 23, 2026

Contradiction

logic

Jul 23, 2026

Contrastive Learning

machine-learning

Jul 23, 2026

Contravariant Type Constructor

type-theory

Jul 23, 2026

Control Flow Graph

software-engineering
testing

Jul 23, 2026

Control Hazard

computer-architecture

Jul 23, 2026

Control Problem

computation

Jul 23, 2026

Control Unit

computer-architecture

Jul 23, 2026

Control and Status Register (RISC-V)

risc-v

Jul 23, 2026

Control-Flow Hijacking

security
memory

Jul 23, 2026

Controlled Quantum Gate

quantum-computing

Jul 23, 2026

Convergence Criterion

analysis

Jul 23, 2026

Convergence Radius

analysis

Jul 23, 2026

Convergent Sequence

analysis

Jul 23, 2026

Convergent Series

analysis

Jul 23, 2026

Convex Combination

linear-algebra
convex-geometry

Jul 23, 2026

Convex Function

statistics
analysis
optimisation

Jul 23, 2026

Continuous Environment

artificial-intelligence

Jul 23, 2026

Continuous Function

analysis

Jul 23, 2026

Continuous Linear Functional

linear-algebra

Jul 23, 2026

Continuous Mathematics

math

Jul 23, 2026

Continuous Probability Space

probability-theory

Jul 23, 2026

Continuous Random Variable

probability-theory

Jul 23, 2026

Continuous Space

spaces

Jul 23, 2026

Continuous State Space

search

Jul 23, 2026

Continuous

math

Jul 23, 2026

Continuously Partially Differentiable Function

vector-calculus

Jul 23, 2026

Contour Diagram

plots

Jul 23, 2026

Contraction (Einstein Notation)

linear-algebra

Jul 23, 2026

Contradiction (Propositional Logic)

propositional-logic

Jul 23, 2026

Constrainted Longest Common Subsequence Problem

computation

Jul 23, 2026

Container

operating-systems
security

Jul 23, 2026

Containerisation

operating-systems

Jul 23, 2026

Content Security Policy

web
security

Jul 23, 2026

Context-Free Grammar

languages

Jul 23, 2026

Context-Free Language

languages

Jul 23, 2026

Context-Free Production Rule

languages

Jul 23, 2026

Context-Sensitive Grammar

languages

Jul 23, 2026

Context-Sensitive Language

computation

Jul 23, 2026

Context-Sensitive Production Rule

languages

Jul 23, 2026

Continual Learning

machine-learning

Jul 23, 2026

Continuity (Utility Theory)

utility-theory

Jul 23, 2026

Continuity Hypothesis

set-theory

Jul 23, 2026

Continuous Distribution

probability-theory

Jul 23, 2026

Consequent

logic

Jul 23, 2026

Consistent Formula

logic

Jul 23, 2026

Consistent Heuristic

search

Jul 23, 2026

Consistent Hypothesis

machine-learning
learning-theory

Jul 23, 2026

Consistent Theory (First-Order Logic)

first-order-logic

Jul 23, 2026

Constant (First-Order Logic)

logic
first-order-logic

Jul 23, 2026

Constant Difference Theorem

analysis

Jul 23, 2026

Constant Factor Rule (Analysis)

analysis

Jul 23, 2026

Constant Function (Recursion)

computation

Jul 23, 2026

Constant Function

analysis

Jul 23, 2026

Constant Time Complexity

complexity-theory

Jul 23, 2026

Constraint Satisfaction Problem

artificial-intelligence

Jul 23, 2026

Conjugate Symmetry

linear-algebra

Jul 23, 2026

Conjugate Transpose

linear-algebra

Jul 23, 2026

Conjunction (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

Conjunction (Propositional Tableaux)

tableaux

Jul 23, 2026

Conjunction

logic

Jul 23, 2026

Conjunctive Normal Form (First-Order Logic)

first-order-logic

Jul 23, 2026

Conjunctive Normal Form

logic

Jul 23, 2026

Connected Component (Graph)

graph-theory

Jul 23, 2026

Connected Graph

graph-theory

Jul 23, 2026

Connectionism

philosophy
cognition

Jul 23, 2026

Connectionist Machine

cognition

Jul 23, 2026

Conscious Access

philosophy

Jul 23, 2026

Conscious Agent Theory

cognition
consciousness

Jul 23, 2026

Consciousness

philosophy

Jul 23, 2026

Consequences of a Theory (First-Order Logic)

first-order-logic

Jul 23, 2026

Cone

analysis
linear-algebra

Jul 23, 2026

Confidence Interval

statistics

Jul 23, 2026

Confidentiality (Security)

security

Jul 23, 2026

Configuration (Turing Machine)

computation

Jul 23, 2026

Conflict Cache Miss

computer-architecture
memory

Jul 23, 2026

Conflict Equivalent Schedule

acid

Jul 23, 2026

Conflict Graph (ACID)

acid

Jul 23, 2026

Conflict Serialisable Schedule (ACID)

acid

Jul 23, 2026

Conflict-Driven Clause Learning

sat-solving
logic

Jul 23, 2026

Conflicting Operation (ACID)

acid

Jul 23, 2026

Confusion Matrix

machine-learning
classification
statistics

Jul 23, 2026

Confusion

cryptography

Jul 23, 2026

Congruence

discrete-math

Jul 23, 2026

Concurrent Schedule (ACID)

acid

Jul 23, 2026

Condition Coverage

software-engineering
testing

Jul 23, 2026

Condition Synchronisation

operating-systems
concurrency

Jul 23, 2026

Condition Variable

operating-systems
concurrency

Jul 23, 2026

Conditional (Hoare Calculus)

hoare-calculus

Jul 23, 2026

Conditional Policy

security

Jul 23, 2026

Conditional Probability

probability-theory

Jul 23, 2026

Conditionally Convergent Series

analysis

Jul 23, 2026

Condorcet (COMSOC)

comsoc

Jul 23, 2026

Condorcet Consistent Voting Rule

comsoc

Jul 23, 2026

Condorcet Paradox (COMSOC)

comsoc

Jul 23, 2026

Conductor

physics

Jul 23, 2026

Computational Social Choice

comsoc

Jul 23, 2026

Computational Theory of Mind

philosophy

Jul 23, 2026

Computationalism

philosophy

Jul 23, 2026

Computer Architecture

computer-architecture

Jul 23, 2026

Computer Modern

fonts

Jul 23, 2026

Computer Science

computer-science

Jul 23, 2026

Computer System

computer-architecture

Jul 23, 2026

Computronium

computation
physics
complexity

Jul 23, 2026

Concave Function

analysis

Jul 23, 2026

Concrete Computation

philosophy

Jul 23, 2026

Concurrency

programming

Jul 23, 2026

Concurrent Programming

programming

Jul 23, 2026

Complexity Class

complexity-theory

Jul 23, 2026

Complexity Theory

complexity-theory

Jul 23, 2026

Composite State Space (Quantum Computing)

quantum-computing

Jul 23, 2026

Composition (Function)

algebra

Jul 23, 2026

Compound Formula

logic

Jul 23, 2026

Comprehension Principle

set-theory

Jul 23, 2026

Compressed Instruction (RISC-V)

risc-v

Jul 23, 2026

Compressed Trie

data-structures
string-algorithms

Jul 23, 2026

Computable Encoding

computation

Jul 23, 2026

Computable Function

computation

Jul 23, 2026

Computable Partial Function

computation

Jul 23, 2026

Computable Total Function

computation

Jul 23, 2026

Computation

computation

Jul 23, 2026

Computational Basis (Quantum Computing)

quantum-computing

Jul 23, 2026

Computational Dualism

philosophy

Jul 23, 2026

Computational Irreducibility

philosophy
computation

Jul 23, 2026

Completeness Theorem of the Real Numbers

analysis

Jul 23, 2026

Completion Time (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Complex Algebra

algebra
complex-numbers

Jul 23, 2026

Complex Conjugate

complex-numbers

Jul 23, 2026

Complex Hilbert Space

linear-algebra

Jul 23, 2026

Complex Inner Product Space

linear-algebra

Jul 23, 2026

Complex Inner Product

linear-algebra

Jul 23, 2026

Complex Instruction Set Computing

computer-architecture

Jul 23, 2026

Complex Modulus

complex-numbers

Jul 23, 2026

Complex Number

algebra
complex-numbers

Jul 23, 2026

Complex Type

type-theory

Jul 23, 2026

Complex Vector Space

linear-algebra

Jul 23, 2026

Complex-Valued Function

complex-analysis

Jul 23, 2026

Complement (Set)

set-theory

Jul 23, 2026

Complement Complexity Class

complexity-theory

Jul 23, 2026

Complement Graph

graph-theory

Jul 23, 2026

Complete Bipartite Graph

graph-theory

Jul 23, 2026

Complete Branch (First-Order Logic)

first-order-logic
tableaux

Jul 23, 2026

Complete Calculus

logic

Jul 23, 2026

Complete Diameter Distance

machine-learning

Jul 23, 2026

Complete Linkage Distance

machine-learning

Jul 23, 2026

Complete Mediation (Security)

security

Jul 23, 2026

Complete Metric Space

linear-algebra

Jul 23, 2026

Complete Program Run

program-proofing

Jul 23, 2026

Complete Stage

computer-architecture

Jul 23, 2026

Complete Tableaux (First-Order Logic)

first-order-logic
tableaux

Jul 23, 2026

Commutative Ring

algebra

Jul 23, 2026

Commutativity

algebra

Jul 23, 2026

Compact Metric Space

metric-spaces

Jul 23, 2026

Compact Set

analysis
topology

Jul 23, 2026

Compact Truth Table

logic

Jul 23, 2026

Comparator

logic-circuits

Jul 23, 2026

Compartmentalisation (Security)

security

Jul 23, 2026

Competency

intelligence

Jul 23, 2026

Compilation Unit

compilers

Jul 23, 2026

Compiler Explorer

software
compilers

Jul 23, 2026

Compiler

compilers

Jul 23, 2026

Combination with Repetition

combinatorics

Jul 23, 2026

Combination without Repetition

combinatorics

Jul 23, 2026

Combinator

lambda-calculus

Jul 23, 2026

Combinatorial Logic Circuit

logic

Jul 23, 2026

Combinatorial Search Space

computation

Jul 23, 2026

Combinatoric Optimisation Problem

computation

Jul 23, 2026

Combinatorics

combinatorics

Jul 23, 2026

Command Injection

web
security

Jul 23, 2026

Commit Stage

computer-architecture

Jul 23, 2026

Common Intrusion Detection Framework

security

Jul 23, 2026

Common Knowledge

neuroscience

Jul 23, 2026

Common Vulnerabilities and Exposures

security

Jul 23, 2026

Common Vulnerability Scoring System

security

Jul 23, 2026

Common Weakness Enumeration

security

Jul 23, 2026

Communicability

graph-theory

Jul 23, 2026

Coefficient of Determination

machine-learning
statistics

Jul 23, 2026

Cofactor (Boolean Algebra)

boolean-algebra

Jul 23, 2026

Cofactor (Linear Algebra)

linear-algebra

Jul 23, 2026

Cofactor Matrix

linear-algebra

Jul 23, 2026

Coffman Conditions

operating-systems
concurrency

Jul 23, 2026

Cognition

neuroscience

Jul 23, 2026

Cognitive Architecture

neuroscience
cognition

Jul 23, 2026

Cognitive Lightcone

intelligence

Jul 23, 2026

Coin Problem

computation
algorithms
optimisation

Jul 23, 2026

Coincidence Lemma (First-Order Logic)

first-order-logic

Jul 23, 2026

Collatz Conjecture

mathematics

Jul 23, 2026

Collection

set-theory

Jul 23, 2026

Collective Decision Making

sociology

Jul 23, 2026

Collective Decision

sociology

Jul 23, 2026

Collective Intelligence

intelligence

Jul 23, 2026

Column Vector

linear-algebra

Jul 23, 2026

Columnar Transposition

cryptography

Jul 23, 2026

Cloudflare

organisations

Jul 23, 2026

Cluster (Machine Learning)

machine-learning

Jul 23, 2026

Cluster Assumption

machine-learning

Jul 23, 2026

Clustering Algorithm

machine-learning

Jul 23, 2026

Co Decision Problem

computation

Jul 23, 2026

Co Halting Problem

computation

Jul 23, 2026

Coarse-Grained Hardware Multi-Threading

computer-architecture

Jul 23, 2026

Cobham-Edmonds Thesis

complexity-theory

Jul 23, 2026

Code (Coding Theory)

coding-theory

Jul 23, 2026

Code (Programming)

program

Jul 23, 2026

Code Injection

web
security

Jul 23, 2026

Code Language of a Function Property

computation

Jul 23, 2026

Code Language of a Language Property

computation

Jul 23, 2026

Codex

software

Jul 23, 2026

Coding Theory

coding-theory

Jul 23, 2026

Codomain (Function)

math

Jul 23, 2026

Clock Period

computer-architecture

Jul 23, 2026

Clock Rate

computer-architecture

Jul 23, 2026

Closed Branch (First-Order Tableaux)

first-order-logic
tableaux

Jul 23, 2026

Closed Branch (Propositional Tableaux)

logic
tableaux

Jul 23, 2026

Closed Edge Sequence

graph-theory

Jul 23, 2026

Closed Interval

math

Jul 23, 2026

Closed Quantum System

quantum-computing

Jul 23, 2026

Closed Set

analysis
topology

Jul 23, 2026

Closed Tableaux (First-Order Logic)

first-order-logic
tableaux

Jul 23, 2026

Closure (Algebra)

algebra

Jul 23, 2026

Closure (Analysis)

analysis
topology

Jul 23, 2026

Closure (Relational Algebra)

relational-algebra

Jul 23, 2026

Closure under Complements (Sigma Algebra)

probability-theory

Jul 23, 2026

Closure under Countable Unions (Sigma Algebra)

probability-theory

Jul 23, 2026

Classicalism

philosophy

Jul 23, 2026

Classification

machine-learning
supervised-learning

Jul 23, 2026

Claude

llms

Jul 23, 2026

Clausal Normal Form (Propositional Formula)

logic
propositional-logic

Jul 23, 2026

Clause

logic

Jul 23, 2026

Clay Mathematics Institute

mathematics

Jul 23, 2026

Cleaning Policy

operating-systems

Jul 23, 2026

Client (Networking)

networking

Jul 23, 2026

Client-Server Communication

networking

Jul 23, 2026

Clinical Marker

medicine

Jul 23, 2026

Clip Function

math

Jul 23, 2026

Clique Problem

computation
graph-theory

Jul 23, 2026

Clique

graph-theory

Jul 23, 2026

Clock Cycle (Computer Architecture)

computer-architecture

Jul 23, 2026

Clock Edge

computer-architecture

Jul 23, 2026

Circuit (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Circuit (Networking)

networking

Jul 23, 2026

Circuit Breaker (Design Pattern)

software-engineering

Jul 23, 2026

Circuit Establishment

networks

Jul 23, 2026

Circuit Switching

networking

Jul 23, 2026

Circuit

electronics
logic

Jul 23, 2026

Circular Buffer

data-structures

Jul 23, 2026

Circular Wait

operating-systems
concurrency

Jul 23, 2026

Cisco

organisations

Jul 23, 2026

Class (OOP)

oop

Jul 23, 2026

Class Cohesion

oop

Jul 23, 2026

Class Diagram (UML)

uml
todo

Jul 23, 2026

Classical Logic

logic

Jul 23, 2026

Classical Mechanics

mechanics

Jul 23, 2026

Chomsky Normal Form

languages

Jul 23, 2026

Chomsky–Schützenberger Theorem

languages

Jul 23, 2026

Chronic Migraine

medicine

Jul 23, 2026

Chroot

operating-systems
security

Jul 23, 2026

Church Encoding

lambda-calculus
todo

Jul 23, 2026

Church Numeral

lambda-calculus

Jul 23, 2026

Church-Turing Thesis

computation

Jul 23, 2026

Cipher Block Chaining Mode

cryptography

Jul 23, 2026

Cipher Feedback Mode

cryptography

Jul 23, 2026

Cipher Suite

cryptography

Jul 23, 2026

Cipher

cryptography

Jul 23, 2026

Ciphertext Space

cryptography

Jul 23, 2026

Ciphertext

cryptography

Jul 23, 2026

Circle

geometry

Jul 23, 2026

Challenge-Handshake Authentication Protocol

network-protocols

Jul 23, 2026

Challenge-Response Authentication

security

Jul 23, 2026

Chaos

chaos-theory

Jul 23, 2026

Characteristic Polynomial

linear-algebra

Jul 23, 2026

Charge Conservation

electromagnetism

Jul 23, 2026

Charge Density

electromagnetism

Jul 23, 2026

ChatGPT

software

Jul 23, 2026

Chebyshev Distance

geometry

Jul 23, 2026

Chemical Energy

physics
chemistry

Jul 23, 2026

Chemical Reaction

chemistry

Jul 23, 2026

Chess

games

Jul 23, 2026

Chi-Squared Distribution

probability-theory
statistics

Jul 23, 2026

Chinese Room

philosophy

Jul 23, 2026

Chinese Wall Policy

security
access-control

Jul 23, 2026

Chisel

hardware-design

Jul 23, 2026

Chomsky Hierarchy

languages

Jul 23, 2026

Central Sensitisation

medicine

Jul 23, 2026

Centre Selection Problem

computation
algorithms
optimisation

Jul 23, 2026

Centroid Diameter Distance

machine-learning

Jul 23, 2026

Centroid

machine-learning

Jul 23, 2026

Certificate (Complexity Theory)

complexity-theory

Jul 23, 2026

Certificate (DNS)

dns
todo

Jul 23, 2026

Certificate Authority

cryptography

Jul 23, 2026

Certificate Chain

cryptography

Jul 23, 2026

Certificate Policy

cryptography

Jul 23, 2026

Certificate Revocation List

cryptography

Jul 23, 2026

Certificate Transparency

cryptography

Jul 23, 2026

Cgroup

operating-systems
virtualisation

Jul 23, 2026

Chain Rule

analysis

Jul 23, 2026

Chain of Thought

machine-learning
nlp

Jul 23, 2026

Catastrophic Inference

machine-learning

Jul 23, 2026

Categorical Data

data-analysis

Jul 23, 2026

Category Theory

category-theory

Jul 23, 2026

Category

category-theory

Jul 23, 2026

Cauchy Criterion (Sequence)

analysis

Jul 23, 2026

Cauchy Criterion (Series)

analysis

Jul 23, 2026

Cauchy Product

analysis

Jul 23, 2026

Cauchy Sequence

analysis

Jul 23, 2026

Cauchy-Hadamard Theorem

analysis

Jul 23, 2026

Causal Attention

machine-learning
attention

Jul 23, 2026

Causality

logic

Jul 23, 2026

Ceil

math

Jul 23, 2026

Cell (Biology)

biology

Jul 23, 2026

Cell (Neuroscience)

neuroscience

Jul 23, 2026

Cellular Automaton

automata-theory

Jul 23, 2026

Central Limit Theorem

probability-theory

Jul 23, 2026

Central Moment

probability-theory

Jul 23, 2026

Capability List

security

Jul 23, 2026

Capability

security

Jul 23, 2026

Capacity Cache Miss

computer-architecture
memory

Jul 23, 2026

Cardinality Measure

math

Jul 23, 2026

Cardinality

set-theory

Jul 23, 2026

Carry-Lookahead Adder

logic-circuits

Jul 23, 2026

CartPole-V1

reinforcement-learning
gymnasium

Jul 23, 2026

Cartesian Coordinate System

linear-algebra

Jul 23, 2026

Cartesian Product (Relational Algebra)

relational-algebra

Jul 23, 2026

Cartesian Product

set-theory

Jul 23, 2026

Cascade Hashing

security
cryptography

Jul 23, 2026

Cascadeless Schedule (ACID)

acid

Jul 23, 2026

Cascading Rollback (ACID)

acid

Jul 23, 2026

Catabolism

biology

Jul 23, 2026

Catastrophic Forgetting

machine-learning

Jul 23, 2026

Cache Replacement Policy

computer-architecture
memory

Jul 23, 2026

Cache Set Contention

computer-architecture
memory

Jul 23, 2026

Cache Set

computer-architecture
memory

Jul 23, 2026

Cache Write-Hit

computer-architecture
memory

Jul 23, 2026

Cache Write-Miss

computer-architecture
memory

Jul 23, 2026

Cache

computer-architecture
memory

Jul 23, 2026

Caesar's Cipher

cryptography

Jul 23, 2026

Calcitonin Gene-Related Peptide

medicine

Jul 23, 2026

Calculus

logic
proof-theory

Jul 23, 2026

Calling Convention (x86-64)

computer-architecture

Jul 23, 2026

Cancer

biology
todo

Jul 23, 2026

Canonical Basis

linear-algebra

Jul 23, 2026

Canonical Conjunctive Normal Form

boolean-algebra

Jul 23, 2026

Canonical Path

web
security

Jul 23, 2026

Cantor's Set

set-theory

Jul 23, 2026

Cantor's Theorem

set-theory

Jul 23, 2026

Capabilities (Linux)

operating-systems
security

Jul 23, 2026

CIW-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CJ-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CL-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CNOT Quantum Gate

quantum-computing

Jul 23, 2026

COALESCE (SQL)

sql

Jul 23, 2026

CR-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CS'-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CS-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CSP Bypass

web
security

Jul 23, 2026

CSS-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CVA6

computer-architecture
risc-v

Jul 23, 2026

CVE Numbering Authority

security

Jul 23, 2026

Cache Associativity

computer-architecture
memory

Jul 23, 2026

Cache Coherence Protocol

memory

Jul 23, 2026

Cache Coherence

computer-architecture

Jul 23, 2026

Cache Miss Penalty

computer-architecture
memory

Jul 23, 2026

Cache Miss

computer-architecture
memory

Jul 23, 2026

Busy-Beaver Function

computation

Jul 23, 2026

Byte Pair Encoding

large-language-models

Jul 23, 2026

Byte-Addressable Memory

memory

Jul 23, 2026

Byte

numeric

Jul 23, 2026

Büchi Automaton

automata-theory

Jul 23, 2026

C++

programming-languages

Jul 23, 2026

C+B Coverage

software-engineering
testing

Jul 23, 2026

C

programming-languages

Jul 23, 2026

CADD Quantum Gate

quantum-computing

Jul 23, 2026

CAP Theorem

distributed-systems

Jul 23, 2026

CB'-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CB-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

CGRP Antagonist

medicine

Jul 23, 2026

CI-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

Breadth-First Search

search

Jul 23, 2026

Brent's Hashing Algorithm

computation

Jul 23, 2026

Broadcasting (Tensor)

linear-algebra

Jul 23, 2026

Brozozowksi's Minimisation Algorithm

automata-theory

Jul 23, 2026

Brute-force Attack

security
cryptography

Jul 23, 2026

Brute-force Search Space

computation

Jul 23, 2026

Brute-force

computation

Jul 23, 2026

Bubble Sort

sorting-algorithms

Jul 23, 2026

Buddy System

operating-systems
algorithms

Jul 23, 2026

Buffer Over-Read

security
memory
c

Jul 23, 2026

Buffer Overflow

security
memory
c

Jul 23, 2026

Build Management

software-engineering

Jul 23, 2026

Burp Suite

web
security

Jul 23, 2026

Business Intelligence

data-warehouse

Jul 23, 2026

Busy Waiting

operating-systems
concurrency

Jul 23, 2026

Brain

neuroscience

Jul 23, 2026

Brainfuck

programming-languages

Jul 23, 2026

Brainstem

medicine

Jul 23, 2026

Branch (Computer Architecture)

computer-architecture

Jul 23, 2026

Branch (Git)

git

Jul 23, 2026

Branch (Tableaux)

logic
tableaux

Jul 23, 2026

Branch Coverage

software-engineering
testing

Jul 23, 2026

Branch History Table

branch-prediction

Jul 23, 2026

Branch Instruction

computer-architecture

Jul 23, 2026

Branch Misprediction Penalty

computer-architecture

Jul 23, 2026

Branch Prediction

computer-architecture

Jul 23, 2026

Branch Predictor

computer-architecture

Jul 23, 2026

Branch Target Buffer

branch-prediction

Jul 23, 2026

Branch and Bound

computation

Jul 23, 2026

Branching Factor

data-structures

Jul 23, 2026

Borda Winner (COMSOC)

comsoc

Jul 23, 2026

Border Gateway Protocol

network-protocols

Jul 23, 2026

Born Rule

quantum-computing
quantum-mechanics

Jul 23, 2026

Bottleneck Link

networking

Jul 23, 2026

Bound Variable (First-Order Logic)

first-order-logic

Jul 23, 2026

Boundary (Analysis)

analysis
topology

Jul 23, 2026

Boundary Testing

software-engineering
testing

Jul 23, 2026

Bounded Function

analysis

Jul 23, 2026

Bounded Sequence

analysis

Jul 23, 2026

Bounded Waiting

operating-systems
concurrency

Jul 23, 2026

Boundedness (Binomial Coefficient)

combinatorics

Jul 23, 2026

Boxplot

plots

Jul 23, 2026

Boyce-Codd Normal Form

relational-algebra

Jul 23, 2026

Bra-Ket Notation

linear-algebra

Jul 23, 2026

Bra-Vector

linear-algebra

Jul 23, 2026

Brain Tissue

medicine

Jul 23, 2026

Bloom Filter

data-structures
algorithms
probability

Jul 23, 2026

Blowfish

cryptography

Jul 23, 2026

Boltzman Distribution

statistics

Jul 23, 2026

Boltzmann Constant

physics

Jul 23, 2026

Bolzano's Root Point Theorem

analysis

Jul 23, 2026

Bolzano–Weierstrass Theorem

analysis

Jul 23, 2026

Book

learning

Jul 23, 2026

Boolean Algebra

algebra
boolean-algebra

Jul 23, 2026

Boolean Function

boolean-algebra

Jul 23, 2026

Boolean Variable

logic

Jul 23, 2026

Boosting

machine-learning
ensemble-learning

Jul 23, 2026

Borda Count (COMSOC)

comsoc

Jul 23, 2026

Borda Score (COMSOC)

comsoc

Jul 23, 2026

Bit

numeric

Jul 23, 2026

Bivalent Adaptive System

adaptive-systems
reinforcement-learning
cybernetics

Jul 23, 2026

Black Body Radiation

physics
thermodynamics

Jul 23, 2026

Black Box Testing

software-engineering

Jul 23, 2026

Blank Symbol (Turing Machine)

computation

Jul 23, 2026

Blind SQL Injection

web
security
databases

Jul 23, 2026

Blinker

game-of-life

Jul 23, 2026

Block Cipher

cryptography

Jul 23, 2026

Block-Cipher-based Message Authentication Code

cryptography

Jul 23, 2026

Blocking (OS)

operating-systems
file-management

Jul 23, 2026

Blocking Load Instruction

computer-architecture

Jul 23, 2026

Blocky

software

Jul 23, 2026

Blood Flow

medicine

Jul 23, 2026

Blood Vessel

medicine

Jul 23, 2026

Blood

biology

Jul 23, 2026

Binomial Coefficient

combinatorics

Jul 23, 2026

Binomial Distribution

probability-theory

Jul 23, 2026

Binomial Theorem

combinatorics
algebra

Jul 23, 2026

Bioelectricity

biology

Jul 23, 2026

Biological Computation

biology
computation

Jul 23, 2026

Biological System

biology

Jul 23, 2026

Biometric Authentication

security

Jul 23, 2026

Biometry

security

Jul 23, 2026

Biomolecule

biology

Jul 23, 2026

Bipartite Graph

graph-theory

Jul 23, 2026

Birch and Swinnerton-Dyer Conjecture

mathematics

Jul 23, 2026

Bistable Circuit

logic-circuits

Jul 23, 2026

Bilinearity

linear-algebra

Jul 23, 2026

Bin Packing Problem

computation

Jul 23, 2026

Binary Analysis

security

Jul 23, 2026

Binary Classification

machine-learning

Jul 23, 2026

Binary Classifier

machine-learning

Jul 23, 2026

Binary Cross-Entropy Loss

machine-learning
classification
optimisation

Jul 23, 2026

Binary Decision Diagram

boolean-algebra

Jul 23, 2026

Binary Encoding

computation

Jul 23, 2026

Binary Linear Classifier

machine-learning

Jul 23, 2026

Binary Logarithm

logarithms

Jul 23, 2026

Binary Logical Connective

logic

Jul 23, 2026

Binary Number

numeric

Jul 23, 2026

Binary Relation

algebra

Jul 23, 2026

Binary Search Tree

trees

Jul 23, 2026

Binary Semaphore

operating-systems
concurrency

Jul 23, 2026

Binary Tree Rotation

trees

Jul 23, 2026

Binary Tree

data-structures

Jul 23, 2026

Best Feasible Solution

computation
approximation

Jul 23, 2026

Best-case Runtime

complexity-theory

Jul 23, 2026

Beta Equivalence (Lambda Calculus)

lambda-calculus

Jul 23, 2026

Beta Reduction

lambda-calculus

Jul 23, 2026

Bias-Variance Tradeoff

machine-learning
statistics

Jul 23, 2026

Bias

statistics

Jul 23, 2026

Biased Estimator

probability-theory

Jul 23, 2026

Biba Model

security
integrity

Jul 23, 2026

Bidirectional Search

search

Jul 23, 2026

Big-Endian

computer-architecture
memory

Jul 23, 2026

Big-O Notation

complexity-theory

Jul 23, 2026

Big-O-Star Notation

computation
complexity

Jul 23, 2026

Big-Omega Notation

complexity-theory

Jul 23, 2026

Big-Theta Notation

complexity-theory

Jul 23, 2026

Bijectivity

algebra

Jul 23, 2026

Bilinear Form

linear-algebra

Jul 23, 2026

Bilinear Map

linear-algebra

Jul 23, 2026

Bayesian Network

graph-theory
statistics
machine-learning

Jul 23, 2026

Bee Hive

game-of-life

Jul 23, 2026

Behaviouralism

philosophy

Jul 23, 2026

Beispiel (Deutsch)

german

Jul 23, 2026

Bekenstein Bound

physics

Jul 23, 2026

Bell State

quantum-computing

Jul 23, 2026

Bell-LaPadula Model

operating-systems
security

Jul 23, 2026

Bellman's Principle of Optimality

computation

Jul 23, 2026

Berkeley Packet Filter

operating-systems
networking

Jul 23, 2026

Bernoulli Distribution

probability-theory

Jul 23, 2026

Bernoulli Experiment

statistics

Jul 23, 2026

Bernoulli Trial

probability-theory

Jul 23, 2026

Bernoulli's Inequality

analysis

Jul 23, 2026

Bernoulli-L'Hôpital's Rule

analysis
calculus

Jul 23, 2026

Base Type

type-theory

Jul 23, 2026

Baseline

machine-learning
evaluation

Jul 23, 2026

Basic Abstraction (Programming)

programming

Jul 23, 2026

Basic Block Coverage

software-engineering
testing

Jul 23, 2026

Basis (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Basis (Vector Space)

linear-algebra

Jul 23, 2026

Basis Family (Matroid)

discrete-mathematics
combinatorics

Jul 23, 2026

Basis Function

mathematics
machine-learning
regression

Jul 23, 2026

Basis Selection Lemma

linear-algebra

Jul 23, 2026

Basis State (Quantum Computing)

quantum-computing

Jul 23, 2026

Batch Learning

machine-learning

Jul 23, 2026

Batch Normalisation

machine-learning

Jul 23, 2026

Bayes Optimal Classifier

machine-learning
statistics
learning-theory

Jul 23, 2026

Bayes Theorem

probability-theory
bayesian-statistics

Jul 23, 2026

Bayesian Learning Algorithm

machine-learning
statistics

Jul 23, 2026

BASE Transaction Model

databases

Jul 23, 2026

Backpropagation

machine-learning
optimisation
calculus

Jul 23, 2026

Backus-Naur Form

languages

Jul 23, 2026

Backwards Taken Forwards Not Taken Branch Prediction

branch-prediction

Jul 23, 2026

Bacterium

biology

Jul 23, 2026

Bagging

machine-learning
ensemble-learning

Jul 23, 2026

Bahdanau Attention

machine-learning
attention

Jul 23, 2026

Bakery Algorithm

operating-systems
concurrency

Jul 23, 2026

Balanced Tree

trees

Jul 23, 2026

Banach Space

linear-algebra

Jul 23, 2026

Band Gap

physics

Jul 23, 2026

Banker's Algorithm

operating-systems
concurrency

Jul 23, 2026

Barrow Scale

philosophy

Jul 23, 2026

Basal Cognition

biology

Jul 23, 2026

Base Station Controller

mobile-communication

Jul 23, 2026

Base Transceiver Station

mobile-communication

Jul 23, 2026

Autonomous System

networks

Jul 23, 2026

Availability

security

Jul 23, 2026

Available Physical Memory

operating-systems
hardware

Jul 23, 2026

Avalanche Effect

cryptography

Jul 23, 2026

Average Completion Time (Interval Scheduling)

computation
scheduling

Jul 23, 2026

Average Diameter Distance

machine-learning

Jul 23, 2026

Average Linkage Distance

machine-learning

Jul 23, 2026

Average Memory Access Time

computer-architecture

Jul 23, 2026

Average Throughput (Networking)

networking

Jul 23, 2026

Average-case Runtime

complexity-theory

Jul 23, 2026

Axiom

logic

Jul 23, 2026

Axiomatic Semantics

logic

Jul 23, 2026

Axon

neuroscience

Jul 23, 2026

B-Tree

trees

Jul 23, 2026

B-Type Instruction (RISC-V)

risc-v

Jul 23, 2026

Attribute Closure (Relational Algebra)

relational-algebra

Jul 23, 2026

Aufhebung

philosophy

Jul 23, 2026

Austrian Society for Artificial Intelligence

organisations

Jul 23, 2026

Authenticated Encryption

cryptography

Jul 23, 2026

Authenticated Mode of Operation

cryptography

Jul 23, 2026

Authentication Header

network-protocols
security

Jul 23, 2026

Authentication

security

Jul 23, 2026

Authenticity

security

Jul 23, 2026

Authorisation

security

Jul 23, 2026

Autoencoder

machine-learning

Jul 23, 2026

Automata Theory

automata-theory

Jul 23, 2026

Automated Certificate Management Environment

networks
dns

Jul 23, 2026

Automaton Equivalence

automata-theory

Jul 23, 2026

Automaton

automata-theory

Jul 23, 2026

Automorphism

algebra

Jul 23, 2026

Autonomous System Boundary Router

networks

Jul 23, 2026

Asymmetric Encryption Scheme

cryptography

Jul 23, 2026

Asymmetric Signature Scheme

cryptography

Jul 23, 2026

Asymptote

math

Jul 23, 2026

Asymptotic Dominance

complexity-theory

Jul 23, 2026

Asymptotic Equivalence

analysis
algorithms

Jul 23, 2026

Atogepant

medicine

Jul 23, 2026

Atom

logic

Jul 23, 2026

Atomic Attribute (Relational Algebra)

relational-algebra

Jul 23, 2026

Atomic Operation

computer-architecture
concurrency

Jul 23, 2026

Atrophy

biology

Jul 23, 2026

Attack

security

Jul 23, 2026

Attention (Cognition)

neuroscience
cognition

Jul 23, 2026

Attention Deficit Hyperactivity Disorder

neuroscience

Jul 23, 2026

Attention

machine-learning
attention

Jul 23, 2026

Attribute (Relational Algebra)

relational-algebra

Jul 23, 2026

Artificial Neural Network

machine-learning
deep-learning

Jul 23, 2026

Artificial Neuron

neural-networks

Jul 23, 2026

Ash

cellular-automata

Jul 23, 2026

Assembly

programming-languages

Jul 23, 2026

Assertion

program-proofing

Jul 23, 2026

Association

cognition

Jul 23, 2026

Associationism

philosophy
cognition

Jul 23, 2026

Associative Cache

computer-architecture
memory

Jul 23, 2026

Associativity

algebra

Jul 23, 2026

Asymmetric Cryptography

cryptography

Jul 23, 2026

Asymmetric Encryption Algorithm

cryptography

Jul 23, 2026

Arithmetic Function

math

Jul 23, 2026

Arithmetic Logic Unit

logic-circuits
computer-architecture

Jul 23, 2026

Arithmetic Mean

statistics

Jul 23, 2026

Arithmetic Reasoning

neuroscience
cognition

Jul 23, 2026

Arithmetic Sequence

analysis

Jul 23, 2026

Arithmetic

arithmetic

Jul 23, 2026

Arity

logic

Jul 23, 2026

Armstrong's Axioms

relational-algebra

Jul 23, 2026

Array

data-structures

Jul 23, 2026

Arrow

type-theory

Jul 23, 2026

Artery

mobile-communication

Jul 23, 2026

Article

learning

Jul 23, 2026

Artificial Intelligence

artificial-intelligence

Jul 23, 2026

Artificial Life

artificial-intelligence
artificial-life

Jul 23, 2026

App-to-Web Interaction (WebView)

web
security
mobile

Jul 23, 2026

Application Layer Gateway

networks

Jul 23, 2026

Application Layer

networks
osi-model

Jul 23, 2026

Applicative Programming

programming

Jul 23, 2026

Approximation Algorithm

computation
approximation

Jul 23, 2026

Approximation Error

machine-learning
learning-theory

Jul 23, 2026

Approximation Problem

computation
approximation

Jul 23, 2026

Approximation Ratio

computation
approximation

Jul 23, 2026

Approximation Scheme

computation

Jul 23, 2026

Archaea

biology

Jul 23, 2026

Archaismus (Deutsch)

german

Jul 23, 2026

Argand Plane

algebra
complex-numbers

Jul 23, 2026

Argmax

math

Jul 23, 2026

Argmin

math

Jul 23, 2026

Argon2

cryptography

Jul 23, 2026

Argument Type

type-theory

Jul 23, 2026

Argument

logic

Jul 23, 2026

Aristotelianism

philosophy

Jul 23, 2026

Angle

trigonometry

Jul 23, 2026

Angstrom

units

Jul 23, 2026

Anime

entertainment

Jul 23, 2026

Animism

philosophy

Jul 23, 2026

Annotation Calculus

hoare-calculus
program-proofing

Jul 23, 2026

Antecedent

logic

Jul 23, 2026

Anti-Horn Clause

logic

Jul 23, 2026

Anti-Malware

security

Jul 23, 2026

Anti-Symmetry

algebra

Jul 23, 2026

Antidiagonal

linear-algebra

Jul 23, 2026

Antithese (Deutsch)

german

Jul 23, 2026

Apex Shape

algebra
quadratic-functions

Jul 23, 2026

Aplysia

biology

Jul 23, 2026

Apoptosis

neuroscience
biology

Jul 23, 2026

App Attacker Model

web
security
mobile

Jul 23, 2026

Always Not Taken Branch Prediction

computer-architecture

Jul 23, 2026

Always Taken Branch Prediction

computer-architecture

Jul 23, 2026

Ambiguous Context-Free Grammar

languages

Jul 23, 2026

Amdahl's Law

computer-architecture
parallelism

Jul 23, 2026

American Standard Code for Information Interchange

coding-theory

Jul 23, 2026

Amortised Time Complexity

computation

Jul 23, 2026

Anabolism

biology

Jul 23, 2026

Analysis

math

Jul 23, 2026

Analytic Function

analysis

Jul 23, 2026

Analytical Thinking

psychology
cognition

Jul 23, 2026

Anapher (Deutsch)

german

Jul 23, 2026

Anatomical Homeostasis

biology
cybernetics
regeneration

Jul 23, 2026

Ancilla Qubit

quantum-computing

Jul 23, 2026

And-Or Tree

data-structures

Jul 23, 2026

Andrey Kolmogorov

Jul 23, 2026

Algorithmica

computation

Jul 23, 2026

Allegorie (Deutsch)

german

Jul 23, 2026

Alliteration (Deutsch)

german

Jul 23, 2026

Allocator

operating-systems

Jul 23, 2026

Allow-list Validation

web
security

Jul 23, 2026

Almost All

analysis
set-theory

Jul 23, 2026

Almost Everywhere

measure-theory
analysis

Jul 23, 2026

Alpha Reduction

lambda-calculus

Jul 23, 2026

Alpha-Beta Pruning

algorithm
game-theory
optimisation

Jul 23, 2026

Alpha-Test

statistics

Jul 23, 2026

Alphabet

languages

Jul 23, 2026

Alternating Series

analysis

Jul 23, 2026

Alternative (COMSOC)

comsoc

Jul 23, 2026

Alternative Hypothesis

statistics

Jul 23, 2026

Advantage Function

reinforcement-learning

Jul 23, 2026

Affine Combination

linear-algebra

Jul 23, 2026

Affine Function

linear-algebra
analysis

Jul 23, 2026

Affine Linear

linear-algebra

Jul 23, 2026

Affine Subspace

linear-logic

Jul 23, 2026

Affine Superposition

linear-logic

Jul 23, 2026

Affine Transformation

math

Jul 23, 2026

Agency

intelligence

Jul 23, 2026

Agent

artificial-intelligence

Jul 23, 2026

Ahead-of-time Compiler

compilers

Jul 23, 2026

Akkumulation (Deutsch)

german

Jul 23, 2026

Algebra

algebra

Jul 23, 2026

Algebraic Abstract Datatype

programming

Jul 23, 2026

Algebraic Structure

algebra

Jul 23, 2026

Algebraically Complete Field

algebra

Jul 23, 2026

Algorithm Complexity

complexity-theory

Jul 23, 2026

Algorithm W

type-theory

Jul 23, 2026

Algorithm

computation

Jul 23, 2026

Address Compute Unit

computer-architecture

Jul 23, 2026

Address Resolution Protocol

networks

Jul 23, 2026

Address Space Layout Randomization

security
memory

Jul 23, 2026

Addressing Loss of Plasticity and Catastrophic Forgetting in Continual Learning

Jul 23, 2026

Addressing Mode

computer-architecture

Jul 23, 2026

Adelson-Velsky-Landis Tree

trees

Jul 23, 2026

Adjacency List

graph-theory
data-structures

Jul 23, 2026

Adjacency Matrix

graph-theory
data-structures

Jul 23, 2026

Adjacency Set

graph-theory
data-structures

Jul 23, 2026

Adjoint Operator

linear-algebra

Jul 23, 2026

Adjugate Matrix

linear-algebra

Jul 23, 2026

Administrative Distance

networks

Jul 23, 2026

Admissible Heuristic

search

Jul 23, 2026

Advanced Encryption Standard

cryptography

Jul 23, 2026

Advanced Research Projects Agency Network

networking
history

Jul 23, 2026

Advanced Research Projects Agency

networking

Jul 23, 2026

Advantage Estimate

reinforcement-learning

Jul 23, 2026

Acknowledgement Number (TCP)

network-protocols
tcp

Jul 23, 2026

Action (Reinforcement Learning)

reinforcement-learning

Jul 23, 2026

Action Space

reinforcement-learning

Jul 23, 2026

Action

neuroscience
cognition

Jul 23, 2026

Activation Function

machine-learning
deep-learning
analysis

Jul 23, 2026

Active Attack

security

Jul 23, 2026

Active Biometric Authentication

security

Jul 23, 2026

Active Inference

artificial-intelligence

Jul 23, 2026

Active Learning

machine-learning

Jul 23, 2026

Active Process

operating-systems

Jul 23, 2026

Acyclic Graph

graph-theory

Jul 23, 2026

Ad Hominem

logic
informal-fallacy

Jul 23, 2026

Ad-hoc Polymorphism

type-theory

Jul 23, 2026

Adaptive System

cognition
adaptive-systems
cybernetics

Jul 23, 2026

Addition (Vector)

linear-algebra

Jul 23, 2026

Additive Conjunction (Linear Logic)

linear-logic

Jul 23, 2026

Additive Disjunction (Linear Logic)

linear-logic

Jul 23, 2026

Additivity

algebra

Jul 23, 2026

Abstract Computation

philosophy

Jul 23, 2026

Abstract Machine

automata-theory

Jul 23, 2026

Abstraction (Programming)

programming

Jul 23, 2026

Abstraction Layer

abstraction

Jul 23, 2026

Abstraction Unit (Programming)

programming

Jul 23, 2026

Academic Quarter

academia

Jul 23, 2026

Acceleration

physics

Jul 23, 2026

Accepted Language

automata-theory

Jul 23, 2026

Accepting State

automata-theory

Jul 23, 2026

Access Control List

security

Jul 23, 2026

Access Control

security

Jul 23, 2026

Access Matrix

security

Jul 23, 2026

Accountability

security

Jul 23, 2026

Accuracy

machine-learning
classification
statistics

Jul 23, 2026

Accurracy

machine-learning

Jul 23, 2026

Ackermann Function

computation

Jul 23, 2026

4-Colouring Problem

computation
graph-theory

Jul 23, 2026

8-Puzzle

search

Jul 23, 2026

A-Star Search

search

Jul 23, 2026

ACID Transaction Model

databases

Jul 23, 2026

AMD

organisations

Jul 23, 2026

ANSI-SPARC Architecture

databases

Jul 23, 2026

ARM

computer-architecture

Jul 23, 2026

Abel's Limit Theorem

analysis

Jul 23, 2026

Abelian Group

algebra

Jul 23, 2026

Abiogenesis

evolution
biology
computation

Jul 23, 2026

Abscissa

cartesian-coordinate-system

Jul 23, 2026

Absolute Error

errors

Jul 23, 2026

Absolute Extremum

analysis

Jul 23, 2026

Absolute Function

analysis

Jul 23, 2026

Absolute Maxima

analysis

Jul 23, 2026

Absolute Minima

analysis

Jul 23, 2026

Absolutely Convergent Function

analysis

Jul 23, 2026

Absolutely Convergent Series

analysis

Jul 23, 2026

1-Bit Branch Predictor

computer-architecture

Jul 23, 2026

2-Bit Branch Predictor

computer-architecture

Jul 23, 2026

2-Colouring Problem

computation

Jul 23, 2026

2-Partition Problem

computation
scheduling

Jul 23, 2026

2-Satisfiability Problem

computation

Jul 23, 2026

3-Colouring Problem

computation

Jul 23, 2026

3-Partition Problem

computation
scheduling

Jul 23, 2026

3-Satisfiability Problem

computation

Page 1 of 403

Created with Quartz v4.5.2 © 2026

GitHub