https://lbenicio.dev/categories/algorithms/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/categories/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/computer-science/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/06/01/implementing-a-byzantine-fault-tolerant-atomic-broadcast-protocol-zyzzyva-or-sbft/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/technical/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/categories/theory/2026-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/05/27/a-deep-dive-into-the-rc4-stream-cipher-weakness-and-secure-alternatives/2026-05-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/05/27/writing-a-custom-profiling-tool-for-python-bytecode-instrumentation-and-statistical-sampling/2026-05-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/05/23/designing-a-distributed-search-engine-index-inverted-index-compression-and-top-k-retrieval/2026-05-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/05/21/implementing-the-smtp-protocol-mail-transfer-agent-with-queue-and-retry-logic/2026-05-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/05/19/building-a-decentralized-identity-did-system-with-verifiable-credentials/2026-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/05/12/the-architecture-of-a-real-time-operating-system-context-switching-and-priority-inversion-mars-pathfinder/2026-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/05/05/implementing-the-tcp-cubic-congestion-control-algorithm-in-a-userspace-tcp-stack/2026-05-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/29/designing-a-database-vacant-space-management-bitmap-free-list-and-b-tree-allocation/2026-04-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/29/writing-a-tiny-shell-from-scratch-fork-exec-pipes-and-job-control/2026-04-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/27/implementing-the-spectral-graph-partitioning-algorithm-fiedler-vector-and-k-means/2026-04-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/19/a-practical-guide-to-implementing-the-merkle-damg%C3%A5rd-construction-for-hash-functions/2026-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/19/building-a-simple-service-mesh-sidecar-proxy-with-custom-iptables-rules-and-mtls/2026-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/18/designing-a-multithreaded-memory-allotter-thread-caching-malloc-like-tcmalloc/2026-04-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/match-action/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/categories/networking/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/onos/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/open-daylight/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/openflow/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/p4/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/programmable-data-plane/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sdn/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/15/software-defined-networking-openflows-match-action-tables-the-p4-language-and-the-programmable-data-plane-vision/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/software-defined-networking/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/categories/systems/2026-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/13/implementing-the-lempel-ziv-welch-lzw-compression-algorithm-with-dictionary-tuning/2026-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/12/building-a-distributed-monitoring-system-leaderless-gossip-protocol-for-heartbeats/2026-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/11/the-mathematics-of-bayesian-inference-variational-autoencoder-implementation-from-scratch/2026-04-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/10/implementing-a-simple-compiler-from-lisp-like-s-expressions-to-llvm-ir-with-ssa-form/2026-04-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/autonomous-system/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/bgp/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/08/bgp-and-internet-routing-the-path-vector-protocol-as-level-topology-convergence-and-the-prefix-hijacking-problem/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/bgpsec/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/convergence/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/08/designing-a-protocol-for-log-replication-with-snapshotting-the-etcd-raft-implementation/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/internet-routing/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/path-vector/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/prefix-hijacking/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rpki/2026-04-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/06/building-a-custom-scheduler-for-linux-cfs-vs.-o1-scheduler-details-and-implementation/2026-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/05/implementing-a-distributed-counter-with-linearizability-lamport-clocks-and-client-side-quorums/2026-04-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/04/04/writing-a-tiny-basic-interpreter-in-assembly-lexing-parsing-and-code-generation-for-x86_64/2026-04-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/20/the-practical-guide-to-implementing-a-quadtree-for-spatial-indexing-of-2d-points/2026-03-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/19/designing-a-scalable-session-store-using-crdts-for-gdpr-compliant-data-retention/2026-03-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/14/implementing-the-sha-256-hashing-algorithm-from-scratch-bit-level-operations/2026-03-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/13/a-deep-dive-into-the-rust-borrow-checker-lifetime-inference-and-nll-implementation/2026-03-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/11/designing-a-distributed-namespace-with-unikernel-based-microkernels/2026-03-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/07/implementing-a-custom-wave-function-collapse-algorithm-for-procedural-generation/2026-03-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/0-rtt/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/connection-migration/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/head-of-line-blocking/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/http3/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/quic/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/06/quic-and-http/3-the-udp-based-transport-revolution-0-rtt-connection-migration-and-stream-multiplexing-without-head-of-line-blocking/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tls-1.3/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/transport-protocol/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/udp/2026-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/akamai/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/anycast/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cdn/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cloudflare/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/04/content-delivery-networks-dns-based-routing-anycast-edge-caching-and-the-economics-of-cdn-peering/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/content-delivery-network/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/categories/distributed-systems/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dns/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/edge-caching/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fastly/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/peering/2026-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/03/building-a-distributed-graph-processing-engine-pregel-model-and-superstep-implementation/2026-03-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/03/02/writing-a-simple-container-runtime-namespaces-cgroups-and-a-minimal-oci-runtime/2026-03-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/02/25/the-theory-and-implementation-of-the-pagerank-algorithm-power-iteration-and-dangling-nodes/2026-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/02/23/implementing-the-knuth-morris-pratt-algorithm-failure-function-and-string-matching/2026-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/02/22/designing-a-bft-storage-system-with-erasure-codes-and-accountability/2026-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/02/19/building-a-dns-resolver-from-scratch-recursive-queries-caching-and-dnssec/2026-02-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/5g-mec/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/02/16/edge-computing-the-fog/mist/cloud-continuum-k3s-and-the-computation-offloading-decision/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/edge-computing/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fog-computing/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/k3s/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/kubernetes/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/microk8s/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mist-computing/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/offloading/2026-02-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/02/15/implementing-a-thread-pool-with-work-stealing-the-cilk-scheduler-in-c/2026-02-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cockroachdb/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/crdt/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/geo-distributed/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/02/13/geo-distributed-systems-wan-latency-multi-leader-replication-and-the-speed-of-light-constraint/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/latency/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/multi-leader/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/replication/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spanner/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/wan/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/yugabytedb/2026-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/30/a-practical-introduction-to-federated-learning-aggregation-differential-privacy-and-secure-aggregation/2026-01-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/29/designing-a-custom-compression-codec-lz77-huffman-coding-and-deflate-from-scratch/2026-01-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/26/building-a-simple-state-machine-replication-system-with-raft-and-a-key-value-store/2026-01-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/26/implementing-the-minimum-spanning-tree-algorithms-kruskal-with-union-find-and-prim-with-fibonacci-heap/2026-01-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/24/the-architecture-of-a-modern-sqlite-pager-b-tree-and-virtual-machine-internals/2026-01-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/22/implementing-a-distributed-snapshot-algorithm-chandy-lamport-state-recording/2026-01-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/21/writing-a-tiny-x86-emulator-in-c-instruction-decoding-segmentation-and-paging/2026-01-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/20/designing-a-continuous-integration-pipeline-with-distributed-build-agents-and-caching/2026-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/bittorrent/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/content-addressing/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/decentralized-web/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dht/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ipfs/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/libp2p/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/merkle-dag/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/p2p/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/18/p2p-networks-bittorrents-incentives-ipfss-merkle-dags-and-the-decentralized-web-vision/2026-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/15/the-practical-guide-to-implementing-a-consensus-algorithm-for-byzantine-faults-pbft/2026-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/09/implementing-a-simple-neural-network-accelerator-in-fpga-matrix-multiply-unit-and-activation/2026-01-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2026/01/05/building-a-custom-profiling-tool-with-linux-perf-events-and-ebpf/2026-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/29/the-mathematics-of-the-fast-fourier-transform-cooleytukey-implementation-with-twiddle-factors/2025-12-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/26/designing-a-probabilistic-data-structure-for-cardinality-estimation-hyperloglog-with-bias-correction/2025-12-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/21/database-internals-storage-engines-transactions-and-recovery/2025-12-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/databases/2025-12-21T00:00:00+00:00daily0.5https://lbenicio.dev/categories/fundamentals/2025-12-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fundamentals/2025-12-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mvcc/2025-12-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/storage/2025-12-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/transactions/2025-12-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/14/implementing-the-a-pathfinding-algorithm-with-heuristics-octile-distance-and-hierarchical-annotated-maps/2025-12-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/13/building-a-distributed-transaction-log-with-multi-version-concurrency-control-mvcc/2025-12-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/12/a-deep-dive-into-the-burrows-wheeler-transform-compression-indexing-and-fm-index/2025-12-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/09/designing-a-protocol-for-reliable-multicast-scalable-reliable-multicast-srm-implementation/2025-12-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/09/implementing-a-custom-unikernel-boot-network-driver-and-a-minimal-http-server/2025-12-09T00:00:00+00:00daily0.5https://lbenicio.dev/tags/broadcast/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/chord/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/consistent-hashing/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/08/distributed-hash-tables-chord-pastry-kademlia-and-the-structured-overlay-revolution/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/distributed-hash-tables/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/distributed-systems/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/08/epidemic-protocols-gossip-hyparview-plumtree-and-the-mathematics-of-infection-style-dissemination/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/epidemic-protocols/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gossip/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hyparview/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/kademlia/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/membership/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pastry/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/peer-to-peer/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/plumtree/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/structured-overlay/2025-12-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/07/writing-a-simple-multiprocessor-scheduler-lottery-scheduling-and-stride-scheduling/2025-12-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/branch-prediction/2025-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cpu/2025-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/04/cpu-microarchitecture-pipelines-out-of-order-execution-and-modern-performance/2025-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/microarchitecture/2025-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/out-of-order/2025-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/performance/2025-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pipelines/2025-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/simd/2025-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/12/01/the-internals-of-a-high-frequency-trading-system-order-book-with-fast-matching-engine/2025-12-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/30/implementing-the-rsa-cryptosystem-key-generation-encryption-and-signature-with-chinese-remainder-theorem/2025-11-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/22/building-a-simple-virtual-machine-bytecode-compilation-and-execution-like-a-minimal-jvm/2025-11-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cryptography/2025-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/18/designing-a-distributed-counter-with-strong-consistency-using-paxos-single-slot/2025-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/https/2025-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pki/2025-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/categories/security/2025-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/security/2025-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tls/2025-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/18/tls-pki-and-secure-protocols-how-encrypted-web-traffic-works/2025-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/17/the-theory-and-implementation-of-an-x.509-certificate-authority-asn.1-signatures-and-ocsp/2025-11-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/14/implementing-a-parallel-sort-bitonic-sort-on-gpu-with-cuda/2025-11-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/12/building-a-simple-graph-neural-network-message-passing-and-aggregation-from-scratch/2025-11-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/07/a-practical-guide-to-virtual-memory-implementing-page-tables-and-tlb-simulation-in-software/2025-11-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/06/designing-a-self-adjusting-binary-search-tree-splay-tree-with-amortized-analysis/2025-11-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/11/03/implementing-the-chord-distributed-hash-table-protocol-ring-routing-and-stabilization/2025-11-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/chandy-lamport/2025-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/checkpointing/2025-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/deadlock-detection/2025-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/31/distributed-snapshots-the-chandy-lamport-algorithm-lai-yang-and-the-foundations-of-consistent-global-state/2025-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/distributed-snapshots/2025-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/global-state/2025-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lai-yang/2025-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/29/building-a-concurrent-garbage-collector-for-a-language-with-interior-pointers-like-javas-g1/2025-10-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/26/inside-vector-databases-building-retrieval-augmented-systems-that-scale/2025-10-26T00:00:00+00:00daily0.5https://lbenicio.dev/categories/machine-learning/2025-10-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/machine-learning/2025-10-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/observability/2025-10-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rag/2025-10-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vector-search/2025-10-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/22/the-art-of-writing-a-correct-and-fast-crc32-implementation-slicing-by-8-and-pclmulqdq/2025-10-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cap/2025-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/consensus/2025-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/20/distributed-systems-consensus-consistency-and-fault-tolerance/2025-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/jepsen/2025-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/paxos/2025-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/raft/2025-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/14/implementing-a-binary-indexed-tree-fenwick-tree-with-range-updates-and-range-queries/2025-10-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/causality/2025-10-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/08/clock-synchronization-lamport-clocks-vector-clocks-hybrid-logical-clocks-and-the-crdt-connection/2025-10-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hybrid-logical-clocks/2025-10-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lamport-clocks/2025-10-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/logical-clocks/2025-10-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vector-clocks/2025-10-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/06/designing-a-custom-network-protocol-framing-checksums-and-reliable-delivery-over-udp/2025-10-06T00:00:00+00:00daily0.5https://lbenicio.dev/categories/engineering/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/tags/indexes/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/04/learned-indexes-when-models-replace-btrees/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/tags/queuing-theory/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/tags/scheduling/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/tags/sre/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/tags/systems/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/tags/tail-latency/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/04/the-100microsecond-rule-why-tail-latency-eats-your-throughput-and-how-to-fight-back/2025-10-04T10:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/02/a-detailed-look-at-the-simplex-algorithm-for-linear-programming-implementation-and-numerical-stability/2025-10-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/clock-synchronization/2025-10-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ieee-1588/2025-10-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ntp/2025-10-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ptp/2025-10-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/time/2025-10-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/10/01/time-in-distributed-systems-ntp-ptp-truetime-and-the-impossibility-of-perfect-synchronization/2025-10-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/truetime/2025-10-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/algorithms/2025-09-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/consistency/2025-09-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/09/27/implementing-a-distributed-grep-mapreduce-and-hadoop-from-scratch/2025-09-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/probability/2025-09-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/09/27/the-quiet-calculus-of-probabilistic-commutativity/2025-09-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gpu/2025-09-21T00:00:00+00:00daily0.5https://lbenicio.dev/categories/high-performance-computing/2025-09-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hpc/2025-09-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mpi/2025-09-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/parallelism/2025-09-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/prefix-sums/2025-09-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/09/21/the-hidden-backbone-of-parallelism-how-prefix-sums-power-distributed-computation/2025-09-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/09/20/building-a-simple-ray-tracer-bvh-acceleration-anti-aliasing-and-path-tracing/2025-09-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/data-path/2025-09-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/09/16/gpudirect-storage-in-2025-optimizing-the-end-to-end-data-path/2025-09-16T00:00:00+00:00daily0.5https://lbenicio.dev/categories/performance/2025-09-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rdma/2025-09-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/09/07/the-architecture-of-a-log-structured-merge-tree-lsm-with-memory-bucketed-compaction/2025-09-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dimensionality-reduction/2025-09-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/high-dimensional-geometry/2025-09-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/johnson-lindenstrauss/2025-09-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lsh/2025-09-05T00:00:00+00:00daily0.5https://lbenicio.dev/categories/mathematics/2025-09-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/random-projections/2025-09-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/09/05/the-johnson-lindenstrauss-lemma-and-the-geometry-of-high-dimensional-data/2025-09-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/30/implementing-the-dijkstrascholten-algorithm-for-termination-detection-in-distributed-systems/2025-08-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/26/designing-a-sharded-counter-with-crdts-for-eventually-consistent-analytics/2025-08-26T00:00:00+00:00daily0.5https://lbenicio.dev/categories/cryptography/2025-08-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/homomorphic-encryption/2025-08-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/24/lattice-based-cryptography-learning-with-errors-and-the-road-to-fully-homomorphic-encryption/2025-08-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lattice-cryptography/2025-08-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/learning-with-errors/2025-08-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/number-theory/2025-08-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/post-quantum/2025-08-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/23/a-practical-introduction-to-homomorphic-encryption-bfv-scheme-implementation/2025-08-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/3d-xpoint/2025-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/categories/hardware-architecture/2025-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/intel/2025-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/non-volatile-memory/2025-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/optane/2025-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/persistent-memory/2025-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/15/storage-class-memory-intel-optane-3d-xpoint-and-the-lessons-of-a-bold-failure/2025-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/storage-class-memory/2025-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/12/building-a-parallel-algorithm-for-graph-coloring-using-openmp-and-mpi/2025-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/data-systems/2025-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/12/differential-privacy-formal-guarantees-composition-theorems-and-the-engineering-of-private-systems/2025-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/differential-privacy/2025-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/formal-methods/2025-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/privacy/2025-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/statistics/2025-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dram/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/feram/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gddr/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hbm/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/10/implementing-a-distributed-lock-service-using-zookeeper-with-zab-protocol-analysis/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/08/10/memory-technologies-dram-hbm-gddr-and-the-scaling-wall/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/memory-technologies/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/memory-wall/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mram/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/row-hammer/2025-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/algorithmic-information-theory/2025-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/compression/2025-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/computability/2025-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/30/kolmogorov-complexity-and-algorithmic-information-theory-the-deepest-measure-of-information/2025-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/kolmogorov-complexity/2025-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/randomness/2025-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/theory/2025-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/29/the-design-and-implementation-of-a-database-index-using-fractal-trees-cache-oblivious-b-trees/2025-07-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/25/implementing-a-simple-type-system-for-a-programming-language-hindley-milner-type-inference/2025-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/21/a-deep-dive-into-the-cuckoo-filter-design-implementation-and-performance-tuning/2025-07-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/18/queueing-theory-for-systems-engineers-from-m/m/1-to-heavy-tail-distributions-and-tail-at-scale/2025-07-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/queueing-theory/2025-07-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tail-at-scale/2025-07-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/16/building-a-distributed-file-system-with-erasure-coding-reed-solomon-implementation/2025-07-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/09/the-science-of-clock-synchronization-ntp-ptp-and-hybrid-logical-clocks-in-distributed-systems/2025-07-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/07/implementing-a-convolutional-neural-network-in-cuda-kernels-tiling-and-shared-memory/2025-07-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/06/algebraic-topology-in-distributed-computing-wait-free-solvability-and-simplicial-complexes/2025-07-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/algebraic-topology/2025-07-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/distributed-computing/2025-07-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/herlihy-shavit/2025-07-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/simplicial-complexes/2025-07-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/solvability/2025-07-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/wait-free/2025-07-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hybrid/2025-07-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/04/mpi-vs.-openmp-in-2025-where-each-wins/2025-07-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/openmp/2025-07-04T00:00:00+00:00daily0.5https://lbenicio.dev/categories/practice/2025-07-04T00:00:00+00:00daily0.5https://lbenicio.dev/categories/programming-models/2025-07-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/07/01/writing-a-tiny-elf-loader-executable-linking-and-relocation-in-linux/2025-07-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/26/design-and-implementation-of-a-distributed-rate-limiter-token-bucket-with-consistent-hashing/2025-06-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/concurrency/2025-06-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cpp/2025-06-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/24/memory-consistency-models-from-sequential-consistency-to-the-c-11-memory-model/2025-06-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/memory-model/2025-06-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sequential-consistency/2025-06-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/weak-ordering/2025-06-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/asic/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/22/asic-design-flow-from-rtl-to-gdsii-synthesis-sta-and-the-tapeout-checklist/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/clock-tree-synthesis/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gdsii/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/place-and-route/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/static-timing-analysis/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/synthesis/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tapeout/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vlsi/2025-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/20/a-practical-guide-to-implementing-the-actor-model-in-rust-tokio-and-custom-schedulers/2025-06-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/15/implementing-a-self-balancing-binary-search-tree-red-black-tree-vs.-avl-tree-internals/2025-06-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/13/building-a-simple-blockchain-from-scratch-proof-of-work-merkle-trees-and-utxo-model/2025-06-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/clustering/2025-06-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/eigenvalues/2025-06-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/graph-algorithms/2025-06-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/laplacian/2025-06-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/random-walks/2025-06-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/12/spectral-graph-theory-how-eigenvalues-reveal-the-hidden-structure-of-graphs/2025-06-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spectral-graph-theory/2025-06-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/12/the-mathematics-of-backpressure-flow-control-in-distributed-stream-processing/2025-06-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/09/designing-a-compact-trie-for-autocomplete-with-efficient-prefix-search/2025-06-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/06/07/implementing-a-snapshot-isolation-protocol-for-a-distributed-database-with-silo-like-optimizations/2025-06-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/31/understanding-the-google-file-system-a-detailed-implementation-in-go/2025-05-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/concentration-inequalities/2025-05-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/derandomization/2025-05-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/probabilistic-method/2025-05-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/randomized-algorithms/2025-05-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tail-bounds/2025-05-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/30/the-probabilistic-method-and-randomized-algorithms-from-tail-bounds-to-derandomization/2025-05-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/29/building-a-custom-allocator-for-real-time-systems-slab-buddy-and-region-based-approaches/2025-05-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/28/implementing-a-scalable-web-crawler-with-distributed-frontier-and-politeness-policies/2025-05-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/28/the-inner-workings-of-a-database-query-optimizer-cost-models-statistics-and-join-ordering/2025-05-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/27/from-sockets-to-epoll-building-a-non-blocking-http-server-in-c/2025-05-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/22/designing-a-distributed-queue-with-exactly-once-delivery-using-idempotency-keys/2025-05-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/21/a-deep-dive-into-the-xgboost-algorithm-gradient-boosting-regularization-and-system-optimization/2025-05-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/21/implementing-a-secure-multi-party-computation-protocol-garbled-circuits-from-scratch/2025-05-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dag/2025-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/categories/data-engineering/2025-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dataproc/2025-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/19/from-mapreduce-to-spark-the-arc-of-data-parallel-systems/2025-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mapreduce/2025-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spark/2025-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/coding-theory/2025-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/18/error-correcting-codes-reed-solomon-ldpc-and-how-distributed-storage-survives-failure/2025-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/error-correcting-codes/2025-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ldpc/2025-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/reed-solomon/2025-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fpga/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/12/fpga-programming-hls-verilog-and-the-spatial-computing-paradigm/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hdl/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/high-level-synthesis/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hls/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/inference/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/reconfigurable-computing/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spatial-computing/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/verilog/2025-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/11/the-theory-and-implementation-of-the-boyer-moore-string-search-algorithm-with-galils-rule/2025-05-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/07/building-a-simple-vector-database-with-ivf-and-hnsw-indexing-for-ann-search/2025-05-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/church-turing/2025-05-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/combinators/2025-05-06T00:00:00+00:00daily0.5https://lbenicio.dev/categories/foundations/2025-05-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/foundations/2025-05-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/functional-programming/2025-05-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lambda-calculus/2025-05-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/06/the-lambda-calculus-and-combinatory-logic-the-minimalist-foundations-of-all-computation/2025-05-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/05/03/using-linearizability-checking-tools-how-to-prove-your-concurrent-data-structure-is-correct/2025-05-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/blockchain/2025-04-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/interactive-proofs/2025-04-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/verifiable-computation/2025-04-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/zero-knowledge/2025-04-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/24/zero-knowledge-proofs-from-interactive-protocols-to-zk-snarks-and-practical-verifiable-computation/2025-04-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/zk-snarks/2025-04-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/23/the-architecture-of-a-high-performance-message-broker-design-patterns-from-apache-kafka/2025-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/20/applying-bloom-filters-in-practice-from-cache-filtering-to-bigtable/2025-04-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/20/implementing-a-b-tree-from-scratch-storage-concurrency-and-recovery/2025-04-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/error-correction/2025-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/nisq/2025-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/17/quantum-computing-architectures-superconducting-qubits-trapped-ions-and-the-nisq-era/2025-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/quantum-architecture/2025-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/quantum-computing/2025-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/superconducting-qubits/2025-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/topological-qubits/2025-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/trapped-ions/2025-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/14/writing-a-custom-tcp-stack-in-userspace-performance-and-pitfalls/2025-04-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/13/designing-a-consistent-hashing-ring-with-virtual-nodes-for-load-balancing/2025-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/13/the-realities-of-implementing-a-distributed-transaction-protocol-percolator-vs.-spanner/2025-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/divide-and-conquer/2025-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fft/2025-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/numerical-methods/2025-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/polynomial-multiplication/2025-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/signal-processing/2025-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/12/the-fast-fourier-transform-from-cooley-tukey-to-modern-signal-processing-and-fast-multiplication/2025-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/11/building-a-simple-oauth-2.0-authorization-server-tokens-scopes-and-refresh-flows/2025-04-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/06/a-practical-guide-to-implement-the-c5.0-decision-tree-algorithm-from-scratch/2025-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ai/2025-04-05T13:25:00+00:00daily0.5https://lbenicio.dev/post/2025/04/05/auditing-the-algorithm-building-a-responsible-ai-pipeline-that-scales/2025-04-05T13:25:00+00:00daily0.5https://lbenicio.dev/tags/compliance/2025-04-05T13:25:00+00:00daily0.5https://lbenicio.dev/tags/ethics/2025-04-05T13:25:00+00:00daily0.5https://lbenicio.dev/tags/governance/2025-04-05T13:25:00+00:00daily0.5https://lbenicio.dev/tags/mlops/2025-04-05T13:25:00+00:00daily0.5https://lbenicio.dev/post/2025/04/03/optimizing-matrix-multiplication-from-strassen-to-coppersmith-winograd-and-beyond/2025-04-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/04/01/implementing-a-distributed-key-value-store-with-conflict-free-replicated-data-types-crdts/2025-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/approximation-algorithms/2025-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/computational-complexity/2025-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/np-hardness/2025-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pcp-theorem/2025-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/probabilistically-checkable-proofs/2025-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/03/30/the-internals-of-a-modern-garbage-collector-generational-concurrent-and-compacting-like-c4/2025-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/03/30/the-pcp-theorem-why-some-problems-are-hard-even-to-approximate/2025-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/curry-howard/2025-03-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/formal-verification/2025-03-18T00:00:00+00:00daily0.5https://lbenicio.dev/categories/programming-languages/2025-03-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/programming-languages/2025-03-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/proof-assistants/2025-03-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/03/18/the-curry-howard-correspondence-how-type-theory-bridges-proof-and-computation/2025-03-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/type-theory/2025-03-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/03/15/from-code-to-silicon-designing-a-simple-risc-v-cpu-pipeline-in-verilog/2025-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/03/14/building-a-hybrid-logical-clock-for-causal-consistency-in-geo-distributed-systems/2025-03-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/capability-hardware/2025-03-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cheri/2025-03-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/03/11/cheri-and-capability-hardware-memory-safety-at-the-gate-level/2025-03-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/computer-architecture/2025-03-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/memory-safety/2025-03-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/morello/2025-03-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/03/05/cache-oblivious-algorithms-why-and-how-to-optimize-for-unknown-cache-hierarchies/2025-03-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/entropy/2025-03-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/information-theory/2025-03-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mathematics/2025-03-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/shannon/2025-03-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/03/05/shannons-information-theory-from-first-principles-entropy-channel-capacity-and-the-fundamental-limits-of-communication/2025-03-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/computation/2025-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/energy/2025-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/22/landauers-principle-and-the-thermodynamics-of-computation-why-bits-have-an-energy-floor/2025-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/categories/physics/2025-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/physics/2025-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/reversible-computing/2025-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/thermodynamics/2025-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/21/implementing-a-lock-free-queue-with-memory-reclamation-using-epoch-based-reclamation/2025-02-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/21/the-paxos-vs.-raft-debate-a-practical-implementation-and-performance-comparison/2025-02-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/allocation/2025-02-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/garbage-collection/2025-02-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/malloc/2025-02-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/memory/2025-02-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/20/memory-allocation-and-garbage-collection-how-programs-manage-memory/2025-02-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/runtime/2025-02-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/12/scheduling-trading-latency-for-throughput-and-back-again/2025-02-12T10:00:00+00:00daily0.5https://lbenicio.dev/tags/throughput/2025-02-12T10:00:00+00:00daily0.5https://lbenicio.dev/tags/work-stealing/2025-02-12T10:00:00+00:00daily0.5https://lbenicio.dev/tags/isa/2025-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/open-source-hardware/2025-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/processor-design/2025-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/11/risc-v-the-open-isa-revolution-and-the-cambrian-explosion-of-processor-design/2025-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/riscv/2025-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vector-extension/2025-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dpdk/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hbm-pim/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/io-uring/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/10/kernel-bypass-networking-dpdk-io_uring-and-the-rdma-revolution/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/kernel-bypass/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/linux/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/near-data-computing/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/networking/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pim/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/processing-in-memory/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/10/processing-in-memory-upmem-samsung-hbm-pim-and-the-near-data-computing-paradigm/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/upmem/2025-02-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/02/04/write-ahead-logging-under-the-hood-designing-a-durable-wal-for-an-lsm-tree-storage-engine/2025-02-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/30/taming-tail-latency-in-microservices-a-deep-dive-into-request-coalescing-and-hedged-requests/2025-01-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/linearizability/2025-01-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/28/linearizability-and-serializability-a-formal-hierarchy-of-consistency-models/2025-01-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/serializability/2025-01-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/22/exactly-once-in-streaming-what-it-means-and-how-systems-achieve-it/2025-01-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/flink/2025-01-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/kafka/2025-01-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/semantics/2025-01-22T00:00:00+00:00daily0.5https://lbenicio.dev/categories/stream-processing/2025-01-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/streaming/2025-01-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/21/zero-knowledge-proofs-in-practice-implementing-zk-snarks-for-privacy-preserving-transactions/2025-01-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/asynchronous-systems/2025-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fault-tolerance/2025-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/flp/2025-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/15/the-flp-impossibility-result-why-distributed-consensus-is-fundamentally-hard/2025-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/07/building-a-jit-compiler-for-a-subset-of-python-using-llvm/2025-01-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/07/the-mathematics-of-raft-formal-verification-of-leader-election-in-distributed-consensus/2025-01-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/event-driven/2025-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/loihi/2025-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/05/neuromorphic-computing-loihi-2-truenorth-spiking-networks-and-where-neuromorphic-wins/2025-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/neuromorphic-computing/2025-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spiking-networks/2025-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/stdp/2025-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/tags/truenorth/2025-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/04/implementing-a-custom-bittorrent-client-from-scratch-protocol-analysis-and-optimization/2025-01-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2025/01/01/designing-a-wait-free-concurrent-hash-table-with-hazard-pointers/2025-01-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/29/designing-a-privacy-preserving-ad-exchange-using-differential-privacy-and-secure-aggregation/2024-12-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ai-accelerators/2024-12-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/interconnects/2024-12-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/27/optical-computing-silicon-photonics-optical-matrix-multiplication-and-the-integration-challenges/2024-12-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/optical-computing/2024-12-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/photonic-integration/2024-12-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/silicon-photonics/2024-12-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/26/the-complexity-of-the-n-queens-problem-backtracking-with-heuristics-and-symmetry-elimination/2024-12-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/22/a-formal-proof-of-the-dolev-yao-model-for-security-protocol-analysis-with-strand-spaces/2024-12-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/19/building-a-network-function-virtualization-nfv-with-dpdk-for-kernel-bypass-and-poll-mode-drivers/2024-12-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/12/the-mathematics-of-the-elliptic-curve-method-for-integer-factorization-ecm-edwards-curves-and-stage-1/2/2024-12-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/09/implementing-a-distributed-data-grid-with-replication-and-partitioning-hazelcast-topology/2024-12-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/09/the-performance-of-the-salsa20-stream-cipher-vs.-chacha20-in-modern-processors/2024-12-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/05/a-deep-dive-into-the-cmac-authentication-algorithm-cbc-mac-with-a-cryptographic-key-variation/2024-12-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/03/designing-a-distributed-software-transactional-memory-stm-using-lazy-snapshot-and-commute-op/2024-12-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/12/01/the-complexity-of-the-longest-common-subsequence-space-optimized-dp-and-onlogn-with-lis-transformation/2024-12-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cuda/2024-11-27T00:00:00+00:00daily0.5https://lbenicio.dev/categories/gpgpu/2024-11-27T00:00:00+00:00daily0.5https://lbenicio.dev/categories/parallelism/2024-11-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/11/27/tuning-cuda-with-the-gpu-memory-hierarchy/2024-11-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/11/24/building-a-serverless-function-orchestrator-with-workflow-dag-and-checkpointing/2024-11-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/11/22/the-theory-of-online-bipartite-matching-ranking-and-balance-algorithms-for-adwords/2024-11-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/11/18/a-rigorous-analysis-of-the-lru-k-page-replacement-algorithm-historical-buffer-with-sorting/2024-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/11/15/implementing-a-graph-coloring-for-register-allocation-with-chaitin-briggs-and-iterated-register-coalescing/2024-11-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/10/30/the-algorithm-for-the-minimum-cost-flow-using-successive-shortest-path-with-potentials/2024-10-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/10/23/designing-a-consensus-algorithm-with-deterministic-lower-bound-on-message-complexity/2024-10-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/10/12/the-performance-of-distributed-system-protocols-under-byzantine-failure-pbft-vs.-hotstuff/2024-10-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/10/03/a-deep-dive-into-the-gos-scheduler-mn-threading-work-stealing-and-system-calls/2024-10-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/09/30/building-a-custom-programming-language-with-hindley-milner-type-inference-unification-and-occurs-check/2024-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/09/26/the-complexity-of-the-graph-isomorphism-problem-babais-quasi-polynomial-algorithm-overview/2024-09-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/09/15/a-formal-verification-of-the-paxos-protocol-with-informal-proof-and-coq-implementation/2024-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/categories/databases/2024-09-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/09/10/designing-a-distributed-leader-election-for-wsns-with-message-optimal-and-fault-tolerance/2024-09-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/durability/2024-09-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/logging/2024-09-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/recovery/2024-09-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/wal/2024-09-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/09/10/write-ahead-logging-the-unsung-hero-of-database-durability/2024-09-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/09/04/the-mathematics-of-hidden-markov-models-for-part-of-speech-tagging-viterbi-algorithm-and-baum-welch/2024-09-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dragonfly/2024-08-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fat-tree/2024-08-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/interconnect/2024-08-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/08/31/network-topologies-for-hpc-fat-trees-dragonfly-torus-and-the-cost-diameter-bandwidth-optimization/2024-08-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/network-topology/2024-08-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/torus/2024-08-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/08/30/implementing-a-robust-checksum-algorithm-adler-32-vs.-crc-32c-with-galois-field-multiplications/2024-08-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/08/27/the-performance-of-the-twofish-cipher-vs.-aes-in-software-implementation/2024-08-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/08/22/a-deep-dive-into-the-blowfish-cipher-p-array-s-boxes-and-key-schedule/2024-08-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/08/22/bloom-filters-and-probabilistic-data-structures-trading-certainty-for-speed/2024-08-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/bloom-filter/2024-08-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/data-structures/2024-08-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hashing/2024-08-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/probabilistic/2024-08-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sketches/2024-08-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/08/17/building-a-mutation-testing-framework-with-code-coverage-and-variant-generation/2024-08-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/edge/2024-08-16T10:55:00+00:00daily0.5https://lbenicio.dev/tags/iot/2024-08-16T10:55:00+00:00daily0.5https://lbenicio.dev/post/2024/08/16/seeing-in-the-dark-observability-for-edge-ai-fleets/2024-08-16T10:55:00+00:00daily0.5https://lbenicio.dev/post/2024/08/15/adaptive-feature-flag-frameworks-for-hyper-growth-saas/2024-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/devops/2024-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/experimentation/2024-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/feature-flags/2024-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/categories/platform/2024-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/platform/2024-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/product-engineering/2024-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/progressive-delivery/2024-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/08/12/designing-a-dynamic-programming-optimized-for-the-knapsack-problem-with-large-weights/2024-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/08/11/the-complexity-of-minimum-spanning-tree-on-a-sparse-graph-bor%C5%AFvkas-algorithm-and-parallelization/2024-08-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/atomics/2024-07-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cas/2024-07-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lock-free/2024-07-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/07/18/lock-free-data-structures-concurrency-without-the-wait/2024-07-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/multithreading/2024-07-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/07/13/a-rigorous-analysis-of-the-internal-hash-table-in-redis-hash-type-with-ziplist-and-dict/2024-07-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/07/05/the-algorithm-of-the-password-hashing-competition-winner-argon2-memory-hard-and-data-independent/2024-07-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/06/28/a-deep-dive-into-the-mongodb-storage-engine-wiredtigers-b-tree-compression-and-document-model/2024-06-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/06/28/building-a-distributed-search-engine-with-inverted-index-term-partitioning-and-decentralized-crawling/2024-06-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/06/27/the-implementation-of-a-virtual-machine-for-smart-contracts-evm-bytecode-execution-and-gas-metre/2024-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/06/15/amdahls-law-vs.-gustafsons-law-what-they-really-predict/2024-06-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/scalability/2024-06-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/speedup/2024-06-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/06/13/designing-a-cache-coherence-protocol-for-cpu-gpu-heterogeneous-systems-hsa-with-unified-memory/2024-06-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/06/02/a-formal-proof-of-the-ranked-pairs-voting-system-condorcet-efficiency-and-complexity/2024-06-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/06/02/the-performance-of-b-tree-vs.-lsm-tree-on-write-intensive-workloads-in-ssds/2024-06-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/05/22/building-a-reliable-udp-messaging-protocol-packet-loss-recovery-with-fec-and-selective-acks/2024-05-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/05/18/the-complexity-of-the-hungarian-algorithm-for-assignment-problem-on3-implementation-details/2024-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/05/09/implementing-a-minimal-perfect-hash-function-for-static-sets-using-seed-chord-and-bucket-hashing/2024-05-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/05/04/designing-a-social-graph-recommendation-algorithm-with-pagerank-and-personalized-pagerank/2024-05-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/05/03/the-mathematics-of-the-birch-reduction-min-wise-hashing-for-document-similarity-at-scale/2024-05-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/04/30/a-deep-dive-into-the-voldemort-key-value-store-partitioning-replication-and-version-vectors/2024-04-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/04/23/building-a-distributed-time-series-data-store-with-distributed-b-tree-architecture-and-write-amplification/2024-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/04/07/the-performance-of-asynchronous-replication-vs.-synchronous-replication-in-distributed-databases/2024-04-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/03/31/a-rigorous-proof-of-the-liveness-property-in-the-bakery-algorithm-starvation-freedom-and-fairness/2024-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/03/15/concurrency-primitives-and-synchronization-from-spinlocks-to-lock-free-data-structures/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/encoding/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/internationalization/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/locks/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/synchronization/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/text/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/unicode/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/03/15/unicode-and-character-encoding-from-ascii-to-utf-8-and-beyond/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/utf-8/2024-03-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cxl/2024-03-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/data-center/2024-03-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/disaggregated-computing/2024-03-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/03/08/interconnects-pcie-cxl-nvlink-and-the-emerging-composable-disaggregated-architecture/2024-03-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/nvlink/2024-03-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pcie/2024-03-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/03/05/implementing-a-deterministic-finite-automaton-dfa-minimization-hopcrofts-algorithm-with-partition-refinement/2024-03-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/02/27/the-algorithm-for-network-topology-discovery-using-snmp-and-lldp-with-graph-building/2024-02-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/htm/2024-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/intel-tsx/2024-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lock-elision/2024-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/stm/2024-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/02/25/transactional-memory-htm-stm-and-why-intel-tsx-kept-getting-disabled/2024-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/transactional-memory/2024-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/02/12/designing-a-p2p-live-streaming-system-with-tree-based-and-mesh-based-overlays/2024-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/02/11/the-complexity-of-the-on-line-second-price-auction-for-sponsored-search-myerson-olkin-lemma/2024-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/02/07/a-deep-dive-into-the-kafka-streams-dsl-state-stores-windowed-aggregations-and-exactly-once-semantics/2024-02-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/02/06/building-a-high-throughput-log-analyzer-using-parser-combinators-and-finite-automaton/2024-02-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hyperthreading/2024-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/portsmash/2024-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/02/01/simultaneous-multithreading-resource-sharing-security-implications-and-the-smt-performance-security-tradeoff/2024-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/smt/2024-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tlbleed/2024-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/01/29/countdown-to-quantum-migrating-an-enterprise-to-post-quantum-cryptography/2024-01-29T16:40:00+00:00daily0.5https://lbenicio.dev/tags/infrastructure/2024-01-29T16:40:00+00:00daily0.5https://lbenicio.dev/post/2024/01/29/designing-an-lsh-based-approximate-nearest-neighbor-search-for-high-dimensional-vectors-random-projections/2024-01-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/01/25/the-performance-of-differential-evolution-vs.-particle-swarm-in-numerical-optimization/2024-01-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/01/23/a-comprehensive-look-at-the-zgc-z-garbage-collector-design-colored-pointers-and-load-barriers/2024-01-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/01/17/the-implementation-of-a-garbage-first-garbage-collector-in-the-hotspot-jvm-g1heapregion-satb-and-remembered-sets/2024-01-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/epic/2024-01-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/itanium/2024-01-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/predication/2024-01-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/static-scheduling/2024-01-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vliw/2024-01-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/01/14/vliw-and-epic-the-multiflow-trace-itanium-and-why-static-scheduling-lost-to-out-of-order/2024-01-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2024/01/06/building-a-distributed-data-cleaner-using-deduplication-and-bloom-filters-at-scale/2024-01-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/12/31/the-theory-of-count-min-sketch-with-conservative-update-for-frequency-estimation-under-skewed-distributions/2023-12-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/12/26/a-rigorous-analysis-of-the-data-stream-sampling-algorithm-reservoir-sampling-vs.-priority-sampling/2023-12-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/12/18/implementing-a-non-volatile-memory-friendly-hash-table-nvhtm-with-failure-atomic-operations/2023-12-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/12/14/the-performance-of-multi-version-concurrency-control-with-snapshot-isolation-under-contention/2023-12-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/12/06/a-deep-dive-into-the-ginreth-blockchain-parallel-evm-and-trie-level-concurrency/2023-12-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/11/17/building-a-parameter-server-for-federated-learning-secure-aggregation-and-client-selection/2023-11-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/11/08/designing-a-resource-bundle-allocation-with-bipartite-matching-for-data-center-energy-optimization/2023-11-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/11/04/the-complexity-of-the-dynamic-pricing-algorithm-for-cloud-spot-instances-using-reinforcement-learning/2023-11-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/10/28/a-formal-verification-of-the-lamports-paxos-consensus-using-the-tla-proof-system/2023-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/10/23/implementing-a-high-performance-hash-table-using-intels-tbb-concurrency-and-fine-grained-locking/2023-10-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/10/20/the-design-of-a-b-tree-with-wal-for-in-memory-and-on-disk-hybrid-storage-sqlite-internals/2023-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/10/16/a-deep-dive-into-the-disco-distributed-file-system-erasure-coding-vs.-replication-for-durability/2023-10-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/10/16/building-a-lightweight-database-sharding-proxy-using-consistent-hashing-and-connection-pooling/2023-10-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ci-cd/2023-10-08T21:10:00+00:00daily0.5https://lbenicio.dev/post/2023/10/08/sealing-the-supply-chain-zero-trust-build-pipelines-that-scale/2023-10-08T21:10:00+00:00daily0.5https://lbenicio.dev/tags/supply-chain/2023-10-08T21:10:00+00:00daily0.5https://lbenicio.dev/post/2023/10/06/designing-a-distributed-transaction-log-with-raft-consensus-a-step-by-step-implementation-and-failure-testing-in-go/2023-10-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/10/02/the-performance-of-jit-compilation-for-dynamic-languages-pypys-tracing-jit-vs.-naive-interpreter/2023-10-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/30/a-rigorous-analysis-of-the-python-global-interpreter-lock-gil-effects-on-multithreaded-performance/2023-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/30/implementing-a-regular-expression-engine-with-nfa-simulation-and-lookahead-optimizations/2023-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cpu-design/2023-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ilp/2023-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/register-renaming/2023-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/reorder-buffer/2023-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/superscalar/2023-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/28/superscalar-processors-register-renaming-reorder-buffers-and-how-modern-cores-extract-ilp/2023-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/28/the-complexity-of-the-coin-change-problem-dynamic-programming-vs.-greedy-for-different-denominations/2023-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/27/building-a-ray-tracing-engine-using-kd-trees-for-accelerated-nearest-neighbors-in-3d-space/2023-09-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/anonymity/2023-09-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/25/anonymous-communication-onion-routing-mix-networks-dc-nets-and-the-anonymity-trilemma/2023-09-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dc-net/2023-09-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mixnet/2023-09-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tor/2023-09-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/traffic-analysis/2023-09-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/btrfs/2023-09-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ext4/2023-09-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/22/file-systems-and-storage-internals-how-data-persists-on-disk/2023-09-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/file-systems/2023-09-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/journaling/2023-09-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/19/designing-a-minimum-spanning-tree-on-a-graph-with-euclidean-distances-delaunay-triangulation-and-prims/2023-09-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/16/the-algorithmic-foundations-of-suffix-automaton-construction-and-applications-in-substring-problems/2023-09-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ethereum/2023-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/front-running/2023-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/reentrancy/2023-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/15/smart-contract-security-reentrancy-front-running-and-verification-with-certora-and-foundry/2023-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/smart-contracts/2023-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/allocators/2023-09-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/arena/2023-09-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/jemalloc/2023-09-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/14/memory-allocators-from-malloc-to-modern-arena-allocators/2023-09-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/10/a-deep-dive-into-the-radix-tree-for-ip-routing-trie-compression-and-cam-emulation/2023-09-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/09/01/implementing-a-hardware-accelerated-crc32-implementation-using-clmul-instruction-set/2023-09-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/08/28/the-performance-of-systolic-arrays-for-matrix-multiplication-in-vision-transformers/2023-08-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/08/27/building-an-efficient-external-sort-multiway-merge-with-replacement-selection-for-disk-bound-sorting/2023-08-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/08/18/designing-an-online-algorithm-for-k-server-with-the-randomized-work-function-algorithm/2023-08-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/08/03/the-complexity-of-the-maximum-cut-problem-goemans-williamson-sdp-relaxation-with-randomized-rounding/2023-08-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/07/28/a-formal-proof-of-the-lower-bound-for-2-approximation-of-vertex-cover-using-pcp-theorem/2023-07-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/information-retrieval/2023-07-19T10:00:00+00:00daily0.5https://lbenicio.dev/post/2023/07/19/reverse-indexing-and-inverted-files-how-search-engines-fly/2023-07-19T10:00:00+00:00daily0.5https://lbenicio.dev/tags/search/2023-07-19T10:00:00+00:00daily0.5https://lbenicio.dev/post/2023/07/10/implementing-a-verifiable-secret-sharing-scheme-using-pedersen-commitments-and-feldmans-vss/2023-07-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/07/02/blockchain-consensus-nakamoto-consensus-casper-ffg-tendermint-bft-and-the-safety-liveness-tradeoff/2023-07-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/byzantine-fault-tolerance/2023-07-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/finality/2023-07-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/proof-of-stake/2023-07-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/proof-of-work/2023-07-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/07/01/the-mathematics-of-secure-multiparty-computation-for-machine-learning-beaver-triples-and-oblivious-transfer/2023-07-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/06/27/building-a-privacy-preserving-contact-tracing-system-using-bloom-filters-and-cuckoo-hashing-with-dp/2023-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/06/18/a-deep-dive-into-the-threshold-cryptography-for-distributed-key-generation-and-decryption/2023-06-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/06/16/implementing-a-distributed-consensus-with-asynchronous-byzantine-fault-tolerance-honeybadgerbft/2023-06-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/06/13/the-complexity-of-the-gossip-based-membership-protocol-%CE%BB-gossip-push-pull-and-epidemic-dissemination/2023-06-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/06/09/a-rigorous-analysis-of-the-stability-of-the-bittorrent-protocol-under-churn-dht-and-peer-selection/2023-06-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/06/01/designing-a-decentralized-identity-system-with-verifiable-credentials-and-pseudonymity/2023-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/05/15/the-performance-of-crdts-for-collaborative-text-rga-lseq-treedoc-and-correctness-proofs/2023-05-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/05/10/a-comprehensive-look-at-operational-transformation-control-algorithms-ttf-cc-and-jupiter-with-tombstone/2023-05-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/05/10/implementing-a-conflict-detection-and-resolution-system-for-real-time-collaborative-editing-ot/2023-05-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/29/building-a-deterministic-database-with-calvin-distributed-log-lock-free-processing-and-configuration/2023-04-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/29/the-algorithm-for-distributed-transactions-in-fauna-calvin-with-snapshot-isolation-and-commit-protocol/2023-04-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/23/a-deep-dive-into-the-googles-spanner-database-truetime-two-phase-commit-and-external-consistency/2023-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/14/the-performance-of-log-replication-in-raft-under-high-throughput-batching-pipelining-and-pipelined-raft/2023-04-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/12/implementing-a-distributed-key-value-store-with-strong-consistency-and-elastic-scalability-using-raft/2023-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/07/designing-a-time-bounded-consensus-protocol-for-real-time-systems-replicated-state-machines-with-deadlines/2023-04-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dolev-yao/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/06/formal-verification-of-cryptographic-protocols-proverif-tamarin-and-the-tls-1.3-verification-story/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/meltdown/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/06/microarchitectural-attacks-spectre-meltdown-and-the-transient-execution-apocalypse/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/protocol-analysis/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/proverif/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/side-channels/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spectre/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/speculative-execution/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tamarin/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/transient-execution/2023-04-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cache-timing/2023-04-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/constant-time/2023-04-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cryptanalysis/2023-04-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/power-analysis/2023-04-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/04/side-channel-attacks-timing-power-analysis-cache-timing-and-the-constant-time-discipline/2023-04-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/side-channel-attacks/2023-04-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/timing-attacks/2023-04-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/02/the-complexity-of-the-vector-clock-algorithm-for-causal-ordering-and-garbage-collection/2023-04-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/01/a-rigorous-proof-of-the-chandy-lamport-distributed-snapshot-algorithm-for-channel-state-capture/2023-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/04/01/building-a-distributed-actor-framework-on-top-of-tcp-messaging-supervision-and-location-transparency/2023-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/encrypted-databases/2023-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/forward-privacy/2023-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/leakage-abuse/2023-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/03/31/searchable-encryption-querying-encrypted-databases-forward-privacy-and-the-leakage-abuse-frontier/2023-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/searchable-encryption/2023-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sse/2023-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/03/12/latency-aware-edge-inference-platforms-engineering-consistent-ai-experiences/2023-03-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/platform-engineering/2023-03-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/03/08/the-algebraic-model-of-the-actor-model-mailboxes-behavior-and-fail-silent-vs.-fail-stop-semantics/2023-03-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/03/04/the-implementation-of-a-user-space-thread-library-in-rust-stack-allocation-cooperative-yielding-and-i/o-reactors/2023-03-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/feistel/2023-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ffx/2023-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/02/25/format-preserving-encryption-the-ffx-mode-rank-encipher-unrank-and-legacy-database-protection/2023-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/format-preserving-encryption/2023-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fpe/2023-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tokenization/2023-02-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/02/19/a-deep-dive-into-the-linux-completely-fair-scheduler-cfs-red-black-tree-virtual-runtime-and-group-scheduling/2023-02-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/02/14/keeping-the-model-awake-building-a-self-healing-ml-inference-platform/2023-02-14T07:20:00+00:00daily0.5https://lbenicio.dev/tags/reliability/2023-02-14T07:20:00+00:00daily0.5https://lbenicio.dev/tags/congestion-control/2023-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/protocols/2023-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tcp/2023-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/02/11/tcp-congestion-control-from-slow-start-to-bbr/2023-02-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/02/08/floating-point-how-computers-represent-real-numbers/2023-02-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/floating-point/2023-02-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ieee-754/2023-02-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/numerical-computing/2023-02-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/precision/2023-02-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/02/05/designing-a-cache-coherent-non-uniform-memory-access-ccnuma-simulator-for-algorithm-evaluation/2023-02-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/02/04/the-performance-of-hardware-transactional-memory-on-intel-haswell-profiling-of-conflict-aborts-and-commit-latency/2023-02-04T00:00:00+00:00daily0.5https://lbenicio.dev/tags/bls/2023-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dkg/2023-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ecdsa/2023-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/secret-sharing/2023-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/02/03/threshold-cryptography-distributed-key-generation-threshold-ecdsa-and-the-validator-use-case/2023-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/threshold-cryptography/2023-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/01/30/building-a-concurrency-testing-framework-using-shashkis-deterministic-replay-and-schedule-reduction/2023-01-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/01/25/the-formal-semantics-of-the-go-memory-model-happens-before-data-races-and-synchronization-primitives/2023-01-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sequential-computation/2023-01-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vdf/2023-01-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/01/21/verifiable-delay-functions-wesolowski-pietrzak-and-the-sequentiality-assumption/2023-01-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/verifiable-delay-functions/2023-01-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/access-patterns/2023-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/01/10/oblivious-ram-and-private-information-retrieval-hiding-access-patterns-from-the-storage-server/2023-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/oram/2023-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pir/2023-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/secure-computation/2023-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/01/08/implementing-a-non-blocking-universal-construction-herlihys-method-using-compare-and-swap-and-help-first/2023-01-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2023/01/07/a-comprehensive-comparison-of-lock-free-and-wait-free-data-structures-definitions-progress-conditions-and-examples/2023-01-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/12/31/designing-a-consistent-hashing-with-load-bounds-googles-maglev-hasher-and-its-use-in-load-balancing/2022-12-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/12/30/the-theory-of-capacity-aware-load-balancing-power-of-two-random-choices-vs.-join-shortest-queue/2022-12-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/12/26/building-a-distributed-monitor-for-system-health-heartbeat-failure-detection-and-log-collection-with-kafka/2022-12-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/garbled-circuits/2022-12-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mpc/2022-12-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/12/26/multi-party-computation-from-yaos-garbled-circuits-to-the-spdz-line/2022-12-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spdz/2022-12-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/12/14/implementing-a-lock-free-memory-pool-with-epoch-based-reclamation-for-hazard-pointer-mitigation/2022-12-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/12/09/the-performance-of-gpu-stream-assisted-asynchronous-multiplications-for-deep-neural-networks/2022-12-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/11/22/garbage-collection-algorithms-from-mark-and-sweep-to-zgc/2022-11-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gc/2022-11-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/jvm/2022-11-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/11/21/a-deep-dive-into-the-cuda-thread-hierarchy-and-memory-model-global-shared-local-and-uniform/2022-11-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/11/12/designing-a-task-based-parallelism-runtime-openmp-tasks-dependencies-and-scheduling-algorithm/2022-11-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/11/10/the-complexity-of-markov-decision-processes-value-iteration-vs.-policy-iteration-with-optimistic-initialization/2022-11-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/algorithm-analysis/2022-11-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/11/09/analytic-combinatorics-the-symbolic-method-generating-functions-and-average-case-algorithm-analysis/2022-11-09T00:00:00+00:00daily0.5https://lbenicio.dev/tags/analytic-combinatorics/2022-11-09T00:00:00+00:00daily0.5https://lbenicio.dev/tags/asymptotics/2022-11-09T00:00:00+00:00daily0.5https://lbenicio.dev/tags/generating-functions/2022-11-09T00:00:00+00:00daily0.5https://lbenicio.dev/tags/singularity-analysis/2022-11-09T00:00:00+00:00daily0.5https://lbenicio.dev/tags/symbolic-method/2022-11-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/30/from-lru-to-arc-a-technical-survey-of-cache-eviction-policies-and-their-performance-in-web-scale-distributed-caches/2022-10-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/28/a-rigorous-analysis-of-the-texas-holdem-poker-endgame-nash-equilibrium-and-cfr-counterfactual-regret-minimization/2022-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/26/implementing-a-persistent-memory-log-with-concurrency-and-fault-recovery-across-system-crashes/2022-10-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/25/additive-combinatorics-szemer%C3%A9dis-theorem-sumset-inequalities-and-applications-in-property-testing/2022-10-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/additive-combinatorics/2022-10-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/graph-theory/2022-10-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/property-testing/2022-10-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pseudorandomness/2022-10-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sumsets/2022-10-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/szemeredi/2022-10-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/20/the-algorithm-of-the-buddy-memory-allocation-system-binary-trees-and-o1-free-block-coalescing/2022-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/17/building-a-custom-memory-allocator-with-size-classes-thread-caching-and-segregated-lists-tcmalloc/2022-10-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/17/designing-a-buffer-pool-with-prefetching-and-replacement-policies-statistical-lru-fbr-and-lirs/2022-10-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/block-designs/2022-10-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/10/combinatorial-designs-and-coding-theory-block-designs-steiner-systems-and-finite-geometry/2022-10-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/combinatorial-designs/2022-10-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/finite-geometry/2022-10-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/steiner-systems/2022-10-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/10/10/the-performance-of-memory-mapping-vs.-traditional-read/write-for-database-files-on-modern-nvme-drives/2022-10-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/09/26/a-deep-dive-into-the-sha-3-sponge-construction-keccak-f-permutation-padding-and-security-margins/2022-09-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/algebraic-geometry/2022-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/combinatorial-optimization/2022-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/deep-learning/2022-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/phylogenetics/2022-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/09/15/tropical-geometry-algorithmic-applications-in-optimization-phylogenetics-and-deep-learning/2022-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tropical-geometry/2022-09-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/09/11/implementing-a-fully-homomorphic-encryption-scheme-with-boosted-bootstrapping-fhew/tfhe/2022-09-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/idempotency/2022-09-08T10:00:00+00:00daily0.5https://lbenicio.dev/tags/retries/2022-09-08T10:00:00+00:00daily0.5https://lbenicio.dev/tags/timeouts/2022-09-08T10:00:00+00:00daily0.5https://lbenicio.dev/post/2022/09/08/timeouts-retries-and-idempotency-keys-a-practical-guide/2022-09-08T10:00:00+00:00daily0.5https://lbenicio.dev/tags/caching/2022-09-03T12:15:00+00:00daily0.5https://lbenicio.dev/tags/frontend/2022-09-03T12:15:00+00:00daily0.5https://lbenicio.dev/tags/graphql/2022-09-03T12:15:00+00:00daily0.5https://lbenicio.dev/post/2022/09/03/teaching-graphql-to-cache-at-the-edge/2022-09-03T12:15:00+00:00daily0.5https://lbenicio.dev/post/2022/08/31/the-complexity-of-lattice-reduction-for-lwe-basis-reduction-algorithms-bkz-and-g6k/2022-08-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/08/26/building-a-side-channel-secure-elliptic-curve-scalar-multiplication-using-montgomery-ladder/2022-08-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/08/21/algebraic-geometry-in-computer-science-gr%C3%B6bner-bases-the-nullstellensatz-and-applications-in-cryptography-and-coding-theory/2022-08-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/elliptic-curves/2022-08-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/grobner-bases/2022-08-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/polynomial-systems/2022-08-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/08/20/a-detailed-look-at-the-openssl-implementation-of-aes-key-schedule-s-box-and-counter-mode/2022-08-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/08/20/designing-a-distributed-sequential-consistency-model-with-virtual-synchrony-and-views/2022-08-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/collaboration/2022-08-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/08/17/designing-crdt-powered-collaboration-platforms-that-stay-consistent/2022-08-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/real-time/2022-08-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/08/13/the-implementation-of-a-multi-leader-replication-system-conflict-avoidance-with-linked-lists-and-last-writer-wins/2022-08-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/08/10/a-rigorous-proof-of-the-abortable-consensus-in-a-crash-recovery-model-using-non-blocking-atomic-commit/2022-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/08/09/building-a-conflict-free-replicated-data-type-for-counters-and-sets-in-riak-pn-counters-g-sets-and-lww-registers/2022-08-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/31/designing-a-scalable-state-machine-replication-library-multi-paxos-with-reconfiguration-and-joint-consensus/2022-07-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/30/the-performance-of-proof-of-stake-finality-casper-ffg-vs.-tendermint-with-validator-rotation/2022-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/29/a-deep-dive-into-the-snowman-consensus-protocol-dag-based-block-ordering-and-avalanche-finality/2022-07-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/26/implementing-a-distributed-random-beacon-via-verifiable-delay-functions-vdf-and-unique-secrets/2022-07-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/16/the-complexity-of-the-byzantine-agreement-problem-with-rounds-exponential-information-gathering-and-recursive-algorithms/2022-07-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cache/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/12/cpu-caches-and-cache-coherence-the-memory-hierarchy-that-makes-modern-computing-fast/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/exponential-families/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fisher-information/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/categories/hardware/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hardware/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/12/information-geometry-statistical-manifolds-the-fisher-information-metric-and-natural-gradient-descent/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/information-geometry/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/natural-gradient/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/optimization/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/statistical-manifolds/2022-07-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/10/a-formal-verification-of-the-ethereum-smart-contract-runtime-evm-bytecode-and-input/output-properties/2022-07-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/09/designing-a-conflict-free-replicated-data-type-crdt-for-real-time-collaborative-text-editing-merging-operational-transform-and-rga-with-vector-clocks-and-tombstone-management/2022-07-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/07/04/building-a-blockchain-light-client-using-merklix-trees-and-fraud-proofs-for-validation/2022-07-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/06/19/the-mathematics-of-quantum-key-distribution-bb84-protocol-eavesdropping-detection-and-privacy-amplification/2022-06-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/06/07/implementing-a-private-information-retrieval-pir-scheme-with-computational-and-information-theoretic-guarantees/2022-06-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/06/02/the-performance-of-multi-party-computation-protocols-garbled-circuits-vs.-secret-sharing-for-secure-ml-inference/2022-06-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/05/31/a-deep-dive-into-the-signal-protocol-double-ratchet-algorithm-x3dh-and-prekey-bundles/2022-05-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/05/25/designing-a-secure-broadcast-channel-using-public-key-cryptography-and-merkle-trees-for-key-transparency/2022-05-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/05/21/the-implementation-of-a-digital-signature-algorithm-ecdsa-vs.-eddsa-ed25519-in-terms-of-speed-and-security/2022-05-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/memory-management/2022-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/categories/operating-systems/2022-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/operating-systems/2022-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/page-tables/2022-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/05/19/virtual-memory-and-page-tables-how-modern-systems-manage-memory/2022-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/virtual-memory/2022-05-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/context-switch/2022-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/kernel/2022-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/05/18/process-scheduling-and-context-switching-how-operating-systems-share-the-cpu/2022-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/05/04/a-rigorous-analysis-of-the-diffie-hellman-key-exchange-in-the-group-of-prime-field-elliptic-curves/2022-05-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/28/building-an-orthogonal-range-counting-data-structure-with-a-kd-tree-query-complexity-and-construction/2022-04-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/23/the-theory-of-lossy-compression-with-jpeg-dct-quantization-table-and-huffman-coding-for-chroma-subsampling/2022-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/22/implementing-a-universal-data-compressor-using-arithmetic-coding-with-finite-precision-and-range-coder/2022-04-22T00:00:00+00:00daily0.5https://lbenicio.dev/categories/devops/2022-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/reproducible-builds/2022-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sbom/2022-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sigstore/2022-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/slsa/2022-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/19/software-supply-chain-security-sboms-sigstore-reproducible-builds-and-attestation/2022-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/17/a-deep-dive-into-the-boyer-moore-string-search-algorithm-bad-character-and-good-suffix-heuristics/2022-04-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/16/designing-an-approximate-string-matching-algorithm-using-bitap-shift-or-with-nfa-simulation/2022-04-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/game-theory/2022-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/multi-armed-bandits/2022-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/multiplicative-weights/2022-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/15/online-learning-regret-minimization-the-multiplicative-weights-algorithm-and-adversarial-bandits/2022-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/online-learning/2022-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/regret-minimization/2022-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/03/the-complexity-of-the-knuth-morris-pratt-string-matching-algorithm-prefix-function-and-border-properties/2022-04-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/04/02/building-a-huffman-coding-implementation-with-canonical-huffman-trees-and-bit-packing/2022-04-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/machine-learning-theory/2022-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pac-learning/2022-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rademacher-complexity/2022-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/03/31/statistical-learning-theory-pac-learning-vc-dimension-and-the-bias-complexity-tradeoff/2022-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/statistical-learning/2022-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vc-dimension/2022-03-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/03/30/a-detailed-analysis-of-the-lempel-ziv-welch-lzw-compression-algorithm-dictionary-design-and-decoding/2022-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/03/30/the-performance-of-run-length-encoding-rle-vs.-burrows-wheeler-transform-bwt-in-text-compression/2022-03-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/03/28/implementing-a-real-time-anomaly-detection-system-using-exponential-weighted-moving-average-ewma-and-holt-winters/2022-03-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/03/21/the-mathematics-of-pairwise-differencing-for-time-series-self-joins-and-online-algorithms-for-change-detection/2022-03-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/03/11/building-a-secure-password-authenticated-key-exchange-pake-from-oblivious-pseudorandom-functions-oprf/2022-03-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/03/06/a-deep-dive-into-the-yggdrasil-network-crypto-based-routing-with-dht-and-spanning-trees/2022-03-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/02/21/the-implementation-of-a-distributed-hash-table-using-chord-leaf-sets-stabilization-and-finger-table-maintenance/2022-02-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cramer/2022-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/importance-sampling/2022-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/02/13/large-deviations-theory-cram%C3%A9rs-theorem-importance-sampling-and-rare-event-simulation/2022-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/large-deviations/2022-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rare-events/2022-02-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/brownian-motion/2022-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cache-analysis/2022-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/poisson-process/2022-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/queuing/2022-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/02/12/renewal-theory-for-computer-science-the-renewal-equation-key-renewal-theorem-and-applications-in-cache-analysis-and-failure-recovery/2022-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/renewal-theory/2022-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/02/12/stochastic-processes-for-computer-science-poisson-brownian-motion-queueing-and-reliability/2022-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/stochastic-processes/2022-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/02/05/designing-a-p2p-network-for-file-sharing-bittorrents-choking-algorithm-piece-selection-and-rarest-first/2022-02-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/02/03/a-rigorous-proof-of-the-a-algorithm-admissibility-and-consistency-manhatten-vs.-euclidean-heuristics/2022-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/31/markov-chains-for-computer-science-mcmc-mixing-times-and-randomized-algorithms/2022-01-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/markov-chains/2022-01-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mcmc/2022-01-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mixing-times/2022-01-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/monte-carlo/2022-01-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/30/the-performance-of-the-bidibfs-algorithm-for-unweighted-shortest-paths-in-social-networks/2022-01-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/29/implementing-a-minimax-player-for-go-with-monte-carlo-tree-search-mcts-and-ucb1-selection/2022-01-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/26/a-comprehensive-look-at-the-alpha-beta-pruning-algorithm-for-game-trees-expectiminimax-and-heuristic-evaluation/2022-01-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/20/abstract-interpretation-the-cousot-framework-galois-connections-and-sound-static-analysis-by-construction/2022-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/abstract-interpretation/2022-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/20/building-a-distributed-matrix-factorization-using-alternating-least-squares-als-in-apache-spark/2022-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cousot/2022-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/galois-connections/2022-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/program-analysis/2022-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/static-analysis/2022-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/20/the-theory-of-online-convex-optimization-with-regret-bounds-follow-the-leader-vs.-gradient-descent/2022-01-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/19/the-implementation-of-a-random-forest-training-in-mpi-feature-subsampling-and-oob-error-estimation/2022-01-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/denotational-semantics/2022-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/15/domain-theory-scotts-d-construction-denotational-semantics-and-the-mathematics-of-recursive-types/2022-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/domain-theory/2022-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fixpoint-theorem/2022-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/order-theory/2022-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/scott-domains/2022-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/10/a-practical-guide-to-gradient-boosting-xgboosts-weighted-quantile-sketch-and-sparsity-aware-split-finding/2022-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/bisimulation/2022-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ccs/2022-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pi-calculus/2022-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/10/process-calculi-milners-ccs-the-%CF%80-calculus-bisimulation-and-session-types-for-protocol-correctness/2022-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/process-calculi/2022-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/session-types/2022-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/02/designing-a-lagrangian-relaxation-algorithm-for-the-traveling-salesman-problem-with-1-trees/2022-01-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hoare-logic/2022-01-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/program-verification/2022-01-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2022/01/01/separation-logic-the-frame-rule-separating-conjunction-and-concurrent-verification/2022-01-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/separation-logic/2022-01-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/12/29/abstract-interpretation-cousots-galois-connection-framework-widening/narrowing-and-sound-static-analysis-by-construction/2021-12-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/verification/2021-12-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/12/23/the-complexity-of-the-network-simplex-algorithm-for-minimum-cost-flow/2021-12-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/continuous-lattices/2021-12-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/12/19/domain-theory-scotts-d-construction-solving-recursive-domain-equations-and-the-foundations-of-denotational-semantics/2021-12-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fixed-points/2021-12-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/scott/2021-12-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/12/18/a-deep-dive-into-the-hat-trie-array-compressed-trie-with-efficient-cache-locality/2021-12-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/12/13/implementing-a-van-emde-boas-tree-for-predecessor-queries-in-olog-log-u-time/2021-12-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/12/06/the-algorithm-for-building-a-fibonacci-heap-with-decrease-key-and-meld-in-logarithmic-time/2021-12-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/12/01/building-a-self-balancing-binary-search-tree-with-weighted-average-rotation-wavl-for-better-worst-case-balance/2021-12-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/11/18/the-performance-of-binary-search-trees-treap-splay-tree-red-black-tree-and-avl-tree-under-random-and-sequential-access/2021-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/11/04/a-detailed-analysis-of-the-quickunion-disjoint-set-union-data-structure-with-path-compression-and-union-by-rank/2021-11-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/10/30/implementing-an-exact-cover-solver-using-dancing-links-knuths-algorithm-x/2021-10-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/10/19/the-complexity-of-the-isomorphism-problem-for-graphs-subgraph-isomorphism-via-color-refinement/2021-10-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ajm-games/2021-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/full-abstraction/2021-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/09/30/game-semantics-fully-abstract-models-of-pcf-ajm-games-and-strategies-as-sheaves/2021-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/game-semantics/2021-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pcf/2021-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/programming-language-theory/2021-09-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/girard/2021-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/09/29/linear-logic-girards-resource-sensitive-logic-exponential-modalities-and-linear-types-in-rust/2021-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/linear-logic/2021-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/linear-types/2021-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/proof-theory/2021-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/resource-awareness/2021-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rust/2021-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/09/28/a-rigorous-proof-of-the-no-free-lunch-theorem-in-optimization-convex-vs.-non-convex-landscapes/2021-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/09/24/building-a-distributed-sampler-from-scratch-parallel-mcmc-with-consensus-and-mode-seeking/2021-09-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/09/17/the-mathematical-foundations-of-the-metropolis-hastings-algorithm-for-markov-chain-monte-carlo/2021-09-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/09/11/implementing-a-finger-table-for-consistent-hashing-with-replication-and-fault-tolerance/2021-09-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/09/06/the-performance-of-minimal-perfect-hashing-chd-algorithm-empirical-hash-seeds-and-space-efficiency/2021-09-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/28/a-deep-dive-into-the-cuckoo-filter-lower-memory-footprint-than-bloom-filters-and-deletion-support/2021-08-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/24/the-design-of-a-probabilistic-skip-list-with-path-compression-and-concurrency-support/2021-08-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/20/optimizing-distributed-consensus-comparing-fast-paxos-epaxos-and-multi-paxos-in-wan-deployments-with-latency-benchmarks/2021-08-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/16/implementing-a-bloom-filter-cascade-for-efficient-set-intersection-and-summarization/2021-08-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/15/branch-prediction-and-speculative-execution-how-modern-cpus-gamble-on-the-future/2021-08-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/12/a-thorough-explanation-of-the-hyperloglog-algorithm-counting-cardinalities-with-log-log-estimation-and-bias-correction/2021-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tlb/2021-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/12/virtual-memory-and-page-tables-how-operating-systems-manage-memory/2021-08-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/homotopy/2021-08-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/11/homotopy-type-theory-the-univalence-axiom-higher-inductive-types-and-groupoids/2021-08-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/homotopy-type-theory/2021-08-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/infinity-groupoids/2021-08-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/martin-lof/2021-08-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/univalence/2021-08-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/adjunctions/2021-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/10/category-theory-for-programmers-functors-monads-and-natural-transformations/2021-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/category-theory/2021-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/functors/2021-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/haskell/2021-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/monads/2021-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/07/building-a-count-min-sketch-with-conservative-update-for-heavy-hitters-in-network-traffic/2021-08-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/08/04/the-algorithm-of-the-t-digest-order-statistics-merging-and-quantile-approximations-for-streaming-data/2021-08-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/27/state-machine-replication-viewstamped-replication-protocol-zab-zookeeper-atomic-broadcast-and-the-consensus-scalability-continuum/2021-07-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/state-machine-replication/2021-07-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/viewstamped-replication/2021-07-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/zab/2021-07-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/zookeeper/2021-07-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/23/designing-a-time-series-database-with-downsampling-and-continuous-aggregates-timescaledb-internals/2021-07-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/exactly-once/2021-07-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/22/implementing-and-optimizing-a-lock-free-concurrent-hash-map-a-deep-dive-into-hazard-pointers-memory-reclamation-and-performance-trade-offs/2021-07-22T00:00:00+00:00daily0.5https://lbenicio.dev/categories/streaming/2021-07-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/22/streaming-systems-apache-flink-checkpointing-kafka-log-compaction-watermarks-and-event-time-processing-and-exactly-once-semantics/2021-07-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/watermarks/2021-07-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/17/a-formal-analysis-of-multi-version-concurrency-control-mvcc-in-postgresql-snapshots-garbage-collection-and-serializable-isolation/2021-07-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/16/implementing-a-b-tree-with-bulk-loading-and-prefix-compression-for-write-optimized-databases/2021-07-16T00:00:00+00:00daily0.5https://lbenicio.dev/tags/b-trees/2021-07-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/14/b-trees-and-lsm-trees-the-foundations-of-modern-storage-engines/2021-07-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lsm-trees/2021-07-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/storage-engines/2021-07-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/06/the-performance-of-database-caching-strategies-lru-clock-arc-and-2q-under-real-world-workloads/2021-07-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/analytics/2021-07-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/apache-arrow/2021-07-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/07/03/columnar-storage-parquet-encoding-orc-stripe-format-apache-arrow-in-memory-columnar-format-predicate-pushdown-and-simd-scans/2021-07-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/columnar-storage/2021-07-03T00:00:00+00:00daily0.5https://lbenicio.dev/categories/data-systems/2021-07-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/olap/2021-07-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/orc/2021-07-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/parquet/2021-07-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/06/22/cpu-caches-and-memory-hierarchy-the-hidden-architecture-behind-performance/2021-06-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ceph/2021-06-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/crush/2021-06-21T00:00:00+00:00daily0.5https://lbenicio.dev/categories/distributed-storage/2021-06-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/erasure-coding/2021-06-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/06/21/object-storage-rados/ceph-architecture-the-crush-placement-algorithm-s3-api-semantics-and-erasure-coding-at-scale/2021-06-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/object-storage/2021-06-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rados/2021-06-21T00:00:00+00:00daily0.5https://lbenicio.dev/tags/s3/2021-06-21T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/06/19/building-a-distributed-log-structured-storage-engine-wiredtigers-b-tree-and-concurrency-control/2021-06-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/colossus/2021-06-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/06/18/distributed-file-systems-gfs-design-hdfs-architecture-the-colossus-evolution-and-single-master-metadata-bottlenecks/2021-06-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gfs/2021-06-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/google/2021-06-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hdfs/2021-06-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/crash-consistency/2021-06-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dax/2021-06-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/06/14/persistent-memory-programming-dax-mappings-pmdk-libraries-crash-consistency-without-write-ahead-logging-and-the-optane-legacy/2021-06-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pmdk/2021-06-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/pmem/2021-06-14T00:00:00+00:00daily0.5https://lbenicio.dev/categories/storage/2021-06-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/06/13/a-deep-dive-into-the-r-tree-spatial-index-guttmans-algorithm-node-splitting-and-r-tree-variants/2021-06-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/06/13/the-implementation-of-a-columnar-storage-format-parquet-compression-dictionary-encoding-and-row-groups/2021-06-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/06/02/designing-a-graph-database-with-native-storage-adjacency-lists-property-graphs-and-traversal-optimization/2021-06-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/flash/2021-05-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/io/2021-05-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/nvme/2021-05-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/05/31/nvme-and-the-storage-stack-the-nvme-command-set-submission/completion-queues-spdk-and-the-death-of-the-scsi/sata-bottleneck/2021-05-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spdk/2021-05-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ssd/2021-05-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/data-engineering/2021-05-27T18:45:00+00:00daily0.5https://lbenicio.dev/post/2021/05/27/instrumenting-without-spying-privacy-preserving-telemetry-at-scale/2021-05-27T18:45:00+00:00daily0.5https://lbenicio.dev/tags/telemetry/2021-05-27T18:45:00+00:00daily0.5https://lbenicio.dev/post/2021/05/25/a-detailed-analysis-of-the-pagerank-algorithm-power-iteration-damping-factor-and-personalization/2021-05-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/05/18/implementing-a-k-d-tree-for-nearest-neighbor-search-with-balanced-construction-and-bounded-box-test/2021-05-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/05/17/the-theory-of-generalization-error-in-support-vector-machines-vc-dimension-and-maximal-margin-classifiers/2021-05-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/af_xdp/2021-05-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/packet-processing/2021-05-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/snabb/2021-05-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/05/14/user-space-networking-snabb-switch-fd.io-vpp-vector-packet-processing-af_xdp-and-the-philosophy-of-kernel-bypass/2021-05-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vpp/2021-05-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ebpf/2021-05-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/05/08/ebpf-internals-the-in-kernel-verifier-safety-proofs-jit-compilation-to-native-code-map-types-and-xdp/tc-hooks/2021-05-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/jit/2021-05-08T00:00:00+00:00daily0.5https://lbenicio.dev/categories/linux-kernel/2021-05-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/verifier/2021-05-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/xdp/2021-05-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/05/05/building-a-distributed-machine-learning-system-parameter-server-architecture-with-asynchronous-stochastic-gradient-descent/2021-05-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/05/01/the-performance-of-attention-mechanisms-in-transformers-self-attention-vs.-multi-headed-with-flashattention-optimization/2021-05-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/04/30/a-comprehensive-guide-to-quantization-aware-training-simulated-quantization-straight-through-estimator-and-calibration/2021-04-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/04/29/implementing-a-neural-network-training-framework-with-automatic-differentiation-using-wengert-lists/2021-04-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/build-systems/2021-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cd/2021-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ci/2021-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/determinism/2021-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/04/23/deterministic-monorepo-ci-platforms-engineering-consistency-at-scale/2021-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/monorepo/2021-04-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/syscalls/2021-04-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/04/18/system-calls-the-gateway-between-user-space-and-kernel/2021-04-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/systems-programming/2021-04-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/03/26/the-mathematics-of-gaussian-processes-for-bayesian-optimization-kernel-selection-and-cholesky-factorization/2021-03-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/confidential-computing/2021-03-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/enclaves/2021-03-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sev/2021-03-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sgx/2021-03-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/03/25/trusted-execution-intel-sgx-enclaves-amd-sev-snp-attestation-protocols-and-the-confidential-computing-promise/2021-03-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/trusted-execution/2021-03-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/03/18/cachefriendly-data-layouts-aos-vs.-soa-and-the-hybrid-inbetween/2021-03-18T10:00:00+00:00daily0.5https://lbenicio.dev/post/2021/03/02/designing-an-online-learning-algorithm-for-adversarial-bandits-exp3-follow-the-regularized-leader/2021-03-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/architecture/2021-02-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/capability/2021-02-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/02/26/capability-based-security-cheri-architecture-hardware-capabilities-spatial-and-referential-safety-and-compartmentalization/2021-02-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/compartmentalization/2021-02-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/02/18/the-complexity-of-the-edit-distance-problem-needleman-wunsch-smith-waterman-and-affine-gap-penalties/2021-02-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/02/17/a-deep-dive-into-the-palindromic-tree-eertree-construction-and-applications-in-stringology/2021-02-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/02/15/implementing-a-fast-maximum-matching-in-general-graphs-using-blossom-algorithm-edmonds/2021-02-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/02/14/the-algorithmics-of-network-flow-dinics-algorithm-with-scaling-vs.-push-relabel-with-gap-heuristics/2021-02-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/02/12/building-a-game-theoretic-approach-to-distributed-consensus-rational-players-payments-and-mechanism-design/2021-02-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/02/08/the-performance-of-integer-linear-programming-solvers-branch-and-bound-vs.-cutting-planes-for-real-world-problems/2021-02-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/02/03/implementing-a-linear-programming-solver-using-the-simplex-algorithm-degeneracy-blands-rule-and-scaling/2021-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/01/14/a-rigorous-analysis-of-the-fast-fourier-transform-cooley-tukey-algorithm-with-radix-2-decimation-in-time/2021-01-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2021/01/10/designing-a-randomized-algorithm-for-the-min-cut-problem-kargers-algorithm-and-contractions/2021-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/12/28/the-complexity-of-scheduling-dags-with-minimum-makespan-and-dependencies-list-scheduling-vs.-critical-path/2020-12-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/12/23/implementing-a-virtual-machine-for-a-stack-based-language-bytecode-interpreter-and-jit-compilation/2020-12-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/12/03/the-design-of-a-modern-hypervisor-virtual-memory-translation-cpu-virtualization-and-i/o-passthrough/2020-12-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ml/2020-12-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/12/01/region-based-memory-management-tofte-talpins-region-inference-the-ml-kit-safety-proofs-and-the-relationship-to-rusts-lifetimes/2020-12-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/region-inference/2020-12-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/type-systems/2020-12-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/11/29/building-a-lightweight-container-runtime-from-scratch-namespaces-cgroups-and-copy-on-write-filesystems/2020-11-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/11/23/a-performance-comparison-of-epoll-io_uring-and-kqueue-for-asynchronous-i/o-in-linux/2020-11-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/11/18/the-implementation-of-a-user-level-threading-library-for-cooperative-multitasking-in-c/2020-11-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/availability/2020-11-09T10:00:00+00:00daily0.5https://lbenicio.dev/post/2020/11/09/raft-fastcommit-and-prevote-in-practice/2020-11-09T10:00:00+00:00daily0.5https://lbenicio.dev/post/2020/11/08/network-sockets-and-the-tcp/ip-stack-how-data-travels-across-networks/2020-11-08T00:00:00+00:00daily0.5https://lbenicio.dev/categories/operations/2020-11-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/resilience/2020-11-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rollback/2020-11-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/11/08/safe-rollback-strategies-for-distributed-databases/2020-11-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sockets/2020-11-08T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tcp-ip/2020-11-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/11/07/designing-a-non-volatile-memory-nvm-file-system-dax-pmdk-and-fault-tolerance-for-persistent-heaps/2020-11-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/11/02/the-cache-coherence-protocol-of-modern-cpus-mesi-moesi-and-mesif-with-snooping-vs.-directory-based/2020-11-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/azul-c4/2020-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/10/31/garbage-collection-advanced-incremental-concurrent-snapshot-at-the-beginning-and-pauseless-collectors-from-azul-c4-to-zgc-colored-pointers/2020-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/java/2020-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/categories/memory-management/2020-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/shenandoah/2020-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/snapshot-at-the-beginning/2020-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/zgc/2020-10-31T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/10/28/building-a-custom-risc-v-processor-in-verilog-pipelining-hazard-detection-and-branch-prediction/2020-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/categories/compilers/2020-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/compilers/2020-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hotspot/2020-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/javascript/2020-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/10/28/jit-compilation-tracing-vs-method-jits-v8s-ignition-turbofan-pipeline-hotspots-c1/c2-tiered-compilation-and-deoptimization/2020-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/tracing-jit/2020-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/v8/2020-10-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cranelift/2020-10-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sandboxing/2020-10-15T00:00:00+00:00daily0.5https://lbenicio.dev/categories/wasm/2020-10-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/wasm/2020-10-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/10/15/wasm-runtime-internals-v8s-liftoff-and-turbofan-wasmtimes-cranelift-linear-memory-sandboxing-and-the-stack-machine-model/2020-10-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/wasmtime/2020-10-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/webassembly/2020-10-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/10/04/a-deep-dive-into-the-x86-64-instruction-set-microbenchmarking-instruction-latency-and-throughput/2020-10-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/10/01/implementing-a-simd-accelerated-suffix-array-construction-for-large-genomic-datasets/2020-10-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cgroups/2020-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/09/28/container-internals-linux-namespaces-cgroups-v2-overlayfs-and-the-oci-runtime-spec-under-the-hood/2020-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/categories/containers/2020-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/containers/2020-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/docker/2020-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/namespaces/2020-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/oci/2020-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/overlayfs/2020-09-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/09/27/the-performance-of-bit-packed-data-structures-vs.-classic-arrays-in-high-performance-computing/2020-09-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/09/25/designing-a-linear-time-algorithm-for-constructing-a-prefix-automaton-for-multiple-patterns-aho-corasick/2020-09-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/09/23/compiler-optimizations-from-source-code-to-fast-machine-code/2020-09-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/llvm/2020-09-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/09/17/an-analysis-of-register-allocation-via-graph-coloring-chaitin-briggs-algorithm-with-live-range-splitting/2020-09-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/09/17/building-a-just-in-time-compiler-for-regular-expressions-thompsons-construction-and-dfa-minimization/2020-09-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/09/16/the-implementation-of-a-garbage-collector-for-a-functional-language-cheneys-algorithm-and-generational-copying/2020-09-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/09/03/designing-a-type-system-for-dependently-typed-programming-agdas-universe-hierarchy-and-pattern-matching/2020-09-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/08/28/a-proof-of-correctness-for-the-lamports-bakery-algorithm-in-distributed-shared-memory-systems/2020-08-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/git/2020-08-17T10:00:00+00:00daily0.5https://lbenicio.dev/tags/merkle/2020-08-17T10:00:00+00:00daily0.5https://lbenicio.dev/post/2020/08/17/merkle-trees-and-contentaddressable-storage/2020-08-17T10:00:00+00:00daily0.5https://lbenicio.dev/post/2020/08/10/the-formal-verification-of-a-concurrent-work-queue-using-the-tla-model-checker-invariants-and-liveness/2020-08-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/08/09/implementing-a-small-theorem-prover-for-propositional-logic-using-the-dpll-algorithm-with-conflict-driven-clause-learning/2020-08-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/08/08/the-algorithmic-methodology-of-coq-proof-assistant-inductive-types-tactics-and-extraction-to-ocaml/2020-08-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/07/31/building-a-distributed-certificate-transparency-log-using-merkle-trees-and-append-only-proofs/2020-07-31T00:00:00+00:00daily0.5https://lbenicio.dev/tags/amd-v/2020-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ept/2020-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hypervisor/2020-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/07/25/hypervisor-internals-vt-x-amd-v/svm-nested-paging-and-the-mechanics-of-trap-and-emulate/2020-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/nested-paging/2020-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/categories/virtualization/2020-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/virtualization/2020-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vt-x/2020-07-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/07/24/a-deep-dive-into-merkle-damg%C3%A5rd-vs.-sponge-construction-for-hash-functions-sha-256-and-sha-3/2020-07-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/07/11/the-implementation-of-a-secure-channel-protocol-using-noise-framework-handshake-patterns-and-state-machine/2020-07-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/07/02/designing-a-key-management-service-for-distributed-systems-using-shamirs-secret-sharing-with-homomorphic-properties/2020-07-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/06/29/a-rigorous-analysis-of-differential-privacy-laplace-and-gaussian-mechanisms-for-user-level-privacy/2020-06-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/06/29/building-a-password-hashing-function-with-memory-hardness-scrypt-and-argon2-internals/2020-06-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/06/14/the-mathematics-of-lattice-based-cryptography-learning-with-errors-ring-lwe-and-ntru/2020-06-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/06/05/implementing-a-side-channel-attack-resistant-rsa-implementation-using-montgomery-ladder-and-blinding/2020-06-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/06/01/a-detailed-look-at-the-tls-1.3-handshake-protocol-key-schedule-0-rtt-and-forward-secrecy/2020-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/includeos/2020-05-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mirageos/2020-05-26T00:00:00+00:00daily0.5https://lbenicio.dev/tags/unikernel/2020-05-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/05/26/unikernels-specializing-the-os-for-a-single-application-from-mirageos-to-includeos-and-the-performance-security-trade-offs/2020-05-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/05/17/designing-a-verifiable-random-function-vrf-for-leader-election-in-proof-of-stake-blockchains/2020-05-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/05/08/the-performance-of-elliptic-curve-cryptography-vs.-rsa-for-key-exchange-and-signatures-on-constrained-devices/2020-05-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/05/06/a-secure-multi-party-computation-protocol-for-private-set-intersection-oprf-and-ot-extensions/2020-05-06T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/04/27/implementing-a-zero-knowledge-proof-of-knowledge-from-the-schnorr-protocol-%CF%83-protocols-and-fiat-shamir/2020-04-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/04/14/the-theoretical-foundations-of-paillier-cryptosystem-homomorphic-encryption-for-privacy-preserving-aggregation/2020-04-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/04/12/building-a-bloom-filter-with-optimal-number-of-hash-functions-and-memory-estimation/2020-04-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/04/10/an-algorithm-for-incremental-topological-ordering-dynamic-dags-applications-in-build-systems/2020-04-10T00:00:00+00:00daily0.5https://lbenicio.dev/tags/aegis/2020-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/exokernel/2020-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/04/01/exokernels-library-os-mits-radical-vision-secure-multiplexing-and-the-unikernel-lineage/2020-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/library-os/2020-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mit/2020-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/03/28/consistent-hashing-distributing-data-across-dynamic-clusters/2020-03-28T00:00:00+00:00daily0.5https://lbenicio.dev/categories/distributed/2020-03-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/load-balancing/2020-03-28T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/03/11/tuning-the-dial-adaptive-consistency-at-planet-scale/2020-03-11T14:05:00+00:00daily0.5https://lbenicio.dev/tags/ipc/2020-02-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/l4/2020-02-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/microkernel/2020-02-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/24/microkernel-vs-monolithic-the-l4-experience-ipc-optimization-sel4-verification-and-zircons-ascent/2020-02-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sel4/2020-02-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/zircon/2020-02-24T00:00:00+00:00daily0.5https://lbenicio.dev/tags/branch-and-bound/2020-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cplex/2020-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gomory-cuts/2020-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gurobi/2020-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/23/integer-programming-branch-and-bound-gomory-cuts-lift-and-project-and-solver-internals/2020-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/integer-programming/2020-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lift-and-project/2020-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/22/implementing-a-patricia-trie-for-ip-router-lookup-with-tcam-emulation/2020-02-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/19/the-performance-of-ternary-search-vs.-binary-search-on-non-uniform-distribution-keys/2020-02-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/18/convex-optimization-gradient-descent-nesterov-acceleration-kkt-conditions-and-the-ml-stack/2020-02-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/convex-optimization/2020-02-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/gradient-descent/2020-02-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/interior-point/2020-02-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/kkt/2020-02-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/nesterov/2020-02-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/17/a-deep-dive-into-suffix-arrays-and-suffix-trees-construction-in-linear-time-with-dc3-and-ukkonens-algorithm/2020-02-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/04/designing-a-greedy-algorithm-for-maximum-weight-matching-in-bipartite-graphs-with-augmenting-paths/2020-02-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/03/the-complexity-of-approximate-nearest-neighbor-search-with-locality-sensitive-hashing-theoretical-bounds-and-practical-tuning/2020-02-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/02/implementing-a-distributed-graph-processing-system-using-pregel-vertex-centric-bsp-and-checkpointing/2020-02-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/active-learning/2020-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/diminishing-returns/2020-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/greedy/2020-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/02/01/submodular-optimization-diminishing-returns-the-1-1/e-greedy-guarantee-and-machine-learning-applications/2020-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/submodular-optimization/2020-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/summarization/2020-02-01T00:00:00+00:00daily0.5https://lbenicio.dev/tags/greedy-algorithms/2020-01-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/matching/2020-01-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/01/19/matroid-theory-the-greedy-exchange-property-matroid-intersection-and-applications-in-spanning-trees-and-matching/2020-01-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/matroid-intersection/2020-01-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/matroids/2020-01-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spanning-trees/2020-01-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/01/17/the-analysis-of-consistent-hashing-under-churn-virtual-nodes-power-law-distributions-and-load-balancing/2020-01-17T00:00:00+00:00daily0.5https://lbenicio.dev/tags/brams-taylor/2020-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cake-cutting/2020-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cloud-computing/2020-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/envy-freeness/2020-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/01/15/fair-division-cut-and-choose-selfridge-conway-brams-taylor-and-the-mathematics-of-envy-freeness/2020-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fair-division/2020-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/selfridge-conway/2020-01-15T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/01/10/a-polynomial-time-algorithm-for-minimum-steiner-tree-in-the-plane-using-dynamic-programming-on-decompositions/2020-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/01/09/building-an-online-algorithm-for-the-k-server-problem-using-work-function-and-caching-policies/2020-01-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2020/01/05/the-numerical-stability-of-fast-fourier-transform-algorithms-decimation-in-time-vs.-frequency-with-twiddle-factors/2020-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/12/30/implementing-a-cache-oblivious-matrix-multiplication-algorithm-with-block-recursive-layouts/2019-12-30T00:00:00+00:00daily0.5https://lbenicio.dev/tags/auctions/2019-12-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/12/23/mechanism-design-vcg-auctions-the-revelation-principle-and-the-architecture-of-truthfulness/2019-12-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/mechanism-design/2019-12-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/myerson/2019-12-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/truthfulness/2019-12-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/vcg/2019-12-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/12/11/a-quantitative-comparison-of-sorting-algorithms-on-modern-cpu-architectures-radix-sort-vs.-quicksort-with-simd/2019-12-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/12/04/designing-a-mapreduce-framework-from-scratch-job-scheduling-data-locality-and-fault-tolerance/2019-12-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/11/23/algorithmic-game-theory-nash-equilibrium-computation-ppad-completeness-and-the-computational-lens-on-strategy/2019-11-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/algorithmic-game-theory/2019-11-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fixed-point/2019-11-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/nash-equilibrium/2019-11-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ppad/2019-11-23T00:00:00+00:00daily0.5https://lbenicio.dev/tags/beyond-worst-case/2019-11-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/simplex/2019-11-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/11/19/smoothed-analysis-why-simplex-works-in-practice-and-the-spielman-teng-framework/2019-11-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/smoothed-analysis/2019-11-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/spielman-teng/2019-11-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/11/16/the-algebra-of-concurrent-programming-modeling-with-process-calculi-like-csp-and-pi-calculus/2019-11-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/11/14/implementing-a-work-stealing-task-scheduler-with-locality-aware-dequeues-in-rust/2019-11-14T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/10/30/the-empirical-performance-of-spin-locks-mutexes-and-sleep-locks-on-multicore-systems/2019-10-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/10/22/building-a-concurrent-b-tree-with-optimistic-lock-coupling-and-smo-safety/2019-10-22T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/10/20/average-case-complexity-levins-distributional-problems-avgp-and-cryptographic-implications/2019-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/average-case-complexity/2019-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/avgp/2019-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/distributional-problems/2019-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/tags/levin/2019-10-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/10/12/descriptive-complexity-fagins-theorem-logic-and-an-alternative-to-turing-machines/2019-10-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/descriptive-complexity/2019-10-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fagin-theorem/2019-10-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/finite-model-theory/2019-10-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/logic/2019-10-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/second-order-logic/2019-10-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/10/11/a-deep-dive-into-the-memory-model-of-c-11-acquire-release-semantics-and-sequential-consistency/2019-10-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/10/02/designing-a-transactional-memory-system-with-hardware-support-htm-vs.-software-tm-on-modern-cpus/2019-10-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ac0/2019-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/09/29/circuit-complexity-ac0-nc-p/poly-and-the-parity-ac0-proof/2019-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/circuit-complexity/2019-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/hastad/2019-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/lower-bounds/2019-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/nc/2019-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/p-poly/2019-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/tags/parity/2019-09-29T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/09/26/the-proof-of-correctness-of-the-treiber-stack-and-its-aba-problem-mitigation-using-stams-schemes/2019-09-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/09/08/implementing-a-efficient-read-copy-update-rcu-mechanism-for-linux-kernel-modules/2019-09-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/09/06/a-comparison-of-concurrent-hash-table-designs-cuckoo-hashing-hopscotch-hashing-and-striped-locking/2019-09-06T00:00:00+00:00daily0.5https://lbenicio.dev/tags/circuits/2019-08-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/08/18/communication-complexity-yaos-two-party-model-the-rectangle-method-and-lower-bounds-galore/2019-08-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/communication-complexity/2019-08-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/rectangles/2019-08-18T00:00:00+00:00daily0.5https://lbenicio.dev/tags/yao-model/2019-08-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/08/17/building-a-lock-free-skip-list-for-range-queries-in-distributed-memory/2019-08-17T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/08/16/the-performance-impact-of-cache-line-padding-in-concurrent-queues-on-numa-architectures/2019-08-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/08/04/an-in-depth-look-at-concurrent-data-structures-elimination-backoff-stacks-michael-scott-queues-and-hazard-pointers/2019-08-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/08/02/designing-a-scalable-key-value-store-with-lsm-trees-and-write-amplification-analysis/2019-08-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/07/30/a-formal-verification-of-linearizability-in-a-lock-free-linked-list-using-proper-testing/2019-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/07/30/implementing-a-wait-free-concurrent-hash-map-in-c-for-high-throughput-systems/2019-07-30T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/07/24/the-algorithmic-complexity-of-distributed-graph-algorithms-bfs-minimum-spanning-tree-and-all-pairs-shortest-paths/2019-07-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/07/22/building-a-distributed-message-queue-with-kafka-partitioning-replication-and-exactly-once-semantics/2019-07-22T00:00:00+00:00daily0.5https://lbenicio.dev/tags/datacenter/2019-07-19T09:30:00+00:00daily0.5https://lbenicio.dev/post/2019/07/19/when-data-centers-learned-to-sleep-energy-aware-scheduling-in-practice/2019-07-19T09:30:00+00:00daily0.5https://lbenicio.dev/post/2019/07/16/a-thorough-explanation-of-the-google-file-systems-master-replication-and-shadow-masters/2019-07-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/07/14/designing-a-distributed-bloom-filter-with-counting-and-scalable-extensions-for-membership-tests/2019-07-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/query-complexity/2019-07-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/random-sampling/2019-07-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/regularity-lemma/2019-07-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/07/07/sublinear-algorithms-property-testing-query-complexity-and-the-power-of-random-sampling/2019-07-07T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sublinear-algorithms/2019-07-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/07/04/flp-impossibility-distributed-consensus-foundations/2019-07-04T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/07/02/the-implementation-of-a-log-structured-merge-tree-lsm-tree-with-level-based-compaction-in-rocksdb/2019-07-02T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ams/2019-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/count-min/2019-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/data-streams/2019-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/frequency-moments/2019-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/06/27/implementing-a-distributed-priority-queue-with-request-batching-and-hierarchical-aggregation/2019-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/misra-gries/2019-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/06/27/streaming-algorithms-misra-gries-count-min-sketch-ams-and-the-power-of-small-space/2019-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/streaming-algorithms/2019-06-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/06/26/analyzing-the-correctness-of-clock-synchronization-protocols-ntp-ptp-and-hybrid-logical-clocks/2019-06-26T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/06/25/building-a-partition-aware-transactional-database-using-calvin-deterministic-ordering-and-lock-free-execution/2019-06-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/06/16/the-performance-of-distributed-query-processing-with-join-aggregate-trees-in-google-spanner/2019-06-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/06/11/a-deep-dive-into-apache-cassandras-snitch-and-replication-strategy-endpoint-aware-distribution/2019-06-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/06/01/implementing-a-distributed-snapshot-algorithm-for-global-state-collection-in-asynchronous-systems/2019-06-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/05/23/designing-a-consistent-hashing-with-bounded-loads-using-googles-consistent-hashing-with-sparse-representation/2019-05-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/05/20/the-microbenchmarking-of-rpc-frameworks-grpc-thrift-and-zeromq-in-high-latency-environments/2019-05-20T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/05/14/building-a-distributed-file-system-inspired-by-gfs-master-architecture-chunk-replication-and-leases/2019-05-14T00:00:00+00:00daily0.5https://lbenicio.dev/tags/competitive-analysis/2019-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/k-server/2019-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/05/12/online-algorithms-competitive-analysis-ski-rental-paging-and-the-primal-dual-method/2019-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/online-algorithms/2019-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/paging/2019-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/primal-dual/2019-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ski-rental/2019-05-12T00:00:00+00:00daily0.5https://lbenicio.dev/tags/bounded-search-trees/2019-05-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/fpt/2019-05-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/kernelization/2019-05-11T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/05/11/parameterized-complexity-fpt-the-w-hierarchy-kernelization-and-bounded-search-trees/2019-05-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/parameterized-complexity/2019-05-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/w-hierarchy/2019-05-11T00:00:00+00:00daily0.5https://lbenicio.dev/tags/cook-levin/2019-05-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/np-completeness/2019-05-03T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/05/03/np-completeness-the-cook-levin-theorem-polynomial-reductions-and-the-hardest-problems-in-np/2019-05-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/p-vs-np/2019-05-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/reductions/2019-05-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sat/2019-05-03T00:00:00+00:00daily0.5https://lbenicio.dev/tags/duality/2019-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/karmarkar/2019-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/04/19/linear-programming-simplex-geometry-duality-and-the-interior-point-revolution/2019-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/tags/linear-programming/2019-04-19T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/04/15/comparing-gossip-protocols-for-failure-detection-swim-lifeguard-and-hybrid-approaches/2019-04-15T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dinic/2019-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/edmonds-karp/2019-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/ford-fulkerson/2019-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/max-flow-min-cut/2019-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/04/13/network-flow-from-ford-fulkerson-to-push-relabel-and-the-max-flow-min-cut-theorem/2019-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/network-flow/2019-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/tags/push-relabel/2019-04-13T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/04/10/implementing-a-distributed-transactional-key-value-store-with-optimistic-concurrency-control/2019-04-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/04/09/a-rigorous-proof-of-the-cap-theorem-and-its-implications-for-distributed-database-design/2019-04-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/04/09/the-design-and-implementation-of-a-distributed-rate-limiter-using-token-buckets-and-gossip-protocols/2019-04-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/04/01/building-a-linearizability-tester-for-distributed-systems-monotonic-reads-and-writes-in-jetpack/2019-04-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/03/27/analyzing-the-performance-of-two-phase-commit-2pc-and-three-phase-commit-3pc-in-geo-distributed-systems/2019-03-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/03/25/implementing-a-distributed-hash-table-dht-using-kademlia-node-lookup-routing-and-replication/2019-03-25T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/03/24/the-algorithmic-foundations-of-blockchain-consensus-proof-of-work-proof-of-stake-and-dag-based-approaches/2019-03-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/03/16/implementing-a-lock-free-concurrent-hash-map-from-theoretical-foundations-to-practical-performance-optimization-in-c-20/2019-03-16T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/03/09/a-deep-dive-into-corfu-a-distributed-shared-log-with-object-storage-and-multi-stripe-techniques/2019-03-09T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/03/08/building-a-write-ahead-log-from-first-principles-durability-ordering-and-crash-recovery-strategies/2019-03-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/03/02/designing-a-conflict-free-replicated-data-type-crdt-for-collaborative-text-editing-operational-transformation-vs.-crdt/2019-03-02T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/02/27/the-performance-of-paxos-with-multi-paxos-and-fast-paxos-a-benchmarking-study-across-data-centers/2019-02-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/02/24/implementing-a-distributed-lock-service-using-redis-redlock-and-its-consistency-guarantees-under-failures/2019-02-24T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/02/23/a-comprehensive-analysis-of-zookeepers-zab-protocol-atomic-broadcast-and-recovery/2019-02-23T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/02/14/speculative-prefetchers-designing-memory-systems-that-read-the-future/2019-02-14T10:00:00+00:00daily0.5https://lbenicio.dev/post/2019/02/08/building-a-sharded-database-with-consistent-hashing-from-virtual-nodes-to-rendezvous-hashing/2019-02-08T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/02/05/optimizing-distributed-join-algorithms-for-large-scale-stream-processing-with-apache-flink/2019-02-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/01/28/scaling-eventual-consistency-with-crdts-a-practical-implementation-of-state-based-and-operation-based-types/2019-01-28T00:00:00+00:00daily0.5https://lbenicio.dev/tags/bellman/2019-01-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/01/27/dynamic-programming-bellmans-principle-of-optimality-and-the-art-of-reusing-computation/2019-01-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/dynamic-programming/2019-01-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/knapsack/2019-01-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/optimality/2019-01-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/reinforcement-learning/2019-01-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/sequence-alignment/2019-01-27T00:00:00+00:00daily0.5https://lbenicio.dev/tags/shortest-paths/2019-01-27T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/01/18/the-complexity-of-byzantine-fault-tolerance-in-partially-synchronous-networks-pbft-and-its-variants/2019-01-18T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/01/10/designing-a-dynamo-style-distributed-key-value-store-with-merkle-trees-for-conflict-resolution/2019-01-10T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/01/07/deep-dive-into-paxos-vs.-raft-trade-offs-in-leader-election-log-replication-and-safety-guarantees/2019-01-07T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/01/05/implementing-raft-consensus-from-scratch-in-go-a-step-by-step-guide-with-fault-injection-testing/2019-01-05T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/01/01/designing-a-conflict-free-replicated-data-type-crdt-for-collaborative-text-editing-a-deep-dive-into-rope-structures-vector-clocks-and-operational-transformation-alternatives/2019-01-01T00:00:00+00:00daily0.5https://lbenicio.dev/post/2019/01/01/implementing-a-distributed-consensus-protocol-from-scratch-raft-with-leader-election-log-replication-membership-changes-and-cluster-reconfiguration-in-go/2019-01-01T00:00:00+00:00daily0.5https://lbenicio.dev/reading/a-mathematical-theory-of-communication/daily0.5https://lbenicio.dev/about/daily0.5https://lbenicio.dev/reading/algorithm-design/daily0.5https://lbenicio.dev/reading/algorithms/daily0.5https://lbenicio.dev/reading/algorithms-4th-ed./daily0.5https://lbenicio.dev/tags/analysis/daily0.5https://lbenicio.dev/single/marketing/daily0.5https://lbenicio.dev/single/apps/daily0.5https://lbenicio.dev/reading/artificial-intelligence-a-modern-approach-4th-ed./daily0.5https://lbenicio.dev/reading/artificial-intelligence-a-modern-approach-4th-ed./daily0.5https://lbenicio.dev/tags/automata/daily0.5https://lbenicio.dev/tags/big-data/daily0.5https://lbenicio.dev/tags/book/daily0.5https://lbenicio.dev/tags/c/daily0.5https://lbenicio.dev/reading/causality-models-reasoning-and-inference-2nd-ed./daily0.5https://lbenicio.dev/tags/classics/daily0.5https://lbenicio.dev/reading/clean-code-a-handbook-of-agile-software-craftsmanship/daily0.5https://lbenicio.dev/reading/compilers-principles-techniques-and-tools-2nd-ed./daily0.5https://lbenicio.dev/tags/complexity/daily0.5https://lbenicio.dev/reading/computer-architecture-a-quantitative-approach-6th-ed./daily0.5https://lbenicio.dev/reading/computer-architecture-a-quantitative-approach-6th-ed./daily0.5https://lbenicio.dev/reading/computer-networking-a-top-down-approach-7th-ed./daily0.5https://lbenicio.dev/reading/computer-networks-5th-ed./daily0.5https://lbenicio.dev/reading/computer-systems-a-programmers-perspective-3rd-ed./daily0.5https://lbenicio.dev/reading/computer-systems-a-programmers-perspective-3rd-ed./daily0.5https://lbenicio.dev/tags/computer-organization/daily0.5https://lbenicio.dev/publications/consul-rails-web-application-scalability-and-performance-improvements-with-distributed-computation/daily0.5https://lbenicio.dev/contact/daily0.5https://lbenicio.dev/single/contact/daily0.5https://lbenicio.dev/tags/craftsmanship/daily0.5https://lbenicio.dev/tags/data-mining/daily0.5https://lbenicio.dev/reading/database-system-concepts-7th-ed./daily0.5https://lbenicio.dev/reading/database-system-concepts-7th-ed./daily0.5https://lbenicio.dev/reading/deep-learning/daily0.5https://lbenicio.dev/tags/design/daily0.5https://lbenicio.dev/reading/design-patterns-elements-of-reusable-object-oriented-software/daily0.5https://lbenicio.dev/tags/design-patterns/daily0.5https://lbenicio.dev/tags/distributed/daily0.5https://lbenicio.dev/reading/distributed-systems-principles-and-paradigms-2nd-ed./daily0.5https://lbenicio.dev/tags/distributed-memory/daily0.5https://lbenicio.dev/tags/education/daily0.5https://lbenicio.dev/tags/fortran/daily0.5https://lbenicio.dev/publications/improving-the-scalability-and-performance-of-a-rails-application-a-case-study-with-consul/daily0.5https://lbenicio.dev/tags/internet/daily0.5https://lbenicio.dev/reading/introduction-to-algorithms-3rd-ed./daily0.5https://lbenicio.dev/reading/introduction-to-automata-theory-languages-and-computation-3rd-ed./daily0.5https://lbenicio.dev/reading/introduction-to-parallel-computing-2nd-ed./daily0.5https://lbenicio.dev/reading/introduction-to-the-theory-of-computation-3rd-ed./daily0.5https://lbenicio.dev/tags/languages/daily0.5https://lbenicio.dev/tags/lisp/daily0.5https://lbenicio.dev/tags/message-passing/daily0.5https://lbenicio.dev/reading/mining-of-massive-datasets-3rd-ed./daily0.5https://lbenicio.dev/reading/modern-operating-systems-4th-ed./daily0.5https://lbenicio.dev/tags/monograph/daily0.5https://lbenicio.dev/tags/networks/daily0.5https://lbenicio.dev/tags/neural-networks/daily0.5https://lbenicio.dev/single/newsletter/daily0.5https://lbenicio.dev/reading/on-computable-numbers-with-an-application-to-the-entscheidungsproblem/daily0.5https://lbenicio.dev/reading/openmp-application-programming-interface-version-5.2/daily0.5https://lbenicio.dev/reading/operating-system-concepts-9th-ed./daily0.5https://lbenicio.dev/reading/operating-systems-three-easy-pieces/daily0.5https://lbenicio.dev/publications/optimizing-hpc-deployment-enhancing-accessibility-and-efficiency-through-the-ompc-framework/daily0.5https://lbenicio.dev/tags/paper/daily0.5https://lbenicio.dev/tags/parallel/daily0.5https://lbenicio.dev/reading/parallel-programming-in-c-with-mpi-and-openmp/daily0.5https://lbenicio.dev/tags/parsing/daily0.5https://lbenicio.dev/tags/patterns/daily0.5https://lbenicio.dev/reading/patterns-for-parallel-programming/daily0.5https://lbenicio.dev/tags/planning/daily0.5https://lbenicio.dev/reading/principles-of-database-and-knowledge-base-systems/daily0.5https://lbenicio.dev/reading/principles-of-program-analysis/daily0.5https://lbenicio.dev/reading/probabilistic-reasoning-in-intelligent-systems/daily0.5https://lbenicio.dev/tags/processes/daily0.5https://lbenicio.dev/tags/programming/daily0.5https://lbenicio.dev/tags/publication/daily0.5https://lbenicio.dev/publications/daily0.5https://lbenicio.dev/tags/rails/daily0.5https://lbenicio.dev/reading/daily0.5https://lbenicio.dev/tags/reasoning/daily0.5https://lbenicio.dev/reading/security-engineering-3rd-ed./daily0.5https://lbenicio.dev/tags/shared-memory/daily0.5https://lbenicio.dev/single/daily0.5https://lbenicio.dev/single/socials/daily0.5https://lbenicio.dev/reading/software-engineering-10th-ed./daily0.5https://lbenicio.dev/tags/software-engineering/daily0.5https://lbenicio.dev/tags/specification/daily0.5https://lbenicio.dev/tags/sql/daily0.5https://lbenicio.dev/tags/standard/daily0.5https://lbenicio.dev/reading/structure-and-interpretation-of-computer-programs/daily0.5https://lbenicio.dev/reading/structure-and-interpretation-of-computer-programs/daily0.5https://lbenicio.dev/reading/structured-computer-organization-6th-ed./daily0.5https://lbenicio.dev/tags/textbook/daily0.5https://lbenicio.dev/reading/the-art-of-computer-programming-vols.-14a/daily0.5https://lbenicio.dev/reading/the-pragmatic-programmer-20th-anniversary-ed./daily0.5https://lbenicio.dev/timeline/daily0.5https://lbenicio.dev/reading/using-mpi-portable-programming-with-the-message-passing-interface-3rd-ed./daily0.5https://lbenicio.dev/reading/using-openmp-portable-shared-memory-parallel-programming/daily0.5