⚡ Cache Theory

Memory Hierarchies, Locality Principles, Performance Analysis, Computer Architecture

Considering making a home server, talk me in or out of it, and help me decide on parts...
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
derived set
ncatlab.org·3h
🧮Algebraic Archives
Travels, 10
cameroncounts.wordpress.com·3h
🎯Performance Proofs
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·10h·
Discuss: DEV
⚡Performance Tools
Exploring Modern Warehousing and Data Mining
dev.to·11h·
Discuss: DEV
🧬PostgreSQL Forensics
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Join me if you can: ClickHouse vs. Databricks & Snowflake - Part 2
clickhouse.com·18h·
Discuss: Hacker News
🧠Query Planners
Lockfree Programming: A Mental Model
xorvoid.com·4d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
📏Code Metrics
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Ask HN: Feedback on "QSS" – A Quantized Vector Search Engine in C
news.ycombinator.com·1d·
Discuss: Hacker News
🗂️Vector Databases
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
arxiv.org·1d
🕸️Algebraic Topology
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·10h
⬆️Lambda Lifting
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·17h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·21h
🔄Burrows-Wheeler
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages