https://cs.lozic.me/areas/2027-12-24T12:00:00+01:00https://cs.lozic.me/areas/concurrency/2027-12-24T12:00:00+01:00https://cs.lozic.me/2027-12-24T12:00:00+01:00https://cs.lozic.me/kinds/demonstration/2027-12-24T12:00:00+01:00https://cs.lozic.me/difficulties/2027-12-24T12:00:00+01:00https://cs.lozic.me/kinds/2027-12-24T12:00:00+01:00https://cs.lozic.me/difficulties/l2/2027-12-24T12:00:00+01:00https://cs.lozic.me/posts/t052-mutual-exclusion-without-hardware-support/2027-12-24T12:00:00+01:00https://cs.lozic.me/areas/operating-systems/2027-12-24T12:00:00+01:00https://cs.lozic.me/posts/2027-12-24T12:00:00+01:00https://cs.lozic.me/kinds/theorem/2027-12-24T12:00:00+01:00https://cs.lozic.me/areas/algorithms/2027-12-17T12:00:00+01:00https://cs.lozic.me/areas/performance/2027-12-17T12:00:00+01:00https://cs.lozic.me/posts/t109-work-stealing-and-fair-scheduling/2027-12-17T12:00:00+01:00https://cs.lozic.me/kinds/empirical/2027-12-10T12:00:00+01:00https://cs.lozic.me/areas/formal-methods/2027-12-10T12:00:00+01:00https://cs.lozic.me/areas/logic/2027-12-10T12:00:00+01:00https://cs.lozic.me/posts/t050-resolution-and-cdcl/2027-12-10T12:00:00+01:00https://cs.lozic.me/areas/compilers/2027-12-03T12:00:00+01:00https://cs.lozic.me/areas/complexity/2027-12-03T12:00:00+01:00https://cs.lozic.me/posts/t107-register-allocation-is-graph-coloring/2027-12-03T12:00:00+01:00https://cs.lozic.me/areas/automata/2027-11-26T12:00:00+01:00https://cs.lozic.me/difficulties/l3/2027-11-26T12:00:00+01:00https://cs.lozic.me/posts/t049-model-checking-ltl-and-buchi-automata/2027-11-26T12:00:00+01:00https://cs.lozic.me/posts/t048-hoare-logic-and-weakest-preconditions/2027-11-19T12:00:00+01:00https://cs.lozic.me/posts/t073-bloom-filters/2027-11-12T12:00:00+01:00https://cs.lozic.me/areas/data-structures/2027-11-12T12:00:00+01:00https://cs.lozic.me/difficulties/l1/2027-11-12T12:00:00+01:00https://cs.lozic.me/areas/probability/2027-11-12T12:00:00+01:00https://cs.lozic.me/posts/t069-codds-theorem/2027-11-05T12:00:00+01:00https://cs.lozic.me/areas/databases/2027-11-05T12:00:00+01:00https://cs.lozic.me/posts/t072-consistent-hashing/2027-10-29T12:00:00+01:00https://cs.lozic.me/areas/distributed-systems/2027-10-29T12:00:00+01:00https://cs.lozic.me/posts/t047-abstract-interpretation-and-galois-connections/2027-10-22T12:00:00+01:00https://cs.lozic.me/areas/pl-theory/2027-10-22T12:00:00+01:00https://cs.lozic.me/posts/t045-parametricity-theorems-for-free/2027-10-15T12:00:00+01:00https://cs.lozic.me/areas/type-theory/2027-10-15T12:00:00+01:00https://cs.lozic.me/areas/cryptography/2027-10-08T12:00:00+01:00https://cs.lozic.me/posts/t036-ip-equals-pspace/2027-10-08T12:00:00+01:00https://cs.lozic.me/posts/t044-progress-and-preservation/2027-10-01T12:00:00+01:00https://cs.lozic.me/posts/t043-hindley-milner-and-principal-types/2027-09-24T12:00:00+01:00https://cs.lozic.me/posts/t042-the-curry-howard-correspondence/2027-09-17T12:00:00+01:00https://cs.lozic.me/areas/computability/2027-09-10T12:00:00+01:00https://cs.lozic.me/posts/t041-the-lambda-calculus-and-the-y-combinator/2027-09-10T12:00:00+01:00https://cs.lozic.me/posts/t067-the-calm-theorem-and-crdts/2027-09-03T12:00:00+01:00https://cs.lozic.me/areas/systems-design/2027-08-27T12:00:00+01:00https://cs.lozic.me/posts/t066-the-cap-theorem-and-pacelc/2027-08-27T12:00:00+01:00https://cs.lozic.me/posts/t064-paxos-raft-and-the-shape-of-consensus/2027-08-20T12:00:00+01:00https://cs.lozic.me/posts/t065-quorum-intersection/2027-08-13T12:00:00+01:00https://cs.lozic.me/posts/t040-the-myhill-nerode-theorem/2027-08-06T12:00:00+01:00https://cs.lozic.me/posts/t039-kleenes-theorem-regexes-are-finite-automata/2027-07-30T12:00:00+01:00https://cs.lozic.me/posts/t035-bpp-pseudorandomness-and-derandomization/2027-07-23T12:00:00+01:00https://cs.lozic.me/kinds/conjecture/2027-07-16T12:00:00+01:00https://cs.lozic.me/posts/t037-the-exponential-time-hypothesis-and-fine-grained-complexity/2027-07-16T12:00:00+01:00https://cs.lozic.me/areas/hardware/2027-07-09T12:00:00+01:00https://cs.lozic.me/posts/t034-parity-is-not-in-ac0/2027-07-09T12:00:00+01:00https://cs.lozic.me/areas/information-theory/2027-07-02T12:00:00+01:00https://cs.lozic.me/kinds/physical-law/2027-07-02T12:00:00+01:00https://cs.lozic.me/posts/t110-the-no-cloning-theorem/2027-07-02T12:00:00+01:00https://cs.lozic.me/posts/t106-the-nyquist-shannon-sampling-theorem/2027-06-25T12:00:00+01:00https://cs.lozic.me/areas/security/2027-06-18T12:00:00+01:00https://cs.lozic.me/posts/t063-the-byzantine-generals-problem/2027-06-18T12:00:00+01:00https://cs.lozic.me/posts/t062-flp-impossibility/2027-06-11T12:00:00+01:00https://cs.lozic.me/posts/t059-vector-clocks-and-causal-consistency/2027-06-04T12:00:00+01:00https://cs.lozic.me/posts/t058-happens-before-and-lamport-clocks/2027-05-28T12:00:00+01:00https://cs.lozic.me/posts/t033-parameterized-complexity-fpt-and-w1/2027-05-21T12:00:00+01:00https://cs.lozic.me/posts/t032-approximation-algorithms-and-ratios/2027-05-14T12:00:00+01:00https://cs.lozic.me/areas/optimization/2027-05-14T12:00:00+01:00https://cs.lozic.me/posts/t031-the-pcp-theorem-and-inapproximability/2027-05-07T12:00:00+01:00https://cs.lozic.me/posts/t105-streaming-lower-bounds-and-sketching/2027-04-30T12:00:00+01:00https://cs.lozic.me/posts/t104-universal-hashing/2027-04-23T12:00:00+01:00https://cs.lozic.me/areas/machine-learning/2027-04-16T12:00:00+01:00https://cs.lozic.me/posts/t025-minimum-description-length-and-occams-razor/2027-04-16T12:00:00+01:00https://cs.lozic.me/kinds/principle/2027-04-16T12:00:00+01:00https://cs.lozic.me/posts/t023-kolmogorov-complexity/2027-04-09T12:00:00+01:00https://cs.lozic.me/posts/t030-the-barriers-relativization-and-natural-proofs/2027-04-02T12:00:00+01:00https://cs.lozic.me/posts/t028-karps-21-problems/2027-03-26T12:00:00+01:00https://cs.lozic.me/posts/t027-the-cook-levin-theorem/2027-03-19T12:00:00+01:00https://cs.lozic.me/kinds/open-problem/2027-03-12T12:00:00+01:00https://cs.lozic.me/posts/t026-p-vs-np/2027-03-12T12:00:00+01:00https://cs.lozic.me/posts/t022-the-hamming-bound/2027-03-05T12:00:00+01:00https://cs.lozic.me/areas/networking/2027-02-26T12:00:00+01:00https://cs.lozic.me/posts/t021-the-noisy-channel-coding-theorem/2027-02-26T12:00:00+01:00https://cs.lozic.me/posts/t020-huffman-coding-is-optimal/2027-02-19T12:00:00+01:00https://cs.lozic.me/posts/t009-balls-into-bins/2027-02-12T12:00:00+01:00https://cs.lozic.me/posts/t017-reductions/2027-02-05T12:00:00+01:00https://cs.lozic.me/posts/t051-the-coffman-conditions/2027-01-29T12:00:00+01:00https://cs.lozic.me/posts/t015-godels-incompleteness-theorems/2027-01-22T12:00:00+01:00https://cs.lozic.me/posts/t014-kleenes-recursion-theorem/2027-01-15T12:00:00+01:00https://cs.lozic.me/posts/t038-the-chomsky-hierarchy/2027-01-08T12:00:00+01:00https://cs.lozic.me/posts/t013-the-universal-machine/2027-01-01T12:00:00+01:00https://cs.lozic.me/posts/t012-the-church-turing-thesis/2026-12-25T12:00:00+01:00https://cs.lozic.me/kinds/thesis/2026-12-25T12:00:00+01:00https://cs.lozic.me/posts/t008-concentration-bounds/2026-12-18T12:00:00+01:00https://cs.lozic.me/posts/t006-amortized-analysis-and-the-potential-method/2026-12-11T12:00:00+01:00https://cs.lozic.me/posts/t005-adversary-arguments/2026-12-04T12:00:00+01:00https://cs.lozic.me/areas/combinatorics/2026-12-04T12:00:00+01:00https://cs.lozic.me/posts/t007-linearity-of-expectation/2026-11-27T12:00:00+01:00https://cs.lozic.me/posts/t003-comparison-sort-lower-bound/2026-11-20T12:00:00+01:00https://cs.lozic.me/posts/t018-shannon-entropy-and-source-coding/2026-11-13T12:00:00+01:00https://cs.lozic.me/posts/t074-the-birthday-bound/2026-11-06T12:00:00+01:00https://cs.lozic.me/posts/t061-the-two-generals-problem/2026-10-30T12:00:00+01:00https://cs.lozic.me/posts/t089-conways-law/2026-10-23T12:00:00+02:00https://cs.lozic.me/areas/software-engineering/2026-10-23T12:00:00+02:00https://cs.lozic.me/posts/t011-rices-theorem/2026-10-16T12:00:00+02:00https://cs.lozic.me/posts/t010-the-halting-problem/2026-10-09T12:00:00+02:00https://cs.lozic.me/posts/t002-cantors-diagonal-argument/2026-10-02T12:00:00+02:00https://cs.lozic.me/posts/t082-gustafsons-law-and-the-usl/2026-09-25T12:00:00+02:00https://cs.lozic.me/posts/t081-amdahls-law/2026-09-18T12:00:00+02:00https://cs.lozic.me/posts/t091-hyrums-law-and-postels-principle/2026-09-11T12:00:00+02:00https://cs.lozic.me/posts/t004-no-universal-lossless-compressor/2026-09-04T12:00:00+02:00https://cs.lozic.me/posts/t001-pigeonhole-principle/2026-08-28T12:00:00+02:00https://cs.lozic.me/index-of-results/