🌸 Bloom Filters

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

News for August 2025
ptreview.sublinear.info·6h
🌸Bloom Variants
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.to·8h·
Discuss: DEV
🌐NetworkProtocols
(Republished from 2021): Your legacy database is outgrowing itself
unstructedtech.com·9h·
Discuss: Hacker News
🦀Rusty Databases
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·5h·
Discuss: Hacker News
🌊Streaming Compression
PEON - Prefixed Entry Object Notation
bartoszsypytkowski.com·1d
🔢Binary Formats
Security Affairs newsletter Round 540 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·3h
🔓Hacking
Exploring the Design Space of Fair Tree Learning Algorithms
arxiv.org·3d
🧠Learned Indexing
Preventing Context Overload: Controlled Neo4j MCP Cypher Responses for LLMs
towardsdatascience.com·6h
🕸️Neo4j
Show HN: Generate and Copy Random IP Addresses
whatismyipaddressinquire.com·19h·
Discuss: Hacker News
🛣️BGP Hijacking
The New Math of Quantum Cryptography
wired.com·9h
🔐Quantum Security
The Adonai Algorithm
dev.to·1d·
Discuss: DEV
🎨Graph Coloring
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·1d·
Discuss: Hacker News, r/rust
🦀Rust Macros
Speedrun Incident Investigations Across GitHub, AWS, Okta, and More
goteleport.com·2d
🚨Incident Response
Beelink EQi13 Pro Review – Part 3: Ubuntu 24.04 on an Intel Core i5-13500H mini PC
cnx-software.com·12h
🔌Operating system internals
Program verification is not all-or-nothing
lawrencecpaulson.github.io·2d
🎯Performance Proofs
What does the government think an algorithm is?
tommorris.org·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Hyper-Secure Federated Learning for Resilient 6G Spectrum Management via Dynamic Provenance Tracking
dev.to·18h·
Discuss: DEV
🎵Spectral Hashing
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·1d·
Discuss: Hacker News
🕸️Graph Algorithms
typical: Data interchange with algebraic data types.
github.com·14h
📋Format Specification