Blog
Posts, notes, and articles.
#0-rtt
#3d-xpoint
#5g-mec
#abstract-interpretation
#ac0
#access-patterns
#active-learning
#additive-combinatorics
#adjunctions
#aegis
#af_xdp
#ai
#ai-accelerators
#ajm-games
#akamai
#algebraic-geometry
#algebraic-topology
#algorithm-analysis
#algorithmic-game-theory
#algorithmic-information-theory
#algorithms
#allocation
#allocators
#amd-v
#ams
#analytic-combinatorics
#analytics
#anonymity
#anycast
#apache-arrow
#approximation-algorithms
#architecture
#arena
#asic
#asymptotics
#asynchronous-systems
#atomics
#auctions
#autonomous-system
#availability
#average-case-complexity
#avgp
#azul-c4
#b-trees
#bellman
#beyond-worst-case
#bgp
#bgpsec
#bisimulation
#bittorrent
#block-designs
#blockchain
#bloom-filter
#bls
#bounded-search-trees
#brams-taylor
#branch-and-bound
#branch-prediction
#broadcast
#brownian-motion
#btrfs
#build-systems
#byzantine-fault-tolerance
#cache
#cache-analysis
#cache-timing
#caching
#cake-cutting
#cap
#capability
#capability-hardware
#cas
#category-theory
#causality
#ccs
#cd
#cdn
#ceph
#cgroups
#chandy-lamport
#checkpointing
#cheri
#chord
#church-turing
#ci
#ci-cd
#circuit-complexity
#circuits
#clock-synchronization
#clock-tree-synthesis
#cloud-computing
#cloudflare
#clustering
#cockroachdb
#coding-theory
#collaboration
#colossus
#columnar-storage
#combinatorial-designs
#combinatorial-optimization
#combinators
#communication-complexity
#compartmentalization
#competitive-analysis
#compilers
#compliance
#compression
#computability
#computation
#computational-complexity
#computer-architecture
#computer-science
#concentration-inequalities
#concurrency
#confidential-computing
#congestion-control
#connection-migration
#consensus
#consistency
#consistent-hashing
#constant-time
#containers
#content-addressing
#content-delivery-network
#context-switch
#continuous-lattices
#convergence
#convex-optimization
#cook-levin
#count-min
#cousot
#cplex
#cpp
#cpu
#cpu-design
#cramer
#cranelift
#crash-consistency
#crdt
#crush
#cryptanalysis
#cryptography
#cuda
#curry-howard
#cxl
#dag
#data-center
#data-engineering
#data-path
#data-streams
#data-structures
#data-systems
#databases
#datacenter
#dataproc
#dax
#dc-net
#deadlock-detection
#decentralized-web
#deep-learning
#denotational-semantics
#derandomization
#descriptive-complexity
#determinism
#devops
#dht
#differential-privacy
#dimensionality-reduction
#diminishing-returns
#dinic
#disaggregated-computing
#distributed-computing
#distributed-hash-tables
#distributed-snapshots
#distributed-systems
#distributional-problems
#divide-and-conquer
#dkg
#dns
#docker
#dolev-yao
#domain-theory
#dpdk
#dragonfly
#dram
#duality
#durability
#dynamic-programming
#ebpf
#ecdsa
#edge
#edge-caching
#edge-computing
#edmonds-karp
#eigenvalues
#elliptic-curves
#enclaves
#encoding
#encrypted-databases
#energy
#entropy
#envy-freeness
#epic
#epidemic-protocols
#ept
#erasure-coding
#error-correcting-codes
#error-correction
#ethereum
#ethics
#event-driven
#exactly-once
#exokernel
#experimentation
#exponential-families
#ext4
#fagin-theorem
#fair-division
#fastly
#fat-tree
#fault-tolerance
#feature-flags
#feistel
#feram
#fft
#ffx
#file-systems
#finality
#finite-geometry
#finite-model-theory
#fisher-information
#fixed-point
#fixed-points
#fixpoint-theorem
#flash
#flink
#floating-point
#flp
#fog-computing
#ford-fulkerson
#formal-methods
#formal-verification
#format-preserving-encryption
#forward-privacy
#foundations
#fpe
#fpga
#fpt
#frequency-moments
#front-running
#frontend
#full-abstraction
#functional-programming
#functors
#fundamentals
#galois-connections
#game-semantics
#game-theory
#garbage-collection
#garbled-circuits
#gc
#gddr
#gdsii
#generating-functions
#geo-distributed
#gfs
#girard
#git
#global-state
#gomory-cuts
#google
#gossip
#governance
#gpu
#gradient-descent
#graph-algorithms
#graph-theory
#graphql
#greedy
#greedy-algorithms
#grobner-bases
#gurobi
#hardware
#hashing
#haskell
#hastad
#hbm
#hbm-pim
#hdfs
#hdl
#head-of-line-blocking
#herlihy-shavit
#high-dimensional-geometry
#high-level-synthesis
#hls
#hoare-logic
#homomorphic-encryption
#homotopy
#homotopy-type-theory
#hotspot
#hpc
#htm
#http3
#https
#hybrid
#hybrid-logical-clocks
#hyparview
#hyperthreading
#hypervisor
#idempotency
#ieee-1588
#ieee-754
#ilp
#importance-sampling
#includeos
#indexes
#inference
#infinity-groupoids
#information-geometry
#information-retrieval
#information-theory
#infrastructure
#integer-programming
#intel
#intel-tsx
#interactive-proofs
#interconnect
#interconnects
#interior-point
#internationalization
#internet-routing
#io
#io-uring
#iot
#ipc
#ipfs
#isa
#itanium
#java
#javascript
#jemalloc
#jepsen
#jit
#johnson-lindenstrauss
#journaling
#jvm
#k-server
#k3s
#kademlia
#kafka
#karmarkar
#kernel
#kernel-bypass
#kernelization
#kkt
#knapsack
#kolmogorov-complexity
#kubernetes
#l4
#lai-yang
#lambda-calculus
#lamport-clocks
#laplacian
#large-deviations
#latency
#lattice-cryptography
#ldpc
#leakage-abuse
#learning-with-errors
#levin
#libp2p
#library-os
#lift-and-project
#linear-logic
#linear-programming
#linear-types
#linearizability
#linux
#llvm
#load-balancing
#lock-elision
#lock-free
#locks
#logging
#logic
#logical-clocks
#loihi
#lower-bounds
#lsh
#lsm-trees
#machine-learning
#machine-learning-theory
#malloc
#mapreduce
#markov-chains
#martin-lof
#match-action
#matching
#mathematics
#matroid-intersection
#matroids
#max-flow-min-cut
#mcmc
#mechanism-design
#meltdown
#membership
#memory
#memory-management
#memory-model
#memory-safety
#memory-technologies
#memory-wall
#merkle
#merkle-dag
#microarchitecture
#microk8s
#microkernel
#mirageos
#misra-gries
#mist-computing
#mit
#mixing-times
#mixnet
#ml
#mlops
#monads
#monorepo
#monte-carlo
#morello
#mpc
#mpi
#mram
#multi-armed-bandits
#multi-leader
#multiplicative-weights
#multithreading
#mvcc
#myerson
#namespaces
#nash-equilibrium
#natural-gradient
#nc
#near-data-computing
#nested-paging
#nesterov
#network-flow
#network-topology
#networking
#neuromorphic-computing
#nisq
#non-volatile-memory
#np-completeness
#np-hardness
#ntp
#number-theory
#numerical-computing
#numerical-methods
#nvlink
#nvme
#object-storage
#observability
#oci
#offloading
#olap
#online-algorithms
#online-learning
#onos
#open-daylight
#open-source-hardware
#openflow
#openmp
#operating-systems
#optane
#optical-computing
#optimality
#optimization
#oram
#orc
#order-theory
#out-of-order
#overlayfs
#p-poly
#p-vs-np
#p2p
#p4
#pac-learning
#packet-processing
#page-tables
#paging
#parallelism
#parameterized-complexity
#parity
#parquet
#pastry
#path-vector
#paxos
#pcf
#pcie
#pcp-theorem
#peer-to-peer
#peering
#performance
#persistent-memory
#photonic-integration
#phylogenetics
#physics
#pi-calculus
#pim
#pipelines
#pir
#pki
#place-and-route
#platform
#platform-engineering
#plumtree
#pmdk
#pmem
#poisson-process
#polynomial-multiplication
#polynomial-systems
#portsmash
#post-quantum
#power-analysis
#ppad
#precision
#predication
#prefix-hijacking
#prefix-sums
#primal-dual
#privacy
#probabilistic
#probabilistic-method
#probabilistically-checkable-proofs
#probability
#process-calculi
#processing-in-memory
#processor-design
#product-engineering
#program-analysis
#program-verification
#programmable-data-plane
#programming-language-theory
#programming-languages
#progressive-delivery
#proof-assistants
#proof-of-stake
#proof-of-work
#proof-theory
#property-testing
#protocol-analysis
#protocols
#proverif
#pseudorandomness
#ptp
#push-relabel
#quantum-architecture
#quantum-computing
#query-complexity
#queueing-theory
#queuing
#queuing-theory
#quic
#rademacher-complexity
#rados
#raft
#rag
#random-projections
#random-sampling
#random-walks
#randomized-algorithms
#randomness
#rare-events
#rdma
#real-time
#reconfigurable-computing
#recovery
#rectangles
#reductions
#reed-solomon
#reentrancy
#region-inference
#register-renaming
#regret-minimization
#regularity-lemma
#reinforcement-learning
#reliability
#renewal-theory
#reorder-buffer
#replication
#reproducible-builds
#resilience
#resource-awareness
#retries
#reversible-computing
#riscv
#rollback
#row-hammer
#rpki
#runtime
#rust
#s3
#sandboxing
#sat
#sbom
#scalability
#scheduling
#scott
#scott-domains
#sdn
#search
#searchable-encryption
#second-order-logic
#secret-sharing
#secure-computation
#security
#sel4
#selfridge-conway
#semantics
#separation-logic
#sequence-alignment
#sequential-computation
#sequential-consistency
#serializability
#session-types
#sev
#sgx
#shannon
#shenandoah
#shortest-paths
#side-channel-attacks
#side-channels
#signal-processing
#sigstore
#silicon-photonics
#simd
#simplex
#simplicial-complexes
#singularity-analysis
#sketches
#ski-rental
#slsa
#smart-contracts
#smoothed-analysis
#smt
#snabb
#snapshot-at-the-beginning
#sockets
#software-defined-networking
#solvability
#spanner
#spanning-trees
#spark
#spatial-computing
#spdk
#spdz
#spectral-graph-theory
#spectre
#speculative-execution
#speedup
#spielman-teng
#spiking-networks
#sre
#SRE
#ssd
#sse
#state-machine-replication
#static-analysis
#static-scheduling
#static-timing-analysis
#statistical-learning
#statistical-manifolds
#statistics
#stdp
#steiner-systems
#stm
#stochastic-processes
#storage
#storage-class-memory
#storage-engines
#streaming
#streaming-algorithms
#structured-overlay
#sublinear-algorithms
#submodular-optimization
#summarization
#sumsets
#superconducting-qubits
#superscalar
#supply-chain
#symbolic-method
#synchronization
#synthesis
#syscalls
#systems
#systems-programming
#szemeredi
#tail-at-scale
#tail-bounds
#tail-latency
#tamarin
#tapeout
#tcp
#tcp-ip
#technical
#telemetry
#text
#theory
#thermodynamics
#threshold-cryptography
#throughput
#time
#timeouts
#timing-attacks
#TLB
#tlbleed
#tls
#tls-1.3
#tokenization
#topological-qubits
#tor
#torus
#tracing-jit
#traffic-analysis
#transactional-memory
#transactions
#transient-execution
#transport-protocol
#trapped-ions
#tropical-geometry
#truenorth
#truetime
#trusted-execution
#truthfulness
#type-systems
#type-theory
#udp
#unicode
#unikernel
#univalence
#upmem
#utf-8
#v8
#vc-dimension
#vcg
#vdf
#vector-clocks
#vector-extension
#vector-search
#verifiable-computation
#verifiable-delay-functions
#verification
#verifier
#verilog
#viewstamped-replication
#virtual-memory
#virtualization
#vliw
#vlsi
#vpp
#vt-x
#w-hierarchy
#wait-free
#wal
#wan
#wasm
#wasmtime
#watermarks
#weak-ordering
#webassembly
#work-stealing
#xdp
#yao-model
#yugabytedb
#zab
#zero-knowledge
#zgc
#zircon
#zk-snarks
#zookeeper