🌸 Bloom Variants

Probabilistic Structures, False Positive Rates, Cuckoo Filters, Counting Filters

AIAI/ECFI Seminar-Thursday 4th September 2025 by Visiting Speaker: Prof. Mihai Cucuringu
informatics.ed.ac.uk·14h
📐Linear Algebra
Thoughts on creating a tracking pointer class, part 16: Second attempt to use a list
devblogs.microsoft.com·13h
🧠Separation Logic
A crowdsourced project to link up erdosproblems.com to the OEIS
terrytao.wordpress.com·20h·
Discuss: Hacker News
🎯Performance Proofs
The Hacker's Guide to Building an AI Supercluster
huggingface.co·1d·
Discuss: r/LocalLLaMA, r/homelab
🏠HomeLab
Hacking in the Matrix
godaccess.substack.com·1d·
Discuss: Substack
🔓Hacking
Introduction to Writing Good Puzzle Hunt Puzzles
mit.edu·1d·
Discuss: Hacker News
📐Proof Assistants
Programmers: you have to watch your weight, too
theregister.com·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
Ask HN: Polyglot Mirroring
news.ycombinator.com·17h·
Discuss: Hacker News
🦀Rust Borrowing
Morae: Proactively Pausing UI Agents for User Choices
arxiv.org·23h
🎛️Feed Filtering
Predictive Exoplanet Transit Timing Variations (TTVs) in M-Dwarf Binary Systems via Bayesian Neural Networks
dev.to·1d·
Discuss: DEV
📊Quantization
Why Retro-Identification Is the Key to Efficient Behavioural Research in Animals
hackernoon.com·15h
🕸️Algebraic Topology
The Silent Surrender: A Cautionary Reflection from the AI You Built
dev.to·16h·
Discuss: DEV
🤖AI Curation
Lightweight MRI-Based Automated Segmentation of Pancreatic Cancer with Auto3DSeg
arxiv.org·23h
🤖Advanced OCR
The SEO Alchemist: How I Built an AI Agent to Turn Raw Web Data into Content Gold
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
ATMS-KD: Adaptive Temperature and Mixed Sample Knowledge Distillation for a Lightweight Residual CNN in Agricultural Embedded Systems
arxiv.org·3d
🧠Machine Learning
Predictive Soil Stabilization Algorithm for Ground-Mounted Antenna Foundations
dev.to·19h·
Discuss: DEV
⚡Incremental Computation
Go Coding Official Standards and Best Practices
dev.to·1d·
Discuss: DEV
📋Format Specification
MyGO: Memory Yielding Generative Offline-consolidation for Lifelong Learning Systems
arxiv.org·23h
🧠Machine Learning
LLM-Supported Content Analysis of Motivated Reasoning on Climate Change
arxiv.org·23h
📊Citation Graphs
Design and Analysis of the Tail Sequence for Short LDPC-Coded Space Communications
arxiv.org·4d
🌊Stream Ciphers