🌸 Bloom Filters

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

IaCConf 2025: Automate All the Things Panel Discussion
blog.tedivm.com·1d
⚙️Proof Engineering
Opportunistic Encryption Is Coming to Hickory DNS
memorysafety.org·1d·
Discuss: Lobsters
🌐DNS over QUIC
Are all residential proxy services criminal organizations?
hcaptcha.com·1d·
Discuss: Hacker News
🎫Kerberos Attacks
How Amazon S3 Achieves Strong Consistency Without Sacrificing 99.99% Availability
newsletter.systemdesign.one·2d·
Discuss: r/programming
💾Storage Replication
Teach AI your name through someone it trusts
lauradecastro.substack.com·12h·
Discuss: Substack
📊Feed Optimization
Principia Symbients
meaning.systems·1d·
Discuss: Hacker News
🔲Cellular Automata
Stack Overflow Survey 2025: 84% of devs use AI… but 46% don’t trust it 🤯
shiftmag.dev·8h
📏Code Metrics
Curves, points, incidences and covering
arxiv.org·1d
📊Computational Geometry
Digitalizing Uncertain Information
arxiv.org·1d
🛡️Proof-Carrying Data
Snap, Segment, Deploy: A Visual Data and Detection Pipeline for Wearable Industrial Assistants
arxiv.org·1d
📄Document Digitization
SeeDiff: Off-the-Shelf Seeded Mask Generation from Diffusion Models
arxiv.org·2d
🕵️Vector Smuggling
Customize Multi-modal RAI Guardrails with Precedent-based predictions
arxiv.org·2d
📊Learned Metrics
ChartMark: A Structured Grammar for Chart Annotation
arxiv.org·1d
🔢Denotational Semantics
Distributionally Robust Shape and Topology Optimization
arxiv.org·1d
🌐Computational Topology
Training language models to be warm and empathetic makes them less reliable and more sycophantic
arxiv.org·1d
🎙️Whisper
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.org·1d
✅Formal Methods
BMC Extends Scope and Reach of DevOps Mainframe Workflows
devops.com·7h
⚙️Batch Processing
End-to-End GitHub Workflow: Agents (CrewAI), UI (CopilotKit), Automation (Composio)
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Bangla BERT for Hyperpartisan News Detection: A Semi-Supervised and Explainable AI Approach
arxiv.org·1d
📝Text Embeddings
Tokenomics by Grammar
hackernoon.com·3d
📋Document Grammar