🌸 Bloom Filters

Probabilistic Data Structures, False Positives, Set Membership, Space Efficiency

Notes on spaced repetition scheduling
lesswrong.com·5h
🌳Data Structures
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·4h
📊Vector Databases
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·19h·
Discuss: Hacker News
🤝Distributed Consensus
Postgres for Everything: Why Vectsore Replaced Pinecone and RDS with Neon
neon.com·16h
🐘pgvector
OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.com·1h·
Discuss: Hacker News
🏹Apache Arrow
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·17h
🌳Data Structures
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·3h·
Discuss: Hacker News
📊Vector Databases
Initialization, BatchNorm, and LayerNorm: The Holy Trilogy
pub.towardsai.net·21h
🧠LLM Inference
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·7h·
Discuss: Hacker News
💾Binary Formats
LPOI: Listwise Preference Optimization for Vision-Language Models (ACL 2025 Main)
reddit.com·6h·
Discuss: r/LocalLLaMA
🧠LLM Inference
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·18h·
Discuss: Hacker News
⚙️Database Internals
When LLMs Remember Instead of Reason
poppastring.com·5h
🏆LLM Benchmarking
Can you help me think of a term for this?
carlalexander.ca·16h·
Discuss: r/programming
💻Programming languages
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.io·4h·
Discuss: Hacker News
🌳Data Structures
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·12h·
Discuss: Lobsters, Hacker News
🏊Memory Pools
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·8h
🦀Rust Compiler Internals
Relation-Aware Slicing in Cross-Domain Alignment
arxiv.org·4h
🎯Qdrant
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·21h·
Discuss: Hacker News
🪄Prompt Engineering
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·20h
🔄Incremental Computation
How to create your own RAG applications in R
infoworld.com·23h
🔄LLM RAG Pipelines