https://cs.lozic.me/areas/2026-08-30T07:12:00+02:00https://cs.lozic.me/2026-08-30T07:12:00+02:00https://cs.lozic.me/areas/data-structures/2026-08-30T07:12:00+02:00https://cs.lozic.me/difficulties/2026-08-30T07:12:00+02:00https://cs.lozic.me/kinds/2026-08-30T07:12:00+02:00https://cs.lozic.me/difficulties/l2/2026-08-30T07:12:00+02:00https://cs.lozic.me/areas/machine-learning/2026-08-30T07:12:00+02:00https://cs.lozic.me/posts/2026-08-30T07:12:00+02:00https://cs.lozic.me/areas/probability/2026-08-30T07:12:00+02:00https://cs.lozic.me/posts/t100-the-johnson-lindenstrauss-lemma/2026-08-30T07:12:00+02:00https://cs.lozic.me/kinds/theorem/2026-08-30T07:12:00+02:00https://cs.lozic.me/areas/complexity/2026-08-30T06:44:00+02:00https://cs.lozic.me/areas/cryptography/2026-08-30T06:44:00+02:00https://cs.lozic.me/areas/hardware/2026-08-30T06:44:00+02:00https://cs.lozic.me/difficulties/l3/2026-08-30T06:44:00+02:00https://cs.lozic.me/posts/t103-shor-and-grover-what-quantum-actually-buys/2026-08-30T06:44:00+02:00https://cs.lozic.me/areas/information-theory/2026-08-30T06:16:00+02:00https://cs.lozic.me/posts/t102-landauers-principle/2026-08-30T06:16:00+02:00https://cs.lozic.me/kinds/physical-law/2026-08-30T06:16:00+02:00https://cs.lozic.me/kinds/empirical/2026-08-30T05:48:00+02:00https://cs.lozic.me/posts/t099-why-the-generalization-bounds-are-vacuous/2026-08-30T05:48:00+02:00https://cs.lozic.me/posts/t098-no-free-lunch/2026-08-30T05:20:00+02:00https://cs.lozic.me/posts/t097-the-bias-variance-decomposition/2026-08-30T04:52:00+02:00https://cs.lozic.me/posts/t096-pac-learning-and-vc-dimension/2026-08-30T04:24:00+02:00https://cs.lozic.me/difficulties/l1/2026-08-30T03:56:00+02:00https://cs.lozic.me/posts/t090-no-silver-bullet-and-brookss-law/2026-08-30T03:56:00+02:00https://cs.lozic.me/areas/software-engineering/2026-08-30T03:56:00+02:00https://cs.lozic.me/posts/t101-arrows-impossibility-theorem/2026-08-30T03:28:00+02:00https://cs.lozic.me/areas/optimization/2026-08-30T03:28:00+02:00https://cs.lozic.me/areas/systems-design/2026-08-30T03:28:00+02:00https://cs.lozic.me/areas/algorithms/2026-08-30T03:00:00+02:00https://cs.lozic.me/kinds/demonstration/2026-08-30T03:00:00+02:00https://cs.lozic.me/posts/t095-gale-shapley-stable-matching/2026-08-30T03:00:00+02:00https://cs.lozic.me/posts/t094-matroids-and-greedy-optimality/2026-08-30T02:32:00+02:00https://cs.lozic.me/posts/t093-lp-duality/2026-08-30T02:04:00+02:00https://cs.lozic.me/posts/t092-max-flow-min-cut/2026-08-30T01:36:00+02:00https://cs.lozic.me/posts/t088-memory-hierarchy-and-locality/2026-08-30T01:08:00+02:00https://cs.lozic.me/areas/operating-systems/2026-08-30T01:08:00+02:00https://cs.lozic.me/areas/performance/2026-08-30T01:08:00+02:00https://cs.lozic.me/areas/networking/2026-08-30T00:40:00+02:00https://cs.lozic.me/kinds/principle/2026-08-30T00:40:00+02:00https://cs.lozic.me/posts/t087-the-end-to-end-argument/2026-08-30T00:40:00+02:00https://cs.lozic.me/posts/t085-beladys-optimal-algorithm-and-lru-competitiveness/2026-08-30T00:12:00+02:00https://cs.lozic.me/posts/t080-saltzer-and-schroeders-principles/2026-08-29T23:44:00+02:00https://cs.lozic.me/areas/security/2026-08-29T23:44:00+02:00https://cs.lozic.me/areas/compilers/2026-08-29T23:16:00+02:00https://cs.lozic.me/posts/t079-reflections-on-trusting-trust/2026-08-29T23:16:00+02:00https://cs.lozic.me/posts/t086-competitive-analysis-and-ski-rental/2026-08-29T22:48:00+02:00https://cs.lozic.me/posts/t108-token-buckets-arrival-curves-and-network-calculus/2026-08-29T22:20:00+02:00https://cs.lozic.me/posts/t084-latency-under-utilization/2026-08-29T21:52:00+02:00https://cs.lozic.me/posts/t083-littles-law/2026-08-29T21:24:00+02:00https://cs.lozic.me/posts/t077-zero-knowledge-proofs/2026-08-29T20:56:00+02:00https://cs.lozic.me/kinds/conjecture/2026-08-29T20:28:00+02:00https://cs.lozic.me/posts/t076-one-way-functions-and-trapdoors/2026-08-29T20:28:00+02:00https://cs.lozic.me/posts/t075-kerckhoffss-principle-and-perfect-secrecy/2026-08-29T20:00:00+02:00https://cs.lozic.me/posts/t078-merkle-trees/2026-08-29T19:32:00+02:00https://cs.lozic.me/areas/concurrency/2026-08-29T19:04:00+02:00https://cs.lozic.me/posts/t056-memory-models-and-sequential-consistency/2026-08-29T19:04:00+02:00https://cs.lozic.me/posts/t071-conflict-serializability-and-two-phase-locking/2026-08-29T18:36:00+02:00https://cs.lozic.me/areas/databases/2026-08-29T18:36:00+02:00https://cs.lozic.me/areas/distributed-systems/2026-08-29T18:08:00+02:00https://cs.lozic.me/posts/t055-linearizability/2026-08-29T18:08:00+02:00https://cs.lozic.me/posts/t053-herlihys-wait-free-consensus-hierarchy/2026-08-29T17:40:00+02:00https://cs.lozic.me/posts/t052-mutual-exclusion-without-hardware-support/2026-08-29T17:12:00+02:00https://cs.lozic.me/posts/t109-work-stealing-and-fair-scheduling/2026-08-29T16:44:00+02:00https://cs.lozic.me/areas/formal-methods/2026-08-29T16:16:00+02:00https://cs.lozic.me/areas/logic/2026-08-29T16:16:00+02:00https://cs.lozic.me/posts/t050-resolution-and-cdcl/2026-08-29T16:16:00+02:00https://cs.lozic.me/posts/t107-register-allocation-is-graph-coloring/2026-08-29T15:48:00+02:00https://cs.lozic.me/areas/automata/2026-08-29T15:20:00+02:00https://cs.lozic.me/posts/t049-model-checking-ltl-and-buchi-automata/2026-08-29T15:20:00+02:00https://cs.lozic.me/posts/t048-hoare-logic-and-weakest-preconditions/2026-08-29T14:52:00+02:00https://cs.lozic.me/posts/t073-bloom-filters/2026-08-29T14:24:00+02:00https://cs.lozic.me/posts/t069-codds-theorem/2026-08-29T13:56:00+02:00https://cs.lozic.me/posts/t072-consistent-hashing/2026-08-29T13:28:00+02:00https://cs.lozic.me/posts/t047-abstract-interpretation-and-galois-connections/2026-08-29T13:00:00+02:00https://cs.lozic.me/areas/pl-theory/2026-08-29T13:00:00+02:00https://cs.lozic.me/posts/t045-parametricity-theorems-for-free/2026-08-29T12:32:00+02:00https://cs.lozic.me/areas/type-theory/2026-08-29T12:32:00+02:00https://cs.lozic.me/posts/t036-ip-equals-pspace/2026-08-29T12:04:00+02:00https://cs.lozic.me/posts/t044-progress-and-preservation/2026-08-29T11:36:00+02:00https://cs.lozic.me/posts/t043-hindley-milner-and-principal-types/2026-08-29T11:08:00+02:00https://cs.lozic.me/posts/t042-the-curry-howard-correspondence/2026-08-29T10:40:00+02:00https://cs.lozic.me/areas/computability/2026-08-29T10:12:00+02:00https://cs.lozic.me/posts/t041-the-lambda-calculus-and-the-y-combinator/2026-08-29T10:12:00+02:00https://cs.lozic.me/posts/t067-the-calm-theorem-and-crdts/2026-08-29T09:44:00+02:00https://cs.lozic.me/posts/t066-the-cap-theorem-and-pacelc/2026-08-29T09:16:00+02:00https://cs.lozic.me/posts/t064-paxos-raft-and-the-shape-of-consensus/2026-08-29T08:48:00+02:00https://cs.lozic.me/posts/t065-quorum-intersection/2026-08-29T08:20:00+02:00https://cs.lozic.me/posts/t040-the-myhill-nerode-theorem/2026-08-29T07:52:00+02:00https://cs.lozic.me/posts/t039-kleenes-theorem-regexes-are-finite-automata/2026-08-29T07:24:00+02:00https://cs.lozic.me/posts/t035-bpp-pseudorandomness-and-derandomization/2026-08-29T06:56:00+02:00https://cs.lozic.me/posts/t037-the-exponential-time-hypothesis-and-fine-grained-complexity/2026-08-29T06:28:00+02:00https://cs.lozic.me/posts/t034-parity-is-not-in-ac0/2026-08-29T06:00:00+02:00https://cs.lozic.me/posts/t110-the-no-cloning-theorem/2026-08-29T05:32:00+02:00https://cs.lozic.me/posts/t106-the-nyquist-shannon-sampling-theorem/2026-08-29T05:04:00+02:00https://cs.lozic.me/posts/t063-the-byzantine-generals-problem/2026-08-29T04:36:00+02:00https://cs.lozic.me/posts/t062-flp-impossibility/2026-08-29T04:08:00+02:00https://cs.lozic.me/posts/t059-vector-clocks-and-causal-consistency/2026-08-29T03:40:00+02:00https://cs.lozic.me/posts/t058-happens-before-and-lamport-clocks/2026-08-29T03:12:00+02:00https://cs.lozic.me/posts/t033-parameterized-complexity-fpt-and-w1/2026-08-29T02:44:00+02:00https://cs.lozic.me/posts/t032-approximation-algorithms-and-ratios/2026-08-29T02:16:00+02:00https://cs.lozic.me/posts/t031-the-pcp-theorem-and-inapproximability/2026-08-29T01:48:00+02:00https://cs.lozic.me/posts/t105-streaming-lower-bounds-and-sketching/2026-08-29T01:20:00+02:00https://cs.lozic.me/posts/t104-universal-hashing/2026-08-29T00:52:00+02:00https://cs.lozic.me/posts/t025-minimum-description-length-and-occams-razor/2026-08-29T00:24:00+02:00https://cs.lozic.me/posts/t023-kolmogorov-complexity/2026-08-28T23:56:00+02:00https://cs.lozic.me/posts/t030-the-barriers-relativization-and-natural-proofs/2026-08-28T23:28:00+02:00https://cs.lozic.me/posts/t028-karps-21-problems/2026-08-28T23:00:00+02:00https://cs.lozic.me/posts/t027-the-cook-levin-theorem/2026-08-28T22:32:00+02:00https://cs.lozic.me/kinds/open-problem/2026-08-28T22:04:00+02:00https://cs.lozic.me/posts/t026-p-vs-np/2026-08-28T22:04:00+02:00https://cs.lozic.me/posts/t022-the-hamming-bound/2026-08-28T21:36:00+02:00https://cs.lozic.me/posts/t021-the-noisy-channel-coding-theorem/2026-08-28T21:08:00+02:00https://cs.lozic.me/posts/t020-huffman-coding-is-optimal/2026-08-28T20:40:00+02:00https://cs.lozic.me/posts/t009-balls-into-bins/2026-08-28T20:12:00+02:00https://cs.lozic.me/posts/t017-reductions/2026-08-28T19:44:00+02:00https://cs.lozic.me/posts/t051-the-coffman-conditions/2026-08-28T19:16:00+02:00https://cs.lozic.me/posts/t015-godels-incompleteness-theorems/2026-08-28T18:48:00+02:00https://cs.lozic.me/posts/t014-kleenes-recursion-theorem/2026-08-28T18:20:00+02:00https://cs.lozic.me/posts/t038-the-chomsky-hierarchy/2026-08-28T17:52:00+02:00https://cs.lozic.me/posts/t013-the-universal-machine/2026-08-28T17:24:00+02:00https://cs.lozic.me/posts/t012-the-church-turing-thesis/2026-08-28T16:56:00+02:00https://cs.lozic.me/kinds/thesis/2026-08-28T16:56:00+02:00https://cs.lozic.me/posts/t008-concentration-bounds/2026-08-28T16:28:00+02:00https://cs.lozic.me/posts/t006-amortized-analysis-and-the-potential-method/2026-08-28T16:00:00+02:00https://cs.lozic.me/posts/t005-adversary-arguments/2026-08-28T15:32:00+02:00https://cs.lozic.me/areas/combinatorics/2026-08-28T15:32:00+02:00https://cs.lozic.me/posts/t007-linearity-of-expectation/2026-08-28T15:04:00+02:00https://cs.lozic.me/posts/t003-comparison-sort-lower-bound/2026-08-28T14:36:00+02:00https://cs.lozic.me/posts/t018-shannon-entropy-and-source-coding/2026-08-28T14:08:00+02:00https://cs.lozic.me/posts/t074-the-birthday-bound/2026-08-28T13:40:00+02:00https://cs.lozic.me/posts/t061-the-two-generals-problem/2026-08-28T13:12:00+02:00https://cs.lozic.me/posts/t089-conways-law/2026-08-28T12:44:00+02:00https://cs.lozic.me/posts/t011-rices-theorem/2026-08-28T12:16:00+02:00https://cs.lozic.me/posts/t010-the-halting-problem/2026-08-28T11:48:00+02:00https://cs.lozic.me/posts/t002-cantors-diagonal-argument/2026-08-28T11:20:00+02:00https://cs.lozic.me/posts/t082-gustafsons-law-and-the-usl/2026-08-28T10:52:00+02:00https://cs.lozic.me/posts/t081-amdahls-law/2026-08-28T10:24:00+02:00https://cs.lozic.me/posts/t091-hyrums-law-and-postels-principle/2026-08-28T09:56:00+02:00https://cs.lozic.me/posts/t004-no-universal-lossless-compressor/2026-08-28T09:28:00+02:00https://cs.lozic.me/posts/t001-pigeonhole-principle/2026-08-28T09:00:00+02:00https://cs.lozic.me/index-of-results/https://cs.lozic.me/search/