📊 HyperLogLog

Cardinality Estimation, Sketching Algorithms, Stream Processing, Probabilistic Counting

Announcing the Simons Collaboration on Probabilistic Paths to Quantum Field Theory
simonsfoundation.org·16h
🧮Theoretical Computer Science
Beyond Theory – Interview with Aap Tepper by Viktorija Gardoviča
ica.org·16h
🔄Archival Workflows
Packing (2024)
montalion.com·16h·
Discuss: Hacker News
⬜Minimalism
Starting with pytest’s parametrize
nedbatchelder.com·20h·
Discuss: Lobsters, r/programming
⚡Proof Automation
AI Proves P != NP
mvcalder-01701.medium.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
[P] VulkanIlm: Accelerating Local LLM Inference on Older GPUs Using Vulkan (Non-CUDA) — Benchmarks Included
reddit.com·2d·
Discuss: r/MachineLearning
💻Local LLMs
LLM Context Rot
valinsky.dev·1d·
Discuss: Hacker News
🌳Context free grammars
What Medieval People Got Right About Learning (2019)
scotthyoung.com·6h·
Discuss: Hacker News
📚Proof Pedagogy
How we're shipping faster with Claude Code and Git Worktrees
incident.io·3d·
Discuss: Hacker News
🦀Rust Macros
ZeroGPT: A lightweight AI library for text and image generation with an uncensored mode
dev.to·2d·
Discuss: DEV
📸PNG Optimization
Reconstruction of Solar EUV Irradiance Using CaII K Images and SOHO/SEM Data with Bayesian Deep Learning and Uncertainty Quantification
arxiv.org·2d
🏺Computational Archaeology
Incorporating Contextual Paralinguistic Understanding in Large Speech-Language Models
arxiv.org·2d
🎙️Whisper
AI Weekend Projects That Slash Repetitive Work
dev.to·2d·
Discuss: DEV
📡RSS Automation
Machine Learning Fundamentals: model overfitting with python
dev.to·5d·
Discuss: DEV
🧠Machine Learning
Learning Generalizable and Efficient Image Watermarking via Hierarchical Two-Stage Optimization
arxiv.org·1d
💧Digital Watermarking
Deep Learning Models for Robust Facial Liveness Detection
arxiv.org·1d
🔍Vector Forensics
PPL: Point Cloud Supervised Proprioceptive Locomotion Reinforcement Learning for Legged Robots in Crawl Spaces
arxiv.org·3h
📊Computational Geometry
Predicting Protein Aggregation Dynamics in Confined Nanochannels via Deep Learning & Molecular Dynamics Hybridization
dev.to·2d·
Discuss: DEV
🌀Riemannian Computing
Where MCP falls short: data integration in the AI world
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Iterative Volume Fusion for Asymmetric Stereo Matching
arxiv.org·3h
📐Projective Geometry