Autorität durch Besitz statt Identität: Capability-Based Security Architektur im Detail
Kategorien
76 Seiten
Informatik
Der Vier-Farben-Satz und die Revolution der Computermathematik: Ein 100-jähriges Rätsel und die Philosophie des maschinellen Beweises
Die vollständige Analyse des P-vs-NP-Problems: Der Meilenstein der Komplexitätstheorie und der Abgrund des Ungelösten
Typtheorie und der Curry-Howard-Isomorphismus: Die tiefgründige Harmonie von Aussagen = Typen und Beweisen = Programmen
Grundlagen des Quantencomputings: Quantenüberlagerung und der Shor-Algorithmus
Die Mathematik der Public-Key-Kryptographie: Von RSA zur Elliptischen-Kurven-Kryptographie (ECC)
Blockchain und Konsensalgorithmen
Compiler-Optimierungstechniken: Was ist SSA (Static Single Assignment)?
Der Preis des Kontextwechsels und asynchrone Verarbeitung (async/await)
Die Evolutionsgeschichte der Garbage Collection (GC)
Die Philosophie von MapReduce: Wie Googles verteilte Verarbeitung die Welt veränderte
Kollisionsresistenz von Hash-Funktionen und SHA-3 (Keccak)
B-Bäume und B+-Bäume: Warum Datenbankindizes so schnell sind
Das CAP-Theorem und PACELC-Theorem: Das Dilemma verteilter Datenbanken
Dynamische Programmierung (DP) und die Bellman-Gleichung
Probabilistische Datenstrukturen: Bloom Filter und HyperLogLog
Reguläre-Ausdrücke-Engines und endliche Automaten
Die Geschichte der Kryptographie: Von der Enigma-Schlacht bis zur Entstehung der Public-Key-Kryptographie (RSA)
Der Beginn der Graphentheorie: Die Mathematik der Königsberger Brücken
Der Primzahlsatz: Das schöne Gesetz hinter der scheinbar zufälligen Verteilung von Primzahlen
