📚 Index Structures - surajkadapa · Scour

Version-controlled databases using Prolly trees 💾Storage Engines

lwn.net·1d·Hacker News

mira-reasoning-retrieval 🔍Semantic Search

wanggz.github.io·17h

Open Data Structures 📐Algorithms

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic) 📐Algorithms

Locality of Reference 💾Cache Optimization

en.wikipedia.org·10h·Hacker News

Category Theory for Tiny ML in Rust 📐Algorithms

hghalebi.github.io·1d·Hacker News

Understanding the BM25 full text search algorithm 🎯BM25

emschwartz.me·5d

Code • Conflict-free Replicated Data Types 🌐Distributed Systems

Embeddings & Search 📐Vector Search

yamsmemory.ai·2d

mem-doc/doc/.NETMemoryPerformanceAnalysis.md at master 🐹Go Runtime

github.com·9h·Hacker News

Reverse Engineering for Noobs 🔬eBPF

Scope Graphs – A Theory of Name Resolution 🔧Compilers

pl.ewi.tudelft.nl·4d·Hacker News

Valuation Spaces and Relativisation: The Lambda Calculus Example 🔓Lock-Free Structures

practal.com·2d·Hacker News

A Friday Side Project Became a Graph Query Language 📇Vector Indexing

systay.github.io·5d·Hacker News

Grasping at the Future of Programming Languages (1) 🔧Compilers

ideasthetician.substack.com·1d·Substack

Evaluating our Threat Hunting Detection Rules (+ KQL Query Evaluation) 🌸Bloom Filters

malware.news·1d

Fourth Data Prefetching Championship: Part 2 ⏭️Prefetch Intrinsics

sigarch.org·6d

Ω-Theory: Machine-Verified Algebraic Framework (formal paper, 2026-05-04) 🎯Speculative Execution

ramzesx.github.io·1d·Hacker News

Lightweight Tamper-Evident Log Integrity Verification for IoT Edge Environments: A Merkle Tree Pipeline with Adaptive Chunking 🌸Bloom Filters

Fast Dedup Economics in ZFS Storage 🗂️Filesystems

discoverbsd.com·6d

Log in to enable infinite scrolling